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

能够处理超变量的形式系统的理论研究

• 批准号: 04F04801
• 负责人: 佐藤 雅彦
• 金额: $ 1.54万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-04F04801/
• 关键词: 計算量理論; NP完全性; #P完全性; 完全性問題; universal relation; sorted logic; hybrid logic

本研究では昨年に引き続き,様々な特徴付けによる計算量クラス間の関係に関する研究を行なった.とくに,回路にて特徴付けられる弱い計算量クラス,および,多項式と係数関数によって特徴付けられる計算量クラス間の関係に関する研究を行ない,その結果,以下のような成果が得られた.1.制限された回路による計算量クラスの特徴付けに関する研究本研究では,制限された回路とそれによって特徴付けられる計算量クラスに関する研究を行なった.この研究の成果は,Natacha Portierとの共著論文としてMFCS2006において発表し,論文誌Journal of Complexityへの掲載が決定している.2.Valiantの理論における計算量クラスの完全性問題に関する研究本研究では,Valiantの理論によって定義される計算量クラス階層と,それとは異なる形の限定されたテンソル計算によって定義される計算量クラス階層との間の同等性を見出した.この研究の成果はLogicum Lugdunensis(2006年6月)において招待講演として発表し,近々論文誌への投稿を予定している.3.多項式とその係数関数によって特徴付けられる計算量クラスに関する研究本研究では研究分担者であるMalodの学位論文の結果を拡張し,多項式とその係数関数によって特徴づけられる計算量クラス間の関係に関する研究を行なった.この研究の成果は近々論文誌への投稿を予定している.

This study で は yesterday in に lead き 続 き, others 々 な 徴 pay especially け に よ る computation ク ラ ス between の masato is に masato す る を line な っ た. と く に, loop に て 徴 especially pay け ら れ る weak い computation ク ラ ス, お よ び, number of coefficient of polynomial と masato に よ っ て 徴 pay especially け ら れ る computation ク ラ ス between の masato is に masato す る を line な い, そ の as a result, the following The result of ような is が.1. Limitations さ れ た loop に よ る computation ク ラ ス の 徴 pay especially け に masato す る research this study で は, limitations さ れ た loop と そ れ に よ っ て 徴 pay especially け ら れ る computation ク ラ ス に masato す る を line な っ た. こ は の の research achievements, Natacha Portierと と co-authored the paper と て てMFCS2006にお て て published in て Journal of Complexity へ の first white jasmines load が decided し て い る. 2. The Valiant の theory に お け る computation ク ラ ス の completeness problem に masato す る research this study で は, Valiant の theory に よ っ て definition さ れ る computation ク ラ ス class と, そ れ と は different な る form の qualified さ れ た テ ン ソ ル computing に よ っ て definition さ れ る Computation ク ラ ス class と の を の equality between the し た. こ の の research は Logicum Lugdunensis (June 2006) に お い て entertaining speeches と し て 発 table し, nearly 々 paper tzu へ contribute の を designated し て い る. 3. Number of coefficient of polynomial と そ の masato に よ っ て 徴 pay especially け ら れ る computation ク ラ ス に masato す る research this study で は research sharers で あ る Malod の dissertation の results を company, zhang し, polynomial と そ の coefficient of number of masato に よ っ て, 徴 づ け ら れ る computation ク ラ ス between の masato is に masato す る を line な っ た. こ の の research は nearly 々 paper Youdaoplaceholder0 る submission を approval て る る.

项目成果

Characterizing Valiant's algebraic complexity classes

• DOI: 10.1016/j.jco.2006.09.006
• 发表时间: 2006-08
• 期刊: J. Complex.
• 作者: Guillaume Malod;Natacha Portier

Universal relations and #P-completeness

普遍关系和

• 发表时间: 2006
• 期刊: 6^<th> Conference on Algorithms and Complexity(CIAC 2006) (To appear)
• 作者: Herve Fournier;Guillaume Malod
• 通讯作者: Guillaume Malod

A Simple Theory of Expressions, Judgments and Derivations

表达式、判断和推导的简单理论

• 发表时间: 2004
• 期刊: Lecture Notes in Computer Science 3321
• 作者: Herve Fournier;Guillaume Malod;Masahiko Sato
• 通讯作者: Masahiko Sato