| Project/Area Number |
04F04801
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 外国 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
佐藤 雅彦 京都大学, 情報学研究科, 教授
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
GUILLOUME Malod 京都大学, 情報学研究科, 外国人特別研究員
|
|---|
| Project Period (FY) |
2004 – 2006
|
| Project Status |
Completed (Fiscal Year 2006)
|
| Budget Amount *help |
¥2,400,000 (Direct Cost: ¥2,400,000)
Fiscal Year 2006: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2005: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2004: ¥600,000 (Direct Cost: ¥600,000)
|
|---|
| Keywords | 計算量理論 / NP完全性 / #P完全性 / 完全性問題 / universal relation / sorted logic / hybrid logic |
|---|
| Research Abstract |
本研究では昨年に引き続き,様々な特徴付けによる計算量クラス間の関係に関する研究を行なった.とくに,回路にて特徴付けられる弱い計算量クラス,および,多項式と係数関数によって特徴付けられる計算量クラス間の関係に関する研究を行ない,その結果,以下のような成果が得られた.
1.制限された回路による計算量クラスの特徴付けに関する研究
本研究では,制限された回路とそれによって特徴付けられる計算量クラスに関する研究を行なった.この研究の成果は,Natacha Portierとの共著論文としてMFCS2006において発表し,論文誌Journal of Complexityへの掲載が決定している.
2.Valiantの理論における計算量クラスの完全性問題に関する研究
本研究では,Valiantの理論によって定義される計算量クラス階層と,それとは異なる形の限定されたテンソル計算によって定義される計算量クラス階層との間の同等性を見出した.この研究の成果はLogicum Lugdunensis(2006年6月)において招待講演として発表し,近々論文誌への投稿を予定している.
3.多項式とその係数関数によって特徴付けられる計算量クラスに関する研究
本研究では研究分担者であるMalodの学位論文の結果を拡張し,多項式とその係数関数によって特徴づけられる計算量クラス間の関係に関する研究を行なった.この研究の成果は近々論文誌への投稿を予定している.
|
Report
(3 results)
Research Products
(3 results)
