Algorytmy i struktury danych

W13, 2022-11-09

Problemy obliczeniowe

przybliżenie od góry

O(g) = f : ∃c∈R+ ,t∈N ∀n>t f (n) ⩽ cg(n)

przybliżenie od dołu

Ω(g) = f : ∃c∈R+ ,t∈N ∀n>t 0 ⩽ cg(n) ⩽ f (n)

dokładne przybliżenie

Θ(g) = f : ∃cl ,cu ∈R+ ,t∈N ∀n>t 0 ⩽ cl g(n) ⩽ f (n) ⩽ cu g(n)
..
.
O (nn )

O (n!)

O (k n )

O (2n )


O nk
3


O n
2


O n

O (n log n)

O (n)

O (log n)

O (1)
Problem P (polynomial) – problem, który da się rozwiązać w czasie
wielomianowym na deterministycznej maszynie Turinga.

Problem NP (nondetermistically polynomial)

– problem decyzyjny, który może być rozwiązany w czasie wielomianowym
na niedeterministycznej maszynie Turinga
– problem decyzyjny, którego rozwiązanie może być zweryfikowane
w czasie wielomianowym na deterministycznej maszynie Turinga.

Problem decyzyjny – problem, na który odpowiedź brzmi «tak» albo «nie».

Problem NP
 P ⊆ NP

P = NP P ̸= N P
redukcja w sensie Turinga
 Problem NP-trudny
Problem t jest NP-trudny, gdy dla każdego problemu s należącego do NP
prawdziwa jest relacje s ≤ t.

Problem NP-trudny to problem przynajmniej tak trudny jak NP.

Problem NP-zupełny
Problem q jest NP-zupełny, gdy q jest problemem NP-trudnym
i równocześnie q należy do NP.

Jeżeli mamy problem NP, to nie wiemy, czy istnieje rozwiązanie wielomianowe
na deterministycznej maszynie Turinga.
 Przykłady

NP-zupełny NP-trudny

spełnialność rachunku zdań

Czy istnieje wartościowanie a i b, Jakie jest wartościowanie a i b, takie

takie że wyrażenie jest prawdziwe? że wyrażenie jest prawdziwe?

cykl Hamiltona

Czy istnieje cykl Hamiltona Jaki jest najkrótszy cykl Hamiltona?

od długości mniejszej od k?

wspólny dzielnik dwóch liczb naturalnych

Czy istnieje wspólny dzielnik Podaj wspólny dzielnik
dwóch liczb naturalnych? dwóch liczb naturalnych.
 klika w grafie

Jaka jest największa klika w grafie?

Czy istniej klika o rozmiarze k?

problem plecakowy

Czy da się załadować plecak Jaka jest maksymalna wartość

przedmiotami o łącznej watości przedmiotów, które możeny w plecaku
co najmniej w? spakować?

izomorfizm grafów
Podaj mapowanie wierzchołków.

Czy grafy są izomorficzne?

kolorowanie grafu

Podaj minimalną liczbę kolorów

do pokolorowania wierzchołków
grafu!

Czy graf da się pokolorować k kolorami?