Изменения

Перейти к: навигация, поиск

Классы NP, coNP, Σ₁, Π₁

24 байта добавлено, 21:12, 24 марта 2016
Проблема раскраски вершин графа в k цветов: оформил псевдокод в техе
Разрешается следующей недетерминированной программой за полиномиальное относительно числа вершин время:
<tex>r(G)\colon</tex>
n = <tex>n = |V(G)|</tex> c <tex>c \gets? \ \{ 1, \dotsc, k \} ^ n</tex>
'''for''' <tex>uv</tex> '''in''' <tex>E(G)</tex>
'''if''' <tex>c[u] </tex> == <tex>c[v]</tex>
'''return''' ''false''
'''return''' ''true''
 
=== Проблема нахождения гамильтонова цикла ===
<tex>r(G)\colon</tex>
130
правок

Навигация