权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

クエリー記号付きブール式の計算複雑さ

带有查询符号的布尔表达式的计算复杂度

基本信息

批准号：
11740073
负责人：
鈴木登志雄
金额：
$ 0.51万
依托单位：
Osaka Prefecture University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

项目摘要

カナダ・オタワ大学准教授のヤマカミトモユキ氏と研究のアイデアを交換した.以下の研究ノート[1]を執筆した.[1]"Quantified Boolean Formulas and Hyper Polynomial Hierarchies"(2000).その概要は以下のとおり.S.Fenner,S.Homer,R.Pruim,M.Schaeferは超多項式階層を導入することにより,PH(多項式時間階層)とPSPACE(多項式記憶域計算可能集合族)の中間領域を調べた.これは,帰納的関数論における超算術的階層の理論を計算量理論において展開する試みである.我々はノート[1]において,クエリー記号付きブール式を応用することにより,超多項式階層をより簡明に構成した.超多項式階層を構成する上で重要なのはリミット・ステージの処理のしかたである.リミット・ステージを処理するための道具として,我々は交付申請書の研究実施計画の欄で述べた概念「fQBF」を用いた.以下にfQBFの定義のあらましを記す.Quantifier付きブール式で真なもの全体の集合をQBFで表す.各自然数kに対してQBFの元のうちΣk型のもの全体の集合をkQBFで表す(kQBFはΣk完全集合,QBFはPSPACE完全集合であることが知られている).さて,fを自然数から自然数への関数とする.fQBFを以下のように定める.各quantifier付きブール式Φに対し,「Φ∈fQBF」⇔「∃k[Φ∈kQBF,k≦f(|Φ|)]」ただし|Φ|はΦの長さ.

The university professor of science and technology, the university professor of science and technology. The following research paper [1] was written. [1]"Quantified Boolean Formulas and Hyper Polynomial Hierarchies"(2000). S.Fenner,S.Homer,R.Pruim,M.Schaefer, H (Polynomial Time Hierarchy), PSPACE(Polynomial Memory Field Computational Possible Set Family), and the Intermediate Fields. The theory of mathematical hierarchy and the theory of computational quantities are discussed in detail. I want to be able to express myself in [1], and I want to express myself in [2]. The structure of the polynomial hierarchy is very important. The concept of "fQBF" is described in the research implementation plan column of the submission application. The definition of fQBF is described below.QuANTIFIER is the set of all QBF expressions. Each natural number k corresponds to the element of QBF and the set of all the elements of k-type is kQBF (kQBF is a complete set of k,QBF is a complete set of PSPACE). f is the natural number,f is the natural number and f is the natural number. Each quantiser pays a set of equations Φ corresponding to Φ∈fQBF k[Φ∈kQBF,k $> f(|Φ|)]」ただし|Φ|はΦの长さ.