Decidable Languages
Consider L4 = {<G> | G is a graph containing a route that visits each vertex exactly once}. L4 is not known to be in P.
(Show a high-level description of a TM that decides L4 in nondeterministic polynomial time and time complexity analysis of the TM).
Comments
Leave a comment