망막 , 167 165 157 150 123 바이트

이것은 완전히 하나의 정규 표현식으로 해결해야 할 과제처럼 보입니다 …

^(?=\D*((?=(?<3>1+))1)+)((?=A(?<1-3>.+)|B(?<1-4>.+)|C(?<1-5>.+)).(?=A.*(?!\3)(\1)|B.*(?!\4)(\1)|C.*(?!\5)(\1)).)+(?!\3|\4)1

입력 형식이 형태의 명령어의 목록 AB다음에 n숫자를 사용 단항에서 1. 구분 기호가 없습니다. 출력이 1유효하고 0유효하지 않습니다.

온라인으로 사용해보십시오! (처음 두 문자는 줄 바꿈으로 구분 된 테스트 스위트를 활성화합니다.)

대체 솔루션, 동일한 바이트 수 :

^(?=\D*((?=(?<3>1+))1)+)((?=A(?<1-3>.+)|B(?<1-4>.+)|C(?<1-5>.+)).(?=A.*(?!\3)(\1)|B.*(?!\4)(\1)|C.*(?!\5)(\1)).)+(?<-5>1)+$

이것은 아마도 사용하여 단축 될 수 있습니다 1, 11그리고 111대신에 A, B그리고C 하지만 나중에 조사해야합니다. 프로그램을 여러 단계로 나누는 것이 더 짧을 수도 있지만, 그 문제는 어디에 있습니까? 😉

설명

이 솔루션은 .NET의 밸런싱 그룹을 많이 사용합니다. 전체 설명 은 Stack Overflow에 대한 내 게시물을 참조하십시오 . 그러나 .NET에서 그룹을 캡처하는 것은 스택이며, 각각의 새로운 캡처는 다른 하위 문자열을 푸시하고 그러한 스택에서 다시 팝업 할 수있는 곳입니다. 이를 통해 문자열에서 다양한 수량을 계산할 수 있습니다. 이 경우 3 개의로드를 3 개의 다른 캡처 그룹으로 직접 구현하여 각 디스크를 캡처로 표시 할 수 있습니다.

막대 사이에서 디스크를 움직이기 위해 우리는 이상한 (?<A-B>...)구문을 사용합니다. 일반적으로 B스택 A에서 캡처를 팝하고 팝된 캡처와이 그룹의 시작 사이에 문자열 을 스택으로 푸시합니다 . 그래서 (?<A>a).(?<B-A>c)일치에 대한이 abc떠날 A빈과 B함께 b(반대 c). 그러나 .NET 가변 길이 룩백으로 인해 캡처 (?<A>...)및 (?<B-A>...)겹치기가 가능합니다. 어떤 이유로 든,이 경우 두 그룹 의 교집합 이로 밀려납니다 B. 이 답변의 그룹 균형 조정에 대한 “고급 섹션”에서이 동작을 자세히 설명했습니다 .

정규식에. 막대 A, B및 C그룹에 해당하는 3, 4그리고 5정규식한다. 로드를 초기화하여 시작하자 A:

^                 # Ensure that we start at the beginning of the input.
(?=               # Lookahead so that we don't actually move the cursor.
  \D*             # Skip all the instructions by matching non-digit characters.
  (               # For each 1 at the end of the input...
    (?=(?<3>1+))  # ...push the remainder of the string (including that 1)
                  # onto stack 3.
  1)+
)

따라서 입력이로 끝나는 경우 111그룹 3 /로드 A는 이제 캡처 목록 [111, 11, 1](오른쪽 상단)을 보유합니다.

코드의 다음 비트는 다음 구조를 갖습니다.

(
  (?=A...|B...|C...).
  (?=A...|B...|C...).
)+

이 루프의 각 반복은 하나의 명령을 처리합니다. 첫 번째 교대는 주어진 막대에서 디스크를 임시 그룹으로 가져오고 두 번째 교대는 해당 디스크를 다른 주어진 막대에 놓습니다. 우리는 이것이 어떻게 작동하는지 그리고 어떻게 움직일 수 있는지를 볼 것입니다.

먼저 소스로드에서 디스크를 꺼내십시오.

(?=
  A(?<1-3>.+)
|
  B(?<1-4>.+)
|
  C(?<1-5>.+)
)

이것은 위에서 설명한 이상한 그룹 교차 동작을 사용합니다. 해당 그룹을 참고 3, 4그리고 5항상의 문자열 개최 1길이 디스크의 크기에 해당하는 문자열의 끝에들. 우리는 지금 사용하는 (?<1-N>.+)스택에서 맨 디스크를 팝업 N및 경기와 함께이 문자열의 교회법을 밀어 .+스택에 1. 때문에 .+항상 반드시 전체 캡처 오프 팝 커버 N, 우리는 이것이 단순히 캡처를 이동하는 것을 알고있다.

다음으로이 디스크를 스택 1에서 두 번째 막대에 해당하는 스택 에 넣습니다.

(?=
  A.*(?!\3)(\1)
|
  B.*(?!\4)(\1)
|
  C.*(?!\5)(\1)
)

스택을 정리할 필요는 없습니다 1. 스택을 다시 사용하기 전에 새 디스크를 맨 위에 놓기 때문에 디스크를 그대로 둘 수 있습니다. 즉, (?<A-B>...)구문을 피하고 문자열을로 간단히 복사 할 수 있습니다 (\1). 이동이 유효한지 확인하기 위해 부정적 예측을 사용합니다 (?!\N). 이렇게하면 현재 디스크와 일치시키려는 위치에서 이미 스택에있는 디스크를 일치시킬 수 없습니다 N. 이것은 \N스택이 완전히 비어 있거나 b) the disc on top of stackN is larger than the one we're trying to match with\ 1` 이어서 a) 일치하지 않는 경우에만 발생할 수 있습니다 .

