@article{oai:ipsj.ixsq.nii.ac.jp:00228859,
 author = {福永, 智渉 and 大久保, 誠也 and Chiho, Fukunaga and Seiya, Okubo},
 issue = {2},
 journal = {情報処理学会論文誌数理モデル化と応用（TOM）},
 month = {Oct},
 note = {本研究では，組合せパズルゲームの1つである，キンコンカンについて，解の存在判定がNP完全問題であることを証明する．具体的には，NP完全問題であるCircuit SATからの多項式時間帰着を用いて，証明を行う．, In this study, we prove that the existence determination of a solution is an NP-complete problem for one of the combinatorial puzzles, Kin-Kon-Kan. Specifically, the proof is based on a polynomial-time reduction from Circuit SAT, which is an NP-complete problem.},
 pages = {59--66},
 title = {キンコンカンのNP完全性の証明について},
 volume = {16},
 year = {2023}
}