Halting problem graph solution