A problem is said to be unsolvable if no algorithm can solve it. The problem is said to be undecidable if it is a decision problem and no algorithm can decide it. It should be noted that an unsolvable problem might be partially solvable by an algorithm that makes a complete search for a solution. In such case the solution is eventually found whenever it is defined, but the search might continue forever whenever the solution is undefined. Similarly, an undecidable problem might also be partially decidable by an algorithm that makes an exhaustive search.

Posted Date: 3/18/2013 1:12:38 AM | Location : United States

Ask an Expert

Related Discussions:- Exhaustive search, Assignment Help, Ask Question on Exhaustive search, Get Answer, Expert's Help, Exhaustive search Discussions

Write discussion on Exhaustive search
Your posts are moderated

Write your message here..

Related Questions

Generalization of the interpretation of local automata, The generalization ... The generalization of the interpretation of strictly local automata as generators is similar, in some respects, to the generalization of Myhill graphs. Again, the set of possible s

Path function of a nfa, The path function δ : Q × Σ*→ P(Q) is the extension... The path function δ : Q × Σ*→ P(Q) is the extension of δ to strings: Again, this just says that to ?nd the set of states reachable by a path labeled w from a state q in an

Find a regular expression, Find a regular expression for the regular langua... Find a regular expression for the regular language L={w | w is decimal notation for an integer that is a multiple of 4}

Powerset construction, As de?ned the powerset construction builds a DFA wit... As de?ned the powerset construction builds a DFA with many states that can never be reached from Q′ 0 . Since they cannot be reached from Q′ 0 there is no path from Q′ 0 to a sta

Third model of computation, Computer has a single LIFO stack containing ?xe... Computer has a single LIFO stack containing ?xed precision unsigned integers (so each integer is subject to over?ow problems) but which has unbounded depth (so the stack itself nev

Theorey Of Computation, program in C++ of Arden''s Theorem program in C++ of Arden''s Theorem

Tuning machine, design a tuning machine for penidrome design a tuning machine for penidrome

Java programming, 1. An integer is said to be a “continuous factored” if it... 1. An integer is said to be a “continuous factored” if it can be expresses as a product of two or more continuous integers greater than 1. Example of continuous factored integers

Computation of an automaton, The computation of an SL 2 automaton A = ( Σ,... The computation of an SL 2 automaton A = ( Σ, T) on a string w is the maximal sequence of IDs in which each sequential pair of IDs is related by |- A and which starts with the in

Prism algorithm, what exactly is this and how is it implemented and how to ... what exactly is this and how is it implemented and how to prove its correctness, completeness...