Проблема N-королевы заключается в следующем:
Вход: N
Вывод: размещение N «ферзей» на шахматной доске NXN таким образом, чтобы никакие две королевы не лежали в одной строке, столбце или диагонали.
Сделав поиск в Google по этому вопросу, я обнаружил, что многие слайды многих профессоров утверждают, что это проблема NP-Hard (например, web.mst.edu/~ercal/387/slides/NP-Hard.ppt).
Однако я не смог найти доказательства (или получить одно). Причина, по которой я задаю этот вопрос, заключается в том, что я думаю, что у меня есть алгоритм, который решает определенные случаи проблемы, то есть с N, не кратным 2 или 3 (N - это число ферзей). Связанная проблема - Можем ли мы считать размер входного файла равным N (где N - количество королев)? Или мы принимаем входной размер равным log (N), поскольку число 'N' может быть представлено в log (N) битах?
источник
Ответы:
Как указано, ответ на этот вопрос НЕТ.
Ссылки: Алгоритм полиномиального времени http://dl.acm.org/citation.cfm?id=101343 [любезно предоставлено: vzn]
Еще один гораздо более простой метод: http://dl.acm.org/citation.cfm?id=122322 [любезно предоставлено Джеффом]
источник
На самом деле, это только что было доказано.
https://blogs.cs.st-andrews.ac.uk/csblog/2017/08/31/n-queens-completion-is-np-complete/ ]
источник