AQA A2 Computing 1.5 Intractable Problems Flashcards
Non-computable
describes an algorithmic problem that admits no alogrith
Decision problem
a yes/no algorithmic problem
Decidable
describes a decision problem that has a yes/no answer
Undecidable
describes a decision type algorithmic problem that is no-computable
Tractable
describes a problem that has a reasonable (polynomial) time solution as the size of the input increases
Intractable
describes a problem for which no reasonable (polynomial) time solution has yet been found
Heuristic
describes an approach that uses know-how and experience to make informed guesses that assist in finding a polynomial time solution to an intractable algorithmic problem
Halting problem
is it possible in general to write a program that can tell , given any program and its inputs and without executing this program, whether the given program with its given inputs will halt?