ソファ問題

不規則な二次元オブジェクトが、複雑な二次元構造内の一点から別の点に移動できるかどうかを判断するために使用できるプログラムが説明されています（二次元ソファ問題）。プログラムの表現は、問題ネットワークと関連する探索手順に基づいており、一般化されたプログラミングスキーマの望ましさを示すために使用されます。