[Stefan Pochmann]

Richtig, das ist keine kleine Formel wie 7x^2+10y, die man mal eben so ausrechnen kann. Der Computer arbeitet da Millionen von Stellungen durch. Natuerlich koennt ihr euch auch mit Papier und Stift hinsetzen und das selbst machen, aber der Computer kann das halt viel schneller und fehlerfreier.

Wobei es mit manchen Puzzles aufgrund spezieller Eigenschaften tatsaechlich doch geht, zB Rubik's Clock:
http://www.jaapsch.net/puzzles/clock.htm
Hierfuer kann man ein relativ kleines Gleichungssystem aufstellen, mit dem man die Clock loesen kann.