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

• Project/Area Number: 14740082
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: General mathematics (including Probability theory/Statistical mathematics)
• Research Institution: Osaka Prefecture University
• Principal Investigator: 鈴木 登志雄 大阪府立大学, 総合科学部, 講師 (30235973)
• Project Period (FY): 2002 – 2004
• Project Status: Completed (Fiscal Year 2004)
• Budget Amount: ¥1,500,000 (Direct Cost: ¥1,500,000); Fiscal Year 2004: ¥500,000 (Direct Cost: ¥500,000); Fiscal Year 2003: ¥500,000 (Direct Cost: ¥500,000); Fiscal Year 2002: ¥500,000 (Direct Cost: ¥500,000)
• Keywords: 免疫集合 / 単純集合 / 計算量理論 / NP / 多項式時間階層 / ジェネリック・オラクル / ランダム・オラクル / 命題論理 / 計算複雑さ

Research Abstract

本研究において,免疫集合と単純集合についてこれまでに得られた一連の結果をまとめ,フランスでの国際研究集会The 3rd IFIP International Conference on Theoretical Computer Science (TCS2004), August 23-26,2004で発表[2]を行なった(発表講演は共著者のYamakami氏による).その内容は論文[1]として出版された.論文[1]に詳細な証明を付けた完全版を論文[3]として投稿した.また,論文[2]の最終校正を行なった.
[1]Toshio Suzuki, Tomoyuki Yamakami,
"Resource bounded immunity and simplicity (extended abstract),"
In : J.Levy et al.eds., Exploring New Frontiers of Theoretical Informatics, pp.81-95,
Kluwer Academic Publishers,2004.ISBN 1-4020-8140-5.
[2]Toshio Suzuki,
"Bounded truth table does not reduce the one-query tautologies to a random oracle,"
Archive for Mathematical Logic,掲載決定.
[3]Tomoyuki Yamakami, Toshio Suzuki,
"Resource bounded immunity and simplicity,"
Theoretical Computer Science,投稿中.

Research Products

• [Journal Article] Bounded truth table does not reduce the one-query tautologies to a random oracle (2005)
  • Author(s): Toshio Suzuki
  • Journal Title: Archive for Mathematical Logic (掲載予定)
• [Journal Article] Resource bounded immunity and simplicity (extended abstract) (2004)
  • Author(s): T.Suzuki, T.Yamakami
  • Journal Title: Exploring New Frontiers of Theoretical Informatics (単行本) Pages: 81-95
• [Publications] Toshio Suzuki: "Forcing complexity : minimum sizes of forcing conditions"Notre Dame Journal of Formal Logic. 42. 117-120 (2003)
• [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)