Dies ist ein etwas Beweis Golf -ähnlichen Cops-und-Räuber Herausforderung. Dies ist der Faden der Räuber; Der Thread der Polizei ist hier .
Räuber
Die Cops werden abstrakte Umschreibungssysteme veröffentlichen. Ihre Aufgabe ist es, ihre Übermittlungen zu knacken, indem Sie beweisen, dass die Zielzeichenfolge von der Quellzeichenfolge aus erreicht werden kann oder nicht, indem Sie ihre Umschreiberegeln anwenden. (Sie können dies entweder tun, indem Sie eine Folge von Umschreiberegeln veröffentlichen, die mit der Quellzeichenfolge beginnt und mit dem Ziel endet, oder indem Sie mathematisch nachweisen, dass dies vorhanden ist oder nicht.)
Einzelheiten und Definitionen finden Sie im Thread der Polizei .
Antworten:
jimmy23013
Lassen Sie uns für diesen Fall rückwärts arbeiten. Wir wandeln zuerst die Ziffern in ihre binären Darstellungen um. Wir gehen von
VW626206555675126212043640270477001760465526277571600601
nachVW++__+_++__+____++_+_++_++_+++_++++_+__+_+_++__+___+_+____+___++++_+______+_+++___+__++++++________++++++____+__++_+_++_+_+_++__+_+++++++_++++__+++_______++______+
. Als nächstes wenden wir die Umkehrung vonDCW:W+
und an,DW:W_
bis wir alle Symbole gelöscht haben. Unser Ergebnis ist jetztVDCDCDDDCDDCDCDDDCDDDDDCDCDDCDDCDCDDCDCDDCDCDCDDCDCDCDCDDCDDDCDDCDDCDCDDDCDDDDCDDCDDDDDCDDDDCDCDCDCDDCDDDDDDDCDDCDCDCDDDDCDDDCDCDCDCDCDCDDDDDDDDDCDCDCDCDCDCDDDDDCDDDCDCDDCDDCDCDDCDDCDDCDCDDDCDDCDCDCDCDCDCDCDDCDCDCDCDDDCDCDCDDDDDDDDCDCDDDDDDDCW
. Wir wollen jetzt, dass diese Zeichenfolge übereinstimmtVD+C+W
. Das heißt, wir möchten alleD
s links von allenC
s verschieben. Dies kann durch Umkehren erfolgenDCC:CD
. Dazu wiederholen wir den folgenden Algorithmus:D
rechts von einem Block vonC
s.D
nach links von diesem Block.C
s.Durch einige Berechnungen können wir feststellen, dass wir 123
D
s und 4638704741628490670592103344196019722536654143873C
s erhalten werden (Sie hatten Recht damit, dass dies nicht in eine SE-Antwort passt ... Ich bezweifle, dass dies passen würde, wenn es als Zustände aller Atome auf der Erde gespeichert würde kombiniert: P).Wenn wir weiterhin das Gegenteil von anwenden
V:VD
, können wirD
jetzt alle s loswerden , also bekommen wirVCCC.......CCCW
. Wir wandeln denV
Rücken in umYZ
. Jetzt haben wirYZCCC.......CCCW
.Wir wollen in der Lage sein, alle
C
s loszuwerden und sie in der Form zu habenYAAA...AAABBB...BBBZW
. Glücklicherweise kann dies mit der folgenden Methode erfolgen. Erstens wenden wirYB:Y
587912508217580921743211 mal invers an, um zu erhaltenYBBB.......BBBZCCC.......CCCW
. Dann wiederholen wir die folgende Abfolge von Schritten (wobei[?*]
eine beliebige Anzahl von?
, nicht notwendigerweise größer als Null, bedeutet):CZ:ZC
Umgekehrt 587912508217580921743211 mal anwenden , um zu erhaltenY[A*]BBB.......BBBCCC.......CCCZCCC.......CCCW
CB:BC
viele Male anwenden , um zu erhaltenY[A*]BCBCBC.......BCBCBCZCCC.......CCCW
AZ:Z
undAB:BCA
oft zu bekommenY[A*]ABBB.......BBBZCCC.......CCCW
Durch Induktion sehen wir, dass wir die
BZ
Kombination bis zum Ende verschieben können (außer vor demW
), und dann ist die Anzahl vonA
s 1/587912508217580921743211 der Anzahl vonC
s, so dass wir 7890127658096618386747843A
s haben. Wir haben jetztYAAA.......AAABBB.......BBBZW
. Konvertieren Sie denZW
Rücken in aU
, wenden Sie ihn dannU:BU
mehrmals invers an, um nur 2B
s zu behalten, und konvertieren Sie ihn dannBBU
in aT
, und Sie haben jetztYAAA.......AAAT
. Dann können SieT:AAAAAT
viele Male invers anwenden , um zu erhalten,YAAAT
weil die Anzahl vonA
s 3 größer war als ein Vielfaches von 5.Danke für die Herausforderung!
quelle
A:B
aufABC
gibtBBC
, ist es offensichtlich, dass das Anwenden der Umkehrung vonA:B
aufBBC
geben kannABC
. Es wird nicht ausdrücklich angegeben, dass es erlaubt ist, aber ich kann einfach meine Schritte umkehren und eine "konventionelle" Lösung haben. Es ist nur einfacher, IMO rückwärts zu gehen.A:B
und nicht angegeben ist, dass die umgekehrte Anwendung zulässig ist, dann denke ich nicht, dass Sie vonBBC
zu gehen könnenABC
. Dieser spezielle Fall kann anders sein und es gibt einen Weg in die andere Richtung. Ich werde es später überprüfen.Boboquack
Nehmen Sie für eine bestimmte Zeichenfolge alle Buchstaben (a = 0, b = 1, c = 2), fassen Sie sie zusammen und nehmen Sie das Modulo 3. Dann ändert keine der Umschreiberegeln diesen Wert. Die Quellzeichenfolge hat den Wert 1 und das Ziel den Wert 2. Daher wird die Quellzeichenfolge durch keine Kombination von Regeln in die Zielzeichenfolge umgewandelt.
quelle
Feersum
Dies ist ein Sokoban-Puzzle. Die Ausgangsposition ist:
Die Endposition ist:
Es kann mit der folgenden Tastenfolge gelöst werden:
Hier ist ein Bash-Programm, das die Tastenfolge in sed-Befehle konvertiert und diese anwendet. Die sed-Befehle enthalten nur das Ersetzen von Befehlen mithilfe der in der Antwort des Cop definierten Umschreiberegeln sowie Beschriftungs- und Verzweigungsbefehle, die die Zeichenfolge nicht ändern. Es bestätigt, dass Sie die Zielzeichenfolge nur mit den Umschreiberegeln abrufen können.
Probieren Sie es online aus!
Probieren Sie es online aus (mit entferntem Escape-Code)!
Für Auf und Ab
!:wLW_
oder!:_VRv
wird einmal entsprechend angewendet, und die entsprechenden Regeln werden wiederholt angewendet, bis die!
wieder erscheinen. Für richtig wird eines von!#_:_!#
und!_:_!
angewendet. Für links wird eines von_#!:#!_
und_!:!_
angewendet.Siehe die Ausgabe in den Links für die Position nach jeder Bewegung.
quelle
xnor
Wir verwenden
[X,Y]
einen Lauf von Y , um anzuzeigen ,X
sAusgehend von der
xnor = xn[o,1]r
10-fachen Wiederholung des Algorithmus - außer in der 10. Schleife halten wir bei Schritt 4 anx[o,1024]r
.Bei Anwendung von Regel 4 werden 1023 = 11 * 93
o
s gelöschtxor
.quelle
VortexYT
Es gibt keine Möglichkeit,
F
s zu eliminieren, ohne andere Zeichen zu erstellen / zu verwenden. Daher müssen wirI:F
als letzten Schritt das Ziel erreichen. Keine Regel gibt eine SingleI
ohne andere unerwünschte Zeichen an, sodass Sie nicht zur Zielzeichenfolge gelangen können.Wenn Sie versuchen, von der Quelle aus rückwärts zuzuordnen, können Sie nur von
F
zu gelangen ,I
bevor Sie keine weiteren Optionen mehr haben.quelle