NL-Complete: Complexity Class, ST-Connectivity, Conjunctive Normal Form - Brossura

 
9786131988691: NL-Complete: Complexity Class, ST-Connectivity, Conjunctive Normal Form

Sinossi

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computational complexity theory, NL-Complete is a complexity class which is complete for NL. It contains the most "difficult" or "expressive" problems in NL. If a method exists for solving any one of the NL-complete problems in logarithmic memory space, then NL=L. One important NL-complete problem is ST-connectivity (or "Reachability") (Papadimitriou 1994 Thrm. 16.2), the problem of determining whether, given a directed graph G and two nodes s and t on that graph, there is a path from s to t. ST-connectivity can be seen to be in NL, because we start at the node s and nondeterministically walk to every other reachable node. ST-connectivity can be seen to be NL-hard by considering the computation state graph of any other NL algorithm, and considering that the other algorithm will accept if and only if there is a (nondetermistic) path from the starting state to an accepting state.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.