NC2にあることが知られていないNCの問題


14

がにあることが知られていない興味深い問題がありますか?クックは、論文「高速並列アルゴリズムの問​​題の分類」で、MISはにしか存在しないことが知られていましたが、これはれました。深さの改善に固執しているように見えるポリログ深さ並列アルゴリズムに他の問題があるかどうか疑問に思っています。N C 2 N C 5 N C 2NCNC2NC5NC2

さらに絞り込むために、またはことが知られていない問題がありますか?NC2AC1DET


1
この質問とそれに対するジョシュの答えをご覧ください。
カヴェー

私はそのことを完全に見逃した。上の答えの最後の段落と対応する階層の崩壊は、の状態のために有益な直感与えN CをNL=coNLNC
xal

私は実際、あなたの最後の質問について疑問に思っていました。別の質問として投稿する価値があると思います(技術的には別の質問であり、タイトルの質問からは独立しているため)。XALは、あなたはでの問題の質問投稿にオープンとなりであることが知られていないA C 1D E T個別のご質問などを?そして、@ Kaveh、手続きの観点からそうすることについてどう思いますか?NC2(AC1DET)
ジョシュアグロショー

@ジョシュ、そうすることに何の問題もありません。著者は以前に質問を別々の投稿に分割するように依頼しました。
カヴェー

1
:ジョシュを尋ねるためのおかげで、私はここで問題に分割cstheory.stackexchange.com/q/39831/40340
XAL

回答:


13

免責事項:私は高速並列アルゴリズムの専門家ではないため、NC階層の下位レベルで言及した問題を引き起こす最新の結果を見逃す可能性は無視できません。それが事実であることに気づいたら、教えてください。答えを更新します。

  • レポート「深さ優先検索の並列アルゴリズムでは、さまざまなタイプのグラフでのDFSの既知の並列アルゴリズムについて説明しています。9〜10ページのリストは、平面無向グラフのDFSなどのNCNC2、または一般無向グラフのDFSなどのRNCRNC2いくつかのアルゴリズムを示しています。

  • N C 3にあるこの論文の有限体上のスパース多変量多項式補間の並列アルゴリズムよりも改善された論文をすばやく検索しても見つかりませんでした。しかし、おそらく関連する可能性のあるいくつかの論文がペイウォールの背後にありました。NC3

  • この論文によれば、グラフ内のすべての最大クリークの計算は、最大クリークの数が多項式で制限されている場合、NCNC2になります。

  • 最大のパスの問題があると思われるNC5一般(無向)グラフのために、私は、基礎となるグラフ上の制約を受けることなく高速並列アルゴリズムを発見していませんでした。

他の潜在的な候補には、特定のタイプのグラフで完全な一致を見つけるためのアルゴリズム、または任意のグラフで最大ツリーカバーを見つけるためのアルゴリズムが含まれる場合があります(たとえば、このペーパーでは、並列時間O(log6n)でランダム化されたポリタイムアルゴリズムに言及しています)。このペーパーでは、コンピュータービジョンアプリケーションで発生するCSP問題のクラスを並列時間O(log3n)解決することにも言及しています


1
面白い!NC階層のこれらの上位レベルについて、これらのいずれかが完全である(または完全であると推測される)かどうかを知っていますか?そのような自然な例を手元に置いておくといいでしょう。
ジョシュアグロショー

残念ながら、私はそれについて考えもしていません。私が上に挙げた論文には、この種のことは何も言及されていません(私の知る限り)。これらはすべて、私の専門分野からはほど遠いものです。OPの質問に答えるために文献検索を行ったところ、非常に興味深いことがわかりましたが、知識が限られているため、これらの問題の難易度について明確な直感が得られません。
ジェフロワクトー
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.