| 研究概要 |
本研究課題はカナダ・オタワ大学準教授の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).
|
