Complexity theory

Материал из WikiGrapp
Версия от 14:17, 12 ноября 2014; KEV (обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к:навигация, поиск

Complexity theoryтеория сложности.

The theory of classifying problems based on how difficult they are to solve. A problem is assigned to the \mathcal P-problem (polynomial-time) class if the number of steps needed to solve it is bounded by some power of the problem's size. A problem is assigned to the \mathcal {NP}-problem (nondeterministic polynomial-time) class if if it is solvable in polynomial time by a nondeterministic Turing machine.

A problem is called intractable if it is not a \mathcal P-problem. The class of \mathcal P-problems is a subset of the class of \mathcal {NP}-problems, but there also exist problems which are not \mathcal {NP}.

The \mathcal P versus \mathcal {NP} problem is the determination of whether all \mathcal {NP} problems are actually \mathcal P-problems. If \mathcal P\neq\mathcal {NP}, then the solution of \mathcal {NP}-problems requires (in the worst case) an exhaustive search while if they are, then asymptotically faster algorithms may exist. The answer is not currently known, but determination of the status of this question would have dramatic consequences for the potential speed with which many difficult and important problems could be solved.

A problem \,C is said to be \mathcal {NP}-hard if every problem from \mathcal {NP} is reducible to \,C in polynomial time. A problem which is both \mathcal {NP} and \mathcal {NP}-hard is called an \mathcal {NP}-complete problem. Examples of \mathcal {NP}-complete problems include the Hamiltonian cycle, traveling salesman problems, Hamiltonian path problem, subgraph isomorphism problem, clique problem, vertex cover problem, independent set problem, dominating set problem, graph coloring problem.

Thus, if some \mathcal {NP}-complete problem is a \mathcal P-problem then \mathcal P\,=\mathcal {NP} and, vice versa, if some problem from \mathcal {NP}-problem class is intractable then all \mathcal {NP}-complete problems are also intractable.

Литература

  • Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.