Прихований шлях у квадратних сітках

Я натрапив на відкриту проблему, яку постає Девід Еппштейн, і мене цікавить її статус складності. Він здогадався, що це NP-завершеність.

Введення: за n матрицею 0 і 1, послідовністю n 2 0 і 1$n$$n$$n^2$

Питання: Чи є шлях через суміжні записи матриці, що охоплюють кожен запис матриці рівно один раз, зі значеннями, що відповідають заданій послідовності?

Хтось доводив, що проблема справді важка?

У лютому я отримав електронний лист від іспанського магістранта Ніла Мамано з доказом того, що ця проблема справді є NP-повною шляхом зменшення гамільтонівського шляху в сітчасті графіки. Я не знаю, що вона ще ніде не була опублікована. Зменшення замінює кожну вершину графіка сітки блоком 2x2 розміром 1, а кожну крайку, грань чи відсутність вершини блоком 2x2 0. Послідовність введення чергується між підрядками чотирьох 1 і чотирьох 0 у стільки разів, скільки потрібно для покриття всіх вершин, а потім заповнює решту послідовності 0. Для відповідності послідовності введення шлях через сітку повинен вирівнювати підрядки чотирьох 1-х з 2х2-блоками 1-х від скорочення, утворюючи гамільтонів шлях; якщо такий шлях існує, він "