1.1.2 Complexity Theory
This section deals with some results on intractability of problem solving. Our focus
is the complexity of decidable problems. Undecidable problems11 could never have
any algorithm to solve them even with unlimited time and space resources [730]. A
popular example of undecidable problems is the halting problem [782].