WEKO3
アイテム
キンコンカンのNP完全性の証明について
https://ipsj.ixsq.nii.ac.jp/records/222784
https://ipsj.ixsq.nii.ac.jp/records/222784428f5516-9179-4ce1-bcd2-5eb458a18f3e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MPS22141002.pdf (948.0 kB)
|
Copyright (c) 2022 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-12-05 | |||||||||
| タイトル | ||||||||||
| タイトル | キンコンカンのNP完全性の証明について | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Proof of NP-completeness of Kin-Kon-Kan | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 静岡県立大学大学院経営情報イノベーション研究科 | ||||||||||
| 著者所属 | ||||||||||
| 静岡県立大学大学院経営情報イノベーション研究科 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Management and Information of Innovation. University of Shizuoka | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Management and Information of Innovation. University of Shizuoka | ||||||||||
| 著者名 |
福永, 智渉
× 福永, 智渉
× 大久保, 誠也
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 本研究では，組み合わせパズルの 1 つである，キンコンカンについて，解の存在判定が NP 完全問題であることを証明する．具体的には，NP 完全問題である平面 3SAT からの多項式時間帰着を用いて，証明を行う． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | In this study, we prove that the existence determination of a solution is an NP-complete problem for one of the combinatiorial puzzles, Kin-Kon-Kan. Specifically, the proof is based on a polynomial-time reduction from planar 3SAT, which is an NP-complete problem. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10505667 | |||||||||
| 書誌情報 |
研究報告数理モデル化と問題解決（MPS） 巻 2022-MPS-141, 号 2, p. 1-6, 発行日 2022-12-05 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8833 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
