• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

超準モデルとその計算量理論への応用

研究課題

研究課題/領域番号 12640115
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 数学一般(含確率論・統計数学)
研究機関名古屋大学

研究代表者

安本 雅洋  名古屋大学, 大学院・人間情報学研究科, 教授 (10144114)

研究分担者 江田 勝哉  早稲田大学, 理工学部, 教授 (90015826)
築地 立家  名古屋大学, 大学院・人間情報学研究科, 助手 (70291961)
松原 洋  名古屋大学, 大学院・人間情報学研究科, 助教授 (30242788)
小澤 正直  東北大学, 情報科学研究科, 教授 (40126313)
研究期間 (年度) 2000 – 2002
研究課題ステータス 完了 (2002年度)
配分額 *注記
3,300千円 (直接経費: 3,300千円)
2002年度: 1,300千円 (直接経費: 1,300千円)
2001年度: 1,100千円 (直接経費: 1,100千円)
2000年度: 900千円 (直接経費: 900千円)
キーワード限定算術 / 多項式時間計算可能 / 超準モデル / ブール値モデル / 多項式時間計算量
研究概要

弱い数学的帰納法S_2の超準モデルMにおける有界なオラクルとP=NP問題との関係について調べた.有界なoracleは標準モデルにおいては有限集合となりoracleとしてはまったく無意味なものであるが,超準モデルでは有界であっても一つの数でcodingが可能とは限らないために自明でないものになる.このような有界oracleの性質とそれに対応する標準モデルにおける結果についての研究をおこなった.P^A=NP^Aとなる有界oracleAの分布について調べ,このようなAが十分たくさんあることが証明できれば,P=NP問題が否定的に解決されることがわかった.
S_2の超準モデルのendextensionと多項式時間計算量の分離問題,例えばP≠NPなどとの関係について調べた.Nをペアノの公理の超準モデル,n∈N-Nとする.nの多項式時間計算関数関数に関するの閉包PTC(n)は,P=NPを仮定するとS_2のモデルになる.一方PTC(n)はΣ^b-PINDを満たすようなendextensionを持たないことが示された.従って,任意のS_2のモデルがR_2^1を満たすendextensionを持つことを示せば,P≠NPが証明されたことになる.PTC(n)がU_2^1モデルになればその2階の領域のうちboundedになるものだけを集めるとR_3^1のモデルでMのendextensionになることが知られている.これをもとに限定算術の公理の分離問題の一部が,一定の仮定のもとに解決された.
松原は£_κλ上のprecipitous idealを研究し一定の成果をあげた.平成13年度より新設された制度である研究協力者に大学院人間情報学研究科後期課程3年相田慎氏を採用した.相田氏は研究分担者である築地氏他と共同研究を行しいMany-One還元性とTruth-Table還元性との差に関して一定の成果をあげ,これらをもとに博士学位論文を執筆した.

報告書

(4件)
  • 2002 実績報告書   研究成果報告書概要
  • 2001 実績報告書
  • 2000 実績報告書
  • 研究成果

    (12件)

すべて その他

すべて 文献書誌 (12件)

  • [文献書誌] M.Yasumoto: "Endextensions in bounded arithmetic and computational complexity"Preprint Series in Mathematical Sciences Nagoya University. 2001-5. 1-7 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2002 研究成果報告書概要
  • [文献書誌] S.Aida, R.Schuler, T.Tsukiji, O.Watanabe: "The Difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributional Problems"Theory of Computing Systems. 35・4. 449-463 (2002)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2002 研究成果報告書概要
  • [文献書誌] Y.Matsubara: "Stationary preserving ideal over £_κλ"Journal of the Mathematical Society of Japan. (to appear).

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2002 研究成果報告書概要
  • [文献書誌] M.Yasumoto: "Endextensions in bounded arithmetic and computational complexity"Preprint Series in Mathmatical Sciences Nagoya University 2001-5. 1-7 (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2002 研究成果報告書概要
  • [文献書誌] Y.Matsubara: "Stationary preserving ideals over Lκλ"to appear in J.of Mathematical Sosiety of Japan.

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2002 研究成果報告書概要
  • [文献書誌] S.Aida, R.Schuler, T.Tsukiji and O.Watanabe: "The difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributational Problems"Theory of Computing Systems 35. 449-463 (2002)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2002 研究成果報告書概要
  • [文献書誌] Y.Matsubara: "Stationary preserving ideal over Lκλ"Journal of the Mathematical Society of Japan. (to appear).

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] S.Aida: "The Difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributional Problems"Theory Comput. Systems(2002). 35・4. 449-463 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] M. Yasumoto: "Endextensions in bounded arithmetic and computational complexity"Preprint Series in Mathmatical Sciences Nagoya University. 2001-5. 1-7 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] T. Tsukiji: "A limit law for outputs in random recursive circuits"Algorithmica. 31. 403-412 (2001)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] M.Ozawa: "Entanglement Measures and Hilbert-Schmidt Distance"Phys.Lett.. A.268. 158-160 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] T.Tsukiji: "On the difference between polynomial-time many-one and truth-table reducibility on distributional problems"Electronic Collq. on Computational Complexity. 81. 1-14 (2000)

    • 関連する報告書
      2000 実績報告書

URL: 

公開日: 2000-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi