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

2004 年度 実績報告書

超変数を扱える形式的体系の理論的研究

研究課題

研究課題/領域番号 04F04801
研究機関京都大学

研究代表者

佐藤 雅彦  京都大学, 情報学研究科, 教授

研究分担者 GUILLOUME Malod  京都大学, 情報学研究科, 外国人特別研究員
キーワード計算量理論 / NP完全性 / #P完全性 / universal relation / sorted logic / hybrid logic
研究概要

本研究では,以下のような成果が得られた.
1.クラス#Pのuniversal relationに関する研究
AgrawalとBiswasは,witnessing relationの解集合のreductionの効果を調べることによって,自然なNP完全問題の間の構造的な類似性を示唆し,NP完全性の有用な判定法を与えている.本研究ではこれをクラス#Pまで拡張し,#P完全性の実用的な判定法を与え,自然な完全問題の間の構造的な同種性に関する議論をより詳細にした.この結果は,Universal relatioins and #P-completenessという表題の論文としてCOCOON'05に投稿中である.
2.状態パス記号を持つsorted logicに関する研究
Hybrid logicは様相論理を状態を表す特別な定数と変数によって拡張したものであるが,その拡張として,ある条件を満たすモデルの状態集合の部分集合にのみ出現することができる記号の族を考えるようなsorted logicが考えられる.その一つの有用な例として,状態のパスのための記号を持つものが容易に定義できるが,パス記号とパスに関する限量子を持つような論理に対する完全な証明システムまだみつかっていない.我々はこのようなsorted logicに関する研究を行なった.
3.代数的,ブール代数的な設定における弱い計算量クラスに関する研究
Malodは博士論文において,Valiantが定義した枠組みにおける行列式の計算量に注目した代数的な計算量クラスを提案した.このクラスはskew circuitのある種の一般化とみなせる回路によって導入されている.skew circuitはブール代数における行列式に相当するクラスを特徴付けるのに使われているが,我々はこのブール代数の場合とValiantの枠組みにおける場合との関係性を研究した.

  • 研究成果

    (1件)

すべて 2004

すべて 雑誌論文 (1件)

  • [雑誌論文] A Simple Theory of Expressions, Judgments and Derivations2004

    • 著者名/発表者名
      Masahiko Sato
    • 雑誌名

      Lecture Notes in Computer Science 3321

      ページ: 437-451

URL: 

公開日: 2006-07-12   更新日: 2016-04-21  

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

Powered by NII kakenhi