∀

∃

∈

∩

∪

⇒

λ

Σ

π

∞

O(n)

P

NP

01

10

A→B

DFS

BFS

MST

[1,0]

∀

∃

∈

∩

∪

⇒

λ

Σ

π

∞

O(n)

P

NP

01

10

A→B

DFS

BFS

MST

[1,0]

∀

∃

∈

∩

∪

✦

·

—

★

∀

∃

∈

λ

Σ

π

O(n)

P

NP

01

10

∧

∨

✦

·

—

★

∀

∃

∈

λ

Σ

π

O(n)

P

NP

01

10

∧

∨

✦

·

—

★

∀

∃

∈

λ

Σ

π

O(n)

P

NP

01

10

∧

∨

✦

·

—

★

∀

∃

∈

λ

Σ

π

O(n)

P

NP

01

10

∧

∨

✦

·

—

★

∀

∃

∈

λ

Σ

π

O(n)

P