Gammon如何解決第2集中的難題？

B子回來了

在觀看《披腦》第2集時，我嘗試自己解決難題。但是在那個滑塊遊戲中，我不知道加蒙如何解決這個難題 在清除道路之前不要移動紅色汽車。看起來是這樣的：

最左邊的黑色汽車和出口附近的白色汽車長3個街區，可以從下圖確認。

因此，當您將其繪製出來時，難題將如下所示：

我有點想知道如何，而且我認為這是不可能的。

我假設紅色汽車必須通過出口，並且汽車只能向前/向後移動？
是的。與流行的手機遊戲《解開我》的規則相同。
它似乎可以解決，但我的解決方案尚未完成，我敢打賭我有一些不必要的步驟
我認為這是在插曲中解釋的，他用汽車推其他車來騙了，這是你不應該做的。上火車時，我會嘗試制定答案：p
對於它的價值，這促使我在Math.SE上提出一個問題，有人建議可以解決這個難題。不幸的是，我現在真的太累了，無法重新嘗試。

我最終在IDP中為其編寫了描述性模型，讓我們大學的可解性證明者證明是否可以找到解決方案。它能想到的最快的解決方案是完成遊戲 48級 （見下文）。因此，這個問題確實可以解決。我的第一個回答雖然說Gammon被騙了，的確是不正確的。這只是後他解決了這個難題，那就是該系統遭到破壞並導致Kaito 欺騙挽救他們的生命。

我將汽車從上到下，從左到右編號，如下圖。

解決方案以以下形式編寫 Move(t,cid,d) 和 t 是解決方案中的步驟號 cid 是汽車標識符，並且 d 是汽車在該時間步中行駛的距離。 d 在向上行駛或向右行駛時為正，並且 d 向下或向左行駛時為負。

Move = { 1,9,1; 2,4,2; 3,2,1; 4,1,-1; 5,6,-3; 6,7,1; 7,9,1; 8,3,3; 9,7,-2; 10,6,1; 11,1,1; 12,2,-1; 13,5,3; 14,2,1; 15,1,-1; 16,6,-1; 17,7,2; 18,8,2; 19,10,-4; 20,8,-2; 21,7,-1; 22,6,1; 23,1,1; 24,2,-1; 25,5,-3; 26,2,2; 27,1,-1; 28,6,-1; 29,7,1; 30,3,-3; 31,7,-1; 32,6,1; 33,1,1; 34,2,-2; 35,4,-2; 36,9,-4; 37,4,2; 38,2,1; 39,1,-1; 40,6,-1; 41,7,1; 42,3,3; 43,7,-1; 44,6,3; 45,1,1; 46,2,-1; 47,5,4; }