論文

• Takayuki YATO: Study on Elliptic and Hyperelliptic Curve Methods for Integer Factorization (楕円および超楕円曲線法による素因数分解の研究), Senior Thesis, the University of Tokyo, 2000.
  [dvi] [ps] [pdf]
• Takayuki YATO: On the NP-completeness of the Slither Link Puzzle (スリザーリンクの NP 完全性について), 情処研報 2000-AL-74-4, 情報処理学会, 2000. (和文)
  [dvi] [ps] [pdf]
• Takayuki YATO and Takahiro SETA: Complexity and Completeness of Finding Another Solution and Its Application to Puzzles (別解問題の計算量と完全性、およびパズルへの応用), IPSJ SIG Notes 2002-AL-87-2, IPSJ, 2002.
  [dvi] [ps] [pdf] *
  * 本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
• Takayuki YATO: Complexity and Completeness of Finding Another Solution and Its Application to Puzzles (別解問題の計算論的複雑さと完全性およびパズルへの応用), Master Thesis, the University of Tokyo, 2003.
  [dvi] [ps] [pdf]
• Takayuki YATO and Takahiro SETA: Complexity and Completeness of Finding Another Solution and Its Application to Puzzles, IEICE Trans. Fundamentals, Vol. E86-A, No. 5, pp. 1052-1060, 2003.
• 八登 崇之, 瀬田 剛広, 伊藤 剛志: 一般化詰将棋の余詰判定の指数時間完全性 (Finding Yozume of Generalized Tsume-Shogi is Exptime-complete), 信学技報 COMP2004-21, 電子情報通信学会, 2004. (和文)
• Takayuki YATO, Takahiro SETA and Tsuyoshi ITO: Finding Yozume of Generalized Tsume-Shogi is Exptime-complete, IEICE Trans. Fundamentals, Vol. E88-A, No. 5, pp. 1249-1257, 2005.
• 八登 崇之: 指数的に長い手数の一般化詰将棋. COMP-NHC 学生シンポジウム DS-1-15, 電子情報通信学会 2006 年総合大会, 2006 年 3 月. (和文)
• Takayuki YATO: Another Solution Problems in Alternating Polynomial Time (交代性多項式時間における別解問題), IPSJ SIG Notes 2008-AL-120-8, IPSJ, 2008.
• Takayuki YATO and Takahiro SETA: Hardness of finding another solution to problems in PSPACE --- with application to Sokoban puzzle game, submitted for publication, 2008

雑文

• NP 完全なペンシルパズルの一覧 (第 2.0 版 [2006/07/03])

★ 保存書庫 ★     ← 講義の課題のために作成したレポート等です。