이것은 다소 증명적인 골프 와 같은 경찰 및 강도 문제입니다. 이것은 경찰의 실입니다. 강도의 실이 여기 있습니다.
경찰
당신의 임무는 한 단어에서 다른 단어의 도달 가능성을 결정하기 어려운 추상적 인 재 작성 시스템 을 정의하는 것 입니다. 다음 사항을 준비합니다.
알파벳이라고하는 기호 집합. (이에 유니 코드 문자를 사용할 수 있지만 공백이나 서로 구분하기 어려운 기호는 사용하지 마십시오.)
소스 문자열은 당신의 알파벳 문자로 구성.
대상 문자열은 당신의 알파벳 문자로 구성.
알파벳 문자를 사용하는 일련의 재 작성 규칙. (다시 쓰기 규칙의 정의는 아래를 참조하십시오.)
다시 쓰기 규칙을 연속적으로 적용하여 소스 문자열을 대상 문자열로 변환 할 수 있는지 여부를 보여주는 증명 이 증명은 실제 다시 쓰기 단계 시퀀스 또는 이러한 시퀀스가 존재해야한다는 수학적인 증거 또는 해당 시퀀스가 존재하지 않는 수학적인 증거로 구성 될 수 있습니다.
증거를 비밀로 유지하면서 처음 네 개를 게시합니다. 강도는 대상 문자열이 소스 문자열에서 도달 할 수 있거나 도달 할 수 없다는 자체 증거를 제공하여 답변을 해독하려고 시도합니다. 제출 한 내용이 2 주 이내에 금이 간 경우 제출 한 내용 을 안전하다고 표시하고 증거를 편집 할 수 있습니다.
제출 내용은 재 작성 규칙의 문자 수와 소스 및 대상 문자열에 따라 아래에 설명 된대로 점수가 매겨집니다. 우승자는 가장 낮은 점수를받은 비 균열 제출물입니다.
다시 쓰기 규칙은 무엇입니까?
다시 쓰기 규칙은 단순히 알파벳의 문자열 쌍입니다. (이 문자열 중 하나가 비어있을 수 있습니다.) 다시 쓰기 규칙의 적용은 쌍의 첫 번째 문자열과 동일한 하위 문자열을 찾아서 두 번째 문자열로 교체하는 것으로 구성됩니다.
예를 들어 이것을 분명히해야합니다.
가정하자 알파벳이다 A, B그리고 C; 소스 문자열은 " A"입니다. 대상 문자열은 " C"이고 다시 쓰기 규칙은
A:B
B:BB
B:A
AA:C
다음과 같은 방법으로 대상 문자열에 도달 할 수 있습니다.
A
B (using rule 1)
BB (using rule 2)
AB (using rule 3)
AA (using rule 3)
C (using rule 4)
채점
당신의 점수는
- 소스 문자열의 길이
- 목표 문자열 길이와
- 다시 쓰기 규칙에 포함 된 모든 문자열의 길이와
- 다시 쓰기 규칙마다 하나의 추가 포인트가 추가됩니다.
위와 같이 콜론 구분 기호를 사용하여 다시 쓰기 규칙을 작성하는 경우 이는 모든 다시 쓰기 규칙 (구분 기호 포함)의 총 길이와 소스 및 대상 문자열의 길이에 불과합니다. 점수가 낮을수록 좋습니다. 알파벳에서 구별되는 문자 수는 관계를 끊는 데 사용되며 더 적을수록 좋습니다.
하사품
나는 실제로 낮은 점수에 대한 답변을보고 싶습니다. 이 챌린지에서 100 점 미만의 점수를 받고 금이 가지 않는 첫 번째 답변에 200 명의 담당자 를 수여 합니다.
Mx -> Mxx하므로 Hofstadter보다 훨씬 복잡합니다. 기발한.