마지막으로, 남은 모든 것을 우리가 모든 지시와 b) 봉을 일치 한)은에게 보장되는 A및 B, 비어 있으므로 모든 디스크가 상으로 이동 한 것을 C.

(?!\3|\4)1

우리는 단순히 일치 하지도 \3않고 \4일치 하지도 않으며 (실제 디스크 가 일치 하기 때문에 두 디스크 가 모두 비어있는 경우에만 해당 ) 1명령을 생략하지 않도록 일치시킬 수 있는지 확인합니다.

답변

int i(int n,int[]m){int j=0,k=0,i=n;Stack<Integer>t,s[]=new Stack[3];for(;j<3;)s[j++]=new Stack();for(;i-->0;)s[0].push(i);for(;k<m.length;k+=2)if((t=s[m[k+1]]).size()>0&&s[m[k]].peek()>t.peek())return 0;else t.push(s[m[k]].pop());return s[2].size()<n?0:1;}

/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package codegolf;

/**
 *
 * @author rohan
 */
import java.util.Arrays;
import java.util.Stack;
public class CodeGolf {
    //golfed version
    int i(int n,int[]m){int j=0,k=0,i=n;Stack<Integer>[] s=new Stack[3];for(;j<3;j++)s[j]=new Stack();for(;i-->0;)s[0].push(i);for(;k<m.length;System.out.println(Arrays.toString(s)),k+=2)if(!s[m[k+1]].isEmpty()&&s[m[k]].peek()>s[m[k+1]].peek())return 0;else s[m[k+1]].push(s[m[k]].pop());return s[2].size()==n?1:0;}
    /** Ungolfed
        * 0 as falsy 1 as truthy
        * @param n the number of disks
        * @param m represents the zero indexed stacks in the form of [from,to,from,to]
        * @return 0 or 1 if the puzzle got solved, bad moves result in an exception
        */
    int h(int n, int[] m) {
        //declarations
        int j = 0, k = 0, i = n;
        //create the poles
        Stack<Integer>[] s = new Stack[3];
        for (; j < 3; j++) {
            s[j] = new Stack();
        }
        //set up the first tower using the "downto operator
        for (; i-- > 0;) {
            s[0].push(i);
        }
    //go through and perform all the moves
        for (; k < m.length; System.out.println(Arrays.toString(s)), k += 2) {
            if (!s[m[k + 1]].isEmpty() && s[m[k]].peek() > s[m[k + 1]].peek()) {
                return 0;//bad move
            } else {
                s[m[k + 1]].push(s[m[k]].pop());
            }
        }
        return s[2].size() == n ? 1 : 0;// check if all the disks are done
    }
    /**
     * @param args the command line arguments
     */
    public static void main(String[] args) {
    //test case
        System.out.println( new CodeGolf().h(3,new int[]{0,2,0,1,2,1,0,2,1,0,1,2,0,2})==1?"Good!":"Bad!");
    }

}

[[2, 1], [], [0]]
[[2], [1], [0]]
[[2], [1, 0], []]
[[], [1, 0], [2]]
[[0], [1], [2]]
[[0], [], [2, 1]]
[[], [], [2, 1, 0]]
Good!

n,m=input()
x=[range(n),[],[]]
for a,b in m:p=x[a].pop();e=x[b];e and 1/(p>e[-1]);e+=p,
if x[0]+x[1]:_

(1,[(0,1),(1,2)])

n=2; "A->B ; A->C ; B->C"

(2,[(0,1),(0,2),(1,2)])

r=range;a,b=input();U=[r(a,0,-1),[],[]]
for K,J in b:U[J]+=[U[K].pop()]if U[J]<[1]or U[K]<U[J]else Y
print U[-1]==r(a,0,-1)

n=3, "A->C ; A->B ; C->B ; A->C ; B->A ; B->C ; A->C"

(3,[(0,2),(0,1),(2,1),(0,2),(1,0),(1,2),(0,2)])

Function H(N,S)
ReDim A(N)
While P<Len(S)
P=P+2:F=1*Mid(S,P-1,1):T=1*Mid(S,P,1)
E=E+(T>2):L=L+T-F
For i=1 To N
If A(i)=F Then A(i)=T:Exit For
E=E+(A(i)=T)+(i=N)
Next
Wend
H=L+9*E=2*N
End Function

TRUE    1   02
TRUE    1   0112
TRUE    2   010212
TRUE    2   02210212
TRUE    2   020121101202
TRUE    3   02012102101202
TRUE    4   010212012021010212102012010212

FALSE   1   01
FALSE   1   20
FALSE   2   02012102101202
FALSE   2   010221
FALSE   2   02012110
FALSE   2   0202
FALSE   3   0202012102101202
FALSE   3   0201210112101202
FALSE   3   02012102101221
FALSE   3   0103023212
FALSE   4   0102120120210102121020120102
FALSE   4   01010102121212

<?php $a=$argv;for($t=[$f=range($a[++$i],1),[],[]];($r=array_pop($t[$a[++$i]]))&&$r<(end($t[$a[++$i]])?:$r+1);)$t[$a[$i]][]=$r;echo$t[2]==$f;