Statements (35)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
gptkb:graph |
| gptkbp:appearsIn |
gptkb:Karp's_21_NP-complete_problems
|
| gptkbp:approximationAlgorithm |
2-approximation algorithm exists
|
| gptkbp:category |
gptkb:theoretical_computer_science
gptkb:mathematical_optimization combinatorial optimization |
| gptkbp:complexity |
NP-complete
fixed-parameter tractable (FPT) with respect to solution size |
| gptkbp:decision |
Given a graph and integer k, does there exist a vertex cover of size at most k?
|
| gptkbp:defines |
Given a graph, find the smallest set of vertices such that every edge is incident to at least one vertex in the set.
|
| gptkbp:exactSolution |
solvable in polynomial time for bipartite graphs
solvable in polynomial time for trees |
| gptkbp:field |
gptkb:mathematics
computer science |
| gptkbp:firstProvedNPCompleteBy |
gptkb:Richard_Karp
|
| gptkbp:hardnessOfApproximation |
cannot be approximated within a factor of 1.3606 unless P=NP
|
| gptkbp:maximumMatchingRelation |
minimum vertex cover size is at least maximum matching size
|
| gptkbp:minimumVertexCoverIsNPHard |
true
|
| gptkbp:optimizedFor |
Find the minimum vertex cover in a graph.
|
| gptkbp:reduces |
gptkb:3-SAT
gptkb:independent_set_problem |
| gptkbp:relatedTo |
gptkb:NP-completeness
gptkb:clique_problem gptkb:independent_set_problem graph theory |
| gptkbp:usedIn |
network security
bioinformatics resource allocation scheduling social network analysis |
| gptkbp:yearNPComplete |
1972
|
| gptkbp:bfsParent |
gptkb:Clique_problem
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
vertex cover problem
|