TPP2013 9th Theorem Proving and Provers meeting 本文へジャンプ
問題(予告):問題の詳細を検討中ですが、あらかじめ予告いたします。



今年も皆で問題を解いて, TPPで解を比べようと思います. サム・ロイドの15パズルの問題です。

問題(PDF)
この問題でほぼ決定と考えています。
細かい点で修正や、なんらかの条件が入るかもしれませんが、
問題の難易度の調整のため(難しすぎると盛り上がらないので)であって、
大きくかわることはありません。