NL_(計算複雑性理論)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > NL_(計算複雑性理論)の意味・解説 

NL (計算複雑性理論)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:07 UTC 版)

NL(えぬえる、: Nondeterministic Logarithmic-space)は、計算複雑性理論における決定問題複雑性クラスの一つである。非決定性チューリングマシン対数規模の記憶領域を使って解ける問題がこのクラスに属する。

NLLを一般化したものである。L決定性チューリングマシンでの対数領域問題のクラスである。決定性チューリングマシンは非決定性チューリングマシンに含まれるため、LNL に含まれる。

NL非決定性領域(NSPACE)の計算資源記法で形式的に定義でき、NL = NSPACE(log n) となる。

計算複雑性理論の研究により、このクラスと他の複雑性クラスの関係が明らかとなり、必要な計算資源も明らかとなってきた。一方、アルゴリズムの研究によって、対数領域で解ける問題も明らかとなってきつつある。しかし、計算複雑性理論の他の分野と同様、NLについての重要な部分は未解決である。

NL確率的定義(後述)を指して RL と呼ぶこともある。しかし、RLという名称はRLPという複雑性クラスの別名として使われることが多い(RLPとは、確率的チューリングマシンで対数領域と多項式時間で解ける問題のクラス)。

NL完全問題

ある複雑性クラスに属する最も難しい問題を指して完全問題という。直観的には、完全問題を効率的に解く方法が判っていれば、それを使ってそのクラスのあらゆる問題を解くことが出来る。すなわち、完全問題はその複雑性クラスの能力の程度を示すものである。

NL完全であることが判っている問題はいくつかある。STCON問題(有向グラフの2点間の経路の有無を問う問題)と2元充足可能性問題NL完全である。2元充足可能性問題とは、連言標準形論理式の各節(論理和で表される部分)が2つの変数で構成されているとき、その論理式を真とする変数値の組み合わせが存在するかどうかを問う問題である。以下にそのような論理式の例を示す。なお、~(チルダ)は「否定」を意味する。

(x1 or ~x3) and (~x2 or x3) and (~x1 or ~x2)

包含関係

NLPに含まれる。これは、2元充足可能性問題に多項式時間のアルゴリズムが存在していることから明らかである。しかし、NL = P かどうか、あるいは L = NL かどうかは未だわかっていない。非決定性領域は補集合演算について閉じているため、NL = co-NL であることが判っている。これは、Neil Immerman と Róbert Szelepcsényi が 1987年にそれぞれ独自に証明した。彼らはこの業績によって1995年のゲーデル賞を受賞している(PSPACEのようなより大きいクラスでは、サヴィッチの定理(1970年)によりPSPACE = NPSPACENPSPACE = co-NPSPACEであることが既に知られていた)。

回路計算量理論では、NLNCの階層に置くことができる。Papadimitriou 1994, Theorem 16.1 によれば、次のようになる。

また、NL = RL であることも知られている。RLは確率的チューリングマシンで対数領域で解ける問題のクラスであり、3分の1未満の確率で間違ってNOと答える可能性のあるクラスである。また、ZPL とも同じであることが知られている。ZPL乱択アルゴリズムで対数領域で解ける問題のクラスである(誤答はない)。しかし、RLPまたはZPLPとは異なると考えられている。これらは RLZPL を多項式時間に制限したもので、書籍によってはこれらを混同している場合もある。

サヴィッチの定理を使って NL を決定性領域に関連付けることもできる。つまり、非決定性アルゴリズムは、決定性機械で高々二乗の領域を使うことでシミュレートできる。サヴィッチの定理によれば、 となる( と同じことである)。この強力な原理は1994年に知られるようになった(Papadimtriou 1994 Problem 16.4.10, "Symmetric space")。

確率的定義

確率的チューリングマシン上で対数領域で解ける問題の複雑性クラスC とする。C の回答がYESである場合は常に正しいが、回答がNOである場合は3分の1未満の確率で間違った回答だとする。3分の1という定数は、0 ≤ x < 1/2 となる任意の x であればよい。

このようなクラスは NL と同じである。C は時間が多項式時間に制限されていない。なぜなら、対数領域の状態の組み合わせがたかだか多項式で表せるほどしかないとしても、確率的な解法であるために無限ループに陥る可能性があるからである。これを多項式時間に制限すると RLP という別のクラスになる。

C = NL であることを示す。まず CNL に含まれることを簡単に示すアルゴリズムが存在する。

  • ある文字列がある言語に含まれない場合、CNL も全計算経路でこれらを拒否(reject)する。
  • 文字列が言語に含まれる場合、NLのアルゴリズムはそれを少なくとも1つの計算経路で受容(accept)し、C のアルゴリズムは少なくとも3分の2の計算経路で受容する。

NLC に含まれることを示すため、一つの NLアルゴリズムで長さ n の計算経路を無作為に選び、これを 2n 回行う。計算経路は長さ n を超えず、全体として 2n 個の計算経路があるため、一定確率以上で受容状態となる可能性がある。

問題は、最大値が 2n となるカウンタを保持する領域が対数領域にないことである(O(n)になる)。これに対処するため、カウンタをランダムカウンタとし、単純に n 個のコインを投げて全部のコインが表なら停止または拒否するものとする。この事象の確率は 2-n なので、停止するまでの平均ステップ数の期待値は 2n となる。この場合に必要な領域は対数領域に収まる(表になるコインを数えるだけなら O(log n) に収まる)。

以上から、領域だけに着目すれば、確率的なアルゴリズムも非決定性のアルゴリズムも同じ能力を持つことがわかる。

記述計算量

NLの簡単な論理的定義として、推移閉包演算子を付与した一階述語論理で表される言語がNLに含まれる。

参考文献

  • Papadimitriou, C. (1994年). “Chapter 16: Logarithmic Space”. Computational Complexity. Addison-Wesley. ISBN 0-201-53082-1 
  • Michael Sipser (1997年). “Sections 8.4–8.6: The Classes L and NL, NL-completeness, NL equals coNL”. Introduction to the Theory of Computation. PWS Publishing. pp. pp. 294–302. ISBN 0-534-94728-X 
  • Introduction to Complexity Theory: Lecture 7. Oded Goldreich. Proposition 6.1. 本文で C と称していたものは、この文書では badRSPACE(log n) となっている。

「NL (計算複雑性理論)」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「NL_(計算複雑性理論)」の関連用語

NL_(計算複雑性理論)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



NL_(計算複雑性理論)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのNL (計算複雑性理論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS