1993 Fiscal Year Annual Research Report
Project/Area Number |
05640284
|
Research Institution | Tokai University |
Principal Investigator |
〓梗 宏孝 東海大学, 理学部, 講師 (80204824)
|
Co-Investigator(Kenkyū-buntansha) |
花沢 正純 東海大学, 理学部, 教授 (50008851)
成嶋 弘 東海大学, 理学部, 教授 (90056200)
楢崎 隆 東海大学, 理学部, 助教授 (70119692)
岩田 茂樹 東海大学, 情報処理研究教育施設, 教授 (80102028)
和泉澤 正隆 東海大学, 理学部, 教授 (50108445)
|
Keywords | 数学的構造 / 構造の制限 / reduction property / 計算量の理論 / ジャンプナンバー問題 / ニューラルネットワーク / オセロゲーム / モデルの理論 |
Research Abstract |
本年度は,構造とその中である述語で定義される部分構造との関係を中心に研究を行なった.L-構造Mがあるとする.Lに一変数述語PがあるときN=M^Pを考えるとNは自然にL^-=L\{P}構造になる.ここで,Nの中の関係が外側のMの中で定義されるとすると,それはすでにNの中で定義されているという状況を考える.このときMはN上reduction propertyをもつという.この性質を厳密に定義しようとすると何通りかの定義が考えられる.そこで,O-reduction property,reduction property,strong reduction property,uniform reduction propertyという性質を提唱し,これらの性質の相互関係を調べ,またこれらの条件のもとでNの性質がどの程度Mに移るかを調べた.Mの理論が安定の場合はO-reduction propertyがstrong reduction propertyを除いて最も強く,reduction propertyとuniform reduction propertyが同値になる.一般にはstrong reduction propertyからreduction propertyが導かれるが,他のものは独立な性質になることが分かった.Mが可算モデルのとき,その理論がP上極小でstrong reduction propertyをもつならばNの〓_0-範疇性はMに移る.0-reduction propertyしか成り立たない場合には,構造を増やしてこの反例に拡張する一般的方法を与えた.さらに,Mの理論TがP上極小でuniform reduction propertyをもつ場合,Nの理論T^-が〓-安定ならばTもそうなり,また単次元性も移ることを示した.O-reduction propertyだけある場合は,上と同様に反例に拡張できる. 他に,非決定性と交代Turing機械の間の関係,n×n盤上のオセロゲームの計算量の決定,ジャンプナンバー問題に関する研究などを行なった.
|
-
[Publications] H.Kikyo(共著): "On reduction properties" Journal of Symbolic Logic. (掲載予定).
-
[Publications] S.Iwata(共著): "Relations among Simeltanious complexty classes of nondeterministic and alternating Turing Machinls" Acta Informatica. 30. 267-278 (1993)
-
[Publications] S.Iwata(共著): "The Othello game on an nxn board is PSPACE-complete" Theoretical Computer Science. 123. 329-340 (1994)
-
[Publications] 成嶋弘(共著): "ジャンプナンバー問題のニューラルネットワークによる解法に関する定理" 東海大学理学部紀要. 29,(掲載予定). (1994)
-
[Publications] H.Narushima: "A most parsimonious reconstruction problem on phylogeretic trees" 京都大学数理解析研究所講究録. (掲載予定).
-
[Publications] T.Narazaki: "Yang-Mills-Higgs Equation on a Universal cosmos and Deccy Property of the Solution" Proc,Intnl conf Nonlinear Mathematical Problems in Industry II. 643-653 (1993)