講演名 | 1995/9/22 多くの計算路によって特徴付られる計算量クラス 上原 隆平, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | カウンティングクラスとは、多項式時間限定の非決定TMの計算路の個数によって特徴付られる計算量クラスである。新しいカウンティングクラスとしてManyRP(γ)とManyBPP(γ)を導入する。これは定数γ(1<γ<2)と木の深さpに対して、失敗する計算路の本数が高々γ^Pで押さえられるクラスである。さらにManyBPP(γ)に疑似乱数モデルを使うことで拡張したexitδ-ManyBPP(γ)を定義し、もしexitδ-ManyBPP(γ)=exitδ-BPPであるようなγが存在するならばNP=PSPACEであることを示す。後者の等式が成り立つとは考えにくく、これはManyBPP(γ)⊆ManyBPP(γ')⊆BPPという包含関係のどこかにギャップがあることの証拠と見ることができる。 |
抄録(英) | Counting classes consist of languages defined in terms of the number of accepting (or rejecting) computations of nondeterministic polynomial-time Turing machines. We introduce new counting classes, ManyRP(γ) and ManyBPP(γ), which have γ^P incorrect paths with 1<γ<2, where p is the length of a computation. Here, ManyRP(γ) (or ManyBPP(γ)) corresponds to the class which has more accepting paths than RP (or BPP, respectively.) We define the class exitδ-ManyBPP(γ), which is extended by using a semi-random source, and show that the existence of γ such that exitδ-ManyBPP(γ) = exitδ-BPP implies NP = PSPACE. The result can be seen as an evidence of one of the following inclusions is proper: ManyBPP(γ) ⊆ ManyBPP(γ')⊆ BPP. |
キーワード(和) | カウンティングクラス / 確率Turing machine / セミランダムモデル |
キーワード(英) | counting classes / probabilistic Turing machines / semi-random sources |
資料番号 | COMP95-42 |
発行日 |
研究会情報 | |
研究会 | COMP |
---|---|
開催期間 | 1995/9/22(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Theoretical Foundations of Computing (COMP) |
---|---|
本文の言語 | ENG |
タイトル(和) | 多くの計算路によって特徴付られる計算量クラス |
サブタイトル(和) | |
タイトル(英) | Complexity Classes Characterizeed by many Computation Paths |
サブタイトル(和) | |
キーワード(1)(和/英) | カウンティングクラス / counting classes |
キーワード(2)(和/英) | 確率Turing machine / probabilistic Turing machines |
キーワード(3)(和/英) | セミランダムモデル / semi-random sources |
第 1 著者 氏名(和/英) | 上原 隆平 / Ryuhei Uehara |
第 1 著者 所属(和/英) | 東京女子大学 情報処理教室 Center for Information Science,Tokyo Woman's Christian University |
発表年月日 | 1995/9/22 |
資料番号 | COMP95-42 |
巻番号(vol) | vol.95 |
号番号(no) | 259 |
ページ範囲 | pp.- |
ページ数 | 7 |
発行日 |