以下是可完成该成就的关卡。左边为关卡，右边为步数。 关卡与步数 总结一下可以突破最佳记录的关卡，以供新玩家解锁全成就尝试。 总共有25关可以做到，达成成就需要突破其中的十关。 每行第一个为关卡数，第二个为目前已知的最短行数。2-5 8 2-6 8 2-7 5 2-8 7 2-9 7 3-4 3 3-5 6 3-7 7 4-4 4 4-6 5 4-8 8 4-9 4 4-11 8 4-12 6 4-13 7 4-14 8 4-15 8 4-16 4 5-1 3 5-3 6 5-4 6 5-5 11 5-6 15 6-2 9 6-3 6

本指南是对第六章中不使用关键词的游戏图灵完备性证明的探讨。 前情提要 在游戏的第六章中，作者提到自己做了一个梦，意识到A=B中的关键字都是不必要的，并且教授肯定了这个说法。然而，根据提交的6版本报告，作者并未提供不依赖关键字的图灵完备性证明。然而从提交的第6版的课题报告文件看来，作者并没有提供一个不依赖于关键字的图灵完备性的证明。 这几天我在思考在没有关键字的情况下证明图灵完备性的可能性，我认为结果是不可能的。我尝试用一些通用的办法将带关键字的语句改写为没有关键字的，有一部分情况下成功了，但一些情况下却不行。成功的情况主要需要满足以下特性： 1.输出字符串的字符集不能和输入字符串的字符集重叠 输入字符串的长度必须有限制 一个例子 考虑到以下代码： a=(return)true =(return)false 这个代码的作用是：当字符串中含有a时输出true，否则输出false。当输入字符串的长度大于或等于1时，不能用没有关键字的语句替换。这是因为，无论如何重写，代码都必须包含这样的语句：当输入字符串长度>=1时，无法用无关键字的语句替代。这是因为，无论如何改写，代码中必定包含这样的语句：a=xyz。此时，当输入字符串没有a时，代码运行到最后必须是false。由于上面的这条语句，字符串会被替换成fxyzlse，而程序最终无法停止。如果我们不将输入字符串视为单个字符“a”或“b”，则可以通过复杂方法实现，例如遍历两个字符“aa=xyz”。在这种情况下，代码无法识别单个字符“a”或“b”并最终输出true和false，因此必须限制字符串的长度。 如果不考虑输入字符串为单个字符a或者b，那通过复杂的方法是可以实现的，例如遍历两个字符aa=xyz。这种情况下，代码无法识别单个字符a或者b并最终输出true和false，因此必须对字符串的长度加以限制。 但是，如果输出字符串存在更多重叠，例如输出“faalse”而非“false”，这种方法将再次失效。因此，输入和输出的字符集不能重叠。然而，游戏中的大多数示例题目都不符合这些要求，所以无法重写。然而，如果输出字符串有更多重叠时，例如要输出faalse而非false，那这种方法又会失效。因此，输入和输出字符集不能重叠。然而游戏中绝大多数例题都不满足要求，因此无法改写。 替换方案 如果满足输入和输出字符集不重叠，那么大多数关键字都有改法，总结如下： 设W为待替换字符串，U为替换字符串，@、$、%等为与原代码中所有字符均不同的临时字符。请注意，每次进行替换时，都必须选用新的临时字符。在替换中重复使用临时字符会干扰后续的替换代码。 下面我们假设W为被替换的字符串，U为替换的字符串，@为临时字符并且和原始代码中的所有字符都不相同。请注意，每次替换时，必须重新选取新的临时字符。在替换中重复使用临时字符会造成后续替换代码被之前的替换代码干扰。 0. (关键字)W=(关键字)U (关键字)W=@ @=(关键字)U 1. (开始)W=U (单次)=@ @W=U 2. (结束)W=U (单次)=(结束)@ W@=U a@=@a b@=@b c@=@c @= 3. W=(开始)U W=@ a@=@a b@=@b c@=@c @=U 4. W=(结束)U W=@ @a=a@ @b=b@ @c=c@ @=U 5. W=(返回)U W=@ a@=@ b@=@ c@=@ @a=@ @b=@ @c=@ @@=@ @=U 6. =(返回)U (单次)=@ a=@ b=@ c=@ @@=@ @=U 7. (单次)W=U (单次)=@ @W=U @a=a@ @b=b@ @c=c@ @= 8.无法实现这个函数，因为输出字符串包含输入字符串。如果大家有办法解决这个问题，请告诉我。

