結果どのようなもの


46

我々は知っているLNLPとそのLNLL2 polyLL2=DSPACE(log2n)。また、polyLP後者は、対数空間の多対1削減の下で完全な問題を抱えているのに対し、前者はそうではないからです(空間階層定理のため)。間の関係を理解するために、polyLP、それが第一の関係を理解するのを助けることができるL2及びP

結果どのようなものL2P

どのような強い程度LkPのためk>2、またはより弱いL1+ϵPのためのϵ>0


4
@OrMeir最近、この事実の説明をWikipediaのpolyLの記事に追加しました
argentpepper

13
L2PLPLL2

12
きちんとした質問!私は間違いなく報奨金の価値があると思います。ところで、ここに簡単な観察があります場合、ます。したがって、CNF-SATのより効率的なアルゴリズムがあり、ETH(指数時間仮説)に反論します。L2PDSPACE(n)DTIME(2O(n))
マイケルウェハ

3
@MichaelWeharのコメントに続いて、含意はより弱い仮説に拡張する標準パディング引数から続きます:がにある場合、線形空間で解決できる問題(充足可能性問題を含む)は、時間で解くことが。L1+ϵP2O(n11+ϵ)
argentpepper

3
@SajinKoroth:私は...答えなければなりませんあなたのコメントを考えるだけでなく、マイケルWeharの(とargentpepperのフォローアップ)
ジョシュアGrochow

回答:


26

以下は明らかな結果です。 はを意味するため、。L P L PL1+ϵPLPLP

空間階層定理により、。もし次に。L 1 + εP LL 1 + εPϵ>0:LL1+ϵL1+ϵPLL1+ϵP


小さな脚注:場合、またはます。P N L N L LPLPNLNLL
マイケルウェハ

27

L2Pは、指数時間仮説に反論します。

もし 次いでによってパディング引数。つまり、充足可能性の問題 はステップで決定でき、指数時間仮説に反論します。L2P DSPACE(n)DTIME(2O(n))SATDSPACE(n)2o(n)

より一般的には、 のための 意味 。DSPACE(logkn)Pk1SATDSPACE(n)DTIME(2O(n1k))

(この回答は、@ MichaelWeharによるコメントから拡張されています。)


コメントを拡大していただきありがとうございます!それは有り難いです。:)
マイケル・ウェハ

1
さらに、最後の仮説は、がDSPACE() DTIME()にあることも意味します。QBFn2O(n1k)
マイケル・ウィアー

8

グループが同乗(乗算表として与えられる)はPにあります。リプトン、スナイダー、およびザルクシュタインはこの問題がにあることを示しましたが、Pにあるかどうかはまだ開いています。は -timeであり、グラフ同型に減少するため、グラフisoをPに入れる際の大きな障害となります。L2nO(logn)

これが他の自然で重要な問題に当てはまるのではないかと思います。つまり、が、最もよく知られている時間の上限は準多項式です。L2


1
より具体的には、準群同型のより一般的な問題はにあり、これはサブクラスです。β2FOLLL2
argentpepper

1
また、グループランクの問題(乗算テーブルとして有限グループGと整数kが与えられた場合、Gには基数kの生成セットがありますか?)にもこのプロパティがあります。アルゴリズムは、サブセット上だけ検索あるG基数のKが、2つの重要な事実を使用する:(1)各有限群は、対数サイズ及び(2)サブグループのメンバーが入っているの発生設定したに等しく、。SLL
argentpepper

1

項:もしいくつかのために、次いで及び。LkPk>2Plog(CFL)PNL

いくつかのに対してと仮定します。LkPk>2

コンテキストフリーおよびコンテキスト依存言語の認識のためのメモリ境界」から、であることがわかり。空間階層定理により、であることがわかり。CFLDSPACE(log2(n))DSPACE(log2(n))DSPACE(logk(n))

したがって、を取得し。log(CFL)DSPACE(log2(n))DSPACE(logk(n))P

また、サヴィッチの定理により、であることがわかります。したがって、ます。NLL2NLDSPACE(log2(n))DSPACE(logk(n))P

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.