骨牌Tatami覆盖是NP完全的
计算复杂性
2013-05-30 v1 组合数学
摘要
一个矩形区域的骨牌覆盖被称为“tatami”，如果没有四个骨牌在任意点相遇。我们描述了从平面3SAT到Domino Tatami Covering的归约。因此，判断一个图是否存在完美匹配且该匹配不包含任何4-圈（即使该图被限制为网格图的诱导子图）是NP完全的。归约中使用的组件是在SAT求解器的帮助下发现的。
引用
@article{arxiv.1305.6669,
title = {Domino Tatami Covering is NP-complete},
author = {Alejandro Erickson and Frank Ruskey},
journal= {arXiv preprint arXiv:1305.6669},
year = {2013}
}
备注
10 pages, accepted at The International Workshop on Combinatorial Algorithms (IWOCA) 2013