On Cutwidth Parameterized by Vertex Cover
 1.1k Downloads
 3 Citations
Abstract
We study the Cutwidth problem, where the input is a graph G, and the objective is find a linear layout of the vertices that minimizes the maximum number of edges intersected by any vertical line inserted between two consecutive vertices. We give an algorithm for Cutwidth with running time O(2^{ k } n ^{ O(1)}). Here k is the size of a minimum vertex cover of the input graph G, and n is the number of vertices in G. Our algorithm gives an O(2^{ n/2} n ^{ O(1)}) time algorithm for Cutwidth on bipartite graphs as a corollary. This is the first nontrivial exact exponential time algorithm for Cutwidth on a graph class where the problem remains NPcomplete. Additionally, we show that Cutwidth parameterized by the size of the minimum vertex cover of the input graph does not admit a polynomial kernel unless NP⊆coNP/poly. Our kernelization lower bound contrasts with the recent results of Bodlaender et al. (ICALP, Springer, Berlin, 2011; SWAT, Springer, Berlin, 2012) that both Treewidth and Pathwidth parameterized by vertex cover do admit polynomial kernels.
Keywords
Cutwidth Vertex cover parameterization Parameterized complexity Composition algorithms Polynomial kernel1 Introduction
In the Cutwidth problem we are given an nvertex graph G together with an integer w. The task is to determine whether there exists a linear layout of the vertices of G such that any vertical line inserted between two consecutive vertices of the layout intersects with at most w edges (see Sect. 2 for a formal definition). The cutwidth (cw(G)) of G is the smallest w for which such a layout exists. The problem has numerous applications [10, 23, 24, 29], ranging from circuit design [1, 27] to protein engineering [4]. Unfortunately Cutwidth is NPcomplete [18], and remains so even when the input is restricted to subcubic planar bipartite graphs [13, 28] or split graphs where all independent set vertices have degree 2 [20]. On the other hand, the problem has a factor O(log^{2}(n))approximation on general graphs [26] and is polynomial time solvable on trees [12, 32], graphs of constant treewidth and constant degree [31], threshold graphs [20], proper interval graphs [34] and bipartite permutation graphs [19].
In this article we study the complexity of computing cutwidth exactly on general graphs, where the running time is measured in terms of the size of the smallest vertex cover of the input graph G. A vertex cover of G is a vertex set S such that every edge of G has at least one endpoint in S. We show that Cutwidth can be solved in time 2^{ k } n ^{ O(1)} where k is the size of the smallest vertex cover of G. An immediate consequence of our algorithm is that Cutwidth can be solved in time 2^{ n/2} n ^{ O(1)} on bipartite graphs. This is the first nontrivial exact exponential time algorithm for Cutwidth on a graph class where the problem is NPcomplete. Furthermore, our algorithm improves considerably over the previous best algorithm for Cutwidth parameterized by vertex cover [15], whose running time is \(O(2^{2^{O(k)}}n^{O(1)})\) (however, it was not the focus of [15] to optimize the running time dependence on k).
Additionally, we show that Cutwidth parameterized by vertex cover does not admit a polynomial kernel unless NP⊆coNP/poly. A polynomial kernel for Cutwidth parameterized by vertex cover is a polynomial time algorithm that takes as input a Cutwidth instance (G,w), where G has a vertex cover of size at most k and outputs an equivalent instance (G′,w′) of Cutwidth such that G′ has at most k ^{ O(1)} vertices. We show that unless NP⊆coNP/poly such a kernelization algorithm can not exist. This contrasts with the recent results of Bodlaender et al. [7, 8] that both Treewidth and Pathwidth parameterized by the vertex cover number of the input graph do admit polynomial size kernels.
Context of Our Work
The Cutwidth problem is one of many graph layout problems, where the task is to find a permutation of the vertices of the input graph that optimizes a problem specific objective function. Graph layout problems, such as Treewidth, Bandwidth and Hamiltonian Path are not amenable to “branching” techniques, and hence the design of faster exact exponential time algorithms for these problems has resulted in several new and useful tools. For example, Karp’s inclusionexclusion based algorithm [25] for Hamiltonian Path was the first application of inclusionexclusion in exact algorithms. Another example is the introduction of potential maximal cliques as a tool for the computation of treewidth. Most graph layout problems (with the exception of Bandwidth) admit an O(2^{ n } n ^{ O(1)}) time dynamic programming algorithm [2, 21]. For several of these problems, faster algorithms with running time below O(2^{ n }) have been found [3, 16, 30], a stellar example is the recent algorithm by Björklund [3] for Hamiltonian Path. The Cutwidth problem is perhaps the best known graph layout problem for which a O(2^{ n } n ^{ O(1)}) time algorithm is known, yet no better algorithm has been found. Hence, whether such an improved algorithm exists is a tantalizing open problem. While we do not resolve this problem in this article, we make considerable progress; hard instances of Cutwidth cannot contain any independent set of size cn for any c>0.
Our choice of the vertex cover number as a relevant parameter for the Cutwidth problem originates in a recent interest in structural parameters (see e.g. [6, 7, 8, 22]), in particular from the study of a very closely related problems of computing treewidth and pathwidth of the input graph. Note that both these problems can be easily seen to be ANDcompositional when parameterized by the target treewidth or pathwidth of the graph (see [5] for discussion and relevant definitions) and an ANDcomposition, together with existence of a polynomial kernel, is now known to cause a collapse of the polynomial hierarchy [14]. This situation, together with the importance of the Treewidth and Pathwidth problems, motivated Bodlaender et al. [7, 8] to investigate their other, stronger parameterizations. Among many other results, they have proven that both these problems admit a polynomial kernel with respect to the vertex cover of the graph, while such a kernel is unlikely if we parameterize by the deletion distance to a clique. We show that, although Cutwidth seems very similar to Pathwidth, these problems behave differently with respect to polynomial kernelization: Cutwidth does not admit a polynomial kernel when parameterized by the vertex cover number unless NP⊆coNP/poly, which is known to imply a collapse of the polynomial hierarchy to its third level [11, 33].
Organization of the Paper
In Sect. 2 we present a dynamic programming algorithm which computes cutwidth in time O(2^{ k } n ^{ O(1)}) for a given vertex cover of size k, whereas in Sect. 3 we show that Cutwidth parameterized by vertex cover does not admit a polynomial kernel unless NP⊆coNP/poly. Section 4 is devoted to concluding remarks.
Notation
All graphs in this paper are undirected and simple. For a vertex v∈V we define its neighbourhood N _{ G }(v)={u:uv∈E(G)} and closed neighbourhood N _{ G }[v]=N _{ G }(v)∪{v}. If G is clear from the context, we might omit the subscript. For X⊆V we denote N _{ G }[X]=⋃_{ v∈X } N _{ G }(v)∖X.
2 Faster Cutwidth Parameterized by Vertex Cover
In this section we show that given a graph G=(C∪I,E) such that C is a vertex cover of G of size k, we can compute the cutwidth of G in time O(2^{ k } n ^{ O(1)}), using a dynamic programming approach. We start by showing that there always exists an optimal ordering of a specific form.
Lemma 1
If moving v _{ p } backward to position q results in an ordering σ′ such that rank _{ σ′}(v _{ p })≤0 then cw _{ σ′}(G)≤cw _{ σ }(G). If moving v _{ p } forward to position q results in an ordering σ′ such that rank _{ σ′}(v _{ p })≥0 then cw _{ σ′}(G)≤cw _{ σ }(G).
Proof
Suppose moving v _{ p } backward to position q results in an ordering σ′ such that rank _{ σ′}(v _{ p })≤0. For every nonnegative integer i define \(V'_{i}\) to contain the first i vertices of σ′. Then, for every i<q and i≥p we have \(V_{i}' = V_{i}\) and hence \(\delta(V_{i}') = \delta(V_{i})\). For every i such that q≤i<p we have that \(V_{i}' = V_{i1} \cup\{v_{p}\}\). Observe that for any other vertex v _{ j }, j≠p, rank _{ σ′}(v _{ j })≤rank _{ σ }(v _{ j }), while rank _{ σ′}(v _{ p })≤0. Thus \(\delta(V_{i}') = \mathit{rank}_{\sigma '}(v_{p})+\sum_{j \leq{i1}} \mathit{rank}_{\sigma'}(v_{j}) \leq\delta(V_{i1})\) and cw _{ σ′}(G)≤cw _{ σ }(G). The proof that if moving v _{ p } forward to position q results in an ordering σ′ such that rank _{ σ′}(v _{ p })≥0 then cw _{ σ′}(G)≤cw _{ σ }(G) is analogous. □
 1.
For every vertex v∈I of even degree rank _{ σ′}(v)=0 and every vertex v∈I of odd degree rank _{ σ′}(v)∈{−1,1}.
 2.
For every vertex v∈I such that rank _{ σ′}(v)≥0 and c _{ i }∈C we have c _{ i }≤_{ σ′} v if and only if N(v)∩C _{ i }≤N(v)∖C _{ i }.
 3.
For every vertex v∈I such that rank _{ σ′}(v)<0 and c _{ i }∈C we have c _{ i }≤_{ σ′} v if and only if N(v)∩C _{ i−1}<N(v)∖C _{ i−1}.
Lemma 2
Let G=(C∪I,E) be a graph and C be a vertex cover of G. There exists an optimal cutwidth ordering σ of G which is Cgood.
Observation 3
In a Cgood ordering σ let i be an integer such that c _{ i }∈C and let S=V _{ i }∩C. Then X(S,c _{ i })⊆V _{ i }∩I⊆X(S,c _{ i })∪Y(S,c _{ i }).
 1.
For every vertex v∈V _{ ϕ }∩I of even degree, rank _{ ϕ }(v)=0 and for every vertex v∈V _{ ϕ }∩I of odd degree, rank _{ ϕ }(v)∈{−1,1}.
 2.
X(V _{ ϕ }∩C,v _{ i })⊆V _{ ϕ }∩I⊆X(V _{ ϕ }∩C,v _{ i })∪Y(V _{ ϕ }∩C,v _{ i })
 3.
For every vertex v∈X(V _{ ϕ }∩C,c _{ i }) such that rank _{ ϕ }(v)≥0 and c _{ i }∈V _{ ϕ }∩C we have c _{ i }≤_{ ϕ } v if and only if \(N(v) \cap C^{\phi}_{i} \leqN(v) \setminus C^{\phi}_{i}\).
 4.
For every vertex v∈X(V _{ ϕ }∩C,c _{ i }) such that rank _{ ϕ }(v)<0 and c _{ i }∈V _{ ϕ }∩C we have c _{ i }≤_{ ϕ } v if and only if \(N(v) \cap C^{\phi}_{i1} < N(v) \setminus C^{\phi}_{i1}\).
 5.
Between two vertices c _{ i },c _{ i+1}∈C∩V _{ ϕ }, all vertices with rank _{ ϕ }(v)<0 come before all vertices with rank _{ ϕ }(v)≥0.
Comparing the properties of Cgood orderings and Cgood prefix orderings it is easy to see that the following lemma holds.
Lemma 4
Let σ=v _{1}⋯v _{ n } be a Cgood ordering and let ϕ be the restriction of σ to the first t vertices, such that v _{ t }∈C. Then ϕ is a Cgood prefix ordering.
Theorem 5
There is an algorithm that given a graph G=(C∪I,E) such that C is a vertex cover of G, computes the cutwidth of G in running time O(2^{C}(C+I)^{ O(1)}). Thus, Minimum Cutwidth on bipartite graphs can be solved in time O(2^{ n/2} n ^{ O(1)}), where n is the number of vertices of the input graph.
3 Kernelization Lower Bound
In this section we show that Cutwidth parameterized by vertex cover does not admit a polynomial kernel unless NP⊆coNP/poly.
3.1 The Auxiliary Problem
In the case when all the hyperedges are in fact edges (have cardinalities 2) and there are no multiedges, the problem is equivalent to the classical Minimum Bisection problem. As Minimum Bisection is NPhard, Hypergraph Minimum Bisection is also NPhard, so NPcomplete as well.
The goal now is to prove that Cutwidth parameterized by the size of vertex cover does not admit a polynomial kernel, unless NP⊆coNP/poly. We do it in two steps. First, using the ORdistillation technique of Bodlaender et al. [5] (with the backbone theorem proven by Fortnow and Santhanam [17]) we prove that Hypergraph Minimum Bisection does not admit a polynomial kernel, unless NP⊆coNP/poly. Second, we present a parameterized reduction from Hypergraph Minimum Bisection to Cutwidth parameterized by vertex cover.
3.2 No Polynomial Kernel for Hypergraph Minimum Bisection
We use the ORdistillation technique (first introduced by Bodlaender et al. [5]) put into the framework called crosscomposition [6]. Let us recall the crucial definitions.
Definition 6
(Polynomial Equivalence Relation [6])
An equivalence relation \(\mathcal{R}\) on Σ ^{∗} is called a polynomial equivalence relation if (1) there is an algorithm that given two strings x,y∈Σ ^{∗} decides whether \(\mathcal{R}(x,y)\) in (x+y)^{ O(1)} time; (2) for any finite set S⊆Σ ^{∗} the equivalence relation \(\mathcal{R}\) partitions the elements of S into at most (max_{ x∈S }x)^{ O(1)} classes.
Definition 7
(CrossComposition [6])
Let L⊆Σ ^{∗} and let Q⊆Σ ^{∗}×ℕ be a parameterized problem. We say that L crosscomposes into Q if there is a polynomial equivalence relation \(\mathcal{R}\) and an algorithm which, given t strings x _{1},x _{2},…,x _{ t } belonging to the same equivalence class of \(\mathcal{R}\), computes an instance (x ^{∗},k ^{∗})∈Σ ^{∗}×ℕ in time polynomial in \(\sum_{i=1}^{t} x_{i}\) such that (1) (x ^{∗},k ^{∗})∈Q iff x _{ i }∈L for some 1≤i≤t; (2) k ^{∗} is bounded polynomially in \(\max_{i=1}^{t} x_{i} + \log t\).
Theorem 8
[6, Theorem 9]
If L⊆Σ ^{∗} is NPhard under Karp reductions and L crosscomposes into the parameterized problem Q that has a polynomial kernel, then NP⊆coNP/poly.
Lemma 9
Hypergraph Minimum Bisection, parameterized by the size of the universe, does not admit a polynomial kernel, unless NP⊆coNP/poly.
Proof

all words that do not correspond to instances of Minimum Bisection form one equivalence class;

all the wellformed instances are partitioned into equivalence classes having the same number of vertices, the same number of edges and the same demanded cost of the bisection.
We now proceed to the construction of the composed Hypergraph Minimum Bisection instance (H,K). Let N=2m⋅((l+2)2^{ l−1}−1)+2k+1 and M=N(l ^{2}−l)+N. We begin by creating two sets of vertices A _{0} and A _{1}, each of size 2nl. We introduce each set A _{0},A _{1} as a hyperedge of the constructed hypergraph M times.
Then, we introduce 2l vertices \(s^{0}_{i},s^{1}_{i}\) for i=0,1,…,l−1 and denote the set of all these vertices by S. For every i<j we put N times each hyperedge \(\{s^{0}_{i},s^{0}_{j}\}\), \(\{s^{0}_{i},s^{1}_{j}\}\), \(\{ s^{1}_{i},s^{0}_{j}\}\), \(\{s^{1}_{i},s^{1}_{j}\}\). Thus, the hypergraph induced by S is a clique without a matching, repeated N times. Furthermore, for every p=0,1 and i=0,1,…,l−1 we construct a set \(S^{p}_{i}\) of n−1 vertices and put \(S^{p}_{i}\cup\{s^{p}_{i}\}\) as a hyperedge of the constructed hypergraph M times.

e ^{0}, consisting of vertices v _{ g }, v _{ h }, \(s^{b_{i}}_{i}\) for all i=0,1,…,l−1 and l vertices from A _{1}, chosen arbitrarily;

e ^{1}, consisting of vertices v _{ g }, v _{ h }, \(s^{1b_{i}}_{i}\) for all i=0,1,…,l−1 and l vertices from A _{0}, chosen arbitrarily.

for each u∈A _{0} we set \(\mathcal{B}'(u)=0\), for each u∈A _{1} we set \(\mathcal{B}'(u)=1\);

for each \(u\in S^{p}_{i}\cup\{s^{p}_{i}\}\) for p=0,1, i=0,1,…,l−1 we set \(\mathcal{B}'(u)=p+b_{i} \pmod{2}\);

for each v _{ j }∈W we set \(\mathcal{B}'(v_{j})=\mathcal{B}(v^{a}_{j})\).
Each copy of the hyperedges A _{0},A _{1} and \(S^{p}_{i}\cup\{s^{p}_{i}\}\) for p=0,1, i=0,1,…,l−1 has zero contribution, as it is monochromatic. The edges of H[S] have contribution 0 or 1, depending on whether the endpoints are coloured in the same or in a different way in \(\mathcal{B}'\). There are l vertices \(s^{p}_{i}\) that map to 0 in \(\mathcal{B}'\) and l that map to 1, so there are l ^{2} pairs of vertices coloured in a different way. Between every pair of vertices there are N edges, apart from the pairs \((s^{0}_{i},s^{1}_{i})\). Note that all these pairs are coloured differently; therefore, there are exactly N(l ^{2}−l) edges in H[S] contributing 1 to the cost.
Take c∈{0,1,…,t−1} such that c≠a. Let d _{ l−1} d _{ l−2}⋯d _{0} be the binary representation of c. For e∈E(G _{ c }) let us count the contribution to \(\mathit{cost}(\mathcal {B}')\) of the hyperedges e ^{0} and e ^{1}. Suppose that q={i:b _{ i }≠d _{ i }}>0. Among vertices of e ^{0}, l from A _{1} are coloured 1, q from S are coloured 1 as well and l−q from S are coloured 0. In total, we have l+q vertices coloured 1 and l−q coloured 0, so regardless of the colouring of the remaining two vertices from W, the contribution is equal to the number of vertices coloured 0 in e ^{0}, namely \(lq+e^{0}\cap W \cap\mathcal{B}'^{1}(0)\). Analogously, the contribution of the hyperedge e ^{1} is equal to the number of vertices of e ^{1} coloured 1, namely \(lq+e^{1}\cap W\cap \mathcal{B}'^{1}(1)\). As there are exactly two vertices in e ^{0}∩W=e ^{1}∩W, \(\mathit{cost}(e^{0},\mathcal{B}')+\mathit {cost}(e^{1},\mathcal {B}')=2(lq)+2\). Thus, the total contribution of hyperedges e ^{0}, e ^{1} for e∈E(G _{ c }) is equal to 2m(l−q)+2m.
Now we count the contribution of the edges e ^{0} and e ^{1} for e∈E(G _{ a }). Analogously as in the previous paragraph, both edges e ^{0}, e ^{1} contain l vertices coloured 0, l vertices coloured 1 plus two vertices from W. If both these vertices are coloured in the same way, the sum of the contributions of e ^{0} and e ^{1} is equal to 2l; however, if the vertices are coloured differently, the sum is equal to 2l+2. As the cost of bisection \(\mathcal{B}\) was at most k, the total contribution of edges e ^{0}, e ^{1} for e∈E(G _{ a }) is at most 2ml+2k.
We proceed to the second direction. Assume that we have a bisection \(\mathcal{B}'\) of H such that \(\mathit{cost}(\mathcal{B}')\leq K\). Observe that as M>K, both the sets A _{0},A _{1} are monochromatic with respect to \(\mathcal{B}'\). Moreover, they have to be coloured differently, as they contain more than half of the vertices of the graph in total. Without losing generality we can assume that A _{0} is coloured in colour 0, while A _{1} is coloured in colour 1, by flipping the colours if necessary.
Now consider the set \(S^{i}_{p}\cup\{s^{i}_{p}\}\) for p=0,1, i=0,1,…,l−1. Analogously as in the previous paragraph, \(S^{i}_{p}\cup\{s^{i}_{p}\}\) has to be monochromatic. Furthermore, observe that exactly l such sets have to be coloured 0 in \(\mathcal{B}'\) and the same number have to be coloured 1, as every set \(S^{i}_{p}\cup\{s^{p}_{i}\}\) contains the same number of vertices as the set W and \(\mathcal{B}'\) is a bisection. Therefore, \(\mathcal{B}'\) has to bisect each of the sets A _{0}∪A _{1}, S and W.
Exactly l vertices \(s^{p}_{i}\) are coloured 0 in \(\mathcal{B}'\) and exactly l are coloured 1. Let r be the number of indices i, such that \(s^{0}_{i}\) and \(s^{1}_{i}\) are coloured differently. Observe that analogously to our previous arguments, the contribution of the edges of H[S] to \(\mathit{cost}(\mathcal{B}')\) is equal to N(l ^{2}−r)=N(l ^{2}−l)+N(l−r). If r<l, then \(\mathit{cost}(\mathcal{B}')\geq N(l^{2}l)+N>K\), a contradiction. Therefore, all the pairs \((s^{0}_{i},s^{1}_{i})\) are coloured differently.
3.3 From Hypergraph Minimum Bisection to Cutwidth
Let us briefly recall the notion of polynomial parameter transformations.
Definition 10
[9]
Let P and Q be parameterized problems. We say that P is polynomial parameter reducible to Q, written P≤_{ p } Q, if there exists a polynomial time computable function f:Σ ^{∗}×ℕ→Σ ^{∗}×ℕ and a polynomial p, such that for all (x,k)∈Σ ^{∗}×ℕ the following holds: (x,k)∈P iff (x′,k′)=f(x,k)∈Q and k′≤p(k). The function f is called a polynomial parameter transformation.
Theorem 11
[9]
Let P and Q be parameterized problems and \(\tilde{P}\) and \(\tilde {Q}\) be the unparameterized versions of P and Q respectively. Suppose that \(\tilde{P}\) is NPhard and \(\tilde{Q}\) is in NP. Assume there is a polynomial parameter transformation from P to Q. Then if Q admits a polynomial kernel, so does P.
We apply this notion to our case.
Lemma 12
There exists a polynomialtime algorithm that, given an instance of the Hypergraph Minimum Bisection problem with n vertices, outputs an equivalent instance of the Cutwidth problem along with its vertex cover of size n.
Proof
Let (H=(V,E),k) be an instance of Hypergraph Minimum Bisection given in the input, where V=n (n is even) and E=m. We construct a graph G as follows.
Let us denote N=mn+1. We begin by taking the whole set V to be the set of vertices of G. For every distinct u,v∈V we introduce N new vertices \(x^{i}_{u,v}\) for i=1,2,…,N, each connected only to u and v. Then, for every e∈E we introduce a new vertex y _{ e } connected to all v∈e. Denote the set of all vertices \(x^{i}_{u,v}\) by X and the set of all vertices y _{ e } by Y. This concludes the construction. Observe that V is a vertex cover of G of size n. We now prove that H has a bisection with cost at most k if and only if G has cutwidth at most n ^{2} N/4+k.
Assume that H has a bisection \(\mathcal{B}\) with cost at most k. Let us order the vertices of the graph G as follows. First, we order the vertices from V: we place \(\mathcal{B}^{1}(0)\) first, in any order, and then \(\mathcal{B}^{1}(1)\), in any order. Then, we place every \(x^{i}_{u,v}\) anywhere between u and v. At the end, for every e∈E we place y _{ e } at the beginning if at least half of the vertices of e are in \(\mathcal{B}^{1}(0)\), and in the end otherwise. Vertices y _{ e } at the beginning and at the end are arranged in any order.
Now, we prove that the cutwidth of the constructed ordering is at most n ^{2} N/4+k. Consider any cut C, dividing the order on V(G) into a first part V _{1} and a second part V _{2}. Suppose that V _{1}∩V=n/2−l for some −n/2≤l≤n/2, thus V _{2}∩V=n/2+l. Observe that C cuts exactly N(n/2−l)(n/2+l)=n ^{2} N/4−l ^{2} N edges between V and X. Note that there are not more than nm<N edges between V and Y. Therefore, if l≠0, then C can cut at most n ^{2} N/4−N+nm<n ^{2} N/4+k edges.
We are left with the case when l=0. Observe that \(V_{1}\cap V=\mathcal{B}^{1}(0)\) and \(V_{2}\cap V=\mathcal{B}^{1}(1)\). Moreover, the cut C cuts exactly n ^{2} N/4 edges between sets V and X. As far as edges between V and Y are concerned, for every hyperedge e∈E, the cut C cuts exactly \(\mathit{cost}(e,\mathcal{B})\) edges incident on y _{ e }. As \(\mathit{cost}(\mathcal{B})\leq k\), the cut C cuts at most n ^{2} N/4+k edges.
Now assume that there is an ordering of vertices of G that has cutwidth at most n ^{2} N/4+k. We construct a bisection \(\mathcal{B}\) of H as follows. Let \(\mathcal{B}(v)=0\) for every v among the first n/2 vertices from V with respect to the ordering, and \(\mathcal{B}(v)=1\) for v among the second n/2 vertices. We now prove that the cost of this bisection is at most k.
Let C be any cut dividing the order into the first part V _{1} and the second part V _{2}, such that \(V_{1}\cap V=\mathcal{B}^{1}(0)\) and \(V_{2}\cap V=\mathcal{B}^{1}(1)\). As the cutwidth of the ordering is at most n ^{2} N/4+k, C cuts at most n ^{2} N/4+k edges. Observe that C needs to cut at least n ^{2} N/4 edges between sets V and X, therefore it cuts at most k edges between sets V and Y. For every hyperedge e∈E, C cuts at least \(\mathit{cost}(e,\mathcal{B})\) edges incident to y _{ e }, thus \(\mathit{cost}(\mathcal{B})\leq k\). □
From Lemmas 9, 12 and Theorem 11 we conclude the following.
Theorem 13
Cutwidth parameterized by the size of vertex cover does not admit a polynomial kernel, unless NP⊆coNP/poly.
4 Conclusions
In this paper we studied the complexity of computing the cutwidth of a graph parameterized by the size of a given vertex cover. We have shown an algorithm with running time O(2^{ k } n ^{ O(1)}), where k is the cardinality of the vertex cover and n is the number of vertices of the graph. Moreover, we have proven that polynomial kernelization of the problem is unlikely, thus counterpoising the recent result of Bodlaender et al. [7].
The thrilling and natural question is whether the insight we have given into the problem can be a starting point to breaking the 2^{ n } barrier for an exact algorithm computing cutwidth. Our result implies that one can assume that in any hard instance all the independent sets are small, i.e., of size not larger than cn for an arbitrarily small constant c>0.
References
 1.Adolphson, D., Hu, T.C.: Optimal linear ordering. SIAM J. Appl. Math. 25, 403–423 (1973) CrossRefMATHMathSciNetGoogle Scholar
 2.Bellman, R.: Dynamic programming treatment of the travelling salesman problem. J. ACM 9(1), 61–63 (1962) CrossRefMATHGoogle Scholar
 3.Björklund, A.: Determinant sums for undirected hamiltonicity. In: FOCS, pp. 173–182. IEEE Comput. Soc., Los Alamitos (2010) Google Scholar
 4.Blin, G., Fertin, G., Hermelin, D., Vialette, S.: Fixedparameter algorithms for protein similarity search under mRNA structure constraints. J. Discrete Algorithms 6, 618–626 (2008) CrossRefMATHMathSciNetGoogle Scholar
 5.Bodlaender, H.L., Downey, R.G., Fellows, M.R., Hermelin, D.: On problems without polynomial kernels. J. Comput. Syst. Sci. 75(8), 423–434 (2009) CrossRefMATHMathSciNetGoogle Scholar
 6.Bodlaender, H.L., Jansen, B.M.P., Kratsch, S.: Crosscomposition: a new technique for kernelization lower bounds. In: Schwentick, T., Dürr, C. (eds.) STACS, LIPIcs, vol. 9, pp. 165–176 (2011). Schloss Dagstuhl—LeibnizZentrum fuer Informatik Google Scholar
 7.Bodlaender, H.L., Jansen, B.M.P., Kratsch, S.: Preprocessing for treewidth: a combinatorial analysis through kernelization. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP (1). Lecture Notes in Computer Science, vol. 6755, pp. 437–448. Springer, Berlin (2011) Google Scholar
 8.Bodlaender, H.L., Jansen, B.M.P., Kratsch, S.: Kernel bounds for structural parameterizations of pathwidth. In: Fomin, F.V., Kaski, P. (eds.) SWAT. Lecture Notes in Computer Science, vol. 7357, pp. 352–363. Springer, Berlin (2012) Google Scholar
 9.Bodlaender, H.L., Thomassé, S., Yeo, A.: Kernel bounds for disjoint cycles and disjoint paths. Theor. Comput. Sci. 412(35), 4570–4578 (2011) CrossRefMATHGoogle Scholar
 10.Botafogo, R.A.: Cluster analysis for hypertext systems. In: Korfhage, R., Rasmussen, E.M., Willett, P. (eds.) SIGIR, pp. 116–125. ACM, New York (1993) Google Scholar
 11.Cai, J., Chakaravarthy, V.T., Hemaspaandra, L.A., Ogihara, M.: Competing provers yield improved KarpLipton collapse results. Inf. Comput. 198(1), 1–23 (2005) CrossRefMATHMathSciNetGoogle Scholar
 12.Chung, M., Makedon, F., Sudborough, I., Turner, J.: Polynomial time algorithms for the min cut problem on degree restricted trees. SIAM J. Comput. 14, 158–177 (1985) CrossRefMATHMathSciNetGoogle Scholar
 13.Diaz, J., Penrose, M., Petit, J., Serna, M.: Approximating layout problems on random geometric graphs. J. Algorithms 39, 78–117 (2001) CrossRefMATHMathSciNetGoogle Scholar
 14.Drucker, A.: New limits to classical and quantum instance compression. In: FOCS. IEEE Comput. Soc., Los Alamitos (2012, to appear) Google Scholar
 15.Fellows, M.R., Lokshtanov, D., Misra, N., Rosamond, F.A., Saurabh, S.: Graph layout problems parameterized by vertex cover. In: Hong, S.H., Nagamochi, H., Fukunaga, T. (eds.) ISAAC. Lecture Notes in Computer Science, vol. 5369, pp. 294–305. Springer, Berlin (2008) Google Scholar
 16.Fomin, F.V., Kratsch, D., Todinca, I., Villanger, Y.: Exact algorithms for treewidth and minimum fillin. SIAM J. Comput. 38(3), 1058–1079 (2008) CrossRefMATHMathSciNetGoogle Scholar
 17.Fortnow, L., Santhanam, R.: Infeasibility of instance compression and succinct PCPs for NP. J. Comput. Syst. Sci. 77(1), 91–106 (2011) CrossRefMATHMathSciNetGoogle Scholar
 18.Gavril, F.: Some NPcomplete problems on graphs. In: 11th Conference on Information Sciences and Systems, pp. 91–95 (1977) Google Scholar
 19.Heggernes, P., van’t Hof, P., Lokshtanov, D., Nederlof, J.: Computing the cutwidth of bipartite permutation graphs in linear time. In: Thilikos, D.M. (ed.) WG. Lecture Notes in Computer Science, vol. 6410, pp. 75–87 (2010) Google Scholar
 20.Heggernes, P., Lokshtanov, D., Mihai, R., Papadopoulos, C.: Cutwidth of split graphs and threshold graphs. SIAM J. Discrete Math. 25(3), 1418–1437 (2011) CrossRefMATHMathSciNetGoogle Scholar
 21.Held, M., Karp, R.M.: A dynamic programming approach to sequencing problems. J. Soc. Ind. Appl. Math. 10(1), 196–210 (1962) CrossRefMATHMathSciNetGoogle Scholar
 22.Jansen, B.M.P., Kratsch, S.: Data reduction for graph coloring problems. In: Owe, O., Steffen, M., Telle, J.A. (eds.) FCT. Lecture Notes in Computer Science, vol. 6914, pp. 90–101. Springer, Berlin (2011) Google Scholar
 23.Junguer, M., Reinelt, G., Rinaldi, G.: The travelling salesman problem. In: Handbook on Operations Research and Management Sciences, vol. 7, pp. 225–330 (1995) Google Scholar
 24.Karger, D.R.: A randomized fully polynomial time approximation scheme for the allterminal network reliability problem. SIAM J. Comput. 29(2), 492–514 (1999) CrossRefMathSciNetGoogle Scholar
 25.Karp, R.M.: Dynamic programming meets the principle of inclusion and exclusion. Oper. Res. Lett. 1, 49–51 (1982) CrossRefMATHMathSciNetGoogle Scholar
 26.Leighton, F., Rao, S.: Multicommodity maxflow mincut theorems and their use in designing approximation algorithms. J. ACM 46, 787–832 (1999) CrossRefMATHMathSciNetGoogle Scholar
 27.Makedon, F., Sudborough, I.H.: On minimizing width in linear layouts. Discrete Appl. Math. 23, 243–265 (1989) CrossRefMATHMathSciNetGoogle Scholar
 28.Monien, B., Sudborough, I.H.: Min cut is NPcomplete for edge weighted trees. Theor. Comput. Sci. 58, 209–229 (1988) CrossRefMATHMathSciNetGoogle Scholar
 29.Mutzel, P.: A polyhedral approach to planar augmentation and related problems. In: Spirakis, P.G. (ed.) ESA. Lecture Notes in Computer Science, vol. 979, pp. 494–507. Springer, Berlin (1995) Google Scholar
 30.Suchan, K., Villanger, Y.: Computing pathwidth faster than 2^{n}. In: Chen, J., Fomin, F.V. (eds.) IWPEC. Lecture Notes in Computer Science, vol. 5917, pp. 324–335. Springer, Berlin (2009) Google Scholar
 31.Thilikos, D.M., Serna, M.J., Bodlaender, H.L.: Cutwidth II: Algorithms for partial wtrees of bounded degree. J. Algorithms 56, 24–49 (2005) Google Scholar
 32.Yannakakis, M.: A polynomial algorithm for the min cut linear arrangement of trees. J. ACM 32, 950–988 (1985) CrossRefMATHMathSciNetGoogle Scholar
 33.Yap, C.K.: Some consequences of nonuniform conditions on uniform classes. Theor. Comput. Sci. 26, 287–300 (1983) CrossRefMATHMathSciNetGoogle Scholar
 34.Yuan, J., Zhou, S.: Optimal labelling of unit interval graphs. Appl. Math. J. Chin. Univ. Ser. A 10, 337–344 (1995) CrossRefMATHMathSciNetGoogle Scholar
Copyright information
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.