Assertion: algorithm | /r/HasProperty | known for the towers of hanoi puzzle
Facets:
Source sentences:
text: For the Towers of Hanoi puzzle, a God's algorithm is known for any given number of disks.