MATH10200705001 Neeldhara Misra - Homi Bhabha National ...

Θ C
O(k 2−ε ) coNP ⊆ NP/poly
F
k
k O(1)
F
θ c
q
v ∈ V(G) T v
k O(1) θ c v v
θ c k
θ c v/∈ T v
G \{v}
θ c θ c G v
θ c
v
G \{v}
G n θ c v
G ′ = G \{v} θ c
v k T v O(k) v/∈ T v
G \ T v θ c T v