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

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

基本信息

  • 批准号:
    11740073
  • 负责人:
  • 金额:
    $ 0.51万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    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(|Φ|)]」ただし|Φ|はΦの長さ.
[1] "Quantified Boolean Formulas and Hyper Polynomial Hierarchies"(2000).その综合は下のとおり.S.Fenner,S.Homer,R.Pruim,M.Schaeferは超Polynomial hierarchy を import することにより, PH (polynomial time hierarchy) and PSPACE (polynomial memory domain calculation possible set family) の intermediate field を tune べた. これは, 帰纳's connection theory I 々はノート[1]において,クエリーMark payment きブールstyle を応用することにより, the structure of super polynomial hierarchy is concise and the structure is very important. The structure of super polynomial hierarchy is very important.なのはリミット・ステージのHandlingするための props として, I 々は Delivery application form の Research project plan の column べた Concept "fQBF" を Use い た. The following にfQBF の definition の あ ら ま し を record す.Quan tifier pays きブール式で真なもの全のSETをQBFでTableす. Each natural number kに対してQBFの元のうちΣk type のもの全のSETをkQBFでTableす(kQ BFはΣkcomplete set,QBFはPSPACEcomplete setであることが知られている).さて,fをnatural numberからnatural numberへの Off numberとする.fQBFを下のようEach quantifier pays the formula Φに対し,『Φ∈fQBF』⇔『∃k[Φ∈kQBF,k≦f(|Φ|)]』ただし|Φ|はΦの长さ.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

鈴木 登志雄其他文献

算術的フォーシングとフォーシング条件:クエリー記号付きプール式・計算量およびランダム性との関連
算术强制和强制条件:池公式与查询符号、计算复杂度和随机性之间的关系
  • DOI:
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tomoyuki;Yamakami (Toshio;Suzuki);H.Matsumoto;鈴木 登志雄
  • 通讯作者:
    鈴木 登志雄
Which weak-randomness property is preserved by Boolean decision trees
布尔决策树保留了哪些弱随机性属性
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    L. J. Alias;T. Kurose and G. Solanes;鈴木 登志雄
  • 通讯作者:
    鈴木 登志雄

鈴木 登志雄的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('鈴木 登志雄', 18)}}的其他基金

From algorithmic randomness to continuous real functions and real closed fields
从算法随机性到连续实函数和实闭域
  • 批准号:
    21K03340
  • 财政年份:
    2021
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
免疫集合と単純集合の計算複雑さ
免疫组装和简单组装的计算复杂度
  • 批准号:
    14740082
  • 财政年份:
    2002
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)

相似海外基金

解空間の形状に着目した組合せ遷移の理論:計算量解析の高精細化とソルバー新技法
关注解空间形状的组合转移理论:计算复杂性分析和新求解器技术的更高精度
  • 批准号:
    24H00686
  • 财政年份:
    2024
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
計算量的安全性に基づく秘匿性を考慮した制御理論の構築
基于计算安全的考虑保密性的控制理论构建
  • 批准号:
    22KJ1359
  • 财政年份:
    2023
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
回路計算量理論に基づく視覚探索を実現するニューラルネットワークの計算原理の解明
基于电路复杂性理论阐明实现视觉搜索的神经网络计算原理
  • 批准号:
    22K11897
  • 财政年份:
    2022
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
不動点定理に基づく計算量クラスの細分化に関する研究
基于不动点定理的计算复杂度类别细分研究
  • 批准号:
    21J10845
  • 财政年份:
    2021
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
グレブナー基底計算の理論計算量解析とその効率的な実装
Gröbner基计算的理论复杂度分析及其高效实现
  • 批准号:
    21K03377
  • 财政年份:
    2021
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
量子アルゴリズム・計算量・浅層回路と量子コンピュータ実機実験による量子優位性研究
使用量子算法、计算复杂性、浅层电路和量子计算机实验进行量子优越性研究
  • 批准号:
    20H00579
  • 财政年份:
    2020
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
格子暗号の大規模解読実験と解読計算量評価
大规模格码破译实验及破译计算复杂度评估
  • 批准号:
    20H04142
  • 财政年份:
    2020
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
クラスPにおけるパラメタ化計算量階層
P 类中的参数化复杂度层次结构
  • 批准号:
    19J12876
  • 财政年份:
    2019
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
次世代無線通信のための超低計算量な非線形干渉キャンセラ
用于下一代无线通信的超低计算复杂度非线性干扰消除器
  • 批准号:
    19J12727
  • 财政年份:
    2019
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
実験計算量理論の確立と展開
实验复杂性理论的建立与发展
  • 批准号:
    18K11152
  • 财政年份:
    2018
  • 资助金额:
    $ 0.51万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了