Почему головоломки типа Sokoban считаются NP-трудными?

Головоломки типа Sokoban считаются NP-трудными, потому что вычисление оптимального алгоритма прохождения игры требует большого количества перемещений персонажа и ящиков. habr.com

Это связано с тем, что в игре сильное ветвление дерева решений и большая его глубина. ru.wikipedia.org ru.ruwiki.ru Чтобы найти верное решение, нужно перебрать много вариантов. pikabu.ru На некоторых уровнях количество «правильных» ходов, ведущих к выигрышу, может достигать тысячи. pikabu.ru

В 1995 году было доказано, что задача решения уровней Sokoban — NP-трудна. ru.wikipedia.org ru.ruwiki.ru