This guide has been created to share ideas for finding the shortest solutions and the shortest unbounded-input solutions in A = B. If you have any ideas, please feel free to share them in the comments. Note: "unbounded-input" refers to a solution that is able to operate even when the input exceeds the limits specified in the problem (such as input string length or input number). In such cases, the string length limit (255) and the time limit (100000) are disregarded. This unbounded-input regulation originated from voickas's guide, "Length-agnostic solutions". このガイドは、ゲーム「A=B」の問題における「最も行数が短い解法」と「入力上限がなくても動作する解法の中で最短の解法」を見つけるために作成しました。何かアイデアがあれば、ぜひコメントで共有してください。 ※ここで言う「入力上限がなくても動作する解法 (unbounded-input solution)」とは、入力文字列の長さや入力値の上限を超える入力が与えられても、理論上 (string length limit (255) や time limit (100000) を無視することで) 動作可能な解法を意味する。正攻法とも言う。 Records ・(?/?) indicates the record for the shortest solutions. ・[?/?] indicates the record for the shortest unbounded-input solutions. ・If [?/?] is absent, (?/?) represents both. Chapter 1: A=B 1-1 (1/1) 1-2 (3/3) 1-3 (3/3) 1-4 (2/2) 1-5 (3/3) 1-6 (4/4) Chapter 2: Keyword 2-1 (1/1) 2-2 (4/4) 2-3 (5/5) 2-4 (6/6) 2-5 (8/10) 2-6 (7/13) 2-7 (5/8) [8/8] 2-8 (7/11) [9/11] 2-9 (7/9) [9/9] Chapter 3: Start and End 3-1 (2/2) 3-2 (2/2) 3-3 (4/4) 3-4 (3/4) 3-5 (6/7) 3-6 (10/11) 3-7 (7/8) Chapter 4: Once Upon A Time 4-1 (1/1) 4-2 (3/3) 4-3 (4/4) 4-4 (4/5) [5/5] 4-5 (7/7) 4-6 (5/6) [6/6] 4-7 (6/7) 4-8 (8/11) 4-9 (4/5) [5/5] 4-10 (6/8) 4-11 (8/9) 4-12 (5/9) [6/9] 4-13 (7/10) [8/10] 4-14 (7/15) [9/15] 4-15 (7/13) [9/13] 4-16 (4/9) [5/9] Chapter 5: Math 5-1 (3/7) 5-2 (4/4) 5-3 (5/9) [6/9] 5-4 (5/8) 5-5 (8/28) [10/28] 5-6 (10/40) [12/40] Chapter 6: Aftermath 6-1 (4/4) 6-2 (9/24) 6-3 (6/13) [9/13] Summary Chapter 1 (16/16) Chapter 2 (50/67) [57/67] Chapter 3 (34/38) Chapter 4 (86/122) [96/122] Chapter 5 (35/96) [40/96] Chapter 6 (19/41) [22/41] Total (240/380) [265/380] ━ ━ ━ ━ ━ ━ ━ ━ ━ ━ 　⚠️ Spoilers Ahead ⚠️ ━ ━ ━ ━ ━ ━ ━ ━ ━ ━ Chapter 1: A=B 1-1 A to B (1/1)a=b 1-2 Uppercase (3/3)a=A b=B c=C 1-3 Singleton (3/3)aa=a bb=b cc=c 1-4 Singleton 2 (2/2)aaa=aa aa= 1-5 Sort (3/3)ba=ab ca=ac cb=bc 1-6 Compare (4/4)ab= ba= aa=a bb=b Chapter 2: Keyword 2-1 Hello World (1/1)=(return)helloworld 2-2 AAA (4/4)b= c= aaa=(return)true =(return)false 2-3 Exactly Three (5/5)b=a c=a aaaa=(return)false aaa=(return)true =(return)false 2-4 Remainder (6/6)b=a c=a aaaa=a aaa=0 aa=2 a=1 2-5 Odd (8/10)a=|-- b=-|- c=--| |--|--|=| -|-|-=|---| --||--=|----| |--|=(return)false =(return)true 2-6 The Only (7/13)a=eteteeeteeteete b=eteeteteeeteete c=eteeteeteteeete eeeteeteeteet=e eteteee=teteruee ete= te=(return)false 2-7 Ascend (5/8)aaaaaaaaac= ca=ac b=aaaaaaaa aaaaaacc=(return)true =(return)false (unbounded) [8/8]ba=ab ca=ac cb=bc b|=|b bc=| a|= |c=(return)true =(return)false 2-8 Most (7/11)ba=ab ca=ac cb=bc aaaa=(return)a bbbb=(return)b ccc=(return)c =abc (unbounded) [9/11]|b=a| |c=b| ||||a=| |a=c| a|||=a |||||||||||=(return)c ||||||||||=(return)b |||||||||=(return)a =|||| 2-9 Least (7/9)ba=ab ca=ac cb=bc abc=(return)b aab=(return)c bc=(return)a =ab (unbounded) [9/9]|b=a| |c=b| ||||a=| |a=c| ||||||=(return)c |||||=(return)b ||||=(return)a |||= =|||| Chapter 3: Start and End 3-1 Remove (2/2)(start)a= (end)a= 3-2 Spin (2/2)(start)b=(end)b (start)c=(end)c 3-3 A to B 2 (4/4)(start)a=(end)< (end)a=(start)> <=(start)b >=(end)b 3-4 Swap (3/4)(end)b=(start)|b |ba=(end)|ab |= 3-5 Match (6/7)b=|a|| c=||a| (start)|=(end)| (end)a|||=(return)true (end)|=(return)false =(return)true 3-6 Most 2 (10/11)ab=(end)|c ba=(end)|c ca=ac cb=bc c|c=(end)| ac=(end)| bc=(end)| a|=aa b|=bb |=c 3-7 Palindrome (7/8)b=a|a| c=a|aa| a|-= --=(return)false (start)a|=(end)- (start)a=(end)|- =(return)true Chapter 4: Once Upon A Time 4-1 Hello 2 (1/1)(once)=hello 4-2 Remove 2 (3/3)(once)a= (once)a= (once)a= 4-3 Cut (4/4)(once)=||| |a= |b= |c= 4-4 Remove 3 (4/5)(once)=(end)cccccccccccccccccccccccc bcccccccc=ccccccccb acccccccc= cccccccc= (unbounded) [5/5](once)=(end)||| b|=|b c|=|c a|= |= 4-5 Reverse (7/7)(once)=< a<=(start)a b<=(start)b c<=(start)c <a=(end)<a <b=(end)<b <c=(end)<c 4-6 Reverse 2 (5/6)(once)=<<<<<<< <a=(start)a <b=(start)b <c=(start)c <= (unbounded) [6/6](once)=, <a=(start)a <b=(start)b <c=(start)c ,<= ,=,< 4-7 Cut 2 (6/7)(once)=|||||||||||| |b=a |c=b ||||a=c||| ||=| |a= 4-8 Clone (8/11)(once)=>>> <a=(start)a <b=(start)b <c=(start)c >a=(end)<aa >b=(end)<bb >c=(end)<cc (once)=<<< 4-9 A to B 3 (4/5)(once)=cccccccc cccccccca=bcccccccc ccccccccb=acccccccc cccccccc= (unbounded) [5/5](once)=| |a=b| |b=a| |c=c| |= 4-10 Half (6/8)(once)=||| |b=a| |c=b| ||||a=c| |a=|||| |= 4-11 Clone 2 (8/9)(once)=(end)| >a=(end)a >b=(end)b >c=(end)c a|=|>|aa b|=|>|bb c|=|>|cc |= 4-12 To B or not to B (5/9)(once)b=abbbbbbbb cbbbbbbbb=bbbbbbbbc abbbbbbb=(end)bbbbbbbb bbbbbbbb= a=c (unbounded) [6/9](once)b=a|b b|=|b c|b=|bc a|=(end)|b |b= a=c 4-13 Center (7/10)(once)=>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >a=(end)a >b=(end)b >c=(end)c (start)a=(return)a (start)b=(return)b (start)c=(return)c (unbounded) [8/10]a=,,,,,/ b=,,,,/ c=,,,/ ,,,,,,/= /,,,=,,,/ ,,,,,=(return)a ,,,,=(return)b ,,,=(return)c 4-14 Center 2 (7/15)(once)=(end)<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<c<c<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<< a<=(start)a b<=(start)b ac<c=ccc< bc<c=ccc< c<=(start)c (once)ccc= (unbounded) [9/15](once)=/, ,, ,,a=(end),/aa ,,b=(end),/bb ,,c=(end),/cc ,=(start), = ,, ,, ,/a= ,/b= ,/c= 4-15 Expansion (7/13)(once)=||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||| |b=a| |c=b| ||||||||||||||||||a=a||||||||||||||| ||||a=|aa |a=c| |= (unbounded) [9/13](once)=||-||- ||-a=(end)|-|a|-| ||-b=(end)|-|b|-| ||-c=(end)|-|c|-| a|-||-|b|-||-|c=(start)|||-|- -||-|a=|-||-||-abcaa -||-|b=|-||-||-abcbb -||-|c=|-||-||-abccc |-|= 4-16 Merge (4/9)a,,=(start)a b,,=(start)b >=(end), ,=>>>,,>>,,>>,,>>,,>>,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, (unbounded) [5/9]>,,,a=(end)a >,,,b=(end)b ,>=(start)>,,, >,,,,,= ,=,>,, Chapter 5: Math 5-1 Count (3/7)a1=1aa a0=1a 1=a 5-2 A+1 (4/4)(once)=(end)a 1a=a0 0a=1 a=1 5-3 A+B (5/9)(once)=|||||||||||||||||||||||||||||| 1+11111=+111110 0+11111=1 +11111=1 |=(end)+11111 (unbounded) [6/9]+++11=1+++1+++1 +++10=1+++1 1++1=++10 0++1=1 ++= +=++++ 5-4 A-B (5/8)-1|0-10=(start)-1|0-1 -1|0-1= 1|=(end)|0-1|0-10-1 0|0=|01 -=|0--1|0-1 5-5 A*B (8/28)10000000000=00000000001| |0000000000=0000000000| 0100000|||||||||||||||||||||||||||=(start)0 1100000|||||||||||||||||||||||||||1=100000|||||||||||||||||||||||||||10 (start)0= (start)|=(end)0000000000 |=1000000100000||||||||||||||||||||||||||||||||||||||||||||||||||||||1 *=|||||||||||||||||||||||||||||||||||||||||||||||||||||||||| (unbounded) [10/28]0|<1=1|0|< 0|<|=|0|< |<0=0|< 0|=1 (start)0= 1<=(start)0 0<0=<01 (start)1*= *=<0*0|< |=<|0 5-6 A/B (10/40)(once)=(end)/////1,////////////////////////////////////////////////////////////////// // // // // // // // // // // // // // // // // // // // // // // // // // // // // // // // /,////////////////////////////////////////////////////////////////// ///1,////////////////////////////////////////////////////////////////// /=(start)///1/1,////////////////////////////////////////////////////////////////,/ ///1/ /=///1 0//=//1 /1//1=/1 1//=0 /// /= ////////////////////////////////////////////////////////////////,////1/1,//=(end)1,////////////////////////////////////////////////////////////////// =(end) // 1/1,= /11111 (unbounded) [12/40](once)=(end)///0//0/// ,1//,1=(end),1/ 0////,1/0///=////,1/0///1 1////,1/0///0=(end)0/// /1////,1/0//= 1////,1/0///=0 ////,1=/// ///0=(start)0,1/1////,1/0/// //=////,1/0/////,1/ 1,1/=,1/0 0,1/=1 ,1/=1 Chapter 6: Aftermath 6-1 Hello Again (4/4)b=a c=a da=d a=helloworld 6-2 Palindrome 2 (9/24)eeeeeeteee=te eet=tee teeeee= ea=ettette b=aatttetetettettttete c=aatttetetettttetetettttete aa=true te=eeeee truee=false 6-3 To B or not to B 2 (6/13)a=ccccccc|ccccccc ccccccc|cccccccccccccccccccc=b cccccccccccccccccccc|ccccccc=b cccccccb=ccccccccccccccccccccb bccccccc=bcccccccccccccccccccc ccccccc|cccccc= (unbounded) [9/13]|a|c|cc=c|a|c|c |a|c|ca=a|a|c|c |c|a|c|cb=|cb b|=b|a|c| a|c|= c|=|c a|c=b |=|a|c|c|a|c| a=|ca Workshop: Kazuei's Problems Below are the problems I submitted to the workshop. Challengers welcome! https://steamcommunity.com/sharedfiles/filedetails/?id=3456583893 k-1 SubtractionNo solutions have been provided yet. k-2 SummationNo solutions have been provided yet. k-3 Square Root No solutions have been provided yet. k-4 LogarithmNo solutions have been provided yet. k-5 Fibonacci SequenceNo solutions have been provided yet. k-6 Greatest Common DivisorNo solutions have been provided yet. k-7 Least Common MultipleNo solutions have been provided yet. k-8 Prime FactorizationNo solutions have been provided yet. k-9 Lexicographic OrderNo solutions have been provided yet. k-10 A=B by A=BNo solutions have been provided yet. k-11 Decimal to RomanNo solutions have been provided yet. k-12 Binary to RomanNo solutions have been provided yet.