免疫集合と単純集合の計算複雑さ

2002 Fiscal Year Annual Research Report

• Project/Area Number: 14740082
• Research Institution: Osaka Prefecture University
• Principal Investigator: 鈴木 登志雄 大阪府立大学, 総合科学部, 講師 (30235973)
• Keywords: 免疫集合 / 単純集合 / 計算量理論 / 計算複雑さ / NP / 多項式時間階層 / ジェネリック・オラクル

Research Abstract

本研究課題はカナダ・オタワ大学準教授のTomoyuki Yamakami氏が1990年代に免疫集合と単純集合について行なった研究を発展させるものである.
平成14年7月,研究代表者はYamakami氏を大阪府立大学に招き,同氏と研究,アイデアを交換した結果,「NP免疫集合のクラスがh-P-還元について閉じていない」ことの証明に成功した(ここでh-P-還元というのは,より詳しく言えば,無限集合たちの間のh-P-d還元とh-P-2tt還元を指す).
平成14年度はまた,以下の2編の論文の最終校正を行なった.なお,[2]は出版者の作業の遅れにより2002年に印刷された.
[1]Toshio Suzuki, "Degrees of Dowd-type generic oracles," Inform. and Comput. 176,pp.66-87(2002).
[2] Toshio Suzuki, "Complexity of the r-query tautologies in the presence of a generic oracle," Notre Dame J. Formal Logic 41,pp.142-151 (2000).

Research Products

• [Publications] Toshio Suzuki: "Degrees of Dowd-type generic oracles"Information and computation. 176・1. 66-87 (2002)
• [Publications] Toshio Suzuki: "Complexity of the r-query tautologies in the presence of a generic oracle"Notre Dame journal of formal logic. 41・2. 142-151 (2002)