正方グリッドの隠しパス

David Eppsteinが提起した未解決の問題に遭遇し、その複雑さのステータスに興味があります。彼はそれがNP完全であると推測しました。

入力：によって 0と1の配列の行列 0と1$n$$n$$n^2$

質問：隣接する行列エントリを通るパスがあり、各行列エントリを1回だけカバーし、値は指定されたシーケンスと一致しますか？

問題が本当に難しいことを誰かが証明しましたか？

昨年2月にスペインの大学生であるNil Mamanoから、グリッドグラフのハミルトニアンパスからの削減により、この問題が実際にNP完全であることを証明するメールを受け取りました。それがどこかで発表されたことはまだわかりません。削減は、グリッドグラフの各頂点を1の2x2ブロックで置き換え、各エッジ、面、または欠落している頂点を0の2x2ブロックで置き換えます。入力シーケンスは、4つの1と4つの0のサブシーケンスを、すべての頂点をカバーするのに必要な回数だけ交互に切り替え、残りのシーケンスを0で埋めます。入力シーケンスを一致させるには、グリッドを通るパスが4つの1のサブシーケンスをリダクションからの1の2x2ブロックと整列させ、ハミルトニアンパスを形成する必要があります。そのようなパスが存在する場合、それは