SL (Complexity): Computational Complexity Theory, Complexity Class, Log- Space Reducible, Symmetric Turing Machine - Brossura

 
9786131168857: SL (Complexity): Computational Complexity Theory, Complexity Class, Log- Space Reducible, Symmetric Turing Machine

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, SL (Symmetric Logspace or Sym-L) is the complexity class of problems log-space reducible to USTCON (undirected s-t connectivity), which is the problem of determining whether there exists a path between two vertices in an undirected graph, otherwise described as the problem of determining whether two vertices are in the same connected component. This problem is also called the undirected reachability problem. It does not matter whether many-one reducibility or Turing reducibility is used. Although originally described in terms of symmetric Turing machines, that equivalent formulation is very complex, and the reducibility definition is what is used in practice.

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