Problem 1636

• a(A,B,C):slAra(A,B-1,C)la(sA,C-1,C-1)a(,7,7) a(,7,7) 最初の27B解 -- snuke 2013-01-13 (日) 18:23:39 かなり経ってから見直したら x(X,Y):Xx(X,Y-1) a(A,B):x(slAr,B)la(sA,B-1)a(,7) a(,7) 27Bとなり、 -- snuke 2013-01-13 (日) 18:23:52
• これを縮めて x(X,Y):sXx(X,Y-1) a(A):x(lx(,7-A)r,A)la(A-1)a(7) a(7) 26B この問題は経路が奇跡的。 -- snuke 2013-01-13 (日) 18:24:31
• あれ、同じようなことやって28Bだったような（汗

[27B] b(X,A,T):slXrb(X,A-1,T)lb(sX,T-1,T-1)b(,7,7) b(,7,7)

変なずらしテク

[26B] b(X,A,T):slXrb(X,A-11,T)lb(sX,T,T-10)b(,70,61) b(,70,61) -- mas 2013-01-13 (日) 19:44:47