我有一个项目要完成复杂性和解决问题的课程,我决定将项目建立在数独上。根据我所做的研究,数独是一个 NP-Complete 问题(这是项目所必需的),我找到了一些为其创建算法的方法。我打算做一个蛮力解决方法,我需要做另外两种方法。我找到了一些方法,例如将其解决为精确覆盖问题,并且我找到了一篇将数独描述为 SAT 问题的论文。但我的问题是:数独是否有经过验证的多项式解决方案?我的老师似乎认为大约 5 年前一位“高级”绅士有一个“聪明”的解决方案,但他只记得这些。有谁知道这个解决方案是什么,或者任何其他多项式解决方案是什么?我'
谢谢!