Label Cover problem

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf theoretical computer science
gptkbp:constraint_type projection constraints
gptkbp:field theoretical computer science
gptkbp:generalizes gptkb:Unique_Games_problem
gptkbp:hasVariant gptkb:Max-Label_Cover
gptkb:Min-Label_Cover
gptkbp:heldBy gptkb:NP-hard
Boolean satisfiability problem
bipartite graph problem
central in PCP theorem
central in inapproximability results
https://www.w3.org/2000/01/rdf-schema#label Label Cover problem
gptkbp:introduced early 1990s
gptkbp:involves assigning labels to vertices
gptkbp:used_in gptkb:probabilistically_checkable_proofs
hardness of approximation proofs
gptkbp:bfsParent gptkb:Unique_Games_Conjecture
gptkbp:bfsLayer 7