By: |
![]() ![]() THEN (Inst: 3 Using:[p | otherPeg(p; q) | a] (THEN (Inst: 3 Using:[otherPeg(p; q) | q | m+1] (THEN (Witness: z | m) |
1 |
![]() ![]() ![]() | 1 step |
2 |
![]() ![]() ![]() ![]() | 1 step |
3 |
![]() 9. ![]() 10. m : {a...} 11. s1 : {a...m} ![]() ![]() ![]() ![]() 12. s1 is a Hanoi(n-1 disk) seq on a..m 13. s1(a) = ( ![]() 14. s1(m) = ( ![]() 15. z : {m+1...} 16. s2 : {m+1...z} ![]() ![]() ![]() ![]() 17. s2 is a Hanoi(n-1 disk) seq on m+1..z 18. s2(m+1) = ( ![]() 19. s2(z) = ( ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 6 steps |
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() | ![]() |
![]() |