.png){kind=icon}
返回
Computational Complexity and Integer Programming Formulation of the Oredango Puzzle
.png){kind=icon}
PRE
AI
DOI：10.1587/transinf.2025FCP0008.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
奥雷丹戈谜题是一种铅笔谜题，最初由Kanaiboshi创建并发表在流行的谜题杂志Nikoli上。在本文中，我们通过从1-in-3SAT问题构造归约，证明了奥雷丹戈谜题的NP完全性和ASP完全性。接下来，我们将奥雷丹戈谜题表述为一个0-1整数规划问题，并展示了使用0-1优化求解器解决来自Nikoli和PuzzleSquare JP的奥雷丹戈谜题所获得的数值结果。
Keyword:
pencil-and-paper puzzle
computational complexity
ASP-completeness
integer programming
Oredango
期刊
I
IF:
0.8
论文数:
171
被引数:
2.3K
机构
引用论文
暂无论文信息