More NP-Complete Problems
[12/58%]Does the problem VC remain NP-complete if each edge is to be covered by exactly one vertex?
Prove that MCG is NP-complete.
Partition is NP-complete.
Knapsack is NP-complete.
BP is NP-complete.
Show that the following problem is NP-complete: Given positive integers , determine whether
SMT is NP-complete.
For each of the following problems, determine whether it is -complete or is in . If it is -complete, find a reduction from a known complete problem to it. If it is in , find a polynomial-time algorithm for it.
Given a graph , two vertices and in and a positive integer , determine whether there is a path between and of length less than or equal to .
Given a graph , two vertices and in and a positive integer , determine whether there is a path between and of length greater than or equal to .
Given a directed graph , determine whether has a cycle of an odd length.
Given a directed graph , determine whether has a cycle of an even length.
Given a graph , determine whether has a cycle of an odd length.
Given an edge-weighted complete graph , three subsets , of vertices and a positive integer , determine whether there is a subgraph of of weight that contains a spanning tree for each of and . (A spanning tree for a subset is a connected subgraph of on the vertex set that has no cycle.)
Given a graph and a positive integer , determine whether there is a subset of at most edges such that every vertex in is incident with at least one edge in .
Regular Expression Nonequivalence: Given two regular expressions and without the Kleene-star operation, determine whether .
Bounded PCP (see Exercise 7(d) of Section 7.1).
Bounded Tiling (see Exercise 7(e) of Section 7.1).
Prove that the following variations of the problem VC are -complete:
Planar VC: The problem VC restricted to planar graphs. (A planar graph is a graph that can be drawn on the two-dimensional plane such that no two edges cross each other at a non-vertex point.)
Cubic VC: The problem VC restricted to cubic graphs. (A cubic graph is a graph such that every vertex has degree three.)
Planar Connected-VC-4: Given a planar graph with each vertex in having degree at most 4 and an integer , determine whether there is a vertex cover of of size such that the induced subgraph on vertex set is connected.
Given a graph , determine whether has a vertex cover satisfying the following conditions:
-
The subgraph induced by has no isolated point.
-
Every vertex in is adjacent to a vertex not in .
The polar representation of a CNF is a bipartite graph , where is the set of all variables and is the set of all clauses in , and there is an edge in between and if and only if the variable appears in the clause (in the form of or ). Prove the following statements:
has a planar polar representation and it is satisfiable if and only if .
There exists a 3-CNF formula with a planar polar representation and three variables , and , such that is satisfiable if and only if .
There exists a 3-CNF formula with a planar polar representation and three variables , and , such that is satisfiable if and only if . [Hint: .]
The following problem, called Planar Polar-3Sat, is NPcomplete: Given a 3-CNF formula with a planar polar representation, determine whether is satisfiable or not. [Hint: Applying the fact that and to the construction.]
The nonpolar representation of a CNF is a graph , with the vertex set consisting of all literals and all clauses in , and the edge set consisting of all pairs over all variables in plus all literal-clause pairs such that occurs in . Prove the following statements:
If the nonpolar representation of a CNF formula is planar, then its polar representation must also be planar. However, the converse is not necessarily true.
The following problem, called Planar Nonpolar-3Sat, is NPcomplete: Given a 3-CNF formula with a planar nonpolar representation, determine whether is satisfiable or not.
A is a CNF such that each clause contains exactly literals and each variable occurs in at most clauses. The problem -Sat is the problem 3SaT restricted to -CNF's. Prove the following results:
For any , every -CNF is satisfiable.
For any , (2, )-SAT is polynomial-time solvable. (In fact, the problem 2Sat, which is the problem 3Sat restricted to CNF's with at most 2 literals in each clause, is polynomial-time solvable.)
-Sat is -complete.