Given a graph G and an integer k, the Interval Vertex Deletion (IVD) problem asks whether there exists a subset S⊆ V(G) of size at most k such that G-S is an interval graph. This problem is known to be NP-complete (according to Yannakakis at STOC 1978). Originally in 2012, Cao and Marx showed that IVD is fixed parameter tractable: they exhibited an algorithm with running time 10knO(1). The existence of a polynomial kernel for IVD remained a well-known open problem in parameterized complexity. In this article, we settle this problem in the affirmative.
1 Introduction
In a graph modification problem, the input consists of an n-vertex graph G and an integer k. The objective is to determine whether kmodification operations—such as vertex deletions, or edge deletions, insertions or contractions—are sufficient to obtain a graph with prescribed structural properties such as being planar, bipartite, chordal, interval, acyclic, or edgeless. Graph modification problems include some of the most basic problems in graph theory and graph algorithms. Unfortunately, most of these problems are NP-complete [45, 53]. Therefore, they have been studied intensively within algorithmic paradigms for coping with NP-completeness [22, 26, 48], including approximation algorithms, parameterized complexity, and algorithms for restricted input classes.
Graph modification problems have played a central role in the development of parameterized complexity (see Section 1.2). Here, the number of allowed modifications, k, is considered a parameter. With respect to k, we seek a Fixed Parameter Tractable (FPT) algorithm, namely an algorithm whose running time has the form \(f(k)n^{\mathcal {O}(1)}\) for some computable function f. One way to obtain such an algorithm is to exhibit a kernelization algorithm, or kernel. A kernel for a graph problem \(\Pi\) is an algorithm that given an instance \((G,k)\) of \(\Pi\) runs in polynomial time and outputs an equivalent instance \((G^{\prime },k^{\prime })\) of \(\Pi\) such that \(|V(G^{\prime })|\) and \(k^{\prime }\) are upper bounded by \(f(k)\) for some computable function f. The function f is called the size of the kernel, and if f is a polynomial function, then we say that the kernel is a polynomial kernel. A kernel for a problem immediately implies that it admits an FPT algorithm, but kernels are also interesting in their own right. In particular, kernels allow us to model the performance of polynomial-time pre-processing algorithms. The field of kernelization has received a significant amount of attention, especially after the introduction of methods for showing kernelization lower bounds [6, 15, 16, 19, 25, 30, 31]. We refer to the surveys [24, 29, 41, 46], as well as the books [13, 18, 20, 51], for a detailed treatment of the area of kernelization. In this article, we study the kernelization complexity of modification (using vertex deletions) to interval graphs. A graph is an interval graph if it is the intersection graph of intervals on the real line. Formally, we study the following problem.
Due to their intriguing combinatorial properties and many applications in diverse areas, such as industrial engineering and archeology [5, 38], the class of interval graphs is perhaps one of the most studied graph classes [8, 28]. Whether Interval Vertex Deletion(IVD) admits an FPT algorithm has been a long-standing open problem in the area until it was resolved by Cao and Marx [11], who gave an algorithm with running time \(\mathcal {O}(10^kn^9)\). Subsequently, Cao [9] designed an FPT algorithm with linear dependence on the input size, as well as slightly better dependence on the parameter k. More precisely, Cao’s algorithm has running time \(\mathcal {O}(8^k(n+m))\). A natural follow-up question to this work, explicitly asked multiple times in the literature [14, 32, 34], is whether IVD admits a polynomial kernel. In this article, we resolve this question in the affirmative.
1.1 Methods
The first ingredient of our kernelization algorithm is the factor 8 polynomial-time approximation algorithm for IVD by Cao [9] (Theorem 6.1). We use this algorithm to obtain an approximate solution of size at most 8k, or conclude that no solution of size at most k exists. By re-running the approximation algorithm on the graph with some of the vertices marked as “undeletable,” we grow our approximate solution to a 9-redundant solution M of size \(\mathcal {O}(k^{10})\). Here, 9-redundancy roughly means that for every subset \(W \subseteq M\) of size at most 9, either \(M \setminus W\) is also a solution or every solution \(S^{\prime }\) of size at most \(k+2\) has non-empty intersection with W.1
Our kernelization heavily uses the characterization of interval graphs in terms of their forbidden induced subgraphs, also called obstructions. Specifically, a graph H is an obstruction to the class of interval graphs if H is not an interval graph, and for every vertex \(v \in V(H)\) we have that \(H - \lbrace v\rbrace\) is an interval graph. A graph G is an interval graph if and only if it does not contain any obstruction as an induced subgraph. The set of obstructions to interval graphs have been completely characterized by Lekkeikerker and Boland [44]. It consists of the long claw, the whipping top, the net, and the tent, as well as three infinite families of graphs: the single-dagger asteroidal witness (\(\dagger\)-AW), the double-dagger asteroidal witnesses (\(\ddagger\)-AW), and the cycle of length at least 4 (Figure 1). (The vertices \(t_\ell ,t_r,t\) in a \(\dagger\)-AW and a \(\ddagger\)-AW are said to form an asteroidal triple.)
Fig. 1.
Having a 9-redundant solution yields the following advantage. In several places, we remove a carefully chosen vertex \(v \notin M\) from G and claim that \(G - \lbrace v\rbrace\) has a solution of size at most k if and only if G does. One direction of the equivalence is trivial. The interesting direction is to show that a solution X of size at most k to \(G - \lbrace v\rbrace\) implies the existence of a solution of size at most k for G. The starting point for such an analysis is to ask why X is not already a solution for G. The only possible reason is that \(G - X\) contains an obstruction \(\mathbb {O}\), and \(\mathbb {O}\) must contain v. We claim that \(\mathbb {O}\) contains at least 10 vertices from M. Suppose not, then let W be the intersection of M and \(\mathbb {O}\). We know that \((G - (M \setminus W))\) contains \(\mathbb {O}\), and therefore it is not an interval graph. Hence, by the 9-redundancy of M, this implies that X (being a solution of size at most \(k+2\)) must intersect \(\mathbb {O}\), which contradicts the choice of \(\mathbb {O}\). Thus, in this analysis, we only need to care about large obstructions that, furthermore, have a large intersection with M. This is crucial throughout the design and analysis of the kernel.
We then proceed to classify the connected components of \(G - M\) based on whether they are modules in G or not. (Recall that a module is a set X such that all vertices in X have the same neighbors outside X.) For each component C that is not a module, there is an edge \((u,v)\) in C and a vertex w in M such that w is adjacent to u but not to v. Thus, if there are more than \((k+2)|M|\) non-module components in total, then there must exist \(k+3\) non-module components and a vertex \(w\in M\) such that each of these components has an edge \((u,v),\) where w is adjacent to u but not to v. However, this means that for every subset \(S\subseteq V(G)\) of size at most k, either \(w\in S\) or \(G-S\) contains a long claw (whose center c is w) and hence not interval. It follows that w must belong to every solution of size at most \(k+2\); thus, we can simply remove w and decrease the budget k by 1. Hence, the number of non-module components can be bounded by \((k+2)|M|\), which is polynomial in k.
As \(G-M\) is an interval graph, an obstruction cannot be entirely contained in \(G-M\). In particular, if an obstruction contains a vertex from a connected component in \(G-M\) that is a module in G, then this obstruction must also contain a vertex from M. From the preceding, we can obtain that every obstruction (with more than four vertices) can intersect every module component in at most one vertex. Furthermore, there is no point in keeping more than \(k+1\) copies of any vertex, and this allows us to reduce the module components to cliques of size \(k+1\).
We are left with the following situation. We have a 9-redundant solution M of size \(\mathcal {O}(k^{10})\). At most \(\mathcal {O}(k|M|)\) components of \(G-M\) are not modules, but these components could be arbitrarily large. The remaining components are all modules that are cliques of size at most \(k+1\); thus, the module components are structured and small, but there could be arbitrarily many of them. This means that we are left with two tasks: (i) reduce the number of module components, and (ii) reduce the size of the non-module components. These two tasks can be approached separately, and both turn out to be non-trivial. Since both tasks are quite technically involved, we only give a few highlights in the remainder of this overview.
Bounding the Number of Module Components. Consider first the case where there are no non-module components at all, and every module component is a single vertex. In this case, \(G - M\) is edgeless, so M is a vertex cover of G. The kernelization complexity of even this very special case was asked as an open problem by Fomin et al. [21].
A key ingredient in our solution to this special case is a new bound for the setting considered in the classic two families theorem of Bollobás [7]. Suppose there are two families of sets over a universe U, \(A_1, \ldots , A_m\) and \(B_1, \ldots , B_m\) such that every set \(A_i\) has size p, every set \(B_j\) has size q, and for every \(i,\) the sets \(A_i\) and \(B_i\) are disjoint, whereas for every \(i \ne j,\) the sets \(A_i\) and \(B_j\) intersect. The two families theorem gives an upper bound of \({p+q \choose p}\) for the size m of the family. The upper bound on m is independent of the universe size, and this has been extensively used in the design of parameterized algorithms [23, 49]. Further, when p or q is a constant, the bound is polynomial in \(p+q\), and this has been extensively used in kernelization [42].
In our setting, neither the sets \(A_1, \ldots , A_m\) nor the sets \(B_1, \ldots , B_m\) have constant cardinality. However, we know that for every \(i \ne j\), \(|A_i \cap B_j| \in \lbrace 1, 2\rbrace\). We prove that in this case, the bound is \(\mathcal {O}(|U|^2)\). More generally, we prove the following.
Comparing Lemma 1.1 with the two families theorem, the bound in Lemma 1.1 does depend on the universe size \(|U|\). However, the exponent of \(|U|\) only depends on the maximum cardinality c of the intersection between the sets \(A_i\) and \(B_j\).
In the setting of kernelizing IVD parameterized by the size of a vertex cover M, the size of the kernel is intimately linked to m for the case where \(A_1, \ldots , A_m\) is a collection of cliques in \(G[M],\) whereas \(B_1, \ldots , B_m\) is a collection of induced paths. Since a clique can only intersect an induced path in at most two vertices, we can apply Lemma 1.1 with \(c = 2\), thereby obtaining an \(\mathcal {O}(|M|^2)\) bound for m and (after a significant amount of additional efforts, which we skip in this overview) a polynomial bound on the kernel size.
The kernel for IVD parameterized by the size of a vertex cover quite simply translates into a procedure that bounds the number, and therefore the total size, of module components of \(G - M\). We remark that because the number of non-module components is bounded by \(\mathcal {O}(k|M|)\), by bounding the number of module components we also bound the total number of components of \(G - M\).
Bounding the Size of Non-Module Components. Suppose now that the number of module components has been bounded by \(k^{\mathcal {O}(1)}\). We can now include all of the module components in M and proceed under the assumption that there are no module components at all.
The size reduction of non-module components proceeds in three phases. In the first phase, we bound the maximum clique size in a component. Our clique-reduction procedure builds upon the clique-reduction procedure of Marx [50], which was used in kernelizations for Chordal Vertex Deletion [2, 35]. Both the procedure of Marx and ours are based on an “irrelevant vertex rule.” However, our procedure is necessarily much more involved—our irrelevant vertex rule needs to preserve not only long induced cycles but also large single- and double-dagger asteroidal witnesses.
Having reduced the maximum clique size in the component, we proceed to the second phase, where we reduce the set of vertices that appear in at least two maximal cliques in the component. In this phase, we partition the component into \(k^{O(1)}\) “long” and “thin” parts, and prove that an optimal solution will either not touch a part at all or it will cut it into two pieces using a minimal separator. Then, provided that a part is sufficiently large, we identify an edge e whose contraction does not decrease the size of any minimal separator inside the part. Thus, on the one hand, contracting e does not decrease the size of an optimal solution. On the other hand, contracting e—or any edge for that matter—cannot increase the size of an optimal solution (since interval graphs are closed under contraction).
After the second phase, the number of vertices appearing in at least two maximal cliques of the component is upper bounded by \(k^{\mathcal {O}(1)}\). In the third phase, we bound the number of the remaining vertices—these are the vertices that are “private” to some maximal clique of the component. At this point, we can take the set of vertices appearing in at least two components and add them to M. This makes M grow by \(k^{\mathcal {O}(1)}\) vertices, but now the large component breaks up into components whose size is not larger than that of a maximal clique—that is, \(k^{\mathcal {O}(1)}\). We can now re-apply the procedure for bounding the number of components, and this bounds the total number of vertices in G by \(k^{\mathcal {O}(1)}\). We remark that, for technical reasons, in the actual proof, phases 2 and 3 as described here are interleaved.
1.2 Related Work on Parameterized Graph Modification Problems
The \(\mathcal {F}\)-Vertex Deletion problems corresponding to the families of edgeless graphs, forests, chordal graphs, interval graphs, bipartite graphs, and planar graphs are known as Vertex Cover, Feedback Vertex Set, Chordal Vertex Deletion, IVD, Odd Cycle Transversal/Vertex Bipartization, and Planar Vertex Deletion, respectively. These problems are among the most well studied problems in the field of parameterized complexity. The study of parameterized graph deletion problems together with their various restrictions and generalizations has been an extremely active subarea over the past few years. In fact, just over the course of the past few years, there have been results on parameterized algorithms for Chordal Editing [12], Unit Interval Vertex (Edge) Deletion [10, 37], Interval Vertex (Edge) Deletion [9, 11], Planar \(\mathcal {F}\) Deletion [22, 40], Planar Vertex Deletion [33], Block Graph Deletion [1, 39], and Simultaneous Feedback Vertex Set [4]. It is important to note that for many of these problems, polynomial kernels gave rise to several new techniques in the area. However, the problem that is closest to ours is the Chordal Vertex Deletion problem. In a recent breakthrough, Jansen and Pilipczuk [35, 36] gave a polynomial kernel (of size \(\mathcal {O}(k^{162})\)) for Chordal Vertex Deletion, resolving a more than a decade old open problem. Shortly afterward, Agrawal et al. [2, 3] gave a kernel of size \(\mathcal {O}(k^{13})\).
2 Preliminaries
We denote the set of natural numbers by \(\mathbb {N}\). For \(n \in \mathbb {N}\), we use \([n]\) and \([n]_0\) as shorthands for \(\lbrace 1,2,\ldots ,n\rbrace\) and \(\lbrace 0,1,\ldots ,n\rbrace\), respectively. For a set X and an integer \(n \in \mathbb {N}\), by \(X^n\) we denote the set \(\lbrace (a_1,a_2, \ldots , a_n) \mid a_1,a_2, \ldots , a_n \in X\rbrace\).
Basic Graph Theory. We refer to standard terminology from the book of Diestel [17] for those graph-related terms that are not explicitly defined here. Consider a graph G. We denote the vertex set and the edge set of G by \(V(G)\) and \(E(G)\), respectively. For a vertex \(v \in V(G)\), \(N_G(v)\) denotes the neighborhood of v in G and \(N_G[v] = N_G(v) \cup \lbrace v\rbrace\). For a subset \(S \subseteq V(G)\), we define \(N_G(S) = (\cup _{v \in S} N_G(v)) \setminus S\). We omit the subscript G from the preceding two notations whenever the context is clear. Given a set \(\mathcal {C}\) of connected components of G, denote \(V({\mathcal {C}})=\bigcup _{C\in {\mathcal {C}}}V(C)\). Moreover, when the graph G is clear from context, denote \(n=|V(G)|\). Given a subset \(U\subseteq V(G)\), \(G[U]\) denotes the subgraph of G induced by U. Accordingly, a graph H is an induced subgraph of G if there exists \(U\subseteq V(G)\) such that \(G[U]\) is isomorphic to H. For a set of vertices \(X \subseteq V(G)\), \(G - X\) denotes the induced subgraph \(G[V(G) \setminus X]\)—that is, the graph obtained by deleting the vertices in X from G. For an edge \((u,v) \in E(G)\), \(G/(u,v)\) denotes the graph obtained by contracting the edge \((u,v)\)—that is, the graph obtained by introducing a new vertex that is adjacent to all vertices in \(N(u) \cup N(v)\) and deleting the vertices \(\lbrace u, v\rbrace\). We say that G is a clique if for all distinct vertices \(u,v\in V(G)\), we have that \((u,v) \in E(G)\), and that \(V(G)\) is an independent set if for all distinct vertices \(u,v\in V(G)\) we have that \((u,v) \notin E(G)\). A subset \(U\subseteq V(G)\) is a module if for all \(u,u^{\prime }\in U\) and \(v\in V(G)\setminus U\) either both u and \(u^{\prime }\) are adjacent to v or both u and \(u^{\prime }\) are not adjacent to v. For the sake of simplicity, we also call \(G[U]\) a module (where we mean that it is a module in G) when the graph G is clear from the context.
A path\(P=(x_1,x_2, \ldots , x_\ell)\) in G is a subgraph of G where \(V(P) = \lbrace x_1, x_2, \ldots , x_\ell \rbrace \subseteq V(G)\) and \(E(P) = \lbrace (x_i,x_{i+1}) \mid i \in [\ell -1]\rbrace \subseteq E(G)\), where \(\ell \in [n]\). The vertices \(x_1\) and \(x_\ell\) are the endpoints of P, and the remaining vertices in \(V(P)\) are the internal vertices of P. A cycle\(C=(x_1,x_2, \ldots , x_\ell)\) in G is a subgraph of G where \(V(C) = \lbrace x_1, x_2, \ldots , x_\ell \rbrace \subseteq V(G)\) and \(E(C) = \lbrace (x_i,x_{i+1}) \mid i \in [\ell -1]\rbrace \cup \lbrace (x_1,x_\ell)\rbrace \subseteq E(G)\). We say that \((u,v) \in E(G)\) is a chord of a path P if \(u,v \in V(P)\) but \((u,v) \notin E(P)\). Similarly, we say that \((u,v) \in E(G)\) is a chord of a cycle C if \(u,v \in V(C)\) but \((u,v) \notin E(C)\). A path P or cycle C is said to be induced (or, alternatively, chordless) if it has no chords.
Interval Graphs. An interval graph is a graph that does not contain any of the following graphs, called obstructions, as an induced subgraph (see Figure 1):
•
Long claw: A graph \(\mathbb {O}\) such that \(V(\mathbb {O})=\lbrace t_\ell ,t_r,t,c,b_1,b_2,b_3\rbrace\) and \(E(\mathbb {O})=\lbrace (t_\ell ,b_1),(t_r,b_3),\)\((t,b_2),(c,b_1),\)\((c,b_2),(c,b_3)\rbrace\).
•
Whipping top: A graph \(\mathbb {O}\) such that \(V(\mathbb {O})=\lbrace t_\ell ,t_r,t,c,b_1,b_2,b_3\rbrace\) and \(E(\mathbb {O})=\lbrace (t_\ell ,b_1),\)\((t_r,b_2),(c,t),(c,b_1),\)\((c,b_2),(b_3,t_\ell),(b_3,b_1), (b_3,c),(b_3,b_2), (b_3,t_r)\rbrace\).
•
\(\dagger\)-AW: A graph \(\mathbb {O}\) such that \(V(\mathbb {O})=\lbrace t_\ell ,t_r,t,c\rbrace \cup \lbrace b_1,b_2,\ldots ,b_z\rbrace\), where \(t_\ell =b_0\) and \(t_r=b_{z+1}\), \(E(\mathbb {O})=\lbrace (t,c),(t_\ell ,b_1), (t_r,b_z)\rbrace \cup \lbrace (c,b_i) \mid i \in [z]\rbrace \cup \lbrace (b_i,b_{i+1}) \mid i \in [z-1]\rbrace\), and \(z \ge 2\). A \(\dagger\)-AW where \(z=2\) will be called a net.
•
\(\ddagger\)-AW: A graph \(\mathbb {O}\) such that \(V(\mathbb {O})=\lbrace t_\ell ,t_r,t,c_1,c_2\rbrace \cup \lbrace b_1,b_2,\ldots ,b_z\rbrace\), where \(t_\ell =b_0\) and \(t_r=b_{z+1}\), \(E(\mathbb {O})=\lbrace (t,c_1),(t,c_2),(c_1,c_2),(t_\ell ,b_1), (t_r,b_z), (t_\ell ,c_1), (t_r,c_2)\rbrace \cup \lbrace (c,b_i) \mid i \in [z]\rbrace \cup \lbrace (b_i,b_{i+1}) \mid i \in [z-1]\rbrace\), and \(z \ge 1\). A \(\ddagger\)-AW where \(z=1\) will be called a tent.
•
Hole: A chordless cycle on at least four vertices.
We refer to \(\dagger\)-AW and \(\ddagger\)-AW as AWs. In each of the first four obstructions, the vertices \(t_\ell ,t_r\), and t are called terminals; the vertices \(c,c_1\), and \(c_2\) are called centers; and the other vertices are called base vertices. Furthermore, the vertex t is called the shallow terminal and the vertices \(t_\ell\) and \(t_r\) are called the non-shallow terminals. In the case where \({\mathbb {O}}\) is one of the AWs, the induced path on the set of base vertices is called the base of the AW, and it is denoted by \(\mathsf {base}({\mathbb {O}})\). Moreover, we say that the induced path on the set of base vertices, \(t_\ell ,\) and \(t_r\) is the extended base of the AW, and it is denoted by \(P({\mathbb {O}})\).
Path Decomposition. A path decomposition of a connected graph G is a pair \((P,\beta),\) where P is a path and \(\beta :V(P) \rightarrow 2^{V(G)}\) is a function that satisfies the following properties:
(1)
\(\bigcup _{x \in V(P)} \beta (x) = V(G)\).
(2)
For any edge \((u,v) \in E(G),\) there is a node \(x \in V(P)\) such that \(u,v \in \beta (x)\).
(3)
For any \(v \in V(G)\), the collection of nodes \(P_v = \lbrace x \in V(P) \mid v \in \beta (x)\rbrace\) is a subpath of P.
For \(v \in V(P)\), we call \(\beta (v)\) the bag of v. We refer to the vertices in \(V(P)\) as nodes. A clique path of a connected graph G is a path decomposition of G where every bag is a distinct maximal clique. If a graph G admits a clique path, then we say that G is a clique path. The following proposition states that the class of interval graphs is exactly the class of graphs where each connected component is a clique path.
Parameterized Complexity. Let \(\Pi\) be an NP-hard problem. In the framework of parameterized complexity, each instance of \(\Pi\) is associated with an integer k, which is called the parameter. Here, the goal is to confine the combinatorial explosion in the running time of an algorithm for \(\Pi\) to depend only on k. The main concepts defined to achieve this goal are of fixed-parameter tractability and kernelization. First, we say that \(\Pi\) is FPT if any instance \((I, k)\) of \(\Pi\) is solvable in time \(f(k)\cdot |I|^{\mathcal {O}(1)}\), where \(f(\cdot)\) is an arbitrary (computable) function of k. Second, \(\Pi\) is said to admit a polynomial kernel if there is a polynomial-time algorithm (the degree of polynomial is independent of the parameter k), called a kernelization algorithm, that transforms the input instance into an equivalent instance of \(\Pi\) whose size is bounded by a polynomial \(p(k)\) in k. Here, two instances are equivalent if one of them is a Yes-instance if and only if the other one is a Yes-instance. The reduced instance is called a \(p(k)\)-kernel for \(\Pi\). For a detailed introduction to the field of kernelization, we refer to the following surveys [41, 46] and the corresponding chapters in the following books [13, 18, 20, 51].
Kernelization algorithms often rely on the design of reduction rules. The rules are numbered, and each rule consists of a condition and an action. We always apply the first rule whose condition is true. Given a problem instance \((I, k)\), the rule computes (in polynomial time) an instance \((I^{\prime },k^{\prime })\) of the same problem, where \(k^{\prime }\le k\). Typically, \(|I^{\prime }|\lt |I|\), where if this is not the case, it should be argued why the rule can be applied only polynomially many times. We say that the rule safe if the instances \((I,k)\) and \((I^{\prime },k^{\prime })\) are equivalent.
Linear Algebra. For a set A and X, by an operation of A onto X we mean a function \(f: A \times X \rightarrow X\). For an element \((a,x) \in A \times X\) by \(ax,\) we denote the element \(f(a,x) \in X\). For a field \(\mathbb {F}\) with \(+\) as the additive operation and \(\cdot\) as the multiplicative operation, a commutative group \((V,+)\) with an operation of \(\mathbb {F}\) onto V is a vector space over \(\mathbb {F}\) if for all \(a,b \in \mathbb {F}\) and \(x,y \in V\), we have (i) \(a(bx)=(ab)x\), (ii) \(a(x+y)=ax+ay\), (iii) \((a+b)x=ax+bx\), and (iv) \(1\cdot x=x\). Here, 1 is the multiplicative identity of the field \(\mathbb {F}\). If V is a vector space over \(\mathbb {F}\), then the elements of V are called vectors. One of the natural candidates for vector spaces over a field \(\mathbb {F}\) is \(\mathbb {F}^n\), where \(n \in \mathbb {N}\) and the function \(f(\cdot)\) is the component-wise multiplication. In this article, we restrict ourselves only to such types of vector spaces.
In the following, consider a field \(\mathbb {F}\) and a vector space \(V=\mathbb {F}^n\), where \(n \in \mathbb {N}\). For a vector \({\bf v}=(b_1,b_2, \ldots , b_n) \in \mathbb {F}^n\) and an integer \(i \in [n]\), by \({\bf v}[i]\) we denote the ith element (or entry) of \({\bf v}\) (i.e., the element \(b_i\)). For vectors \({\bf v}_1, {\bf v}_2, \ldots , {\bf v}_t \in \mathbb {F}^n\), a linear combination of them is a vector \(a_1{\bf v}_1+ a_2{\bf v}_2+ \cdots + a_t{\bf v}_t\), where \(a_1, a_2, \ldots , a_t \in \mathbb {F}\). Furthermore, a linear relation among them is exhibited when \(a_1{\bf v}_1+ a_2{\bf v}_2+ \cdots + a_t{\bf v}_t=0\), for some \(a_1, a_2, \ldots , a_t \in \mathbb {F}\). In the preceding, the \(a_i\)s are called the coefficients. A set of vectors is said to be linearly independent if there is no linear relation among them except the trivial one, where each of the coefficients is 0. A set of vectors that is not linearly independent is said to be linearly dependent. An inclusion-wise maximal set of linearly independent vectors is called a basis of the vector space. It is known that for bases \(B,B^{\prime }\) of a vector space, we have \(|B|=|B^{\prime }|\). By \(\mathbb {F}_2,\) we denote the field with exactly two elements, namely 0 and 1, with the usual addition and multiplication modulo 2 as the field operations. For two vectors \({\bf u}, {\bf v} \in V^{\prime }\), \({\bf u} \cdot {\bf v}\) denotes the dot product of these two vectors. We refer the reader to the work of Lay [43] for more details on linear algebra.
Matroids. A pair \(\mathcal {M}=(E,\mathcal {I})\), where E is a set (called ground set) and \(\mathcal {I}\) is a family of subsets of E (called independent sets) is called a matroid if the following conditions are satisfied:
•
\(\emptyset \in \mathcal {I}\);
•
If \(A \in \mathcal {I}\) and \(A^{\prime } \subseteq A,\) then \(A^{\prime }\in \mathcal {I}\);
•
If \(A,B \in \mathcal {I}\) and \(|A|\lt |B|,\) then there is \(x\in B\setminus A\) such that \(A\cup \lbrace x\rbrace \in \mathcal {I}\).
An inclusion-wise maximal set in \(\mathcal {I}\) is called a basis of \(\mathcal {M}\). All the bases of a matroid are of same size. The size of a basis is called the rank of the matroid. One of the important notions of a matroid that we use is linear representations of matroids.
A matroid is a linear matroid (or representable matroid) if, for some field \(\mathbb {F}\), it can be defined as follows. Let A be a matrix over a field \(\mathbb {F}\) and E its set of columns. Then, the matroid \(\mathcal {M}=(E, \mathcal {I})\) is defined as follows: a subset \(X\subseteq E\) is an independent set in \(\mathcal {M}\) if and only if the set of columns in X is linearly independent over \(\mathbb {F}\). The matrix A is called a representation of \(\mathcal {M}\), and \(\mathcal {M}\) is said to be representable over \(\mathbb {F}\). Thus, a matroid is linear (alternatively, representable) if it is representable over some field \(\mathbb {F}\). We refer the reader to the work of Oxley [52] for more details on matroids.
For \(n,k \in \mathbb {N}\), where \(k \le n\), a pair \(\mathcal {M}=(E,\mathcal {I})\), where \(|E| = n\) is a k-uniform matroid (or simply, a uniform matroid) if \(\mathcal {I}=\lbrace X\subseteq E \mid |X| \le k\rbrace\), where \(k \in [n]\); such a matroid will be denoted by \(U_{n,k}\). The uniform matroid \(U_{n,k}\) is representable over any field with at least \(n+1\) elements, and a representation for it can be found in polynomial time (e.g., see Section 12.1.2 [13]).
q-Representative Family. Let \(\mathcal {M}= (E, \mathcal {I})\) be a matroid and \(\mathcal {B}\) be a family of subsets of size p of E. We say that \(\widehat{\mathcal {B}}\subseteq \mathcal {B}\) is a q-representative for \(\mathcal {B}\) if for every set \(Y \subseteq E\) of size q, if there is a set \(X \in \mathcal {B}\) such that \(X \cap Y=\emptyset\) and \(X \cup Y \in \mathcal {I}\), then there is a set \(\widehat{X} \in \widehat{\mathcal {B}}\) such that \(\widehat{X} \cap Y=\emptyset\) and \(\widehat{X} \cup Y \in \mathcal {I}\). If \(\widehat{\mathcal {B}}\subseteq \mathcal {B}\) is a q-representative for \(\mathcal {B}\), then we use the notation \(\widehat{\mathcal {B}}\subseteq ^q_{rep} \mathcal {B}\). The following result asserts that small representative families can be computed efficiently.
3 Computing A Redundant Solution
Let \((G,k)\) be an instance of IVD. A subset \(S\subseteq V(G)\) such that \(G- S\) is an interval graph is called a solution, and a solution of size at most t is called a t-solution. Toward the definition of redundancy, we need to introduce a few simple notions related to hitting and covering. Given a family \({\mathcal {W}}\subseteq 2^{V(G)}\), we say that a subset \(S\subseteq V(G)\)hits\(\mathcal {W}\) if for all \(W\in {\mathcal {W}}\) we have \(S\cap W\ne \emptyset\). A family \({\mathcal {W}}\subseteq 2^{V(G)}\) is t-necessary if every solution of size at most t hits \(\mathcal {W}\). Moreover, we say that an obstruction \(\mathbb {O}\) is covered by \(\mathcal {W}\) if there exists \(W\in {\mathcal {W}}\) such that \(W\subseteq V(\mathbb {O})\). Now, we are ready to formally define our notion of redundancy.
The purpose of this section is to prove Lemma 3.2. Intuitively, this lemma asserts that an r-redundant solution M whose size is polynomial in k (for a fixed constant r) can be computed in polynomial time. Such a set M plays a central role in all of our subsequent reduction rules that comprise our kernelization algorithm. We remark that in this statement we use the letter \(\ell\) rather than k to avoid confusion, as we will use this result with \(\ell =k+2\).
A central component in our proof of Lemma 3.2 is an approximation algorithm for IVD, given by Cao [9].
In particular, a main idea in our proof is to iteratively grow the redundancy of a solution by making calls to this approximation algorithm. Besides Proposition 3.3, toward the proof of Lemma 3.2, we give a simple definition of a graph on which we will apply the approximation algorithm and hence determine whether a set of vertices should be added to \(\mathcal {W}\).
Informally, \({\sf copy}(G,U,t)\) is simply the graph G where for every vertex \(u\in U\) we add t twins that (together with u) form a clique. Intuitively, this operation allows us to make a vertex set “undeletable”; in particular, this enables us to test later whether a vertex set is “redundant” and hence we can grow the redundancy of our solution, or whether it is “necessary” and hence we should update \(\mathcal {W}\) accordingly. Before we turn to discuss computational issues, let us first assert that the operation in Definition 3.4 does not makes an interval graph become a non-interval graph. This is a basic requirement to verify before turning to design the preceding test.
Now, let us present two simple claims that exhibit relations between the algorithm ApproxIVD and Definition 3.4. After presenting these two claims, we will be ready to give our algorithm for computing a redundant solution. Roughly speaking, the first claim exhibits the meaning of a situation where ApproxIVD returns a “large” solution; intuitively, for the purpose of the design of our algorithm, we interpret this meaning as an indicator to extend \({\mathcal {W}}\).
Complementing our first claim, the second claim exhibits the meaning of a situation where ApproxIVD returns a “small” solution A; we interpret this meaning as an indicator to grow the redundancy of our current solution M by adding A—indeed, this lemma implies that every obstruction is hit one more time when adding A to a subset \(U\subseteq M\) (to grow the redundancy of M, every subset \(U\subseteq M\) will have to be considered).
Now, let us describe our algorithm, RedundantIVD, to compute a redundant solution. First, RedundantIVD initializes \(M_0\) to be the output obtained by calling the algorithm ApproxIVD with G as input, \({\mathcal {W}}_0:=\emptyset\) and \({\mathcal {T}}_0:=\lbrace (v) \mid v\in M_0\rbrace\). If \(|M_0|\gt 8\ell\), then RedundantIVD concludes that \((G,\ell)\) is a No-instance. Otherwise, for \(i=1,2,\ldots ,r\) (in this order), the algorithm executes the following steps:
(1)
Initialize \(M_i:=M_{i-1}\), \({\mathcal {W}}_i:={\mathcal {W}}_{i-1}\) and \({\mathcal {T}}_i:=\emptyset\).
(2)
For every tuple \((v_0,v_1,\ldots ,v_{i-1})\in {\mathcal {T}}_{i-1}\):
(a)
Let A be the output obtained by calling the algorithm ApproxIVD with \({\sf copy}\)\((G,\lbrace v_0,v_1, \ldots ,v_{i-1}\rbrace ,8\ell)\) as input.
(b)
If \(|A|\gt 8\ell\), then insert \(\lbrace v_0,v_1,\ldots ,v_{i-1}\rbrace\) into \({\mathcal {W}}_i\).
(c)
Otherwise, insert every vertex in \((A\cap V(G))\setminus \lbrace v_0,v_1,\ldots ,v_{i-1}\rbrace\) into \(M_i\), and for all \(u\in (A\cap V(G))\setminus \lbrace v_0,v_1,\ldots ,v_{i-1}\rbrace\), insert \((v_0,v_1,\ldots ,v_{i-1},u)\) into \({\mathcal {T}}_i\).
Eventually, the algorithm outputs the pair \((M_r,{\mathcal {W}}_r)\).
Let us comment that in this algorithm, we make use of the sets \({\mathcal {T}}_{i-1}\) rather than going over all subsets of size i of \(M_{i-1}\) to obtain a substantially better algorithm in terms of the size of the produced redundant solution.
The properties of the algorithm RedundantIVD that are relevant to us are summarized in the following lemma and observation, which are proved by induction and by making use of Lemmas 3.5, 3.6, and 3.7. Roughly speaking, we first assert that, unless \((G,\ell)\) is concluded to be a No-instance, we compute sets \({\mathcal {W}}_i\) that are \(\ell\)-necessary as well as that the tuples in \({\mathcal {T}}_i\) “hit more vertices” of the obstructions in the input as i grows larger.
Toward showing that the output set \(M_r\) is “small,” let us upper bound the sizes of the sets \(M_i\) and \({\mathcal {T}}_i\).
By the specification of RedundantIVD, as a corollary to Lemma 3.8 and Observation 3.9, we directly obtain the following result.
Clearly, RedundantIVD runs in polynomial time (as r is a fixed constant), and by the correctness of ApproxIVD, if it concludes that \((G,\ell)\) is a No-instance, then this decision is correct. Thus, since \(\sum _{i=0}^r(8\ell)^{i+1}\le (r+1)(8\ell)^{r+1}\), the correctness of Lemma 3.2 now directly follows as a special case of Corollary 3.10. Thus, our proof of Lemma 3.2 is complete.
In light of Lemma 3.2, from now on, we suppose that we have a \((k+2)\)-necessary family \({\mathcal {W}}\subseteq 2^{V(G)}\) along with a \((r+1)(8(k+2))^{r+1}\)-solution M that is r-redundant with respect to \(\mathcal {W}\) for \(r=9\). Let us note that any obstruction in G that is not covered by \(\mathcal {W}\) intersects M in at least 10 vertices. We have the following reduction rule that follows immediately from Lemma 3.8.
Henceforward, we will assume that each set in \(\mathcal {W}\) has size at least 2.
4 Handling Module Components
Let \((G,k)\) be an instance of IVD. We will assume that \(k \ge 2\), as otherwise, in polynomial time, we can check whether or not \((G,k)\) is a Yes-instance and accordingly return a trivial kernel of constant size. Let us explicitly recap the steps taken so far and then state our current objective in this context. First, we call Lemma 3.2 with \(r=9\) and \(\ell =k+2\),2 and one of the following holds. If (in polynomial time) we conclude that \((G,k+2)\) is a No-instance, then we can (correctly) conclude that \((G,k)\) is a No-instance as well. Otherwise, in polynomial time, we obtain a \((k+2)\)-necessary family \({\mathcal {W}}\subseteq 2^{V(G)}\) and a set \(M\subseteq V(G)\) such that \({\mathcal {W}} \subseteq 2^M\) and M is a \(10(8(k+2))^{10}\)-solution that is 9-redundant with respect to \(\mathcal {W}\). Furthermore, each set in \(\mathcal {W}\) has size at least 2. The main goal of this section is to bound the total number of vertices across all module connected components of \(G-M\). We remark that we will prove a slightly more general result, as it will be used later in our algorithm. Before that, we provide a simple reduction rule to bound the number of non-module components.
Bounding the Number of Non-Module Components. Let \(\mathcal {C}\) denote the set of connected components of \(G-M\). Moreover, we let \(\mathcal {D}\) denote the set of connected components in \(\mathcal {C}\) that are modules, and \(\overline{\mathcal {D}}={\mathcal {C}}\setminus {\mathcal {D}}\). To bound the size of \(\overline{\mathcal {D}}\), we apply the following reduction rule.
We now observe that our rule indeed bounds the size of \(\overline{\mathcal {D}}\).
The Main Lemma of This Section. From now on, we focus on the main goal of this section: bound the total number of vertices in \(\mathcal {D}\). As mentioned earlier, the arguments used to derive this bound will also be necessary at a later stage of our kernelization algorithm, and hence we present our goal in the form of a more general statement.
Intuitively, the statement of this lemma expands M to \(M\cup \widehat{M}\) and zooms into a subset \(\widehat{\mathcal {C}}\) of the set of connected components in \(G-(M\cup \widehat{M})\) that are modules in G. Then, either it enables us to reduce the instance, or it produces a “small” subset \(B\subseteq V(\widehat{\mathcal {C}})\) and implies that we need not “worry” about obstructions that intersect \(V(\widehat{\mathcal {C}})\) but not B—if such an obstruction is not hit, then there is an obstruction that does not intersect \(V(\widehat{\mathcal {C}})\setminus B\) and which is not hit as well.
Let us now show that having Lemma 4.3 at hand, we can indeed bound the total number of vertices in all module components.
By using Lemma 4.3, we derive the safeness of Reduction Rule 4.2.
Due to Reduction Rule 4.2, we have the following result.
We now turn to prove Lemma 4.3. In what follows, \(\widehat{M}\) and \(\widehat{\mathcal {C}}\) are as stated in this lemma. We denote \(M^{\prime }=M\cup \widehat{M}\). Note that since M is 9-redundant with respect to \(\mathcal {W}\), we have that \(M^{\prime }\) is also 9-redundant with respect to \(\mathcal {W}\). We begin our proof by showing that the common neighborhood outside \(M^{\prime }\) of any two non-adjacent vertices, unless these two vertices form a pair in \(\mathcal {W}\), induces a clique. This simple claim will come in handy in several arguments later.
Structure of Obstructions Intersecting Module Components. To reduce our instance or to obtain a set B as required to prove Lemma 4.3, we need to understand how obstructions can intersect module components. For this purpose, we state a simple proposition by Cao and Marx [11]. This proposition asserts that because we are dealing with modules, these intersections are quite restricted.
By Proposition 4.7, we directly obtain the following lemma.
Reducing the Size of Module Components. To ensure we have only small module components, we apply the following rule.
Preliminary Marking Scheme. By Lemma 4.6, for all \(u,v\in M^{\prime }\) such that \((u,v)\notin E(G)\) and \(\lbrace u,v\rbrace \notin {\mathcal {W}}\), there exists at most one \(C\in \widehat{\mathcal {C}}\), denoted by \(C_{uv}\), such that \(N_G(u)\cap N_G(v)\cap V(C)\ne \emptyset\). Accordingly, denote
Moreover, denote \(A^\star =V({\mathcal {C}}^\star)\). From Reduction Rule 4.3, we have the following observation.
Thus, in what follows, we do not need to “worry” about the modules in \({\mathcal {C}}^\star\) since we already know that they contain only few vertices in total. In the following, we proceed to analyze the modules in \(\widehat{\mathcal {C}}\setminus {\mathcal {C}}^\star\). An important property of every vertex v in the modules in \(\widehat{\mathcal {C}}\setminus {\mathcal {C}}^\star\), unlike the modules in \({\mathcal {C}}^\star\), is that every pair of vertices in its neighborhood in \(M^{\prime }\) must be adjacent unless they form a set in \({\mathcal {W}}\).
Let us also consider the relation between obstructions and the modules in \(\widehat{\mathcal {C}}\setminus {\mathcal {C}}^\star\). Roughly speaking, the following lemma already implies that we can focus on AWs of a very specific form. However, handling these obstructions requires a substantive amount of work in the rest of this section.
Marking Scheme to Handle Non-Shallow Terminals. For every two subsets \(X,Y\subseteq M^{\prime }\) such that \(|X| \le 2\) and \(|Y|\le 2\), denote \(A_{X,Y}=\lbrace v\in V(\widehat{\mathcal {C}}\setminus {\mathcal {C}}^\star) \mid X\subseteq N_G(v), Y\cap N_G(v)=\emptyset \rbrace\). Now, if \(|A_{X,Y}|\le k+1\), then define \(A^{\prime }_{X,Y}=A_{X,Y}\), and otherwise let \(A^{\prime }_{X,Y}\) be an arbitrarily chosen subset of size \(k+1\) of \(A_{X,Y}\). Let us denote \(A^{\prime }=\bigcup _{X,Y}A^{\prime }_{X,Y}\), where \(X,Y\) range over all subsets \(X,Y\subseteq M^{\prime }\) such that \(|X|\le 2\) and \(|Y|\le 2\). Let us first observe that \(|A^{\prime }|\) is small.
Now, let us verify that we have thus marked a set of vertices that is sufficient to “handle” non-shallow terminals. Roughly speaking, by this we mean that for any vertex v and obstruction \(\mathbb {O}\) that satisfy the premise in this lemma, we can find \(k+1\) “replacements” of v (so that we still have an obstruction) that belong to our marked set \(A^{\prime }\).
Marking Scheme to Handle Shallow Terminals. For this part in our proof, we require the following notation: we say that a path P is covered by \(\mathcal {W}\) if there is a set \(W \in \mathcal {W}\) such that \(W \subseteq V(P)\). Intuitively, we think of P as part of the base of an obstruction, hence the preceding notation is a natural extension of covering to this context.
Before we present our marking scheme, let us explicitly state the following observation, which follows from Observation 4.11 in the same manner as Lemma 4.12.
Denote \(N=M^{\prime }\cup A^\star \cup A^{\prime }\). (Recall that \(A^\star =V({\mathcal {C}}^\star)\) and that \(A^{\prime }\) is the set of vertices marked when we dealt with non-shallow terminals.) For all (not necessarily distinct) vertices \(c_1,c_2\in M^{\prime }\), denote \(A_{\lbrace c_1,c_2\rbrace }=\lbrace v\in V(\widehat{\mathcal {C}})\setminus (A^\star \cup A^{\prime }) \mid \lbrace c_1,c_2\rbrace \subseteq N_G(v)\rbrace\). Intuitively, \(A_{\lbrace c_1,c_2\rbrace }\) is the set of vertices among the unmarked vertices in \(\widehat{\mathcal {C}}\) that are neighbors of both \(c_1\) and \(c_2\) and hence can play the role of shallow terminals in obstructions having \(c_1\) and \(c_2\) as centers. Moreover, let us arbitrarily order N and \(E(G[N])\) as follows: \(N=\lbrace v_1,v_2,\ldots ,v_{|N|}\rbrace\) and \(E(G[N])=\lbrace e_1,e_2,\ldots ,e_{|E(G[N])|}\rbrace\). Thus, when we define vectors having \(|N|\) or \(|E(G[N])|\) entries below, we can work with a natural correspondence between the index of an entry in the vector and an element of N or \(E(G[N])\), respectively.
In what follows, we begin the part in our analysis that is based on linear algebra. To this end, we first need to encode our problem in this language, which entails the introduction of appropriate notations. Afterward, we will present a marking scheme based on these notations. The analysis of this scheme is done in a sequence of several lemmas, after which we will be ready to conclude the proof of Lemma 4.3.
First, with every vertex \(u\in V(\widehat{\mathcal {C}})\setminus (A^\star \cup A^{\prime })\), we associate two binary vectors that capture incidence relations between u and the elements (vertices and edges) in \(G[N]\):
•
Vertex incidence relations:\({\sf vinc}(u)=(b_1,b_2,\ldots ,b_{|N|})\), where for all \(i\in [|N|]\), \(b_i=1\) if and only if \(v_i\in N_G(u)\);
•
Edge incidence relations:\({\sf einc}(u)=(b_1,b_2,\ldots ,b_{|E(G[N])|})\), where for all \(i\in [|E(G[N])|]\), \(b_i=1\) if and only if u is adjacent to both endpoints of \(e_i\).
Complete Incidence Relations. In addition, we define \({\sf inc}(u)\) as the vector that is the concatenation of \({\sf vinc}(u)\) and \({\sf einc}(u)\), to which we add 1 at the end. Formally, \({\sf inc}(u)\) is a binary vector with \(q=|N|+|E(G[N])|+1\) entries, where for all \(i\in [|N|]\), the \(i^{th}\) entry of \({\sf inc}(u)\) equals the \(i^{th}\) entry of \({\sf vinc}(u)\), for all \(i\in [|E(G[N])|+|N|]\setminus [|N|]\), the \(i^{th}\) entry of \({\sf inc}(u)\) equals the \((i-|N|)^{th}\) entry of \({\sf einc}(u)\), and the last entry of \({\sf inc}(u)\) is 1. These incidence vectors are associated with the vector space \(\mathbb {F}^q_2\), and all calculations related to these vectors are performed accordingly. This completes the description of the notations required to present our marking scheme.
For all (not necessarily distinct) vertices \(c_1,c_2\in M^{\prime }\), we have the following subprocedure of our marking scheme. First, we define \({\bf V}_{\lbrace c_1,c_2\rbrace }\) to be the multiset\(\lbrace {\sf inc}(u) \mid u\in A_{\lbrace c_1,c_2\rbrace }\rbrace\). More precisely, the number of occurrences of a vector in \({\bf V}_{\lbrace c_1,c_2\rbrace }\) equals the number of vertices \(u\in A_{\lbrace c_1,c_2\rbrace }\) such that \({\sf inc}(u)\) equals that vector. Now, we proceed as follows:
For \(i=1,2,\ldots ,k+1\), compute some basis \({\bf B}^i_{\lbrace c_1,c_2\rbrace }\) for the vector subspace \({\bf V}_{\lbrace c_1,c_2\rbrace }\setminus \widehat{\bf V}^{i-1}_{\lbrace c_1,c_2\rbrace }\) (with respect to \(\mathbb {F}^q_2\)),3 and denote \(\widehat{\bf V}^i_{\lbrace c_1,c_2\rbrace }=\widehat{\bf V}^{i-1}_{\lbrace c_1,c_2\rbrace }\cup {\bf B}^i_{\lbrace c_1,c_2\rbrace }\).
(3)
For every occurrence of a vector \({\bf v}\in \widehat{\bf V}^{k+1}_{\lbrace c_1,c_2\rbrace }\), arbitrarily choose a unique vertex \(u\in A_{\lbrace c_1,c_2\rbrace }\) such that \({\sf inc}(u)={\bf v}\) and denote it by \(u_{\bf v}\) (the existence of sufficiently many such distinct vertices directly follows from the definition of \({\bf V}_{\lbrace c_1,c_2\rbrace }\)).
(4)
Denote \(\widehat{A}_{\lbrace c_1,c_2\rbrace }=\lbrace u_{\bf v}: {\bf v}\in \widehat{\bf V}^{k+1}_{\lbrace c_1,c_2\rbrace }\rbrace\), and note that \(\widehat{A}_{\lbrace c_1,c_2\rbrace }\) is a set (rather than a multiset).
Finally, having performed all subprocedures, we denote \(\widehat{A}=\bigcup _{c_1,c_2\in M^{\prime }}\widehat{A}_{\lbrace c_1,c_2\rbrace }\). Here, union refers to sets—that is, every vertex occurs in \(\widehat{A}\) once even if it belongs to more than one set of the form \(\widehat{A}_{\lbrace c_1,c_2\rbrace }\). This completes the description of our marking scheme.
We proceed to analyze our marking scheme. Let us first observe that we have not marked “many” vertices—that is, we upper bound \(|\widehat{A}|\). Recall that \(N = A^{\prime } \cup A^* \cup M^{\prime }\) and \(k \ge 2\), and thus \(|M^{\prime }| \ge 2\). Hence, using Observations 4.10 and 4.13, we can obtain that \(|N| \le 2 (k+1) |M^{\prime }|^4\).
Now, let us verify that we have a set of vertices that is sufficient to “handle” shallow terminals. This will be done in a sequence of two lemmas and a corollary. For this purpose, we need the following notation where we alter incidence vectors by nullifying some of their entries:
•
Nullifying subsets of vertices and edges: Given a pair \((X,Y)\), where \(X\subseteq N\) and \(Y\subseteq E(G[N])\), and a vertex \(u\in V(\widehat{\mathcal {C}})\setminus (A^\star \cup A^{\prime })\), we define \({\sf inc}^{X,Y}(u)\) to be the vector obtained from \({\sf inc}(u)\) by changing all the entries associated with vertices and edges that do not belong to \(X\cup Y\) to 0. Formally, \({\sf inc}^{X,Y}(u)\) is a binary vector with \(|N|+|E(G[N])|+1\) entries, where for all \(i\in [|N|]\), the \(i^{th}\) entry of \({\sf inc}^{X,Y}(u)\) equals the \(i^{th}\) entry of \({\sf vinc}(u)\) if \(v_i\in X\) and to 0 otherwise, for all \(i\in [|E(G[N])|+|N|]\setminus [|N|]\), the \(i^{th}\) entry of \({\sf inc}^{X,Y}(u)\) equals the \((i-|N|)^{th}\) entry of \({\sf einc}(u)\) if \(e_{i-|N|}\in Y\) and to 0 otherwise, and the last entry of \({\sf inc}^{X,Y}(u)\) is 1.
•
Nullifying an induced path: Furthermore, for an induced path P in \(G-(V(\widehat{\mathcal {C}})\setminus (A^\star \cup A^{\prime }))\) and a vertex \(u\in V(\widehat{\mathcal {C}})\setminus (A^\star \cup A^{\prime })\), we denote \({\sf inc}^P(u)={\sf inc}^{X,Y}(u),\) where \(X=V(P)\cap N\) and \(Y=E(P)\cap E(G[N])\).
Moreover, recall that given a vector \(\bf v\) and an entry index i, \({\bf v}[i]\) denotes the \(i^{th}\) entry of \(\bf v\).
The reason we need Lemma 4.17 is that we make use of it in the proof of the following lemma. Informally, this lemma exhibits the existence of \(k+1\) “replacements” for each unmarked shallow terminal.
Due to the definition of \(\widehat{A}\), as a direct corollary to Lemma 4.18 we have the following result.
We are now ready to conclude the proof of Lemma 4.3 and thereby this section.
Proof of Lemma 4.3. Toward the proof, first note that if the condition of Reduction Rule 4.3 applies, then we are clearly done—indeed, in this case, we output an instance \((G^{\prime },k)\) equivalent to \((G,k)\) where \(|V(G^{\prime })\lt |V(G)|\). Thus, we next suppose that this rule has been applied exhaustively. Then, our output is the set \(B=A^\star \cup A^{\prime }\cup \widehat{A}\). By Observations 4.10 and 4.13, and by Lemma 4.16, we have that \(|B|\le |A^\star |+|A^{\prime }|+|\widehat{A}|\le (k+1)|M^{\prime }|^2 + (k+1)|M^{\prime }|^4 + 4(k+1)^3|M^{\prime }|^{10}\le 8(k+1)^3|M^{\prime }|^{10}\) as desired (recall that \(|M^{\prime }| \ge k \ge 2\)).
Let \(S\subseteq V(G)\) be some arbitrary set of size at most k. We claim that the following property holds: If there exists an obstruction \(\mathbb {O}\) for G that is not covered by \(\mathcal {W}\) and such that \(V(\mathbb {O})\cap S=\emptyset\), then there exists an obstruction \(\mathbb {O}^{\prime }\) for G such that \(V(\mathbb {O}^{\prime })\cap S=\emptyset\) and \(V(\mathbb {O}^{\prime })\cap (V(\widehat{\mathcal {C}})\setminus B)=\emptyset\). Clearly, if there does not exist any obstruction \(\mathbb {O}\) for G that is not covered by \(\mathcal {W}\) and such that \(V(\mathbb {O})\cap S=\emptyset\), then our proof is complete. Hence, we next suppose that such an obstruction exists, and we let \(\mathbb {O}^{\prime }\) be such an obstruction that minimizes \(|V(\mathbb {O}^{\prime })\cap (V(\widehat{\mathcal {C}})\setminus B)|\). We claim that for this obstruction \(\mathbb {O}^{\prime }\), it holds that \(V(\mathbb {O}^{\prime })\cap (V(\widehat{\mathcal {C}})\setminus B)=\emptyset\), which would complete the proof. Suppose, by way of contradiction, that this claim is false. Then, as \(V({\mathcal {C}}^\star)\subseteq B\), there exists \(C\in \widehat{\mathcal {C}}\setminus {\mathcal {C}}^\star\) and \(v\in V(C)\) such that \(v\in V(\mathbb {O}^{\prime })\). By Lemma 4.12, \(|V(\mathbb {O}^{\prime })\cap V(C)|=1\) and \(\mathbb {O}^{\prime }\) is an AW where v is a terminal.
Let us first suppose that v is not the shallow terminal of \(\mathbb {O}^{\prime }\). Then, by Lemma 4.14, there exist \((k+1)\) vertices \(u\in A^{\prime }\) such that \(G[(V(\mathbb {O}^{\prime })\setminus \lbrace v\rbrace)\cup \lbrace u\rbrace ]\) is an obstruction. However, as \(|S|\le k\), this means that there exists \(u\in A^{\prime }\setminus S\) such that \(G[(V(\mathbb {O}^{\prime })\setminus \lbrace v\rbrace)\cup \lbrace u\rbrace ]\) is an obstruction. As \(A^{\prime }\subseteq B\) and \(G[(V(\mathbb {O}^{\prime })\setminus \lbrace v\rbrace)\cup \lbrace u\rbrace ]\) has fewer vertices from \(V(\widehat{\mathcal {C}})\setminus B\) than \(\mathbb {O^{\prime }}\), we have reached a contradiction to the choice of \(\mathbb {O}^{\prime }\).
As the choice of v was arbitrary, we derive that \(V(\mathbb {O}^{\prime })\cap (V(\widehat{\mathcal {C}})\setminus B)\) contains exactly one vertex, which we denote by w, that is the shallow terminal of \(\mathbb {O}^{\prime }\). In this case, by Corollary 4.19, there exist \((k+1)\) vertices \(u\in \widehat{A}\) such that \(G[(V(\mathbb {O}^{\prime })\setminus \lbrace w\rbrace)\cup \lbrace u\rbrace ]\) is an obstruction. However, as \(|S|\le k\), this means that there exists \(u\in \widehat{A}\setminus S\) such that \(G[(V(\mathbb {O}^{\prime })\setminus \lbrace w\rbrace)\cup \lbrace u\rbrace ]\) is an obstruction. As \(\widehat{A}\subseteq B\) and \(G[(V(\mathbb {O}^{\prime })\setminus \lbrace w\rbrace)\cup \lbrace u\rbrace ]\) has no vertices from \(V(\widehat{\mathcal {C}})\setminus B\), we have again reached a contradiction to the choice of \(\mathbb {O}^{\prime }\). This completes the proof.\(\qed\)
4.1 Bounded Intersection Two Families Lemma
At the heart of our marking scheme to handle shallow terminals is in fact the special case of Lemma 1.1 where \(c=2\). Indeed, viewing this case in a more abstract manner, let us give a rough description of the relation between it and the statement of Lemma 1.1. For all \(c_1,c_2\in M^{\prime }\), we have sets \(A_1,A_2,\ldots ,A_t\) and \(B_1,B_2,\ldots ,B_t\), which are defined as follows. First, the universe is the set of all vertices and pairs of vertices in N. Second, let W denote a set of vertices \(w\in V(\widehat{\mathcal {C}})\setminus (A^\star \cup A^{\prime })\) such that (i) w is adjacent to \(c_1\) and \(c_2\), and (ii) w has at least one induced path in \(G[N]\), say \(P_w\), which contains no vertex adjacent to w, so that the two following properties hold:
•
For all distinct \(w,w^{\prime }\in W\), w is adjacent to at least one vertex on \(P_{w^{\prime }}\).
•
For every induced path P in \(G[N]\) that has no vertex adjacent to some vertex in \(V(\widehat{\mathcal {C}})\setminus (A^\star \cup A^{\prime })\), there also exists a vertex in W that is not adjacent to any vertex on P.
These properties mean, in a sense, that W is a minimal set that “covers” all induced paths in \(G[N]\) that can potentially create AWs together with \(c_1\) and \(c_2\) as centers. Then, \(t=|W|\), and denote \(W=\lbrace w_1,w_2\ldots ,w_t\rbrace\). For every vertex \(w_i\in W\), we create the new set \(A_i\), which contains all the neighbors of \(w_i\) in N, and the new set \(B_i\), which is equal to \(V(P_{w_i})\). Clearly, for all \(i\in [t]\), \(A_i\cap B_i=\emptyset\), and due to Observation 4.15, for all distinct \(i,j\in [t]\), \(|A_i\cap B_j|\in \lbrace 1,2\rbrace\).
Let us now turn to the proof of Lemma 1.1. For convenience, let us restate it.
Lemma 1.1 (Bounded Intersection Two Families Lemma) Let \(A_1, \ldots , A_m\) and \(B_1, \ldots , B_m\) be families over a universe U such that (i) for every \(i \le m\), \(A_i \cap B_i = \emptyset\), and (ii) for every \(j \ne i\), \(|A_i \cap B_j| \in \lbrace 1, \ldots , c\rbrace\). Then, \(m \le \sum _{t = 0}^c {|U| \choose t}\).
5 Bounding the Maximum Size of A Clique of Non-Module Components
Let \(\eta =2^{10}\cdot 4(k+5){|M| \choose 10}\). Recall that \(\mathcal {C}\) is the set of connected components of \(G-M\), \(\mathcal {D}\) is the set of connected components in \(\mathcal {C}\) that are modules, and \(\overline{\mathcal {D}}={\mathcal {C}}\setminus {\mathcal {D}}\). Let \(({\mathbb {P}},\beta)\) be a clique path of \(G[V(\overline{\mathcal {D}})]\), \(V({\mathbb {P}})=\lbrace x_1,x_2, \ldots , x_t\rbrace\), and for each \(i \in [t]\) we let \(B_i=\beta (x_i)\). Furthermore, let \(\beta ({\mathbb {P}}) = \cup _{i=1}^t \beta (x_i)\). Let \(B_i\) be a bag such that \(|B_i| \gt \eta\). Toward bounding the size of \(B_i\), we mark some of the vertices in \(B_i\) and delete all the unmarked vertices in \(B_i\) from G. In fact, in a step, we only delete one unmarked vertex and then repeat the whole kernelization algorithm on the reduced instance. In the following, we describe the precise marking procedure.
Marking Scheme. To define our marking scheme, we first introduce some notations. We define two functions, namely, \({\sf id}^i_{\sf lft}, {\sf id}^i_{\sf rht}: B_i \rightarrow [t]\). Intuitively, these functions denote how far or close a vertex appears in the bags that are to the left and right of \(B_i\), respectively. For a vertex \(v \in B_i\), \({\sf id}^i_{{\sf lft}}(v)\) is the smallest integer \(x \in [t]\) such that \(v \in B_x\), and \({\sf id}^i_{{\sf rht}}(v)\) is the largest integer \(y \in [t]\) such that \(v \in B_y\). Note that for each \(v \in B_i\), we have \({\sf id}^i_{{\sf lft}}(v) \le i \le {\sf id}^i_{{\sf rht}}(v)\). A frame \({\mathbb {F}}=(X, Y)\) in G is a pair of vertex subsets such that \(X \subseteq M\) of size at most 10 and \(Y \subseteq X\). A vertex \(v \in V(G)\) is said to fit a frame \({\mathbb {F}}=(X, Y)\) if \(N_G(v) \cap X=Y\). We now move to the construction of the set \(H_i \subseteq B_i\), of marked vertices. For each frame \({\mathbb {F}}\) in G, we create four sets \(L^{{\mathbb {F}},i}_{\sf far}, L^{{\mathbb {F}},i}_{\sf cls},R^{{\mathbb {F}},i}_{\sf far}, R^{{\mathbb {F}},i}_{\sf cls}\subseteq B_i\) of marked vertices each of size at most \(k+5\) (and add these vertices to \(H_i\)) as follows:
•
We create the set \(L^{{\mathbb {F}},i}_{\sf far}\) as follows. Let W be the set of unmarked vertices in \(B_i\), which fit the frame \({\mathbb {F}}\). If \(|W|\le k+5\), then add all the vertices in W to \(L^{{\mathbb {F}},i}_{\sf far}\). Else, let \(W_{\sf low}\subseteq W\) be the set of \(k+5\) vertices with lowest \({\sf id}^i_{{\sf lft}}\) values among the vertices in W. Add \(W_{\sf low}\) to \(L^{{\mathbb {F}},i}_{\sf far}\).
•
We create the set \(L^{{\mathbb {F}},i}_{\sf cls}\) as follows. Let W be the set of unmarked vertices in \(B_i\), which fit the frame \({\mathbb {F}}\). If \(|W|\le k+5\), then add all the vertices in W to \(L^{{\mathbb {F}},i}_{\sf cls}\). Else, let \(W_{\sf high}\subseteq W\) be the set of \(k+5\) vertices with highest \({\sf id}^i_{{\sf lft}}\) values among the vertices in W. Add \(W_{\sf high}\) to \(L^{{\mathbb {F}},i}_{\sf cls}\).
•
We create the set \(R^{{\mathbb {F}},i}_{\sf far}\) as follows. Let W be the set of unmarked vertices in \(B_i\), which fit the frame \({\mathbb {F}}\). If \(|W|\le k+5\), then add all the vertices in W to \(R^{{\mathbb {F}},i}_{\sf far}\). Else, let \(W_{\sf high}\subseteq W\) be the set of \(k+5\) vertices with highest \({\sf id}^i_{{\sf rht}}\) values among the vertices in W. Add \(W_{\sf high}\) to \(R^{{\mathbb {F}},i}_{\sf far}\).
•
We create the set \(R^{{\mathbb {F}},i}_{\sf cls}\) as follows. Let W be the set of unmarked vertices in \(B_i\), which fit the frame \({\mathbb {F}}\). If \(|W|\le k+5\), then add all the vertices in W to \(R^{{\mathbb {F}},i}_{\sf cls}\). Else, let \(W_{\sf low}\subseteq W\) be the set of \(k+5\) vertices with lowest \({\sf id}^i_{{\sf rht}}\) values among the vertices in W. Add \(W_{\sf low}\) to \(R^{{\mathbb {F}},i}_{\sf cls}\).
Notice that \(|H_i| \le 2^{10}\cdot 4(k+5){|M| \choose 10}=\eta\). Before proceeding further, we observe (Observations 5.1 and 5.2) certain useful properties regarding a frame \({\mathbb {F}}\) to which \(v\in B_i \setminus H_i\) fits and the vertices in \(L^{{\mathbb {F}},i}_{\sf far}, R^{{\mathbb {F}},i}_{\sf far}, L^{{\mathbb {F}},i}_{\sf cls}\), and \(R^{{\mathbb {F}},i}_{\sf cls}\).
Next, we give a reduction rule that deletes unmarked vertices from \(B_i\) in G.
Before moving to the proof of Lemma 5.3, we note that using it we immediately obtain the following lemma.
In the remainder of this section, we focus on the proof of Lemma 5.3. Let v be a vertex in \(B_i \setminus H_i\) and \(G^{\prime }=G-\lbrace v\rbrace\). We will show that \((G,k)\) is a Yes-instance of IVD if and only if \((G^{\prime }, k)\) is a Yes-instance of IVD. In the forward direction, let S be a solution to IVD in \((G,k)\). As \(G - S\) is an interval graph and so are all its induced subgraphs, we therefore have that \(S\setminus \lbrace v\rbrace\) is a solution to IVD in \((G^{\prime },k)\).
In the reverse direction, let S be a solution to IVD in \((G^{\prime },k)\). We will show that \(G- S\) is an interval graph. Suppose not, then there must be an obstruction in \(G- S\). Note that all the obstructions in \(G- S\) are guaranteed to contain v, as otherwise the obstruction is also present in \(G^{\prime }- S\), which contradicts that S is a solution to IVD in \((G^{\prime },k)\). This implies that \(S\cup \lbrace v\rbrace\) is a \((k+1)\)-solution for G. Recall that \(\mathcal {W}\) is \((k+1)\)-necessary, and therefore \(S \cup \lbrace v\rbrace\) hits \(\mathcal {W}\). Since \(v \notin M\) and \({\mathcal {W}} \subseteq 2^M\), we derive that S hits \(\mathcal {W}\). But then any obstruction in \(G- S\) is not covered by \(\mathcal {W}\) since \(v \notin M\). This together with the fact that M is a 9-redundant solution implies that for any obstruction \({\mathbb {O}}^{\prime }\) in \(G- S,\) we have \(|V({\mathbb {O}}^{\prime }) \cap M| \ge 10\). Moreover, such an obstruction can either be a cycle, a \(\dagger\)-AW, or a \(\ddagger\)-AW on at least 10 vertices. Among all obstructions in \(G-S\) (containing v), we will proof the correctness of the lemma by carefully choosing an (available) obstruction, and in each case arriving at some contradiction. In the following, we describe the choice of the obstruction \({\mathbb {O}}\) in \(G-S\):
(1)
If \(G-S\) has an induced cycle Q (containing v) of length at least 10, then \({\mathbb {O}}\) is set to Q.
(2)
Otherwise, \({\mathbb {O}}\) is an obstruction in \(G-S\) (containing v) of minimum possible size, and over all such minimum sized obstructions, \({\mathbb {O}}\) maximizes the number of vertices from \(B_i\).
We will consider cases depending on which type of obstruction \(\mathbb {O}\) is, as well as the role that v plays in \(\mathbb {O}\). In the case when \({\mathbb {O}}\) is an induced cycle, our goal will be to obtain an obstruction not containing v in \(G-S\). In all other cases, we either will obtain an obstruction not containing v, or a smaller sized obstruction, or an obstruction that has the same number of vertices as \({\mathbb {O}}\) but has more vertices from \(B_i\) than \({\mathbb {O}}\) has from \(B_i\). In each such case, this will contradict the choice of \({\mathbb {O}}\).
Next, we consider the cases depending on whether \(\mathbb {O}\) is a cycle, a \(\dagger\)-AW, or a \(\ddagger\)-AW. We remark that whenever we are dealing with a particular case, we will assume that the cases stated prior to it are not applicable.
\(\mathbb {O}\) Is a Cycle
Let us first note that \(|V({\mathbb {O}}) \cap B_i| \le 2\) as \(B_i\) is a clique. Let \(x,y\) be the neighbors of v in \({\mathbb {O}}\), and note that they lie in \(M \cup \beta ({\mathbb {P}})\). Since \({\mathbb {O}}\) is not covered by \(\mathcal {W}\), we have \(|V({\mathbb {O}})\cap M| \ge 10\). Let \(\hat{M} = M \cap V(\mathbb {O})\), \(M^{\prime }\subseteq \hat{M}\) of size 3 such that \(\hat{M} \cap \lbrace x,y\rbrace \subseteq M^{\prime }\), and \(\mathbb {F}=(M^{\prime }, M^{\prime } \cap \lbrace x,y\rbrace)\). Next, consider the sets \(L_{\sf far}=L^{{\mathbb {F}},i}_{\sf far}\setminus (S \cup V({\mathbb {O}}))\) and \(R_{\sf far}=R^{{\mathbb {F}},i}_{\sf far}\setminus (S \cup V({\mathbb {O}}))\). Since \(|S|\le k\), \(v \notin H_i\), and \(B_i\) is a clique, therefore \(L_{\sf far}, R_{\sf far}\ne \emptyset\). Let \(z \in M^{\prime } \setminus \lbrace x,y\rbrace\), which exists since \(|M^{\prime }|=3\). Now suppose that there is \(v^* \in L_{\sf far}\cup R_{\sf far}\) such that \((v^*,x), (v^*, y) \in E(G),\) then we claim that we can obtain a cycle on at least four vertices not containing v in \(G- S\). Since \(v^*\) fits \(\mathbb {F}\), therefore \((v^*, z) \notin E(G)\). Consider the paths \(P_{xz}\) and \(P_{yz}\) from x to z and y to z in \(\mathbb {O}-\lbrace v\rbrace\), respectively. Furthermore, let \(x^*\) and \(y^*\) be the last vertices in \(P_{xz}\) and \(P_{yz}\) which are adjacent to \(v^*\). Note that \(x^*\) and \(y^*\) exists since \((x,v^*),(y, v^*) \in E(G)\). But then the path from \(x^*\) to \(y^*\) in \(\mathbb {O}-\lbrace v\rbrace\) along with \(v^*\) forms an induced cycle on at least four vertices in \(G- S\) that does not contain v.
Next, we assume that any vertex in \(L_{\sf far}\cup R_{\sf far}\) is adjacent to at most one of \(x,y\). From Observation 5.1 (together with \((x,y)\notin E(G)\)), it follows that either \(L_{\sf far}\subseteq N_G(x)\) and \(R_{\sf far}\subseteq N_G(y)\), or \(R_{\sf far}\subseteq N_G(x)\) and \(L_{\sf far}\subseteq N_G(y)\), must hold. Suppose that \(L_{\sf far}\subseteq N_G(x)\) and \(R_{\sf far}\subseteq N_G(y)\) (the other case is symmetric). Consider vertices \(u^* \in L_{\sf far}\) and \(v^* \in R_{\sf far}\). Note that \((u^*,x), (v^*,y), (u^*,v^*) \in E(G)\) and \((u^*,y), (v^*,x), (u^*,z), (v^*,z) \notin E(G)\). Consider the paths \(P_{xz}\) and \(P_{yz}\) from x to z and y to z in \(\mathbb {O}-\lbrace v\rbrace\), respectively. Let \(x^*\) be the last vertex in the path \(P_{xz}\) such that \(N_G(x^*) \cap \lbrace u^*, v^*\rbrace \ne \emptyset\). Similarly, let \(y^*\) be the last vertex in the path \(P_{yz}\) such that \(N_G(y^*) \cap \lbrace u^*,v^*\rbrace \ne \emptyset\). Let \(P_{x^*z}\) and \(P_{zy^*}\) be the paths from \(x^*\) to z and z to \(y^*\) in \(\mathbb {O}-\lbrace v\rbrace\), respectively. Notice that \(G[V(P_{x^*z}) \cup V(P_{zy^*}) \cup \lbrace u^*, v^*\rbrace ]\) contains an induced cycle (not containing v) on at least four vertices.
\(\mathbb {O}\) Is a \(\dagger\)-AW
Let \(\mathbb {O}\) comprise of the base path \(\mathsf {base}({\mathbb {O}})=(b_1, b_2, \ldots , b_z)\), non-shallow terminals \(t_\ell\) and \(t_r\), shallow terminal t, and center c (as in the definition in Section 2). Furthermore, let \(P({\mathbb {O}})=(t_\ell , b_1, b_2, \ldots , b_z, t_r)\), and let \(b_0=t_\ell\), and \(b_{z+1}=t_r\). Let \(\hat{M} = M \cap V(\mathbb {O})\). Recall that \(\mathbb {O}\) is not covered by \(\mathcal {W}\), and thus \(|\hat{M}| \ge 10\). Let \(M^{\prime }\) be a subset of \(\hat{M}\) of size 8 such that \(\hat{M} \cap \lbrace c,t,t_\ell ,t_r,b_1,b_2,b_{z-1},b_z\rbrace \subseteq M^{\prime }\), and \({\mathbb {F}}=(M^{\prime }, M^{\prime } \cap N_G(v))\). Next, we define the following sets, whose vertices will be used to either construct an obstruction not containing v, or an obstruction containing v but with (strictly) smaller size, or an obstruction with same number of vertices as \({\mathbb {O}}\) but containing strictly more vertices from \(B_i\) than \({\mathbb {O}}\) contains from \(B_i\). Let \(L_{\sf far}=L^{{\mathbb {F}},i}_{\sf far}\setminus (S \cup V({\mathbb {O}}))\), \(L_{\sf cls}=L^{{\mathbb {F}},i}_{\sf cls}\setminus (S \cup V({\mathbb {O}}))\), \(R_{\sf far}=R^{{\mathbb {F}},i}_{\sf far}\setminus (S \cup V({\mathbb {O}}))\), and \(R_{\sf cls}=R^{{\mathbb {F}},i}_{\sf cls}\setminus (S \cup V({\mathbb {O}}))\). Notice that \(|V({\mathbb {O}}) \cap B_i| \le 3\), since no \(\dagger\)-AW contains a clique of size 4 and \(G[B_i]\) is a clique. This together with the fact that \(v \notin H_i\) and \(|S| \le k\) implies that \(L_{\sf far},L_{\sf cls}, R_{\sf far},R_{\sf cls}\ne \emptyset\). Next, we consider cases depending on the role that v plays in the obstruction \(\mathbb {O}\).
Suppose v Is the Shallow Terminal. In this case, \((v, c) \in E(G),\) and therefore from Observation 5.1, one of \(L_{\sf far}\subseteq N_G(c)\) or \(R_{\sf far}\subseteq N_G(c)\) must hold. Consider the case when \(L_{\sf far}\subseteq N_G(c)\) (the other case is symmetric), and let \(v^*\) be a vertex in \(L_{\sf far}\). Next, we consider the following cases based on the neighborhood of \(v^*\) in \({\mathbb {O}}\) (Figure 2).
Fig. 2.
Case \(\dagger\)-AW.S.1.\(\boldsymbol {N_G(v^*) \cap V(P({\mathbb {O}}))| =0}\). In this case, \(G[(V(\mathbb {O}) \setminus \lbrace v\rbrace) \cup \lbrace v^*\rbrace ]\) is a \(\dagger\)-AW in \(G^{\prime }- S\).
Case \(\dagger\)-AW.S.2. If \(\boldsymbol {|N_G(v^*) \cap V(P({\mathbb {O}}))| = 1}\). If \((v^*, t_\ell)\in E(G),\) then \(G[\lbrace v^*,c,t_\ell ,b_1\rbrace ]\) is an induced cycle on four vertices not containing v in \(G-S\). Analogous argument can be given when \((v^*, t_r)\in E(G)\). Therefore, we assume that \(N_G(v^*) \cap V(P({\mathbb {O}}))=\lbrace b_i\rbrace\), where \(i \in [z]\). If \(i \in [z] \setminus \lbrace 1,z\rbrace ,\) then \(G[\lbrace v^*,v,b_i,b_{i-1}, b_{i-2}, b_{i+1}, b_{i+2}\rbrace ]\) is a long claw in \(G- S\). This cannot happen, as any obstruction in \(G-S\) is of size at least 10. If none of the preceding cases are applicable, then \(N_G(v^*) \cap V(P({\mathbb {O}})) \in \lbrace \lbrace b_1\rbrace , \lbrace b_z\rbrace \rbrace\). Suppose that \(N_G(v^*) \cap V(P({\mathbb {O}})) = \lbrace b_1\rbrace\) (the other case is symmetric), then \(G[\lbrace c,v,v^*,b_1,b_2,b_3, t_\ell \rbrace ]\) is a whipping top in \(G- S\).
Case \(\dagger\)-AW.S.3.\(\boldsymbol {|N_G(v^*) \cap V(P({\mathbb {O}}))| \ge 2}\). If neighbors of \(v^*\) are not consecutive in the path \(P({\mathbb {O}}),\) then we can obtain an induced cycle on at least four vertices in \(G[\lbrace v^*\rbrace \cup V(P({\mathbb {O}}))]\), and therefore we assume that the neighbors of \(v^*\) in \(P({\mathbb {O}})\) are consecutive. By the construction of \(\mathbb {F}\) and \(v^*,\) we know that there are at least seven vertices in \(P({\mathbb {O}})\) that are non-adjacent to \(v^*\) (recall that we are in the case when v is the shallow terminal). This also implies that \(|\lbrace t_\ell ,t_r\rbrace \cap N_G(v^*)| \le 1\). Without loss of generality, we assume that \((v^*,t_r) \notin E(G)\). Next, we consider the following cases based on whether or not \((v^*,t_\ell) \in E(G)\):
(A)
\(\boldsymbol {(v^*,t_\ell) \in E(G)}\). In this case, there exists \(e \in [z-2]\) such that \(b_e \in N_G(v^*)\) and \(b_{e+1} \notin N_G(v^*)\). Let \(V^{\prime }=\lbrace v,v^*,c,t_\ell \rbrace \cup \lbrace b_1, b_2, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW with \(|V^{\prime }| \lt |V({\mathbb {O}})|\), a contradiction to the choice of \({\mathbb {O}}\).
(B)
\(\boldsymbol {(v^*,t_\ell) \notin E(G)}\). Let \(b_s\) and \(b_e\) be the first and the last vertices in \(P({\mathbb {O}})\) that are adjacent to \(v^*\), respectively. Notice that \(s \ne e\) (since \(|N_G(v^*) \cap V(P({\mathbb {O}}))| \ge 2\)), and \(\lbrace b_s, b_{s+1}, \ldots b_{e}, b_{e+1}\rbrace \subset \lbrace b_1,b_2, \ldots b_z\rbrace\) (strict subset). Let \(V^{\prime }=\lbrace v,v^*\rbrace \cup \lbrace b_{s-1}, b_{s}, b_{s+1}, \ldots , b_{e}, b_{e+1}\rbrace\). Observe that \(|V^{\prime }|\lt |V({\mathbb {O}})|\) and \(G[V^{\prime }]\) is a \(\dagger\)-AW.
Suppose v Is the Center. In this case, \((t_\ell ,v), (t_r,v) \notin E(G)\). Since \(v \notin H_i\) and each vertex in \(L_{\sf cls}\cup R_{\sf cls}\) fits the frame \(\mathbb {F}\), from Observation 5.2 one of the following holds: (1) \(N_G(t_\ell) \cap L_{\sf cls}= \emptyset\) and \(N_G(t_r) \cap R_{\sf cls}= \emptyset\), (2) \(N_G(t_r) \cap L_{\sf cls}= \emptyset\) and \(N_G(t_\ell) \cap R_{\sf cls}= \emptyset\), (3) \(N_G(t_\ell) \cap L_{\sf cls}= \emptyset\) and \(N_G(t_r) \cap L_{\sf cls}= \emptyset\), or (4) \(N_G(t_\ell) \cap R_{\sf cls}= \emptyset\) and \(N_G(t_r) \cap R_{\sf cls}= \emptyset\). Consider a vertex \(v^* \in L_{\sf cls}\cup R_{\sf cls}\), and let \(b_s\) and \(b_e\) be the first and the last vertices in the path \(P({\mathbb {O}})\) that are adjacent to \(v^*\), respectively. The existence and distinctness of \(b_s, b_e\) follow from the fact that \(|N_G(v^*) \cap V(P({\mathbb {O}}))| \ge 5\), which in turn is implied from the choice of \(M^{\prime }\) and \(v^*\) fitting the frame \(\mathbb {F}\). The neighbors of \(v^*\) in \(P({\mathbb {O}})\) must be consecutive, as otherwise we can obtain an induced cycle of length at least 4, which does not contain v. We further consider subcases based on whether or not the following two criterions are satisfied (Figure 3):
Case \(\dagger\)-AW.C.1.\(\boldsymbol {t \notin N_G(v^*)}\). If \(\lbrace t_\ell , t_r\rbrace \subseteq N_G(v^*),\) then \(G[\lbrace v^*,t_\ell ,b_1,v,b_z,t_r,t\rbrace ]\) is a whipping top. Here, we rely on the fact that neighbors of \(v^*\) in \(P({\mathbb {O}})\) are consecutive and \(b_1\) and \(b_z\) are not adjacent as \(\mathbb {O}\) has at least 11 vertices. From the preceding, we can assume that \(|\lbrace t_\ell , t_r\rbrace \cap N_G(v^*)| \le 1\). Let \(V^{\prime }= (V(\mathbb {O}) \setminus \lbrace b_{s+1}, b_{s+2}, \ldots , b_{e-1}\rbrace) \cup \lbrace v^*\rbrace\). Notice that \(|V^{\prime }| \lt |V({\mathbb {O}})|\) since \(|N_G(v^*) \cap V(P({\mathbb {O}}))| \ge 5\) and neighbors of \(v^*\) are consecutive. Moreover, \(G[V^{\prime }]\) is an (induced) \(\dagger\)-AW or a net, which is of strictly smaller size than \({\mathbb {O}}\), contradicting the choice of \({\mathbb {O}}\). Here, we crucially rely on the fact that \(|N_G(v^*) \cap \lbrace t_\ell , t_r\rbrace | \le 1\).
Case \(\dagger\)-AW.C.2.\(\boldsymbol {t \in N_G(v^*)}\) and \(\boldsymbol {N_G(v^*) \cap \lbrace t_\ell , t_r\rbrace = \emptyset }\). In this case, \(G[\lbrace v^*,t, b_{s-1}, b_s,\)\(b_{s+1},\ldots , b_e, b_{e+1}\rbrace ]\) forms an (induced) \(\dagger\)-AW in \(G- S\) that does not contain v.
If Cases \(\dagger\)-AW.C.1 and \(\dagger\)-AW.C.2 are not applicable, then for each \(u \in L_{\sf cls}\cup R_{\sf cls}\) we have \(t \in N_G(u)\) and \(N_G(u) \cap \lbrace t_\ell , t_r\rbrace \ne \emptyset\). Furthermore, \(v \notin H_i\), \((t_\ell ,v), (t_r,v) \notin E(G)\), and each vertex in \(L_{\sf cls}\cup R_{\sf cls}\) fits the frame \(\mathbb {F}\). Therefore, one of the following must hold: (1) \(N_G(t_\ell) \cap L_{\sf cls}= \emptyset\) and \(N_G(t_r) \cap R_{\sf cls}= \emptyset\) or (2) \(N_G(t_r) \cap L_{\sf cls}= \emptyset\) and \(N_G(t_\ell) \cap R_{\sf cls}= \emptyset\). Thus, for each \(u \in L_{\sf cls}\cup R_{\sf cls},\) we have \(|N_G(u) \cap \lbrace t_\ell , t_r\rbrace | = 1\). We assume that \(N_G(t_\ell) \cap L_{\sf cls}= \emptyset\) and \(N_G(t_r) \cap R_{\sf cls}= \emptyset\) (the other case is symmetric). Next, we consider a vertex \(u^* \in L_{\sf cls}\) and a vertex \(v^* \in R_{\sf cls}\). Notice that (by the preceding discussion) \(t \in N_G(u^*) \cap N_G(v^*)\), \(t_\ell \notin N_G(u^*)\), \(t_r \in N_G(u^*)\), \(t_r \notin N_G(v^*)\), and \(t_\ell \in N_G(v^*)\). Additionally, since \(u^*, v^* \in B_i,\) we have \((u^*,v^*) \in E(G)\). We now consider the remaining case.
Case \(\dagger\)-AW.C.3.\(t \in N_G(u^*) \cap N_G(v^*)\), \(N_G(u^*) \cap \lbrace t_\ell , t_r\rbrace =\lbrace t_r\rbrace\), and \(\boldsymbol {N_G(v^*) \cap \lbrace t_\ell , t_r\rbrace }\)\(\boldsymbol {=\lbrace t_\ell \rbrace }\). We consider the following subcases:
(A)
\(\boldsymbol {u^*}\) and \(\boldsymbol {v^*}\) have no common neighbor in \(\boldsymbol {P({\mathbb {O}})}\). Then \(G[\lbrace u^*, v^*\rbrace \cup V(P({\mathbb {O}}))]\) contains an (induced) cycle on at least four vertices.
(B)
Otherwise, \(\boldsymbol {u^*}\) and \(\boldsymbol {v^*}\) have at least one common neighbor in \(\boldsymbol {P({\mathbb {O}})}\). Let \(b_p\) and \(b_q\) be the first and the last common neighbors of \(u^*\) and \(v^*\) in \(P({\mathbb {O}})\), respectively. Notice that \(b_{p-1} \in N_G(v^*)\) and \(b_{p-1} \notin N_G(u^*)\). This follows from the fact that \(t_\ell , b_q \in N_G(v^*)\), neighbors of \(v^*\) are consecutive vertices in \(P({\mathbb {O}})\), \(t_\ell \notin N_G(u^*)\), and p is the first common neighbor of \(u^*\) and \(v^*\) in \(P({\mathbb {O}})\). Similarly, we can argue that \(b_{q+1} \in N_G(u^*)\) and \(b_{q+1} \notin N_G(v^*)\). Consider the set \(V^{\prime }=\lbrace t, v^*, u^*\rbrace \cup \lbrace b_{p-1}, b_p, \ldots , b_q, b_{q+1}\rbrace\). Notice that \(G[V^{\prime }]\) is a \(\ddagger\)-AW or a tent that does not contain v.
Suppose v Is One of the Non-Shallow Terminals. We consider the case when \(v=t_\ell\). By a symmetric argument, we can handle the case when \(v=t_r\). If \(c \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf cls}\cup R_{\sf cls}\) we have \((u, c) \notin E(G)\), as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}})) = \emptyset\). Otherwise, \(c \in \beta ({\mathbb {P}})\), and then from Observation 5.2, at least one of \(L_{\sf cls}\cap N_G(c)=\emptyset\) or \(R_{\sf cls}\cap N_G(c)=\emptyset\) holds. Let \(X_{\sf cls}\in \lbrace L_{\sf cls}, R_{\sf cls}\rbrace\) be a set such that \(X_{\sf cls}\cap N_G(c)=\emptyset\). Similarly, if \(b_1 \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf far}\cup R_{\sf far}\) we have \((u, b_1) \in E(G),\) as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}}))=\emptyset\). Otherwise, \(b_1 \in \beta ({\mathbb {P}})\), and then at least one of \(L_{\sf far}\subseteq N_G(b_1)\) or \(R_{\sf far}\subseteq N_G(b_1)\) holds (see Observation 5.1). Let \(Y_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(Y_{\sf far}\subseteq N_G(b_1)\). Next, we consider cases based on whether or not \(b_1 \in B_i\) (Figure 4).
Fig. 4.
Case \(\dagger\)-AW.T.1.\(\boldsymbol {b_1 \in B_i}\). Consider a vertex \(v^*\in X_{\sf cls}\). Note that \((v^*,b_1) \in E(G)\) since \(b_1 \in B_i\), and \((v^*, c) \notin E(G)\) by the choice of \(v^*\). Additionally, \((v^*, t) \notin E(G),\) and otherwise \(G[\lbrace t,c,b_1,v^*\rbrace ]\) is cycle on four vertices in \(G- S\). Recall that \(v^*\) fits the frame \(\mathbb {F}\) (and \((b_1,v^*) \in E(G)\)), and therefore there exists \(b_e\) such that \(b_e \in N_G(v^*)\) and \(b_{e+1} \notin N_G(v^*)\), where \(e \in [z-1]\) (possibly \(e=1\)). This together with the fact that neighbors of \(v^*\) in \(P({\mathbb {O}})\) are consecutive (otherwise, we obtain an induced cycle on at least four vertices not containing v) implies that \((v^*,t_r)\notin E(G)\). But then \(G[\lbrace t,c,v^*\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z, t_r\rbrace ]\) is a \(\dagger\)-AW (or a net) that does not contain v.
Case \(\dagger\)-AW.T.2.\(\boldsymbol {b_1 \notin B_i}\). Consider a vertex \(v^* \in Y_{\sf far}\cup \lbrace u \in X_{\sf cls}\mid (u,b_1) \in E(G)\rbrace\), and the following cases based on its neighborhood in \({\mathbb {O}}\):
(A)
\(\boldsymbol {(v^*,c) \notin E(G)}\). In this case, \((v^*, t) \notin E(G)\), and otherwise \(G[\lbrace v^*,t,c,b_1\rbrace ]\) is an induced cycle on four vertices. Recall that \(v^*\) fits the frame \(\mathbb {F}\), and therefore there are at least five vertices in \(P({\mathbb {O}})\) that are non-adjacent to \(v^*\). This together with the fact that \((b_1,v^*) \in E(G)\) implies that there exists \(e \in [z-2]\) such that \(b_e \in N_G(v^*)\) and \(b_{e+1} \notin N_G(v^*)\). But then \(G[V^{\prime }]\) is a \(\dagger\)-AW (or a net) not containing v in \(G- S\), where \(V^{\prime }=\lbrace t,c,v^*,t_r\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\).
(B)
\(\boldsymbol {(v^*,c) \in E(G)}\). We further consider the following cases:
(i) There exists \(\boldsymbol {e \in [z] \setminus \lbrace 1\rbrace }\) such that \(\boldsymbol {b_e \in N_G(v^*)}\) and \(\boldsymbol {b_{e+1} \notin N_G(v^*)}\). By the choice of \(M^{\prime }\) and the fact that \(v^*\) fits \(\mathbb {F}\), we have \(e \le z-2\). Consider the following cases based on whether or not \((t,v^*) \in E(G)\):
(a)
\(\boldsymbol {(t,v^*) \notin E(G)}\). Let \(V^{\prime }=\lbrace t,c,v^*,v,t_r\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\). Furthermore, either \(|V^{\prime }| \lt |V({\mathbb {O}})|\) or \(|V^{\prime }|= |V({\mathbb {O}})|\) and \(|V^{\prime } \cap B_i|\gt |V({\mathbb {O}}) \cap B_i|\). Here, we rely on the fact that \(b_1 \notin B_i\). In either case, we obtain a contradiction to the choice of \({\mathbb {O}}\).
(b)
\(\boldsymbol {(t,v^*) \in E(G)}\). Let \(V^{\prime }= \lbrace t,c,v^*,v\rbrace \cup \lbrace b_1, b_2, \ldots , b_e,b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\) and \(|V^{\prime }| \lt |V({\mathbb {O}})|\), which contradicts the choice of \({\mathbb {O}}\).
(ii) Otherwise, if (i) does not hold, then the only neighbors of \(v^*\) in \(P({\mathbb {O}})\) are \(b_1\) and v. Consider the following cases based on whether or not \((t,v^*) \in E(G)\):
(a)
\(\boldsymbol {(t,v^*) \in E(G)}\). In this case, \(G[\lbrace v,v^*,t,c,b_1,b_2\rbrace ]\) is a tent.
(b)
\(\boldsymbol {(t,v^*) \notin E(G)}\). We consider a vertex in \(u^*\in X_{\sf cls}\) to obtain the desired obstruction. We can assume that \((b_1, u^*) \notin E(G)\) as \(X_{\sf cls}\cap N_G(c)=\emptyset\) and Case \(\dagger\)-AW.T.2.A is not applicable. Furthermore, \((b_j, u^*) \notin E(G)\), for each \(j \in [z] \setminus \lbrace 1\rbrace\), and otherwise \(G[\lbrace v,u^*\rbrace \cup \lbrace b_1, b_2, \ldots b_j\rbrace ]\) will contain an induced cycle on at least four vertices. Let \(V^{\prime }=(V({\mathbb {O}}) \setminus \lbrace v\rbrace) \cup \lbrace v^*, u^*\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW that does not contain v.
Suppose v Is Either \(b_1\) or \(b_z\). Suppose \(v=b_1\) (the other case is symmetric). If \(t_\ell \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf far}\cup R_{\sf far}\) we have \((u, t_\ell) \in E(G),\) as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}}))=\emptyset\). Otherwise, \(t_\ell \in \beta ({\mathbb {P}})\), and then at least one of \(L_{\sf far}\subseteq N_G(t_\ell)\) or \(R_{\sf far}\subseteq N_G(t_\ell)\) holds (see Observation 5.1). Let \(X_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(X_{\sf far}\subseteq N_G(t_\ell)\). Similarly, if \(b_2 \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf far}\cup R_{\sf far}\) we have \((u, b_2) \in E(G),\) as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}}))=\emptyset\). Otherwise, \(b_2 \in \beta ({\mathbb {P}})\), and then at least one of \(L_{\sf far}\subseteq N_G(b_2)\) or \(R_{\sf far}\subseteq N_G(b_2)\) holds. Let \(Y_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(Y_{\sf far}\subseteq N_G(b_2)\). Next, we consider cases depending on the neighborhood of vertices in \(X_{\sf far}\cup Y_{\sf far}\) in \({\mathbb {O}}\) (Figure 5).
Fig. 5.
Case \(\dagger\)-AW.B.1. There is a vertex \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {\lbrace t_\ell , b_2\rbrace \subseteq N_G(v^*)}\). There exists \(e \in [z-2]\) such that \(b_e \in N_G(v^*)\) and \(b_{e+1} \notin N_G(v^*)\). This follows from the fact that \((v^*, b_2) \in E(G)\) and \(v^*\) fits the frame \(\mathbb {F}\). Next, we consider the subcases based on whether or not \((v^*,c),(v^*,t) \in E(G)\):
(A)
\(\boldsymbol {(v^*,c) \in E(G), (v^*,t) \notin E(G).}\) Let \(V^{\prime }=\lbrace t,c,v^*,t_\ell , t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW that does not contain v.
(B)
\(\boldsymbol {(v^*,c) \in E(G), (v^*,t) \in E(G).}\) Let \(V^{\prime }=\lbrace t,c,v^*,v,t_\ell \rbrace \cup \lbrace b_2, b_3, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW that has strictly fewer vertices than \({\mathbb {O}}\).
(C)
\(\boldsymbol {(v^*,c) \notin E(G).}\) Notice that in this case \((v^*,t) \notin E(G)\), and otherwise \(G[\lbrace v^*,t,c,b_2\rbrace ]\) is an induced cycle on four vertices. Let \(V^{\prime }=\lbrace t,c,v^*,t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is an induced \(\dagger\)-AW that does not contain v.
Case \(\dagger\)-AW.B.2. Suppose that for every \(\boldsymbol {u \in X_{\sf far}\cup Y_{\sf far}}\), we have \(\boldsymbol {(u,c) \in E(G)}\). Since Case \(\dagger\)-AW.B.1 is not applicable, we can assume that for each \(u \in X_{\sf far}\cup Y_{\sf far}\) we have \(\lbrace t_\ell , b_2\rbrace \not\subseteq N_G(u)\). By the construction of \(X_{\sf far}\) and \(Y_{\sf far},\) we know that for each \(u \in X_{\sf far}\cup Y_{\sf far}\) we have \(\lbrace t_\ell , b_2\rbrace \cap N_G(u) \ne \emptyset\), and \(X_{\sf far}, Y_{\sf far}\ne \emptyset\). Consider a vertex \(v^* \in X_{\sf far}\) and a vertex \(u^* \in Y_{\sf far}\). We have that \((v^*,c), (u^*,c),(v^*,t_\ell),(u^*, b_2) \in E(G)\) and \((v^*,b_2),(u^*, t_\ell) \notin E(G)\). Next, we consider cases based on whether or not t adjacent to \(v^*\) and \(u^*\):
(A)
\(\boldsymbol {(t,v^*) \in E(G).}\) Recall that \(b_2 \notin N_G(v^*)\) and \(t_\ell ,t,c \in N_G(v^*)\). But then \(G[\lbrace c,v,v^*,b_2,t_\ell ,t\rbrace ]\) is a tent in \(G- S\).
(B)
\(\boldsymbol {(t,u^*) \in E(G).}\) There exists \(e \in [z-2]\) such that \(b_e \in N_G(u^*)\) and \(b_{e+1} \notin N_G(u^*)\). This follows from the fact that \((u^*, b_2) \in E(G)\) and \(u^*\) fits the frame \(\mathbb {F}\). Let \(V^{\prime }=\lbrace b_2, b_3, \ldots , b_e, b_{e+1}\rbrace \cup \lbrace t,u^*,t_\ell , v\rbrace\). Then \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\) which has strictly fewer vertices than \({\mathbb {O}}\).
(C)
\(\boldsymbol {(t,v^*), (t,u^*) \notin E(G).}\) We start by arguing that \(v^*\) cannot be adjacent to \(b_j\), where \(j \in [z] \setminus \lbrace 1\rbrace\). For \(j=2,\) it follows from the choice of \(v^*\). Next, consider the smallest \(j\gt 2\) such that \((v^*,b_j) \in E(G)\). Then, \(G[\lbrace v,v^*\rbrace \cup \lbrace b_2,b_3,\ldots ,b_j\rbrace ]\) is an induced cycle on at least four vertices, which is a contradiction, as we assume previously stated cases are not applicable. Therefore, we assume that the only neighbor of \(v^*\) in \(P({\mathbb {O}})\) are v and \(t_\ell\). Next, we argue about neighbors of \(u^*\) in \(P({\mathbb {O}})\). There exists \(e \in [z-2]\) such that \(b_e \in N_G(u^*)\) and \(b_{e+1} \notin N_G(u^*)\). This follows from the fact that \((u^*, b_2) \in E(G)\) and \(u^*\) fits the frame \(\mathbb {F}\). Let \(V^{\prime }=\lbrace t,c,t_\ell , t_r,v^*,u^*\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\) that does not contain v.
Case \(\dagger\)-AW.B.3. Suppose that there is \(\boldsymbol {u \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(u,c) \notin E(G)}\), and for all \(\boldsymbol {u \in X_{\sf far}\cup Y_{\sf far}}\) we have \(\boldsymbol {\lbrace t_\ell , b_2\rbrace \not\subseteq N_G(u)}\). Consider vertices \(v^* \in X_{\sf far}\) and \(u^* \in Y_{\sf far}\), and the following subcases.:
(A)
\(\boldsymbol {(v^*, c) \notin E(G).}\) This implies that \((v^*, t) \notin E(G)\), and otherwise \(G[v^*,c,t,v]\) is a cycle on four vertices. As Case \(\dagger\)-AW.B.1 is not applicable, for each \(u \in Y_{\sf far}\) we have \((u,b_2)\in E(G)\) and \((u,t_\ell) \notin E(G)\). Note that since v is unmarked, therefore \(Y_{\sf far}\ne \emptyset\). From the preceding discussions, we obtain that \(t_\ell \notin B_i\). Observe that \(v^*\) cannot be adjacent to any \(b_j\), where \(j\ge 2\), since the neighbors of \(v^*\) in \(P({\mathbb {O}})\) must be consecutive, \((v^*,t_\ell) \in E(G)\), and \((v^*,b_2) \notin E(G)\). But then \(G[(V({\mathbb {O}}) \setminus \lbrace t_\ell \rbrace) \cup \lbrace v^*\rbrace ]\) is a \(\dagger\)-AW with the same number of vertices as \({\mathbb {O}}\) but with more vertices from \(B_i\).
(B)
\(\boldsymbol {(u^*, c) \notin E(G).}\) Since Case \(\dagger\)-AW.B.3.A is not applicable, we can assume that \((v^*,c) \in E(G)\). Observe that \(G[\lbrace c,v^*,u^*,b_2\rbrace ]\) is a cycle on four vertices. Here, we rely on the fact that \((v^*,b_2) \notin E(G)\).
Suppose That \(\boldsymbol {v}\) Is a Base Vertex \(\boldsymbol {b_j}\), Where \(\boldsymbol {j \in [z] \setminus \lbrace 1, z\rbrace }\). Let \(X_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(X_{\sf far}\subseteq N_G(b_{j-1})\) and \(Y_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(Y_{\sf far}\subseteq N_G(b_{j+1})\). We note that existence of \(X_{\sf far}\) and \(Y_{\sf far}\) is guaranteed from Observation 5.1. Next, we consider cases based on the neighborhood of vertices in \(X_{\sf far}\) and \(Y_{\sf far}\) in \({\mathbb {O}}\) (Figure 6).
Fig. 6.
Case \(\dagger\)-AW.J.1. There is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,c) \notin E(G)}\). Note that as \((v^*,c) \notin E(G)\), we have \((v^*,t) \notin E(G)\), and otherwise \(G[\lbrace v,v^*,c,t\rbrace ]\) would be an induced cycle on four vertices. All the neighbors of \(v^*\) on \(P({\mathbb {O}})\) must be consecutive. This together with the choice of \({\mathbb {F}}\) and \(v^*\) implies that one of (a) \(\lbrace t_\ell ,b_1\rbrace \cap N_G(v^*) =\emptyset\) or (b) \(\lbrace t_r,b_z\rbrace \cap N_G(v^*) =\emptyset\) must hold. Suppose that \(\lbrace t_r,b_z\rbrace \cap N_G(v^*) =\emptyset\) (the other case is symmetric). Let \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \(t_r, b_z \notin N_G(v^*)\) and \(N_G(v^*)\cap \lbrace v,b_{j-1},b_{j+1}\rbrace \ne \emptyset\). We note that e could possibly be equal to j. Let \(V^{\prime }=\lbrace t,c,v^*,t_r\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\). Observe that \(|V^{\prime }| \lt |V({\mathbb {O}})|\) since \(j \in [z] \setminus \lbrace 1, z\rbrace\). Moreover, \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\), which contradicts the choice of \({\mathbb {O}}\).
Note that if Case \(\dagger\)-AW.J.1 is not applicable, then for each \(u \in X_{\sf far}\cup Y_{\sf far}\) we have \((u,c) \in E(G)\). Next, we consider cases based on whether or not the following conditions are satisfied for a vertex \(u \in X_{\sf far}\cup Y_{\sf far}\):
Case \(\dagger\)-AW.J.2. If there is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,t) \in E(G)}\). We start by recalling the following. Since M is a 9-redundant solution and \({\mathbb {O}}\) is not covered by \(\mathcal {W}\), we have \(|M \cap V({\mathbb {O}})|\ge 10\), which implies that \(|V({\mathbb {O}})| \ge 10\). By the choice of \({\mathbb {F}}\) and the fact that \(2 \le j \le z-1\) (where \(v=b_j\)), we have at least four vertices in \(V(P({\mathbb {O}}))\) that are non-adjacent to \(v^*\). Moreover, by our assumption that there is no obstruction that is an induced cycle on at least four vertices, we have that all the neighbors of \(v^*\) in \(P({\mathbb {O}})\) must be consecutive. From the preceding discussions, we can conclude that at least one of \(\lbrace b_1,b_2,t_\ell \rbrace \cap N_G(v^*)= \emptyset\) or \(\lbrace b_{z-1},b_z,t_r\rbrace \cap N_G(v^*)= \emptyset\) must hold. Suppose that \(\lbrace b_{z-1},b_z,t_r\rbrace \cap N_G(v^*)= \emptyset\) holds (the other case is symmetric). We further consider the following subcases based on whether or not \(t_\ell \in N_G(v^*)\):
(A)
\(\boldsymbol {t_\ell \notin N_G(v^*)}\). Let \(s \in [j]\) such that \(b_s\) is the first vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \((t_\ell , v^*) \notin E(G)\) and \((v^*,v)\in E(G)\). Additionally, let \(e \in [z-2]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \((t_r, v^*), (b_z, v^*), (b_{z-1}, v^*) \notin E(G)\) and \((v^*,v)\in E(G)\). Notice that \(s \ne e,\) since by the construction of the sets \(X_{\sf far}\) and \(Y_{\sf far}\) we have that \(v^*\) is incident to v and at least one of the vertices in \(\lbrace b_{j-1}, b_{j+1}\rbrace\). Let \(V^{\prime }=\lbrace t,v^*\rbrace \cup \lbrace b_{s-1}, b_s, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\). Moreover, \(|V^{\prime }| \lt |V({\mathbb {O}})|\) since \(t_r, c, b_z \notin V^{\prime }\) and \(V^{\prime } \subseteq V({\mathbb {O}}) \cup \lbrace v^*\rbrace\).
(B)
\(\boldsymbol {t_\ell \in N_G(v^*)}\). Let \(e \in [z-2]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \((t_r, v^*), (b_z, v^*), (b_{z-1},v^*) \notin E(G)\) and \((v^*,v)\in E(G)\). Let \(V^{\prime }=\lbrace t,v^*,c, t_\ell \rbrace \cup \lbrace b_1, b_2, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\). Moreover, \(|V^{\prime }| \lt |V({\mathbb {O}})|\) since \(t_r, b_z \notin V^{\prime }\) and \(V^{\prime } \subseteq V({\mathbb {O}}) \cup \lbrace v^*\rbrace\).
Case \(\dagger\)-AW.J.3. There is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,t) \notin E(G)}\) and \(\boldsymbol {\lbrace b_{j-1}, b_{j+1}\rbrace }\)\(\boldsymbol {\subseteq N_G(v^*)}\). Notice that all the neighbors of \(v^*\) on \(P({\mathbb {O}})\) must be consecutive, and there are at least four vertices on \(P({\mathbb {O}})\) that are non-adjacent to \(v^*\). This follows from the facts that M is a 9-redundant solution, \({\mathbb {O}}\) is not covered by \(\mathcal {W}\), \(G-S\) has no obstructions that are induced cycles, and the choices of \({\mathbb {F}}\) and \(v^*\). From the preceding discussions, we can conclude that one of \(\lbrace t_\ell ,b_1\rbrace \cap N_G(v^*) =\emptyset\) or \(\lbrace t_r,b_z\rbrace \cap N_G(v^*) =\emptyset\) must hold. Suppose that \(\lbrace t_r,b_z\rbrace \cap N_G(v^*) =\emptyset\) (other case is symmetric). Let \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \(t_r, b_z \notin N_G(v^*)\) and \(\lbrace b_{j-1}, b_{j+1}\rbrace \subseteq N_G(v^*)\). Additionally, let \(s \in [z-1] \cup \lbrace 0\rbrace\) be the lowest integer such that \((v^*,b_s) \in E(G)\) (\(b_s\) could possibly be same as \(b_{j-1}\) or \(b_0 = t_\ell\)). Let \(V^{\prime }=\lbrace t,c,v^*,t_\ell ,t_r\rbrace \cup \lbrace b_1, b_2, \ldots , b_s\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is an induced \(\dagger\)-AW in \(G- S\), which does not contain v. Here, we rely on the fact that Case \(\dagger\)-AW.J.1 is not applicable, due to which we have \((v^*,c) \in E(G)\).
Case \(\dagger\)-AW.J.4. For all \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\), we have \(\boldsymbol {(v^*,t) \notin E(G)}\) and \(\boldsymbol {\lbrace b_{j-1}, b_{j+1}\rbrace \not\subseteq }\)\(\boldsymbol {N_G(v^*)}\). The non-applicability of Case \(\dagger\)-AW.J.1, \(\dagger\)-AW.J.2, and \(\dagger\)-AW.J.3 (together with the constructions of \(X_{\sf far}\) and \(Y_{\sf far}\)) imply that for each \(u \in X_{\sf far}\cup Y_{\sf far}\) we have \((u,c) \in E(G)\), \((u,t) \notin E(G)\), and \(|N_G(u) \cap \lbrace b_{j-1}, b_{j+1}\rbrace | =1\). Next, consider a vertex \(u^* \in X_{\sf far}\) and \(v^* \in Y_{\sf far}\). Let \(s \in [j-1] \cup \lbrace 0\rbrace\) such that \(b_s\) is the first vertex in \(P({\mathbb {O}})\) adjacent to \(u^*\), which exists since \((u^*,b_{j-1})\in E(G)\). Additionally, let \(e \in [z+1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) adjacent to \(v^*\), which exists since \((v^*,b_{j+1})\in E(G)\). Recall that \((u^*, b_{j-1}),(v^*, b_{j+1}) \in E(G)\) and \((u^*, b_{j+1}),(v^*, b_{j-1}) \notin E(G)\). Moreover, the neighbors of \(u^*\) and the neighbors of \(v^*\) in \(P({\mathbb {O}})\) must be consecutive vertices in \(P({\mathbb {O}})\), respectively. From the preceding discussions, we can conclude that \(s \ne e\). Now, we let \(V^{\prime }=\lbrace t,c,v^*,u^*\rbrace \cup \lbrace t_\ell , b_1, b_2, b_{s-1}, b_s\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z,t_r\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW (or a net) in \(G- S\) that does not contain v.
\(\mathbb {O}\) Is a \(\ddagger\)-AW
Let \(\mathbb {O}\) comprise of the base path \(\mathsf {base}({\mathbb {O}})=(b_1, b_2, \ldots , b_z)\), non-shallow terminals \(t_\ell\) and \(t_r\), shallow terminal t, and centers \(c_1\) and \(c_2\) (as in the definition in Section 2). Furthermore, let \(P({\mathbb {O}})=(t_\ell , b_1, b_2, \ldots , b_z, t_r)\), \(b_0=t_\ell\), and \(b_{z+1}=t_r\). Let \(\hat{M} = M \cap V(\mathbb {O})\), \(M^{\prime }\) be a subset of \(\hat{M}\) of size 9 such that \(\hat{M} \cap \lbrace c_1, c_2,t,t_\ell ,t_r,b_1,b_2,b_{z-1},b_z\rbrace \subseteq M^{\prime }\), and \({\mathbb {F}}=(M^{\prime }, M^{\prime } \cap N_G(v))\). Next, we define the sets, the vertices from which will be used to either construct an obstruction not containing v, an obstruction containing v but with (strictly) smaller size, or an obstruction with same number of vertices as \({\mathbb {O}}\) but containing more vertices from \(B_i\). Let \(L_{\sf far}=L^{{\mathbb {F}},i}_{\sf far}\setminus (S \cup V({\mathbb {O}}))\), \(L_{\sf cls}=L^{{\mathbb {F}},i}_{\sf cls}\setminus (S \cup V({\mathbb {O}}))\), \(R_{\sf far}=R^{{\mathbb {F}},i}_{\sf far}\setminus (S \cup V({\mathbb {O}}))\), and \(R_{\sf cls}=R^{{\mathbb {F}},i}_{\sf cls}\setminus (S \cup V({\mathbb {O}}))\). Notice that \(|V({\mathbb {O}}) \cap B_i| \le 4\), since no obstruction contains a clique of size 5 and \(G[B_i]\) is a clique. This together with the fact that \(v \notin H_i\) and \(|S| \le k\) implies that \(L_{\sf far},L_{\sf cls}, R_{\sf far},R_{\sf cls}\ne \emptyset\). Next, we consider cases depending on the role that v plays in \(\mathbb {O}\).
Suppose That v Is the Shallow Terminal. For a vertex \(u \in L_{\sf far}\cup R_{\sf far},\) we have \(\lbrace c_1,c_2\rbrace \cap N_G(u) \ne \emptyset\). This follows from Observation 5.1 and the fact that \((v,c_1), (v,c_2) \in E(G)\). Next, consider the following cases depending on the neighborhood of vertices in \(L_{\sf far}\cup R_{\sf far}\) in \({\mathbb {O}}\).
Case \(\ddagger\)-AW.S.1. There is \(\boldsymbol {v^* \in L_{\sf far}\cup R_{\sf far}}\) such that \(\boldsymbol {c_1,c_2 \in N_G(v^*)}\). We further consider subcases based on other neighbors (if any) of \(v^*\) in \({\mathbb {O}}\) (Figure 7):
(A)
\(\boldsymbol {|N_G(v^*) \cap V(P({\mathbb {O}}))| =0.}\) In this case, \(G[(V(\mathbb {O}) \setminus \lbrace v\rbrace) \cup \lbrace v^*\rbrace ]\) is a \(\ddagger\)-AW in \(G- S\).
(B)
\(\boldsymbol {|N_G(v^*) \cap V(P({\mathbb {O}}))| = 1.}\) If \((v^*, t_\ell)\in E(G),\) then \(G[\lbrace v^*,c_2,t_\ell ,b_1\rbrace ]\) is an induced cycle on four vertices. Analogous argument can be given when \((v^*, t_r)\in E(G)\). Therefore, we assume that \(N_G(v^*) \cap V(P({\mathbb {O}}))=\lbrace b_i\rbrace\), where \(i \in [z]\). If \(i \in [z] \setminus \lbrace 1,z\rbrace ,\) then \(G[\lbrace v^*,v,b_i,b_{i-1}, b_{i-2}, b_{i+1}, b_{i+2}\rbrace ]\) is a long claw in \(G- S\). If none of the preceding cases are applicable, then \(N_G(v^*) \cap V(P({\mathbb {O}}))\) is either \(\lbrace b_1\rbrace\) or \(\lbrace b_z\rbrace\). Suppose that \(N_G(v^*) \cap V(P({\mathbb {O}})) = \lbrace b_1\rbrace\) (the other case is symmetric), then \(G[\lbrace c_2,v,v^*,b_1,b_2,b_3, t_\ell \rbrace ]\) is a whipping top in \(G- S\).
(C)
\(\boldsymbol {|N_G(v^*) \cap V(P({\mathbb {O}}))| \ge 2.}\) If neighbors of \(v^*\) are not consecutive in the path \(P({\mathbb {O}}),\) then we can obtain an induced cycle on at least four vertices in \(G[\lbrace v^*\rbrace \cup V(P({\mathbb {O}}))]\), and therefore we assume that the neighbors of \(v^*\) in \(P({\mathbb {O}})\) are consecutive. By the construction of \(\mathbb {F}\) and \(v^*,\) we know that there are at least seven vertices in \(P({\mathbb {O}})\) that are non-adjacent to \(v^*\). From the preceding discussions, we can conclude that \(|\lbrace t_\ell ,t_r\rbrace \cap N_G(v^*)| \le 1\). Assume that \((v^*,t_r) \notin E(G)\) (the other case is symmetric). Next, we consider the following cases based on whether or not \((v^*,t_\ell) \in E(G)\):
(i) \(\boldsymbol {(v^*,t_\ell) \in E(G).}\) In this case, there exists \(e \in [z-2]\) such that \(b_e \in N_G(v^*)\) and \(b_{e+1} \notin N_G(v^*)\). Let \(V^{\prime }=\lbrace v,v^*,c_2,t_\ell \rbrace \cup \lbrace b_1, b_2, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW with \(|V^{\prime }| \lt |V({\mathbb {O}})|\).
(ii) \(\boldsymbol {(v^*,t_\ell) \notin E(G).}\) Let \(b_s\) and \(b_e\) be the first and the last vertex in \(P({\mathbb {O}})\) that are adjacent to \(v^*\), respectively. Notice that \(s \ne e\) (since \(|N_G(v^*) \cap V(P({\mathbb {O}}))| \ge 2\)), and \(\lbrace b_s, b_{s+1}, \ldots b_{e}, b_{e+1}\rbrace \subset \lbrace b_1,b_2, \ldots b_z\rbrace\). Let \(V^{\prime }=\lbrace v,v^*\rbrace \cup \lbrace b_{s-1}, b_{s}, b_{s+1}, \ldots , b_{e}, b_{e+1}\rbrace\). Observe that \(|V^{\prime }|\lt |V({\mathbb {O}})|\), and \(G[V^{\prime }]\) is a \(\dagger\)-AW.
Fig. 7.
Case \(\ddagger\)-AW.S.2. For all \(\boldsymbol {u \in L_{\sf far}\cup R_{\sf far}}\), we have \(\boldsymbol {|\lbrace c_1,c_2\rbrace \cap N_G(v^*)|=1}\). From Observation 5.1, we know that for each \(c^{\prime } \in \lbrace c_1, c_2\rbrace\), we have that one of \(L_{\sf far}\subseteq N_G(c^{\prime })\) or \(R_{\sf far}\subseteq N_G(c^{\prime })\) holds. Moreover, from our assumption that for each \(u \in L_{\sf far}\cup R_{\sf far}\) we have \(|\lbrace c_1,c_2\rbrace \cap N_G(v^*)|=1\), it cannot be the case that \(L_{\sf far}\subseteq N_G(c_1)\) and \(L_{\sf far}\subseteq N_G(c_2)\). Similarly, it cannot be the case that \(R_{\sf far}\subseteq N_G(c_1)\) and \(R_{\sf far}\subseteq N_G(c_2)\). From the preceding discussions, we can conclude that one of \(L_{\sf far}\subseteq N_G(c_1)\) and \(R_{\sf far}\subseteq N_G(c_2)\), or \(R_{\sf far}\subseteq N_G(c_1)\) and \(L_{\sf far}\subseteq N_G(c_2),\) holds. Suppose \(L_{\sf far}\subseteq N_G(c_1)\) and \(R_{\sf far}\subseteq N_G(c_2)\) (the other case is symmetric). Next, consider a vertex \(u^* \in L_{\sf far}\) and a vertex \(v^* \in R_{\sf far}\). By our assumption and non-applicability of Case \(\ddagger\)-AW.S.1, we have \((u^*,c_1),(v^*,c_2)\in E(G)\) and \((u^*,c_2),(v^*,c_1)\notin E(G)\). Moreover, \(u^*,v^* \in B_i,\) and therefore \((u^*,v^*) \in E(G)\). But then \(G[\lbrace u^*,v^*,c_1,c_2\rbrace ]\) is an induced cycle on four vertices.
Suppose \(\boldsymbol {v}\) Is One of the Centers. Suppose \(v=c_1\) (the other case is symmetric). From Observation 5.2, we know that at least one of \(N_G(t_r) \cap L_{\sf cls}= \emptyset\) or \(N_G(t_r) \cap R_{\sf cls}= \emptyset\) holds. Let \(X_{\sf cls}\in \lbrace L_{\sf cls}, R_{\sf cls}\rbrace\) be a set such that \(N_G(t_r) \cap X_{\sf cls}= \emptyset\). Consider a vertex \(v^* \in X_{\sf cls}\), and let \(b_s\) and \(b_e\) be the first and last vertex in the path \(P({\mathbb {O}})\) that are adjacent to \(v^*\), respectively. Since M is a 9-redundant solution and \({\mathbb {O}}\) is not covered by \(\mathcal {W}\), we have that \(|M \cap V({\mathbb {O}})| \ge 10\). This together with the choice of \({\mathbb {F}}\) and \(v^*\), and the fact that \(V(\mathsf {base}({\mathbb {O}})) \subseteq N_G(v)\), implies that \(b_s\) and \(b_e\) exist and are distinct. Moreover, from the preceding we can also conclude that \(|N_G(v^*) \cap V(\mathsf {base}({\mathbb {O}}))| \ge 5\). We also note that \(e \le z\) since \((v^*,t_r) \notin E(G)\). The neighbors of \(v^*\) in \(P({\mathbb {O}})\) must be consecutive, and otherwise we can obtain an induced cycle of length at least 4 that does not contain v. We further consider subcases based on whether or not \(t,c_2\in N_G(v^*)\) (Figure 8).
Fig. 8.
Case \(\ddagger\)-AW.C.1.\(\boldsymbol {t,c_2 \notin N_G(v^*)}\). Let \(V^{\prime }= \lbrace v^*,v,c_2,t,t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Notice that \(|V^{\prime }| \lt |V({\mathbb {O}})|\) since \(|N_G(v^*) \cap V(\mathsf {base}({\mathbb {O}}))| \ge 5\) and neighbors of \(v^*\) are consecutive. Moreover, \(G[V^{\prime }]\) is a \(\ddagger\)-AW or a tent, which is of strictly smaller size than \({\mathbb {O}}\), contradicting the choice of \({\mathbb {O}}\). Here, we crucially rely on the fact that \(t_r \notin N_G(v^*)\).
Case \(\ddagger\)-AW.C.2.\(\boldsymbol {t \notin N_G(v^*)}\) and \(\boldsymbol {c_2 \in N_G(v^*)}\). Let \(V^{\prime }=(V({\mathbb {O}}) \setminus \lbrace b_{s+1}, b_{s+2}, \ldots , b_{e-2},\)\(b_{e-1}\rbrace) \cup \lbrace v^*\rbrace\). Notice that \(|V^{\prime }| \lt |V({\mathbb {O}})|\) (since \(|N_G(v^*) \cap V(\mathsf {base}({\mathbb {O}}))| \ge 5\)) and \(G[V^{\prime }]\) is a \(\ddagger\)-AW.
Case \(\ddagger\)-AW.C.3.\(\boldsymbol {t \in N_G(v^*)}\) and \(\boldsymbol {c_2 \notin N_G(v^*)}\). Recall that \(N_G(v^*) \cap \lbrace b_1,b_2,\ldots , b_z\rbrace \ne \emptyset\). Consider a vertex \(b_j \in N_G(v^*) \cap \lbrace b_1,b_2,\ldots , b_z\rbrace\). The graph \(G[\lbrace v^*,t,c_2,b_j\rbrace ]\) is an induced cycle on fourvertices.
Case \(\ddagger\)-AW.C.4.\(\boldsymbol {t \in N_G(v^*)}\) and \(\boldsymbol {c_2 \in N_G(v^*)}\). We further consider the following subcases based on whether or not \((t_\ell ,v^*) \in E(G)\):
(A)
\(\boldsymbol {(t_\ell ,v^*) \notin E(G).}\) Let \(V^{\prime }=\lbrace t,v^*\rbrace \cup \lbrace b_{s-1}, b_{s}, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\) that does not contain v.
(B)
\(\boldsymbol {(t_\ell ,v^*) \in E(G).}\) Let \(V^{\prime }=\lbrace t,v^*,c_2,t_\ell \rbrace \cup \lbrace b_1, b_2, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\) that does not contain v.
Suppose \(\boldsymbol {v}\) Is One of the Non-Shallow Terminals. We consider the case when \(v=t_\ell\). By a symmetric argument, we can handle the case when \(v=t_r\). If \(c_2 \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf cls}\cup R_{\sf cls}\) we have \((u, c_2) \notin E(G)\) as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}}))=\emptyset\). Otherwise, \(c_2 \in \beta ({\mathbb {P}})\), and then using Observation 5.2 we obtain that at least one of \(L_{\sf cls}\cap N_G(c_2)=\emptyset\) or \(R_{\sf cls}\cap N_G(c_2)=\emptyset\) holds. Let \(X_{\sf cls}\in \lbrace L_{\sf cls}, R_{\sf cls}\rbrace\) be a set such that \(X_{\sf cls}\cap N_G(c_2)=\emptyset\). Similarly, if \(b_1 \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf far}\cup R_{\sf far}\) we have \((u, b_1) \in E(G)\) as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}}))=\emptyset\). Otherwise, \(b_1 \in \beta ({\mathbb {P}})\), and then using Observation 5.1 we obtain that at least one of \(L_{\sf far}\subseteq N_G(b_1)\) or \(R_{\sf far}\subseteq N_G(b_1)\) holds. Let \(Y_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(Y_{\sf far}\subseteq N_G(b_1)\). Next, we consider cases based on whether or not \(b_1 \in B_i\) (Figure 9).
Fig. 9.
Case \(\ddagger\)-AW.T.1.\(\boldsymbol {b_1 \in B_i}\). Consider a vertex \(v^*\in X_{\sf cls}\). Note that \((b_1, v^*) \in E(G)\) since \(b_1 \in B_i\), and \((v^*, c_2) \notin E(G)\), by the choice of \(v^*\). Additionally, \((v^*, t) \notin E(G),\) and otherwise \(G[\lbrace t,c_2,b_1,v^*\rbrace ]\) is an induced cycle on four vertices in \(G- S\). Recall that \(v^*\) fits the frame \(\mathbb {F}\) (and \((b_1,v^*) \in E(G)\)), and therefore there exists \(e \in [z-2]\) such that \(b_e \in N_G(v^*)\) and \(b_{e+1} \notin N_G(v^*)\). This together with the fact that neighbors of \(v^*\) in \(P({\mathbb {O}})\) are consecutive (otherwise, we obtain an induced cycle on at least 4 vertices not containing v) implies that \((v^*,t_r)\notin E(G)\). Next, we consider cases based on whether or not \((v^*,c_1) \in E(G)\):
(A)
\(\boldsymbol {(v^*,c_1) \in E(G).}\) Let \(V^{\prime }=\lbrace t,c_1,c_2,v^*,t_r\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\) not containing v.
(B)
\(\boldsymbol {(v^*,c_1) \notin E(G).}\) Let \(V^{\prime }=\lbrace t,c_1,v^*, t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\) not containing v.
Case \(\ddagger\)-AW.T.2.\(\boldsymbol {b_1 \notin B_i}\). Consider a vertex \(v^* \in Y_{\sf far}\cup \lbrace u \in X_{\sf cls}\mid (u,b_1) \in E(G)\rbrace\) and the following cases based on its neighborhood in \({\mathbb {O}}\):
(A)
\(\boldsymbol {(v^*,c_2) \notin E(G).}\) Notice that this case is the same as Case \(\ddagger\)-AW.T.1, and therefore we can obtain an obstruction in a similar way.
(B)
\(\boldsymbol {(v^*,c_1) \notin E(G).}\) Observe that \((v^*,t) \not\in E(G)\), and otherwise \(G[\lbrace v^*,b_1,c_1,t\rbrace ]\) is an induced cycleon four vertices in \(G - S\). Now, we can obtain an obstruction as in Case \(\ddagger\)-AW.T.1.B.
(C)
\(\boldsymbol {(v^*,c_1),(v^*,c_2) \in E(G).}\) We further consider the following cases based on the neighborhood of \(v^*\) in \(P({\mathbb {O}})\):
(i) There exists \(\boldsymbol {e \in [z] \setminus \lbrace 1\rbrace }\) such that \(\boldsymbol {(v^*,b_e) \in N_G(v^*)}\) and \(\boldsymbol {(v^*,b_{e+1}) \notin N_G(v^*)}\). Observe that by the choices of \({\mathbb {F}}\) and \(v^*\), we have \(e \lt z-1\). Consider the following cases based on whether or not \((t,v^*) \in E(G)\):
(a)
\(\boldsymbol {(t,v^*) \notin E(G).}\) Let \(V^{\prime }=\lbrace t,c_1,c_2,v^*,v,t_r\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\). Furthermore, either \(|V^{\prime }| \lt |V({\mathbb {O}})|\) or \(|V^{\prime }|= |V({\mathbb {O}})|\) and \(|V^{\prime } \cap B_i|\gt |V({\mathbb {O}}) \cap B_i|\). Here, we rely on the fact that \(b_1 \notin B_i\). In either case, we obtain a contradiction to the choice of \({\mathbb {O}}\).
(b)
\(\boldsymbol {(t,v^*) \in E(G).}\) Let \(V^{\prime }= \lbrace t,v^*,c_2,v\rbrace \cup \lbrace b_1, b_2, \ldots , b_e,b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\) and \(|V^{\prime }| \lt |V({\mathbb {O}})|\).
(ii) If (i) does not hold, then the only neighbors of \(\boldsymbol {v^*}\) in \(\boldsymbol {P({\mathbb {O}})}\) are \(\boldsymbol {b_1}\) and \(\boldsymbol {v}\). Consider the following cases based on whether or not \((t,v^*) \in E(G)\):
(a)
\(\boldsymbol {(t,v^*) \in E(G).}\) In this case, \(G[\lbrace v,v^*,t,c_2,b_1,b_2\rbrace ]\) is a tent.
(b)
\(\boldsymbol {(t,v^*) \notin E(G).}\) We consider a vertex \(u^* \in X_{\sf cls}\) to obtain the desired obstruction. Recall that from the construction of \(X_{\sf cls},\) we have \((u^*,c_2) \notin E(G)\). Moreover, by the premise of Case \(\ddagger\)-AW.T.2.C, we have \((v^*, c_2) \in E(G)\). From the preceding discussions, we can conclude that \((u^*,t) \notin E(G)\), as otherwise \(G[\lbrace u^*,v^*,c_2,t\rbrace ]\) is an induced cycle on four vertices. We assume that \((u^*,b_1) \notin E(G)\), and otherwise \(u^*\) would satisfy the premise of Case \(\ddagger\)-AW.T.2.A and we can obtain an obstruction using it. Additionally, \((u^*,b_j) \notin E(G)\), for each \(j \in [z] \setminus \lbrace 1\rbrace\), and otherwise \(G[\lbrace v,u^*\rbrace \cup \lbrace b_1, b_2, \ldots b_j\rbrace ]\) will contain an induced cycle on at least four vertices, which is an obstruction containing v with strictly less number of vertices than \({\mathbb {O}}\). Next, we consider the following cases depending on whether or not \((u^*,c_1) \in E(G)\):
\(\boldsymbol {(\alpha }\)) \(\boldsymbol {(u^*,c_1) \notin E(G).}\) Let \(V^{\prime }=\lbrace t,c_1,u^*, v^*, t_r\rbrace \cup \lbrace b_1,b_2, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\), which does not contain v.
\(\boldsymbol {(\beta }\)) \(\boldsymbol {(u^*,c_1) \in E(G).}\) Let \(V^{\prime }=\lbrace t,c_1,c_2,u^*, v^*, t_r\rbrace \cup \lbrace b_1,b_2, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\), which does not contain v.
Suppose \(\boldsymbol {v}\) Is \(\boldsymbol {b_1}\) or \(\boldsymbol {b_z}\). Suppose \(v=b_1\) (the other case is symmetric). If \(t_\ell \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf far}\cup R_{\sf far}\) we have \((u, t_\ell) \in E(G)\) as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}}))=\emptyset\). Otherwise, \(t_\ell \in \beta ({\mathbb {P}})\), and then at least one of \(L_{\sf far}\subseteq N_G(t_\ell)\) or \(R_{\sf far}\subseteq N_G(t_\ell)\) holds (see Observation 5.1). Let \(X_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(X_{\sf far}\subseteq N_G(t_\ell)\). Similarly, if \(b_2 \notin \beta ({\mathbb {P}}),\) then for each \(u \in L_{\sf far}\cup R_{\sf far}\) we have \((u, b_2) \in E(G)\) as it fits the frame \(\mathbb {F}\) and \(N_G(u) \setminus (M \cup \beta ({\mathbb {P}}))= N_G(v) \setminus (M \cup \beta ({\mathbb {P}}))=\emptyset\). Otherwise, \(b_2 \in \beta ({\mathbb {P}})\), and then at least one of \(L_{\sf far}\subseteq N_G(b_2)\) or \(R_{\sf far}\subseteq N_G(b_2)\) holds (see Observation 5.1). Let \(Y_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(Y_{\sf far}\subseteq N_G(b_2)\). Next, we consider cases depending on the neighborhood of vertices in \(X_{\sf far}\cup Y_{\sf far}\) in \({\mathbb {O}}\) (Figure 10).
Fig. 10.
Case \(\ddagger\)-AW.B.1. There is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {\lbrace t_\ell , b_2\rbrace \subseteq N_G(v^*)}\). There exists \(e \in [z-2]\) such that \(b_e \in N_G(v^*)\) and \(b_{e+1} \notin N_G(v^*)\). This follows from the choices of \({\mathbb {F}}\) and \(v^*\), and the facts that \((v^*, b_2) \in E(G)\) and \(v^*\) fits \(\mathbb {F}\). We assume that the neighbors of \(v^*\) in \(P({\mathbb {O}})\) are consecutive, as otherwise we can obtain an obstruction that is an induced cycle on at least four vertices. Next, we consider the subcases based on whether or not \((v^*,c_1),(v^*,c_2),(v^*,t) \in E(G)\):
(A)
\(\boldsymbol {(v^*,c_2) \in E(G), (v^*,t) \in E(G).}\) Let \(V^{\prime }=\lbrace t,c_2,v^*,t_\ell \rbrace \cup \lbrace b_1,b_2, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW such that \(|V^{\prime }|\lt |V({\mathbb {O}})|\).
If Case \(\ddagger\)-AW.B.1.A is not applicable, then \((v^*,c_2) \notin E(G)\) or \((v^*,t) \notin E(G)\) must hold.
(B)
\(\boldsymbol {(v^*,t) \notin E(G).}\) We consider the following cases:
(i) \(\boldsymbol {(v^*,c_1) \notin E(G).}\) Let \(V^{\prime }=\lbrace t,c_1,v^*,t_r\rbrace \cup \lbrace b_e,b_{e+1}, \ldots b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G-S\) not containing v.
(ii) \(\boldsymbol {(v^*,c_1) \in E(G).}\) Let \(V^{\prime }=\lbrace t,c_1,c_2, v^*,t_r, t_\ell \rbrace \cup \lbrace b_e,b_{e+1} \ldots b_z\rbrace\). Observe that \(G[V^{\prime }]\) contains a \(\ddagger\)-AW not containing v, which is present in \(G - S\). We note that such an obstruction can be found both when \((v^*,c_2) \in E(G)\) and when \((v^*,c_2) \notin E(G)\).
(C)
\(\boldsymbol {(v^*,c_2) \notin E(G).}\) Since Case \(\ddagger\)-AW.B.1.B is not applicable, we can assume that \((v^*,t) \in E(G)\). But then \(G[\lbrace v^*,b_2,c_2,t\rbrace ]\) is a cycle on four vertices.
Case \(\ddagger\)-AW.B.2. For all \(\boldsymbol {u \in X_{\sf far}\cup Y_{\sf far}}\), we have \(\boldsymbol {\lbrace t_\ell , b_2\rbrace \not\subseteq N_G(u)}\). Furthermore, by the construction of \(X_{\sf far}\) and \(Y_{\sf far},\) we know that \(X_{\sf far}\subseteq N_G(t_\ell)\), \(Y_{\sf far}\subseteq N_G(b_2)\), and \(X_{\sf far}, Y_{\sf far}\ne \emptyset\). Hence, for any pair of vertices \(u^* \in X_{\sf far}\) and \(v^* \in Y_{\sf far}\), we have that \((u^*,t_\ell),(v^*, b_2) \in E(G)\) and \((u^*,b_2),(v^*, t_\ell) \notin E(G)\) (since Case \(\ddagger\)-AW.B.1 is not applicable). Next, we consider cases based on whether or not t and \(c_2\) are adjacent to vertices in \(X_{\sf far}\cup Y_{\sf far}\):
(A)
Consider the case when there is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,c_1) \notin E(G)}\). In this case, \((v^*,t) \notin E(G)\), and otherwise we obtain an induced cycle \(G[\lbrace v^*,v,c_1,t\rbrace ]\) on four vertices. Let \(e \in [z-2]\) such that \(b_e\) is the last vertex in \(\mathsf {base}({\mathbb {O}})\) that is adjacent to \(v^*\). Let \(V^{\prime }=\lbrace t,c_1,v^*, t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Notice that \(G[V^{\prime }]\) is a \(\dagger\)-AW that excludes v.
Hereafter, we assume that for each \(u \in X_{\sf far}\cup Y_{\sf far},\) we have \((u,c_1) \in E(G)\).
(B)
Consider the case when there is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,c_2) \notin E(G)}\). In this case, \((v^*,t) \notin E(G)\), and otherwise \(G[v^*,t,c_2,v]\) is a cycle on four vertices. Let \(e \in [z-2]\) such that \(b_e\) is the last vertex in \(\mathsf {base}({\mathbb {O}})\) that is adjacent to \(v^*\). Let \(V^{\prime }=\lbrace t,c_1,c_2,v^*, t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Notice that \(G[V^{\prime }]\) is a \(\ddagger\)-AW that has either fewer vertices than \({\mathbb {O}}\) or has the same number of vertices as \({\mathbb {O}}\) but has more vertices from \(B_i\) (than \({\mathbb {O}}\) has from \(B_i\)). Here, we rely on the fact that \(t_\ell \notin B_i\), which is ensured by the fact that \(Y_{\sf far}\ne \emptyset\) and \(Y_{\sf far}\cap N_G(t_\ell) = \emptyset\).
Hereafter, we will assume that for each \(u \in X_{\sf far}\cup Y_{\sf far}\) we have \(c_1,c_2 \in N_G(u)\).
(C)
If there is \(\boldsymbol {u^* \in X_{\sf far}}\) such that \(\boldsymbol {(u^*,t) \in E(G)}\). Recall that \((u^*,t_\ell) \in E(G)\) and \((u^*,b_2) \not\in E(G)\). In this case, \(G[\lbrace t,u^*,c_2,t_\ell ,v,b_2\rbrace ]\) is a tent.
(D)
If there is \(\boldsymbol {v^* \in Y_{\sf far}}\) such that \(\boldsymbol {(v^*,t) \in E(G)}\). Recall that,\((v^*,b_2) \in E(G)\) and \((v^*,t_\ell) \not\in E(G)\). Let \(e \in [z-2]\) such that \(b_e\) is the last vertex in \(\mathsf {base}({\mathbb {O}})\) that is adjacent to \(v^*\). Note that \(e \ge 2\) as \(v^*\in Y_{\sf far}\subseteq N_G(b_2)\). Let \(V^{\prime } = \lbrace t, v^*, t_\ell , b_{e+1}\rbrace \cup \lbrace v, b_3, \ldots , b_e\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G - S\) with strictly fewer vertices than \({\mathbb {O}}\), as we (at least) exclude \(c_1, c_2\) and include \(v^*\).
(E)
Consider a vertex \(\boldsymbol {u^* \in X_{\sf far}}\) and a vertex \(\boldsymbol {v^* \in Y_{\sf far}}\). Since all the previous cases are not applicable, therefore \((u^*,c_1),(u^*,c_2),(v^*,c_1),(v^*,c_2) \in E(G)\), and \((u^*,t),(v^*,t) \notin E(G)\). Recall that neighbors of \(u^*,v^*\) in \(P({\mathbb {O}})\) are consecutive. Furthermore, \((v^*,t_\ell) \not\in E(G)\) and there is no \(b_j\) adjacent to \(u^*\), where \(j \ge 2\). Let \(e \in [z-2]\) such that \(b_e\) is the last neighbor of \(v^*\) in \(P({\mathbb {O}})\). Now, let \(V^{\prime }=\lbrace t_\ell , u^*, v^*,c_1, c_2, t\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z, t_r\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\) that does not contain v.
Suppose \(\boldsymbol {v=b_j}\), Where \(\boldsymbol {j \in [z] \setminus \lbrace 1, z\rbrace }\). Let \(X_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(X_{\sf far}\subseteq N_G(b_{j-1})\) and \(Y_{\sf far}\in \lbrace L_{\sf far}, R_{\sf far}\rbrace\) be a set such that \(Y_{\sf far}\subseteq N_G(b_{j+1})\). The existence of \(X_{\sf far}\) and \(Y_{\sf far}\) is guaranteed from Observation 5.1. Recall that \(|M^{\prime }| = 9\). Thus, \(|V(P({\mathbb {O}}))\cap M^{\prime }| \ge 6\), and therefore v must have at least four non-neighbors in \(V(P({\mathbb {O}})) \cap M^{\prime }\). From the preceding, we can conclude that one of \(|(\lbrace t_\ell \rbrace \cup \lbrace b_1, b_2, \ldots , b_{j-2}\rbrace)\cap (M^{\prime }\setminus N_G(v))|\ge 2\) or \(|(\lbrace t_r\rbrace \cup \lbrace b_{j+2}, b_{j+3}, \ldots , b_z\rbrace)\cap (M^{\prime }\setminus N_G(v))|\ge 2\) holds. Assume that \(|(\lbrace t_r\rbrace \cup \lbrace b_{j+2}, b_{j+3}, \ldots , b_z\rbrace)\cap (M^{\prime }\setminus N_G(v))|\ge 2\) holds (the other case is symmetric). For each \(u \in X_{\sf far}\cup Y_{\sf far}\), the neighbors of u in \(P({\mathbb {O}})\) must be consecutive, and otherwise we can obtain an induced cycle on at least four vertices. From the preceding discussions, together with the facts that \((u,v) \in E(G)\) and u fits \({\mathbb {F}}\), we can conclude that \(\lbrace t_r,b_z\rbrace \cap N_G(u)=\emptyset\). Here, we rely on our assumption that \(|(\lbrace t_r\rbrace \cup \lbrace b_{j+2}, b_{j+3}, \ldots , b_z\rbrace)\cap (M^{\prime }\setminus N_G(v))|\ge 2\). We consider cases based on the neighborhood of vertices in \(X_{\sf far}\cup Y_{\sf far}\) in \({\mathbb {O}}\) (Figure 11).
Fig. 11.
Case \(\ddagger\)-AW.J.1. If there is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,c_1) \notin E(G)}\). Note that if \((v^*,c_1) \notin E(G),\) then \((v^*,t) \notin E(G)\), and otherwise \(G[\lbrace v,v^*,c_1,t\rbrace ]\) is a cycle on four vertices. Additionally, the neighbors of \(v^*\) in \(P({\mathbb {O}})\) must be consecutive, and otherwise we can obtain an induced cycle on at least four vertices. Since \(\lbrace t_r,b_z\rbrace \cap N_G(v^*)=\emptyset\) and \((v,v^*) \in E(G)\), there exists \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that adjacent to \(v^*\). Let \(V^{\prime }=\lbrace t,c_1,v^*,t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW with strictly fewer vertices than \({\mathbb {O}}\), as we (at least) exclude \(c_2,t_\ell ,b_1\) and include \(v^*\).
Case \(\ddagger\)-AW.J.2. If there is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,c_2) \notin E(G)}\). Since Case \(\ddagger\)-AW.J.1 is not applicable, we can assume that \((v^*,c_1) \in E(G)\). Note that if \((v^*,c_2) \notin E(G),\) then \((v^*,t) \notin E(G)\), and otherwise \(G[\lbrace v,v^*,c_2,t\rbrace ]\) is a cycle on four vertices. Additionally, the neighbors of \(v^*\) in \(P({\mathbb {O}})\) must be consecutive. Let \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \(\lbrace t_r, b_z\rbrace \cap N_G(v^*)=\emptyset\) and \((v,v^*) \in E(G)\). Let \(V^{\prime }=\lbrace t,c_1,c_2,v^*,t_r\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW (or a net) with strictly fewer vertices than \({\mathbb {O}}\), as we (at least) exclude \(t_\ell ,b_1\) and include \(v^*\).
Note that if Cases \(\ddagger\)-AW.J.1 and \(\ddagger\)-AW.J.2 are not applicable, then for each \(u \in X_{\sf far}\cup Y_{\sf far}\) we have \((u,c_1), (u,c_2) \in E(G)\). Moreover, by our assumption, we have \(N_G(u)\cap \lbrace t_r,b_z\rbrace =\emptyset\). The cases we consider next are based on whether or not the following conditions are satisfied for a vertex \(u \in X_{\sf far}\cup Y_{\sf far}\):
Case \(\ddagger\)-AW.J.3. If there is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,t) \in E(G)}\). We further consider the following subcases based on whether or not \(t_\ell \in N_G(v^*)\):
(A)
\(\boldsymbol {t_\ell \not\in N_G(v^*).}\) Let \(s \in [j]\) such that \(b_s\) is the first vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \((t_\ell , v^*) \notin E(G)\) and \((v^*,v)\in E(G)\). Additionally, let \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \(\lbrace t_r,b_z\rbrace \cap N_G(v^*)=\emptyset\) and \((v^*,v)\in E(G)\). Notice that \(s \ne e,\) since by the construction of the sets \(X_{\sf far}\) and \(Y_{\sf far}\) we have that \(v^*\) is incident to v and at least one of the vertices in \(\lbrace b_{j-1}, b_{j+1}\rbrace\). Let \(V^{\prime }=\lbrace t,v^*\rbrace \cup \lbrace b_{s-1}, b_s, \ldots , b_e, b_{e+1}\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\dagger\)-AW in \(G- S\) with \(|V^{\prime }| \lt |V({\mathbb {O}})|\). Here, we rely on the fact that \(e \le z-1\).
(B)
\(\boldsymbol {t_\ell \in N_G(v^*).}\) Let \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \(\lbrace t_r,b_z\rbrace \cap N_G(v^*)=\emptyset\) and \((v^*,v)\in E(G)\). Let \(V^{\prime }=\lbrace t,v^*,c_2, t_\ell \rbrace \cup \lbrace b_1, b_2, \ldots , b_e, b_{e+1}\rbrace\) is a \(\ddagger\)-AW in \(G- S\). Moreover, \(|V^{\prime }| \lt |V({\mathbb {O}})|\) since \(t_r, c_1 \notin V^{\prime }\) and \(V^{\prime } \subseteq V({\mathbb {O}}) \cup \lbrace v^*\rbrace\).
Case \(\ddagger\)-AW.J.4. If there is \(\boldsymbol {v^* \in X_{\sf far}\cup Y_{\sf far}}\) such that \(\boldsymbol {(v^*,t) \notin E(G)}\) and \(\boldsymbol {\lbrace b_{j-1}, b_{j+1}\rbrace }\)\(\boldsymbol {\subseteq N_G(v^*)}\). Notice that all the neighbors of \(v^*\) on \(P({\mathbb {O}})\) must be consecutive. Let \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \(\lbrace t_r,b_z\rbrace \cap N_G(v^*)=\emptyset\) and \((v^*,v)\in E(G)\). Additionally, let \(s \in [z-1] \cup \lbrace 0\rbrace\) be the lowest integer such that \((v^*,b_s) \in E(G)\) (\(b_s\) could possibly be same as \(b_{j-1}\) or \(b_0 = t_\ell\)). Let \(V^{\prime }=\lbrace t,c_1,c_2,v^*,t_r\rbrace \cup \lbrace b_1, b_2, \ldots , b_s\rbrace \cup \lbrace b_e,b_{e+1}, \ldots , b_z\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\) that does not contain v.
Case \(\ddagger\)-AW.J.5. For all \(\boldsymbol {u \in X_{\sf far}\cup Y_{\sf far}}\), we have \(\boldsymbol {c_1,c_2 \in N_G(u)}\), \(\boldsymbol {(u,t) \notin E(G)}\), and \(\boldsymbol {\lbrace b_{j-1},}\)\(\boldsymbol {b_{j+1}\rbrace \not\subseteq N_G(u)}\). Additionally, we have \(X_{\sf far}\subseteq N_G(b_{j-1})\) and \(Y_{\sf far}\subseteq N_G(b_{j+1})\). Next, consider a vertex \(u^* \in X_{\sf far}\) and a vertex \(v^* \in Y_{\sf far}\). Let \(s \in [j-1] \cup \lbrace 0\rbrace\) such that \(b_s\) is the first vertex in \(P({\mathbb {O}})\) that is adjacent to \(u^*\), which exists since \((u^*,b_{j-1})\in E(G)\). Additionally, let \(e \in [z-1]\) such that \(b_e\) is the last vertex in \(P({\mathbb {O}})\) that is adjacent to \(v^*\), which exists since \((t_r, v^*), (b_z, v^*) \notin E(G)\) and \((v^*,b_{j+1})\in E(G)\). Notice that \(s \ne e\). Let \(V^{\prime }=\lbrace t,c_1,c_2,v^*,u^*\rbrace \cup \lbrace t_\ell , b_1, b_2, b_{s-1}, b_s\rbrace \cup \lbrace b_e, b_{e+1}, \ldots , b_z,t_r\rbrace\). Observe that \(G[V^{\prime }]\) is a \(\ddagger\)-AW in \(G- S\) that does not contain v.
We have exhaustively considered all the cases and obtained a desired type of obstruction for each of the cases. This concludes the proof of Lemma 5.3.
6 Bounding the Length of A Clique Path
Let us first recall the various sets we are dealing with, with respect to the instance \((G,k)\) of IVD:
•
A \((k+2)\)-necessary family \({\mathcal {W}}\subseteq 2^{M}\) along with a solution M that is 9-redundant with respect to \(\mathcal {W}\) (see Lemma 3.2).
•
Every set in \({\mathcal {W}}\) has size at least 2 (see Reduction Rule 3.1).
•
\(\mathcal {C}\) is the set of connected components of \(G-M\), \(\mathcal {D}\) is the set of connected components in \(\mathcal {C}\) that are modules, and \(\overline{\mathcal {D}}={\mathcal {C}}\setminus {\mathcal {D}}\). We know that \(|V({\mathcal {D}})|\le k^{\mathcal {O}(1)}\) (see Lemma 4.3 Reduction Rule 4.2, and Observation 4.5) and \(|\overline{\mathcal {D}}|\le k^{\mathcal {O}(1)}\) (see Observation 4.2).
•
Each component in \(\mathcal {D}\) has at most \(k+1\) vertices (see Reduction Rule 4.3). The preceding together with Lemma 5.4 implies that every maximal clique (and hence every clique) in \(G-M\) has size bounded by \(\eta\), where \(\eta = 2^{10}\cdot 4(k+5){|M| \choose 10}\).
Let us now turn to the problem of bounding the sizes of non-module components. Observe that to bound this, it is sufficient to “bound the length of the clique path” of a non-module component. This together with the fact that each maximal clique is bounded will lead to the desired result. Our approach mirrors that of other works [3, 36] but also requires additional structural observations corresponding to interval graphs and its obstructions [8, 28]. Each non-module component is a clique path in \(G - M\).
Let \(\mathbb {K}=(K,\beta)\) be a clique path of a non-module component C, where K is the path \((x_1,x_2, \ldots , x_t)\), and for each \(i \in [t]\) we let \(B_i=\beta (x_i)\). (In the remainder of this section, we will be working with this fixed clique path \(\mathbb {K}\) and the component C.) We will refer to the sets \(B_i\), \(1\le i\le t\), as the bags in \(\mathbb {K}\). We will assume that for any two distinct bags \(B,B^{\prime }\) in \(\mathbb {K}\), neither \(B \subseteq B^{\prime }\) nor \(B^{\prime } \subseteq B\). Any bag \(B_i\) in the clique path \(\mathbb {K}\) has at most \(\eta =2^{10}\cdot 4(k+5){|M| \choose 10}\) vertices (because every maximal clique in \(G-M\) has size bounded by \(\eta\), by Lemma 5.4). We let \(\beta (\mathbb {K}) = \cup _{i=1}^t \beta (x_i)\). Furthermore, for a subpath \(K^{\prime }\) of K, by \(\mathbb {K}^{\prime }=(K^{\prime },\beta ^{\prime })\) we denote the sub-clique path induced by \(K^{\prime }\). In other words, for \(x\in V(K^{\prime })\), \(\beta ^{\prime }(x)=\beta (x)\). Moreover, by \(\beta (\mathbb {K}^{\prime }),\) we denote the set \(\cup _{x \in V(K^{\prime })} \beta (x)\). Note that there is a vertex in M that has a neighbor as well as a non-neighbor in C.
In this section, we consider the problem of reducing the number of bags in \(\mathbb {K}\). Toward our goal, we will devise a collection of “marking schemes” that mark some polynomially (in k) many bags in \(\mathbb {K}\) such that the obstructions are “well behaved” in the region between any two consecutive marked bags. In particular, our marking schemes ensure that if any obstruction intersects an unmarked region of the clique path, then the intersection is an induced path. Then, we design reduction rules that “preserve” a minimum separator of the unmarked region. More precisely, we identify an irrelevant vertex or an irrelevant edge, then delete it or contract it in the graph. The correctness of these reduction rules follows from the structural properties ensured by the marking schemes.
Let us now define some notations that will be required in this section. Note that these notations apply to \(\mathbb {K}=(K,\beta)\) as well as any sub-clique path of it. We fix an ordering (from left to right) of the bags of \(\mathbb {K}\), which is given by the path K of the clique path \(\mathbb {K}\). We will maintain a set of bags \({\mathcal {B}}_{\mathsf {Marked}}\) in \(\mathbb {K}\), which we will call marked bags. Initially, \({\mathcal {B}}_{\mathsf {Marked}}=\emptyset\), and we will add some carefully chosen bags in \(\mathbb {K}\) to it as we proceed:
(1)
For two bags \(B_i\) and \(B_j\) in \(\mathbb {K}\), \(1 \le i \le j \le t\), by \(\mathbb {K}[B_i,B_j]=(K^{\prime }, \beta ^{\prime })\) we denote the sub-clique path of \(\mathbb {K}\) between \(B_i\) and \(B_j\) (including \(B_i\) and \(B_j\)).
(2)
For a sub-clique path \(\mathbb {K}^{\prime }\) of \(\mathbb {K}\), \({\mathsf {B_{left}}}(\mathbb {K}^{\prime })\) and \({\mathsf {B_{right}}}(\mathbb {K}^{\prime })\) denote the leftmost bag and the rightmost bag of \(\mathbb {K}^{\prime }\), respectively. Observe that \(\mathbb {K}^{\prime } = \mathbb {K}[{\mathsf {B_{left}}}(\mathbb {K}^{\prime }), {\mathsf {B_{right}}}(\mathbb {K}^{\prime })]\). All other bags of \(\mathbb {K}^{\prime }\), except \({\mathsf {B_{left}}}(\mathbb {K}^{\prime })\) and \({\mathsf {B_{right}}}(\mathbb {K}^{\prime }),\) are called interior bags of \(\mathbb {K}^{\prime }\).
(3)
For a sub-clique path \(\mathbb {K}^{\prime }\) of \(\mathbb {K}\), let \(\mathsf {C}(\mathbb {K}^{\prime }) = {\mathsf {B_{left}}}(\mathbb {K}^{\prime }) \cap {\mathsf {B_{right}}}(\mathbb {K}^{\prime })\) and \(\mathsf {I}(\mathbb {K}^{\prime }) = \beta (\mathbb {K}^{\prime }) \setminus ({\mathsf {B_{left}}}(\mathbb {K}^{\prime }) \cup {\mathsf {B_{right}}}(\mathbb {K}^{\prime }))\). Here, ‘\(\mathsf {C}\)’ stands for “common” and ‘\(\mathsf {I}\)’ stands for “internal.”
(4)
We say that a vertex \(v \in \beta (\mathbb {K})\) is a marked vertex if there is a marked bag that contains it, and otherwise it is an unmarked vertex.
(5)
Consider a collection of bags \(\mathcal {B}^\star\). We say that two distinct bags \(B, B^{\prime } \in \mathcal {B}^\star\) are consecutive if \(\mathbb {K}[B,B^{\prime }]\) contains no other bags in \(\mathcal {B}^\star\) except for B and \(B^{\prime }\).
(6)
We say that two distinct bags \(B,B^{\prime }\) in \(\mathbb {K}\) are adjacent if there is no other bag that lies between them—that is, \(\mathbb {K}[B,B^{\prime }]\) has only two bags, namely B and \(B^{\prime }\).
(7)
For a bag B in \(\mathbb {K}\), \(B^{-1}\) and \(B^{+1}\) denote the bags (if they exist) adjacent to B on its left and right, respectively.
6.1 Partition into Manageable Clique Paths
In this section, we partition the clique path \(\mathbb {K}\) into a collection of so-called “manageable clique paths,” which are well structured with respect to the set M. We will construct our first set of marked bags, denoted by \({\mathcal {B}}_{\mathsf {Marked}}(I)\), based on the edges between the vertices in \(\beta (\mathbb {K})\) and M. Let us initialize \({\mathcal {B}}_{\mathsf {Marked}}(I)\) as the set containing the first and the last bags of \(\mathbb {K}\). We begin by stating a property of interval graphs, which will be useful later.
The preceding observation follows from the definition of interval graphs and their interval representation [28]. In particular, statement (b) follows from the observation that an interval representation of \(H/(u,v)\) can be obtained by taking an interval representation of H and “merging” the intervals of u and v.
In the following, we will define (auxiliary) graphs that will be helpful in obtaining some useful bags in \(\mathbb {K}\). To this end, consider a vertex \(m \in M\). Let \(H_m\) be the bipartite graph with vertex bipartition \(N_G(m) \cap \beta (\mathbb {K})\) and \(\beta (\mathbb {K}) \setminus N_G(m)\), where \(u\in N_G(m) \cap \beta (\mathbb {K})\) and \(v \in \beta (\mathbb {K}) \setminus N_G(m)\) are adjacent in \(H_m\) if and only if \((u,v) \in E(G)\). Next, we prove the following lemma about the graph \(H_m\). (Recall that \(\eta\) is an upper bound on the size of any clique in \(G-M\).)
For each \(m \in M\), we compute a maximum matching \(Y_m\) in the graph \(H_m\). Then, for each edge in \(Y_m,\) we pick a bag in \(\mathbb {K}\) that contains this edge and add it to \({\mathcal {B}}_{\mathsf {Marked}}(I)\). Let us observe that we have added at most \(2\eta |M|\) bags to \({\mathcal {B}}_{\mathsf {Marked}}(I)\). Before proceeding further, we will add some more bags to \({\mathcal {B}}_{\mathsf {Marked}}(I)\) that give us some additional structural properties. To this end, we state the following observation, which will be useful in designing the following marking scheme for bags in \(\mathbb {K}\).
Next, consider (distinct) \(m_1,m_2 \in M\) such that \(\lbrace m_1,m_2\rbrace \notin {\mathcal {W}}\), \((m_1,m_2) \notin E(G)\), and \((N_G(m_1) \cap N_G(m_2)) \setminus M \ne \emptyset\). Let \(B(m_1,m_2)\) be a bag in \(\mathbb {K}\) such that \((N_G(m_1)\cap N_G(m_2))\cap \beta (\mathbb {K}) \subseteq B(m_1,m_2)\). We note that the existence of \(B(m_1,m_2)\) is guaranteed from Observation 6.3. We add \(B(m_1,m_2)\) to the set \({\mathcal {B}}_{\mathsf {Marked}}(I)\). We are now ready to state our first bag-marking scheme.
Marking Scheme I. Add all the bags in \({\mathcal {B}}_{\mathsf {Marked}}(I)\) to \({\mathcal {B}}_{\mathsf {Marked}}\).
Note that \(|{\mathcal {B}}_{\mathsf {Marked}}(I)|\) is at most \(2\eta |M|+|M|^2+2\). This bound is obtained because(i) \({\mathcal {B}}_{\mathsf {Marked}}(I)\) contains the first and last bags of \(\mathbb {K}\), (ii) at most \(2\eta\) bags in \(\mathbb {K}\) were added corresponding to the matching \(Y_m\) for each \(m \in M\) (and \(H_m\)), and (iii) for (distinct) \(m_1,m_2 \in M\), such that \(\lbrace m_1,m_2\rbrace \notin {\mathcal {W}}\) and \((m_1,m_2) \notin E(G)\), we added a bag to \({\mathcal {B}}_{\mathsf {Marked}}(I)\). Thus, using Marking Scheme I, we have marked at most bags in \(\mathbb {K}\). Here, we used the fact that \(\eta \ge |M|\).
Next, we state an observation regarding vertices that are not present in any bag in \({\mathcal {B}}_{\mathsf {Marked}}(I)\), which will be useful later. We note that this observation is quite similar to Observation 4.11 of Section 4.
Let \(B_\ell , B_r \in {\mathcal {B}}_{\mathsf {Marked}}(I)\) be two consecutive marked bags in \(\mathbb {K}\). We define the graph \(G[B_\ell ,B_r]\) to be the graph induced on the vertices appearing in the sub-clique path \(\mathbb {K}[B_\ell ,B_r]\) excluding the vertices in \(B_\ell\) and \(B_r\). In other words, \(G[B_\ell ,B_r]=G[V[B_\ell ,B_r]],\) where \(V[B_\ell ,B_r]=\beta (\mathbb {K}[B_\ell ,B_r]) \setminus (B_\ell \cup B_r)\). Note that although \(G[\beta (\mathbb {K}[B_\ell ,B_r])]\) is a connected subgraph of G, \(G[B_\ell ,B_r]\) need not be a connected graph. We refer to a connected component of \(G[B_\ell ,B_r]\) as an obtruded component of\(\mathbb {K}[B_\ell ,B_r]\). We extend this definition to say that an induced subgraph H of \(G[\beta (\mathbb {K})]\) is an obtruded component of \(\mathbb {K}\) if there are consecutive marked bags \(B_\ell ,B_r \in {\mathcal {B}}_{\mathsf {Marked}}(I)\) such that H is an obtruded component of \(\mathbb {K}[B_\ell ,B_r]\). We remark the following regarding vertices of \(\mathbb {K}\) outside \(\cup _{B \in {\mathcal {B}}_{\mathsf {Marked}}(I)}B\).
In the following, we prove a property regarding the obtruded components of \(\mathbb {K}\).
Let us fix a pair of consecutive marked bags \(B_\ell , B_r\in {\mathcal {B}}_{\mathsf {Marked}}(I)\) and consider the obtruded components of \(\mathbb {K}[B_\ell ,B_r]\). Note that Lemma 6.6 can be interpreted as follows. Any obtruded component of \(\mathbb {K}[B_\ell , B_r]\) is a “module with respect to \(M.\)” The following lemma shows that all but at most \(4\eta\) of these obtruded components are actually modules in the graph G.
Let us note another useful property of the obtruded components.
The obtruded components of \(\mathbb {K}[B_\ell , B_r]\) can be divided into two groups, those that are modules in G and the rest. We will first consider the problem of reducing the module obtruded components.
6.1.1 Handling Obtruded Modules of \(\mathbb {K}\).
In this section, our goal will be to upper bound the total number of vertices across all bags B that have that following property: B has non-empty intersection with at least one obtruded component of \(\mathbb {K}\) that is a module in G. First, we will only reduce the total number of vertices in the obtruded components of \(\mathbb {K}\) that are modules in G. To achieve this, we will employ Lemma 4.3 (see Section 4). To this end, consider a pair of consecutive marked bags \(B_\ell , B_r\) in \({\mathcal {B}}_{\mathsf {Marked}}(I)\). Let \(\widehat{\mathcal {C}}\) be the set of obtruded components of \(\mathbb {K}[B_\ell , B_r]\) that are modules in G. Note that by the construction, \(\widehat{\mathcal {C}}\) is the set of connected components in \(G[B_\ell ,B_r]=G[V[B_\ell ,B_r]]\) (where \(V[B_\ell ,B_r]=\beta (\mathbb {K}[B_\ell ,B_r]) \setminus (B_\ell \cup B_r)\)) that are modules. Thus, from the definition of a path decomposition, it follows that \(\widehat{\mathcal {C}}\) is a subcollection of the collection of all the connected components in \(G-(M\cup B_\ell \cup B_r)\) that are modules. Moreover, note that \(|M \cup B_\ell \cup B_r| \le |M| + 2\eta\).
Now we apply Lemma 4.3 for \(\widehat{M} = B_\ell \cup B_r\), and obtain a subset Z of \(V(\widehat{\mathcal {C}})\) of size at most \(8(k+1)^3(|M| + 2\eta)^{10}\) such that the following holds:
If \(S \subseteq V(G)\) of size at most k and \({\mathbb {O}}\) is an obstruction in \(G-S\) that is not covered by \(\mathcal {W}\), then there is another obstruction \({\mathbb {O}}^{\prime }\) in \(G-S\) such that \({\mathbb {O}}^{\prime } \cap (V(\widehat{\mathcal {C}}) \setminus Z) = \emptyset\).
This gives the following reduction rule.
If Reduction Rule 6.1 is not applicable, then we can assume that the (total) number of vertices in \(V(\widehat{\mathcal {C}})\) is bounded by \(8(k+1)^3(|M| + 2\eta)^{10}\). In the following lemma, we bound the number of bags in \(\mathbb {K}\) that have non-empty intersection with \(V(\widehat{\mathcal {C}})\).
Recall that there are at most \(4\eta |M|\) pairs of consecutive marked bags in \({\mathcal {B}}_{\mathsf {Marked}}(I)\). Applying Reduction Rule 6.1 for every such pair, we obtain the following. There are at most \(48 (k+1)^3(|M| + 2\eta)^{10} \cdot 4\eta |M|\) bags of \(\mathbb {K}\) that contain vertices from obtruded modules. Let \(\mathcal {C} (\mathbb {K})\) denote the set of vertices that appear in obtruded modules. Let \({\mathcal {B}}_{\mathsf {Marked}}(II)\) denote the collection of all bags in \(\mathbb {K}\) that contain a vertex in \(\mathcal {C} (\mathbb {K})\).
Marking Scheme II. Add all the bags in \({\mathcal {B}}_{\mathsf {Marked}}(II)\) to \({\mathcal {B}}_{\mathsf {Marked}}\).
From Lemma 6.10, we obtain that we have marked at most bags of \(\mathbb {K}\) using Marking Scheme II.
6.1.2 Obtaining Manageable Clique Paths.
In this section, we will focus on the obtruded components of \(\mathbb {K}\) that are not modules in G. To this end, we mark some more bags in \(\mathbb {K}\) so that the regions between unmarked bags have additional structural properties. We will refer to the sub-clique paths obtained by this process as manageable clique paths. In the following, we start by defining some notation that will be helpful in describing this marking scheme.
Let \(B_\ell , B_r\) be two consecutive bags in \({\mathcal {B}}_{\mathsf {Marked}}(I)\), where \(B_\ell\) appears before \(B_r\) in the ordering given by \(\mathbb {K}\). Next, consider a non-module obtruded component H of \(\mathbb {K}[B_\ell , B_r]\) (and note that it contains an unmarked vertex), and let \(\mathbb {K}^{\sf obt}_H\) be the sub-clique path of \(\mathbb {K}[B_\ell , B_r]\) provided by Lemma 6.8. Let \({\mathsf {B_{left}}}(\mathbb {K}^{\sf obt}_H)\) and \({\mathsf {B_{right}}}(\mathbb {K}^{\sf obt}_H)\) be the first and last bags of \(\mathbb {K}^{\sf obt}_H\), respectively. Before moving on to our next marking scheme, we construct two sets of bags, \(\mathcal {L}_1(H)\) and \(\mathcal {L}_2(H)\). Initially, we have \(\mathcal {L}_1(H)=\lbrace {\mathsf {B_{left}}}(\mathbb {K}^{\sf obt}_H),{\mathsf {B_{right}}}(\mathbb {K}^{\sf obt}_H)\rbrace\). We note that the construction of \(\mathcal {L}_1(H)\) is quite similar to the construction of \(\mathcal {S}\) used in the proof of Lemma 6.10. For each \(u \in B_\ell\), let \(B^u(H)\) be the first bag in \(\mathbb {K}^{\sf obt}_H\) that does not contain u, where if such a bag does not exist we then set \(B^u(H)={\mathsf {B_{right}}}(\mathbb {K}^{\sf obt}_H)\). Additionally, for each \(v\in B_r\setminus B_\ell\), let \(\widehat{B}^v(H)\) be the first bag in \(\mathbb {K}^{\sf obt}_H\) that contains v, where if such a bag does not existwe then set \(\widehat{B}^v(H)={\mathsf {B_{right}}}(\mathbb {K}^{\sf obt}_H)\). We add all the bags in \(\lbrace B^u(H)\mid u \in B_\ell \rbrace \cup \lbrace \widehat{B}^v(H)\mid v \in B_r\setminus B_\ell \rbrace\) to \(\mathcal {L}_1(H)\). We initialize \(\mathcal {L}_2(H)=\mathcal {L}_1(H)\). For each bag \(B\in \mathcal {L}_1(H)\) in \(\mathbb {K}^{\sf obt}_H\), we add to \(\mathcal {L}_2(H)\) the bags adjacent to B, namely \(B^{-1}\) and \(B^{+1}\) (if they exist) in \(\mathbb {K}^{\sf obt}_H\). Note that the number of bags in \(\mathcal {L}_2(H)\) is bounded by \(10\eta\).4
For consecutive marked bags \(B_\ell ,B_r \in {\mathcal {B}}_{\mathsf {Marked}}(I)\) in \(\mathbb {K}\), let \({\mathcal {H}}(B_\ell ,B_r)\) be the set of non-module obtruded components of \(\mathbb {K}[B_\ell ,B_r]\). Furthermore, let \(\mathcal {L}(B_\ell ,B_r)\) be the union of the sets \(\mathcal {L}_2(H)\) taken over all \(H \in {\mathcal {H}}(B_\ell ,B_r)\). From Lemma 6.7, we know that there are at most \(4\eta\) obtruded components of \(\mathbb {K}[B_\ell ,B_r]\) that are not modules. Thus, the number of bags in \(\mathcal {L}(B_\ell ,B_r)\) is bounded by \(40\eta ^2\). Finally, let \({\mathcal {B}}_{\mathsf {Marked}}(III)\) be the union of the sets of bags \(\mathcal {L}(B_\ell ,B_r)\) taken over all \(B_\ell\) and \(B_r\) that are consecutive marked bags in \({\mathcal {B}}_{\mathsf {Marked}}(I)\). Recall that \(|{\mathcal {B}}_{\mathsf {Marked}}(I)|\) is bounded by \(4\eta |M|\). Thus, the number of bags in \({\mathcal {B}}_{\mathsf {Marked}}(III)\) is bounded by \(160\eta ^3|M|\). We are now ready to state our third marking scheme.
Marking Scheme III. Add all the bags in \({\mathcal {B}}_{\mathsf {Marked}}(III)\) to \({\mathcal {B}}_{\mathsf {Marked}}\).
Note that we marked at most bags using the preceding marking scheme. We now further partition \(\mathbb {K}\) using the bags marked in the preceding scheme.
In the following, we will give some useful properties regarding the region between consecutive marked bags in \({\mathcal {B}}_{\mathsf {Marked}}(III)\). To this end, let \(B_\ell ,B_r \in {\mathcal {B}}_{\mathsf {Marked}}(I)\) be consecutive marked bags in \(\mathbb {K}\), where we consider marked bags only in \({\mathcal {B}}_{\mathsf {Marked}}(I)\). We assume that \(B_\ell\) appears before \(B_r\) in the ordering given by \(\mathbb {K}\). Consider an obtruded non-module component H of \(\mathbb {K}[B_\ell ,B_r]\), and let \(\mathbb {K}^{\sf obt}_H\) be the sub-clique path provided by Lemma 6.8. Note that from the lemma, bags marked in \({\mathcal {B}}_{\mathsf {Marked}}(II)\) do not occur in \(\mathbb {K}^{\sf obt}_H\). In the following, we write \(\mathbb {K}_X, \mathbb {K}_Y, \ldots\) and so forth to denote various sub-clique paths of \(\mathbb {K}\). Here \(X,Y, \ldots\) are used as indices to identify these clique paths, unless we state otherwise.
We note that in the preceding definition, there is a non-module obtruded component H of \(\mathbb {K}[B_\ell ,B_r]\) such that \(\beta (\mathbb {K}_X) \subseteq \beta (\mathbb {K}^{\sf obt}_H) \subseteq V(H) \cup B_\ell \cup B_r\), where \(\mathbb {K}^{\sf obt}_H\) is the sub-clique path provided by Lemma 6.8 (also see Observation 6.5). Observe that a manageable clique path \(\mathbb {K}_X\) is not a clique in G, since it contains at least three distinct bags of the clique path \(\mathbb {K}\). Further observe that for the manageable clique path \(\mathbb {K}_X\), the bags \({\mathsf {B_{left}}}(\mathbb {K}_X)\) and \({\mathsf {B_{right}}}(\mathbb {K}_X)\) are not necessarily marked bags. However, this is true for any maximal manageable clique path \(\mathbb {K}_X\) (i.e., those manageable clique paths that are not contained in another manageable clique path). Then observe that the endpoint bags of \(\mathbb {K}_X\) must lie in \({\mathcal {B}}_{\mathsf {Marked}}(I) \cup {\mathcal {B}}_{\mathsf {Marked}}(III)\), since any manageable clique path is contained in a non-module obtruded component of \(\mathbb {K}[B_\ell ,B_r]\) for some consecutive pair of bags \(B_\ell ,B_r \in {\mathcal {B}}_{\mathsf {Marked}}(I)\), and these end bags are not in \({\mathcal {B}}_{\mathsf {Marked}}(II)\) by the definition of \({\mathcal {B}}_{\mathsf {Marked}}(III)\) (recall that from Lemma 6.8, we have \(\beta (\mathbb {K}^{\sf obt}_H) \subseteq V(H) \cup B_\ell \cup B_r\)). This gives us the following observation (from Marking Schemes I and III).
Next, we derive the following property using the notations we introduced earlier. Consider a manageable clique path \(\mathbb {K}_X\) that is a sub-clique path of the clique path \(\mathbb {K}^{\sf obt}_H\), where H is a non-module obtruded component of \(\mathbb {K}[B_\ell ,B_r]\). (Note that \(\mathbb {K}_X\) is a \((B_\ell ,B_r)\)-manageable clique path.)
We will conclude this section by deriving a few more properties of manageable clique paths, which will be useful later. Consider a \((B_\ell , B_r)\)-manageable clique path \(\mathbb {K}_X\), and recall that \(\mathsf {C}(\mathbb {K}_X) = {\mathsf {B_{left}}}(\mathbb {K}_X) \cap {\mathsf {B_{right}}}(\mathbb {K}_X)\).
For a manageable clique path \(\mathbb {K}_X\), let us define \(\mathsf {M_{All}}(\mathbb {K}_X) = M \cap N(\beta (\mathbb {K}_X) \setminus \mathsf {C}(\mathbb {K}_X))\), and \(\mathsf {M_{Priv}}(\mathbb {K}_X) = M \setminus \mathsf {M_{All}}(\mathbb {K}_X)\). Note that \(N(\mathsf {M_{Priv}}(\mathbb {K}_X)) \cap \beta (\mathbb {K}_X) \subseteq \mathsf {C}(\mathbb {K}_X)\), and thus, in the notation in the previous sentence, the word ‘\(\sf Priv\)’ stands for the possible “private” neighbors (in M) of vertices in \(\mathsf {C}(\mathbb {K}_X)\). The following observation will be helpful in ruling out the case when there is a vertex \(v \in \mathsf {C}(\mathbb {K}_X)\) and a vertex \(m \in \mathsf {M_{All}}(\mathbb {K}_X)\) such that \((v,m) \notin E(G)\).
6.2 Handling Manageable Clique Paths
We start by recalling that the number of maximal manageable clique paths is bounded by \(160\eta ^3|M|\). For the sake of simplicity, intuitively speaking, our next marking scheme will mark bags, which will help us ensure that after this marking scheme we are able to apply Observation 6.17. To this end, we let \({\mathcal {B}}_{\mathsf {Marked}}(IV)\) be the set of bags in \(\mathbb {K}\), which contains, for every maximal manageable clique path that exactly has three bags, the middle bag of it. Notice that for each maximal manageable clique path \(\mathbb {K}_X\), for \(A = {\mathsf {B_{left}}}(\mathbb {K}_X) \setminus ({\mathsf {B_{left}}}(\mathbb {K}_X))^{+1}\) and \(A^{\prime } = {\mathsf {B_{right}}}(\mathbb {K}_X) \setminus ({\mathsf {B_{right}}}(\mathbb {K}_X))^{-1}\), if \(G[\beta (\mathbb {K}_X) \setminus (A \cup A^{\prime })]\) is a clique, then all the bags in \(\mathbb {K}_X\) must belong to the set \({\mathcal {B}}_{\mathsf {Marked}}(I) \cup {\mathcal {B}}_{\mathsf {Marked}}(II) \cup {\mathcal {B}}_{\mathsf {Marked}}(III) \cup {\mathcal {B}}_{\mathsf {Marked}}(IV)\). (Recall our assumption that in \(\mathbb {K}\), there are no two distinct bags where one is a subset of the other.) For simplicity in our arguments later, we mark all the bags in \({\mathcal {B}}_{\mathsf {Marked}}(IV)\)—that is, we have the following marking scheme.
Marking Scheme IV. Add all the bags in \({\mathcal {B}}_{\mathsf {Marked}}(IV)\) to \({\mathcal {B}}_{\mathsf {Marked}}\).
We note that by the preceding marking scheme, we have marked at most many bags.
In the following, consider a (not necessarily maximal) manageable clique path \(\mathbb {K}_X\). Recall that \(\mathsf {C}(\mathbb {K}_X) = {\mathsf {B_{left}}}(\mathbb {K}_X) \cap {\mathsf {B_{right}}}(\mathbb {K}_X)\) and \(\mathsf {I}(\mathbb {K}_X) = \beta (\mathbb {K}_X) \setminus ({\mathsf {B_{left}}}(\mathbb {K}_X) \cup {\mathsf {B_{right}}}(\mathbb {K}_X))\). Observe that no vertex in \(\mathsf {I}(\mathbb {K}_X)\) belongs to any marked bag (among all bags marked so far). Further recall that \(\mathsf {M_{All}}(\mathbb {K}_X) = M \cap N(\beta (\mathbb {K}_X) \setminus \mathsf {C}(\mathbb {K}_X))\), and \(\mathsf {M_{Priv}}(\mathbb {K}_X) = M \setminus \mathsf {M_{All}}(\mathbb {K}_X)\).
Fig. 12.
We will devise a sequence of marking schemes that mark a polynomial in k number of bags in \(\mathbb {K}_X\) such that the obstructions are “well behaved” with respect to the marked bags, where, loosely speaking, well behavedness will be captured by the obstruction being a path in each of the manageable clique paths. Intuitively speaking, this will allow us to focus mainly on AWs, as (large) cycles already have such a property. To this end, we have the following definition related to an obstruction.
Recall that an induced cycle \(\mathbb {O}\) on at least four vertices is a manageable obstruction (see Definition 6.18), and this allows us to mainly focus on AWs. Intuitively speaking, our goal is to mark a polynomial in k number of bags in each maximal manageable clique path \(\mathbb {K}_X\) so that, for any set S of \(k+2\) or fewer vertices, if there is an AW \({\mathbb {O}}\) in \(G - S\), then (i) either \({\mathbb {O}}\) is already a \(\mathbb {K}_X\)-manageable obstruction, or (ii) there is an AW \({\mathbb {O}}^{\prime }\) in \(G-S\) such that all its vertices appear in marked bags (including the bags that we mark in our upcoming marking scheme). We present Lemma 6.20 to characterize the intersection between a manageable clique path \(\mathbb {K}_X\) and an induced path P in G.
Toward Our Case Distinction. Let us now consider the interaction between manageable clique paths and the obstructions in the graph that are not covered by \(\mathcal {W}\). Let \({\mathbb {O}}\) be any AW (not covered by \(\mathcal {W}\)) in G. Recall that \(P({\mathbb {O}})\) denotes the extended base of \({\mathbb {O}}\) (including terminal vertices, \(t_\ell\) and \(t_r\)). In what follows, we consider two cases based on the intersection between the vertex set of \({\mathbb {O}}\) and \(\mathsf {I}(\mathbb {K}_X) \cup \mathsf {M_{All}}(\mathbb {K}_X)\). Before this, for the sake of clarity and summarization, let us recall the following facts:
(1)
The obstruction \({\mathbb {O}}\) is an AW in G that is not covered by \(\mathcal {W}\).
(2)
The sets \({\mathsf {B_{left}}}(\mathbb {K}_X)\) and \({\mathsf {B_{right}}}(\mathbb {K}_X)\) are cliques in G, and \({\mathsf {B_{left}}}(\mathbb {K}_X) \cup {\mathsf {B_{right}}}(\mathbb {K}_X) \cup \mathsf {M_{All}}(\mathbb {K}_X)\) separates \(\mathsf {I}(\mathbb {K}_X)\) from the rest of the graph.
(3)
Every vertex of \(\mathsf {M_{All}}(\mathbb {K}_X)\) is adjacent to all vertices in \(\beta (\mathbb {K}_X)\) in G (by Observation 6.16).
(4)
The vertices of \(\beta (\mathbb {K}_X) \setminus \mathsf {C}(\mathbb {K}_X)\), and particularly \(\mathsf {I}(\mathbb {K}_X)\), cannot be the center vertices of any AW in G that is not covered by \(\mathcal {W}\) (by Observation 6.21). Therefore, every vertex of \(\mathsf {I}(\mathbb {K}_X)\) is either a base vertex or a terminal of the AW \({\mathbb {O}}\).
The goal of this section will be to show that any AW \({\mathbb {O}}\) in G that is not covered by \(\mathcal {W}\), and satisfies \(V(\mathsf {base}({\mathbb {O}})) \cap \mathsf {I}(\mathbb {K}_X) \ne \emptyset\) and \(V(P({\mathbb {O}})) \cap \mathsf {M_{All}}(\mathbb {K}_X) = \emptyset\), is in fact already a \(\mathbb {K}_X\)-manageable obstruction. To this end, we let \({\mathbb {O}}\) be an AW in G. Furthermore, we remind that \(c_1\) and \(c_2\) are the centers of \({\mathbb {O}}\) (in case \({\mathbb {O}}\) is a \(\dagger\)-AW, we have \(c=c_1=c_2\)), \(t_\ell ,t_r\) are the non-shallow terminals, t is the shallow terminal, \(\mathsf {base}({\mathbb {O}})\) is the base, and \(P({\mathbb {O}})\) is the extended base.
In the following, we obtain some useful properties of \({\mathbb {O}}\) that satisfies the premise of this section—that is, \(V(\mathsf {base}({\mathbb {O}})) \cap \mathsf {I}(\mathbb {K}_X) \ne \emptyset\) and \(V(P({\mathbb {O}})) \cap \mathsf {M_{All}}(\mathbb {K}_X) = \emptyset\). This will be done in a sequence of four statements, after which we will be able to obtain the desired result. We first observe that the center(s) must belong to \(\mathsf {C}(\mathbb {K}_X) \cup \mathsf {M_{All}}(\mathbb {K}_X)\).
Second, we observe that the non-shallow terminals do not belong to \(\beta (\mathbb {K}_X) \cup \mathsf {M_{All}}(\mathbb {K}_X)\) (which already brings us close to the goal of this section), the base does not traverse \(\mathsf {C}(\mathbb {K}_X) \cup \mathsf {M_{All}}(\mathbb {K}_X)\), and the shallow terminal does not belong to \(\mathsf {C}(\mathbb {K}_X) \cup \mathsf {M_{All}}(\mathbb {K}_X)\).
Third, we consider induced subgraph \(P_X = P({\mathbb {O}})[\beta (\mathbb {K}_X) \setminus \mathsf {C}(\mathbb {K}_X)]\) of \(P({\mathbb {O}})\). Due to Lemma 6.20, the following lemma is almost immediate.
Using Lemma 6.24, we obtain the following observation.
The next lemma, whose proof was the goal of this section, follows directly from the preceding results and the definition of \(\mathbb {K}_X\)-manageable obstructions. Indeed, Observation 6.23 states that the non-shallow terminals cannot belong to \(\beta (\mathbb {K}_X)\), and Observation 6.25 states that the shallow terminal cannot belong to \(\beta (\mathbb {K}_X)\).
Irrespective of whether \(V(\mathsf {base}({\mathbb {O}})) \cap \mathsf {I}(\mathbb {K}_X) = \emptyset\) or \(V(P({\mathbb {O}})) \cap \mathsf {M_{All}}(\mathbb {K}_X) \ne \emptyset\), let us first observe that since \({\mathbb {O}}\) is an AW, for any clique A in G, we have \(|V(A) \cap V({\mathbb {O}})| \le 4\). This implies that \(|V({\mathbb {O}}) \cap ({\mathsf {B_{left}}}(\mathbb {K}_X) \cup {\mathsf {B_{right}}}(\mathbb {K}_X))| \le 8\). Moreover, since \({\mathbb {O}}\) is not covered by \(\mathcal {W}\), for distinct \(m,m^{\prime }\in \mathsf {M_{All}}(\mathbb {K}_X) \cap V({\mathbb {O}})\), we have \((m,m^{\prime })\in E(G)\) (see Observation 6.16). Thus, \(|V({\mathbb {O}}) \cap \mathsf {M_{All}}(\mathbb {K}_X)|\le 4\). From this, we obtain the following inequality:
Let \(c_1,c_2\) be the center vertices of \({\mathbb {O}}\) (in the case of a \(\dagger\)-AW, we have \(c=c_1=c_2\)). Then, depending on whether \(V(\mathsf {base}({\mathbb {O}})) \cap \mathsf {I}(\mathbb {K}_X) = \emptyset\) or \(V(P({\mathbb {O}})) \cap \mathsf {M_{All}}(\mathbb {K}_X) \ne \emptyset\), we note the following:
•
First, suppose that \(V(\mathsf {base}({\mathbb {O}})) \cap \mathsf {I}(\mathbb {K}_X) = \emptyset\). In this subcase, from Observation 6.21, we have \(V({\mathbb {O}}) \cap \mathsf {I}(\mathbb {K}_X) \subseteq \lbrace t_\ell , t_r, t\rbrace\) (possibly, \(V({\mathbb {O}}) \cap \mathsf {I}(\mathbb {K}_X)=\emptyset\)).
•
Second, suppose that there is a vertex \(m \in V(P({\mathbb {O}})) \cap \mathsf {M_{All}}(\mathbb {K}_X)\). Recall that every vertex in \(\mathsf {M_{All}}(\mathbb {K}_X)\) is adjacent to all the vertices in \(\mathsf {I}(\mathbb {K}_X)\). Thus, in this subcase, \(|V({\mathbb {O}}) \cap \mathsf {I}(\mathbb {K}_X)| \le 2\), and otherwise \(m \in V(P({\mathbb {O}}))\) will be adjacent to three vertices of \(V({\mathbb {O}}) \setminus \lbrace c_1, c_2\rbrace\) (see Observations 6.16 and 6.21).
In summary, \(V({\mathbb {O}}) \cap (\beta (\mathbb {K}_X) \cup \mathsf {M_{All}}(\mathbb {K}_X))\) contains at most 15 vertices: up to 12 of these vertices are in \(\mathsf {M_{All}}(\mathbb {K}_X) \cup {\mathsf {B_{left}}}(\mathbb {K}_X) \cup {\mathsf {B_{right}}}(\mathbb {K}_X)\), and up to 3 of these vertices are in \(\mathsf {I}(\mathbb {K}_X)\). We will use these bounds to derive our next marking scheme. In particular, since we deal with an obstruction whose intersection with \(\beta (\mathbb {K}_X)\cup \mathsf {M_{All}}(\mathbb {K}_X)\) is upper bounded by a fixed constant, the relevance of the tool of representative families (defined in Section 2) is presented as a possibility—intuitively, we would like to capture enough vertices to represent every possibility of how the (up to) 3 vertices from \(\mathsf {I}(\mathbb {K}_X)\) can “behave” within the small intersection. Toward that end, we proceed as follows.
Computation of Representative Families. We first restrict our attention to only a maximal manageable clique path \(\widehat{\mathbb {K}_X}\). Consider a tuple \(\mathcal {R} =(R,R_B,R_I),\) where R is a graph on the vertex set \(R_B\cup R_I\) (these are new dummy vertices), \(|R_B| \le 12\) and \(|R_I|\le 3\). Furthermore, consider a set \(Z \subseteq \mathsf {M_{All}}(\widehat{\mathbb {K}_X}) \cup {\mathsf {B_{left}}}(\widehat{\mathbb {K}_X}) \cup {\mathsf {B_{right}}}(\widehat{\mathbb {K}_X})\) of \(|R_B|\) vertices, a bijective function \(f:Z\rightarrow R_B\), and an integer \(d\in [3]\). For every such tuple \((R,Z,f,d)\), we will perform a computation of a representative family as follows. Here, the family to be represented is \(\mathcal {A} _{R,Z,f,d}\), the family of all d-sized subsets \(Y \subseteq \mathsf {I}(\widehat{\mathbb {K}_X})\) such that the following condition is satisfied:
There exists an isomorphism \(\varphi\) between \(G[Z \cup Y]\) and R whose restriction to Z is equal to f—that is, for all \(z\in Z,\) we have \(\varphi (z)=f(z)\).
Intuitively, we consider every “frame” that consists of the following: (i) the identity and topology of the (up to) 12 vertices in \(\mathsf {M_{All}}(\widehat{\mathbb {K}_X}) \cup {\mathsf {B_{left}}}(\widehat{\mathbb {K}_X}) \cup {\mathsf {B_{right}}}(\widehat{\mathbb {K}_X})\) that lie in the intersection—this includes the specification of what are the identities of these vertices (given by Z) and what are the edges among them in G (given by \(R[R_B]\)), and (ii) the topology of the (up to) 3 vertices in \(\mathsf {I}(\widehat{\mathbb {K}_X})\) that lie in the intersection (given by \(R[R_I]\)) and the edges between them and the previously mentioned 12 vertices (given by R). However, this information is not sufficient, and we require to also have explicit restriction of which vertex in Z is mapped to which vertex in R, and this is provided to us by the function f.
Next, consider the matroid \({\mathcal {M}}=(U, {\mathcal {I}}),\) where \(U=V(G)\) and \({\mathcal {I}}=\lbrace U^{\prime } \subseteq U \mid |U^{\prime }| \le d+k+2\rbrace\). Notice that \(\mathcal {M}\) is a uniform matroid with universe size at most \(|V(G)|\), and therefore it is representable over a field of size \(|V(G)|+1\) (see [13]). Furthermore, for such a field, the field operations can be done in time polynomial in \(|V(G)|\) (even with very simple implementations). Thus, using Proposition 2.2, we find a \((k+2)\)-representative family \(\widehat{\mathcal {A} _{R,Z,f,d}} \subseteq ^{k+2}_{rep} \mathcal {A} _{R,Z,f,d}\) in polynomial time.
Marking Based on the Representative Families. We now construct a set \(\mathbb {K}(\mathrm{Rep},\widehat{\mathbb {K}_X})\) of bags in \(\widehat{\mathbb {K}_X}\) as follows. For every tuple \((R,Z,f,d)\) defined earlier for the (maximal) manageable clique path \(\widehat{\mathbb {K}_X}\), and for every vertex v that belongs to at least one set in \(\widehat{\mathcal {A} _{R,Z,f,d}}\), we choose (arbitrarily) a bag in \(\widehat{\mathbb {K}_X}\) that contains v and add this bag to the set \(\mathbb {K}(\mathrm{Rep},\widehat{\mathbb {K}_X})\). Finally, we let \({\mathcal {B}}_{\mathsf {Marked}}(V)\) be the union of the bags in \(\mathbb {K}(\mathrm{Rep},\widehat{\mathbb {K}_X})\) across every maximal manageable clique path \(\widehat{\mathbb {K}_X}\).
Marking Scheme V. Add all the bags in \({\mathcal {B}}_{\mathsf {Marked}}(V)\) to \({\mathcal {B}}_{\mathsf {Marked}}\).
Toward bounding the number of bags we marked using the preceding marking scheme, consider a maximal manageable clique path \(\widehat{\mathbb {K}_X}\) with end bags \({\mathsf {B_{left}}}(\widehat{\mathbb {K}_X}),{\mathsf {B_{right}}}(\widehat{\mathbb {K}_X})\). We observe that there are at most \(\mathcal {O} (1)\) choices for the graph R and its partition into \(R_B\) and \(R_I\). Furthermore, there are at most \({|\mathsf {M_{All}}(\widehat{\mathbb {K}_X}) \cup {\mathsf {B_{left}}}(\widehat{\mathbb {K}_X}) \cup {\mathsf {B_{right}}}(\widehat{\mathbb {K}_X})|} \choose {\le 12}\) choices for Z and at most \(\mathcal {O} (1)\) choices for f given the choice of Z. Thus, by Proposition 2.2, there are at most \(\mathcal {O} (k^{3})\) sets in \(\widehat{\mathcal {A} _{R,Z,f,d}}\) and each set contains at most \(d\le 3\) vertices. Hence, overall, we marked at most \(\mathcal {O} ((2\eta + |M|)^{12}k^{3})\) bags in the maximal manageable clique path \(\widehat{\mathbb {K}_X}\). As there are at most \(\mathcal {O} (\eta ^3|M|)\) manageable clique paths in \(\mathbb {K}\), Marking Scheme V marks at most bags.
In the following, we prove a property regarding bags marked by Marking Scheme V.
6.3 Nice Clique Paths and Nice Obstructions
We now consider a pair of consecutive marked bags in \(\mathbb {K}\) that were marked by Marking Schemes I through V. In particular, for each maximal manageable clique path \(\mathbb {K}_X,\) we marked a collection of bags in \(\mathbb {K}_X\) via Marking Scheme V, which (further) partitions \(\mathbb {K}_X\) into sub-clique paths, which will be called nice clique paths.
Note that any nice clique path has at least three bags and it is contained in a manageable clique path, and therefore it is also a manageable clique path. We also note that the end bags of a nice clique path \(\mathbb {K}_Y\) need not be marked, and this is only true for maximal nice clique paths. In the following, we define the notion of nice obstructions.
The following observation is easily obtained from the preceding definition and the fact that a nice clique path is also a manageable clique path.
The following lemma shows that an induced cycle on at least four vertices, which is not covered by \(\mathcal {W}\), is always a nice obstruction. We recall that by definition, a chordless cycle on four vertices is a manageable obstruction.
Next, for each obstruction (not covered by \(\mathcal {W}\)), we argue about existence of a nice obstruction.
We will require a strengthening of the preceding corollary that allows us to “replace” the path \(P = G[V({\mathbb {O}}) \cap (\beta (\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y))]\) in \({\mathbb {O}}\) with another path \(P^{\prime }\) between the endpoint bags of \(\mathbb {K}_Y\) and obtain a new obstruction.
Let \({\mathbb {O}}\) be a nice obstruction in G that is not covered by \(\mathcal {W}\). Consider a nice clique path \(\mathbb {K}_Y\), and let \(P = G[V({\mathbb {O}}) \cap (\beta (\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y))]\). From Definition 6.29, either \(V(P) \subseteq {\mathsf {B_{left}}}(\mathbb {K}_Y) \cup {\mathsf {B_{right}}}(\mathbb {K}_Y)\), or P is an induced path between a vertex in \({\mathsf {B_{left}}}(\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y)\) and a vertex in \({\mathsf {B_{right}}}(\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y)\) that contains a vertex in \(\mathsf {I}(\mathbb {K}_Y)\). Consider the latter case (i.e., when P is an induced path between a vertex in \({\mathsf {B_{left}}}(\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y)\) and a vertex in \({\mathsf {B_{right}}}(\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y)\) that contains a vertex in \(\mathsf {I}(\mathbb {K}_Y)\)), and let u and v be the endpoints of P in \({\mathsf {B_{left}}}(\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y)\) and \({\mathsf {B_{right}}}(\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y),\) respectively. Note that as P contains an internal vertex (from \(\mathsf {I}(\mathbb {K}_Y)\)), \((u,v) \notin E(G)\). Let \(P^{\prime }\) be any other induced path between u and v in \(G[\beta (\mathbb {K}_Y) \setminus \mathsf {C}(\mathbb {K}_Y)]\) such that \(V(P^{\prime }) \subseteq V(P) \cup \mathsf {I}(\mathbb {K}_Y)\). In the following lemma, we show how we can obtain another nice obstruction using \(P^{\prime }\).
Consider a maximal nice clique path \(\mathbb {K}_Y\) with endpoint bags \({\mathsf {B_{left}}}(\mathbb {K}_Y)\) and \({\mathsf {B_{right}}}(\mathbb {K}_Y)\). Before moving on to our next marking scheme, we construct two sets of bags, \({\mathcal {T}}_1(\mathbb {K}_Y)\) and \({\mathcal {T}}_2(\mathbb {K}_Y)\). Initially, we have \({\mathcal {T}}_1(\mathbb {K}_Y)=\lbrace {\mathsf {B_{left}}}(\mathbb {K}_Y),{\mathsf {B_{right}}}(\mathbb {K}_Y)\rbrace\). For each \(u \in {\mathsf {B_{left}}}(\mathbb {K}_Y)\), let \(\widetilde{B_u(\mathbb {K}_Y)}\) be the last bag in \(\mathbb {K}_Y\) that contains u. Additionally, for each \(v \in {\mathsf {B_{right}}}(\mathbb {K}_Y)\setminus {\mathsf {B_{left}}}(\mathbb {K}_Y)\), let \(\widehat{B_v(\mathbb {K}_Y)}\) be the first bag in \(\mathbb {K}_Y\) that contains v. We add all the bags in \(\lbrace \widetilde{B_u(\mathbb {K}_Y)} \mid u \in {\mathsf {B_{left}}}(\mathbb {K}_Y)\rbrace \cup \lbrace \widehat{B_v(\mathbb {K}_Y)} \mid v \in {\mathsf {B_{right}}}(\mathbb {K}_Y) \setminus {\mathsf {B_{left}}}(\mathbb {K}_Y)\rbrace\) to \({\mathcal {T}}_1(\mathbb {K}_Y)\). We initialize \({\mathcal {T}}_2(\mathbb {K}_Y)={\mathcal {T}}_1(\mathbb {K}_Y)\). Furthermore, for each bag \(B \in {\mathcal {T}}_1(\mathbb {K}_Y)\) in \(\mathbb {K}_Y\), we add to \({\mathcal {T}}_2(\mathbb {K}_Y)\) the bags adjacent to B, namely \(B^{-1}\) and \(B^{+1}\) (if they exist) in \(\mathbb {K}_Y\). Note that the number of bags in \({\mathcal {T}}_2(\mathbb {K}_Y)\) is bounded by \(\mathcal {O}(\eta)\). Finally, we let \({\mathcal {B}}_{\mathsf {Marked}}(VI)\) be the union of the sets \({\mathcal {T}}_2(\mathbb {K}_Y)\) taken over all maximal nice clique paths \(\mathbb {K}_Y\).
Marking Scheme VI. Add all the bags in \({\mathcal {B}}_{\mathsf {Marked}}(VI)\) to \({\mathcal {B}}_{\mathsf {Marked}}\).
We marked at most \(\mathcal {O}(\eta)\) bags for each nice clique path. Recall that we have at most \(\mathcal {O}(\eta ^3|M|)\) manageable clique paths, and for each manageable clique path we marked at most \(\mathcal {O} (\eta ^{15}|M|k^3)\) bags in \(\mathbb {K}\) using Marking Schemes IV and V, which partitioned the manageable clique path into nice clique paths. Hence, in Marking Scheme VI, we marked at most bags in \(\mathbb {K}\).
Note that any simple clique path is also a nice clique path. Next, we state an observation regarding a simple clique path \(\mathbb {K}_Z\). We note that this observation is similar to Lemma 6.13 presented in Section 6.1.2.
In the next observation, we recall a property of interval graphs that will be useful later.
Let us now consider a simple clique path \(\mathbb {K}_Z\) contained in a nice clique path \(\mathbb {K}_Y\). In the following, by a separator in \(\mathbb {K}_Z\), we mean a separator of \({\mathsf {B_{left}}}(\mathbb {K}_Z) \setminus \mathsf {C}(\mathbb {K}_Z)\) and \({\mathsf {B_{right}}}(\mathbb {K}_Z) \setminus \mathsf {C}(\mathbb {K}_Z)\) in the graph \(G[\beta (\mathbb {K}_Z) \setminus \mathsf {C}(\mathbb {K}_Z)]\). From Observation 6.37, any minimal separator in \(\mathbb {K}_Z\) lies in the intersection of two adjacent bags in \(\mathbb {K}_Z\), after excluding the vertices in \(\mathsf {C}(\mathbb {K}_Z)\).
Let us now identify and mark a collection of minimal separators in \(\mathbb {K}_Z\) such that if there is a solution, then there is a solution contained in the marked bags. To this end, we first obtain some “useful” subsets. Consider a simple clique path \(\mathbb {K}_Z\). Let \({\mathcal {S}}(\mathbb {K}_Z)\) denote the collection of subsets \(T \subseteq ({\mathsf {B_{left}}}(\mathbb {K}_Z) \cup {\mathsf {B_{right}}}(\mathbb {K}_Z)) \setminus \mathsf {C}(\mathbb {K}_Z)\) for which \(|T| \le k\) and there is a pair of adjacent bags \(B_T, B^{\prime }_T\) in \(\mathbb {K}_Z\) such that (i) \(T = (B_T \cap B_T^{\prime }) \setminus (\mathsf {C}(\mathbb {K}_Z) \cup \mathsf {I}(\mathbb {K}_Z))\) and (ii) \((B_T \cap B_T^{\prime }) \cap \mathsf {I}(\mathbb {K}_Z) \le k\). We can bound \(|{\mathcal {S}}(\mathbb {K}_Z)|\) as follows.
We will construct a collection \({\mathcal {B}}_{\mathsf {Marked}}(VII)\) as follows. For each simple clique path \(\mathbb {K}_Z\) and for each \(T \in {\mathcal {S}}(\mathbb {K}_Z),\) we select a pair of adjacent bags \(B_T,B^{\prime }_T\) in \(\mathbb {K}_Z\) such that \(B_T \cap B^{\prime }_T\) is of minimum cardinality and contains T, and add them to \({\mathcal {B}}_{\mathsf {Marked}}(VII)\). Note that \(B_T \cap B^{\prime }_T\) is a minimal separator in \(\mathbb {K}_Z\).
Marking Scheme VII. Add all bags in \({\mathcal {B}}_{\mathsf {Marked}}(VII)\) to \({\mathcal {B}}_{\mathsf {Marked}}\).
We note that using the preceding marking scheme, we mark at most bags in \(\mathbb {K}\), which follows from the number of bags marked by Marking Scheme VI. We have the following lemma, which states that the collection of marked bags in \({\mathcal {B}}_{\mathsf {Marked}}\) contains a solution if one exists.
Now we consider the problem of reducing the set of unmarked vertices in \(\mathbb {K}\).
The vertices that satisfy the premise of the preceding lemma are called irrelevant vertices. The preceding lemma gives the following reduction rule.
If the preceding reduction rule is not applicable, then there are no unmarked vertices in any nice clique path \(\mathbb {K}_Y\) that are contained in only one bag. Then, observe that for any unmarked bag B in \(\mathbb {K}_Y,\) we have \(B = (B \cap B^{-1}) \cup (B \cap B^{+1})\). Let us now consider the remaining of the unmarked vertices in \(\mathbb {K}\).
In the following, we select an edge \(e=(u,v)\) given by Lemma 6.42 that lies in a simple clique path \(\mathbb {K}_Z\). We call such an edge an irrelevant edge.
The preceding lemma (Lemma 6.46) gives us the following reduction rule.
When Reduction Rule 6.3 is not applicable, then there are no unmarked vertices in any simple clique path. Then, we conclude that all vertices in the clique path \(\mathbb {K}\) are marked. Finally, we apply the preceding marking schemes and reduction rules for every clique path in \(G-M\), and conclude that all the vertices in \(G-M\) are marked. We now proceed to bound the number of vertices in the graph.
7 Bounding the Number of Vertices
Let \((G,k)\) be an instance of IVD on which none of the reduction rules apply. In the following, we bound the number of vertices in G. Recall that we start by computing a 9-redundant solution M, whose size is bounded by \(\mathcal {O} (k^{10})\) (see Lemma 3.2). Next, we consider the connected components of \(G-M\). First, we bound the total number of vertices in the module components of \(G-M\) by \(\mathcal {O} (k^3 |M|^{10}) = \mathcal {O} (k^{103})\) (see Observation 4.5). Then, we bound the total number of vertices in the non-module components of \(G-M\) by a collection marking rules (and the non-applicability of a number of reduction rules). From Observation 4.2, we obtain that the number of non-module components in \(G-M\) is bounded by \(\mathcal {O} (k|M|) =\mathcal {O}(k^{11})\). We note that each non-module component is a clique path. Then, we consider a clique path \(\mathbb {K}\) of a non-module connected component in \(G-M\) and bound the size of the maximum clique in it by \(\eta = \mathcal {O} (k |M|^{10}) = \mathcal {O} (k^{101})\) (see Lemma 5.4). Next, we focus on bounding the number of bags in a clique path \(\mathbb {K}\) that is a non-module component in \(G-M\). In the following, for a fixed non-module clique path \(\mathbb {K}\), we summarize the number of bags we marked using each of our bag-marking schemes in Section 6:
(1)
Using Marking Scheme I, we mark at most \(\mathcal {O} (\eta |M|)\) bags in \(\mathbb {K}\).
(2)
Using Marking Scheme II, we mark at most \(\mathcal {O} (k^3 \eta ^{11} |M|)\) bags in \(\mathbb {K}\).
(3)
Using Marking Scheme III, we mark at most \(\mathcal {O} (\eta ^3 |M|)\) bags in \(\mathbb {K}\).
(4)
Using Marking Scheme IV, we mark at most \(\mathcal {O} (\eta ^3 |M|)\) bags in \(\mathbb {K}\).
(5)
Using Marking Scheme V, we mark at most \(\mathcal {O} (k^3\eta ^{15} |M|)\) bags in \(\mathbb {K}\).
(6)
Using Marking Scheme VI, we mark at most \(\mathcal {O} (k^3\eta ^{16} |M|)\) bags in \(\mathbb {K}\).
(7)
Using Marking Scheme VII, we mark at most \(\mathcal {O} (k^4\eta ^{16} |M|)\) bags in \(\mathbb {K}\).
From the preceding, we obtain that the number of marked bags for each (non-module) clique path is upper bounded by \(\mathcal {O} (k^4\eta ^{16} |M|)= \mathcal {O} (k^{1630})\). Further, since none of the reduction rules is applicable, there is no vertex in G that belongs to an unmarked bag of a non-module component. There are at most \(\mathcal {O}(k^{11})\) non-module components in \(G-M\), and a bag in a clique path of a non-module component has size at most \(\eta\). Thus, the total number of vertices in G is bounded by \(\mathcal {O} (k^{1630}\cdot k^{11} \cdot k^{101}) = \mathcal {O} (k^{1742})\).
8 Conclusion
In this article, we proved that the IVD problem admits a polynomial kernel. We remark that the degree in the polynomial that bounds the kernel size can be improved to be about a 100 at the cost of significantly more involved arguments. In particular, this can be done by considering a solution M of lower redundancy and far more involved case analysis for bounding the clique size and clique paths of \(G-M\) in Sections 5 and 6. However, obtaining a kernel of size around \(O(k^{10})\) will require new ideas. We leave this as an interesting open problem. We also believe that our techniques and methods, especially the two families lemma (Lemma 1.1), will be useful in other algorithmic applications.
Footnotes
1
The precise definition in Section 3 contains another condition that is not specified in Section 1 for the sake of clarity of exposition.
2
We use Lemma 3.2 with \(\ell = k+2\) because at a later stage (particularly, in Section 6) we find an irrelevant edge to contract. With the parameter \(k+2\), we are still able to exclude the need to argue about obstructions that are covered by \(\mathcal {W}\), as the additional 2 allows us to add the two endpoints of the contracted edge to an assumed solution in our arguments. We use the lemma with \(r=9\) since it helps us to find large obstructions that contain enough vertices from M in \(\mathsf {base}({\mathbb {O}})\), for an AW \({\mathbb {O}}\).
3
Here, note that the subtraction concerns multisets. In particular, if an element occurs x times in a multiset X, and y times in a multiset \(Y\subseteq X\), then it occurs \(x-y\) times in \(X\setminus Y\).
4
The number 10 in \(10\eta\) is a slightly larger constant than what can actually be achieved, and we use this constant only to simplify calculations.
5
This implies that P has at least three vertices.
References
[1]
Akanksha Agrawal, Sudeshna Kolay, Daniel Lokshtanov, and Saket Saurabh. 2016. A faster FPT algorithm and a smaller kernel for block graph vertex deletion. In LATIN 2016: Theoretical Informatics. Lecture Notes in Computer Science, Vol. 9644. Springer, 1–13.
Akanksha Agrawal, Daniel Lokshtanov, Pranabendu Misra, Saket Saurabh, and Meirav Zehavi. 2017. Feedback vertex set inspired kernel for chordal vertex deletion. In Proceedings of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’17). SIAM, 1383–1398.
Akanksha Agrawal, Daniel Lokshtanov, Amer E. Mouawad, and Saket Saurabh. 2018. Simultaneous feedback vertex set: A parameterized perspective. ACM Transactions on Computation Theory 10, 4 (2018), Article 18, 25 pages.
Amotz Bar-Noy, Reuven Bar-Yehuda, Ari Freund, Joseph Naor, and Baruch Schieber. 2001. A unified approach to approximating resource allocation and scheduling. Journal of the ACM 48, 5 (2001), 1069–1090.
Hans L. Bodlaender, Rodney G. Downey, Michael R. Fellows, and Danny Hermelin. 2009. On problems without polynomial kernels. Journal of Computer and System Sciences 75, 8 (2009), 423–434.
Yixin Cao. 2016. Linear recognition of almost interval graphs. In Proceedings of the 27th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’16). SIAM, 1096–1115.
Marek Cygan, Fedor V. Fomin, Łukasz Kowalik, Daniel Lokshtanov, Daniel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh. 2015. Parameterized Algorithms. Springer-Verlag, Cham, Switzerland.
Holger Dell and Dániel Marx. 2012. Kernelization of packing problems. In Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’12). SIAM, 68–81.
Holger Dell and Dieter van Melkebeek. 2014. Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses. Journal of the ACM 61, 4 (2014), Article 23, 27 pages.
Fedor V. Fomin, Bart M. P. Jansen, and Michal Pilipczuk. 2014. Preprocessing subgraph and minor problems: When does a small vertex cover help? Journal of Computer and System Sciences 80, 2 (2014), 468–495.
Fedor V. Fomin, Daniel Lokshtanov, Neeldhara Misra, and Saket Saurabh. 2012. Planar f-deletion: Approximation, kernelization and optimal FPT algorithms. In Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS’12). IEEE, Los Alamitos, CA, 470–479.
Fedor V. Fomin, Daniel Lokshtanov, Fahad Panolan, and Saket Saurabh. 2016. Efficient computation of representative families with applications in parameterized and exact algorithms. Journal of the ACM 63, 4 (2016), Article 29, 60 pages.
Fedor V. Fomin and Saket Saurabh. 2014. Kernelization methods for fixed-parameter tractability. In Tractability: Practical Approaches to Hard Problems, L. Bordeaux, Y. Hamadi, and P. Kohli (Eds.). Cambridge University Press, Cambridge, UK, 260–282.
Lance Fortnow and Rahul Santhanam. 2011. Infeasibility of instance compression and succinct PCPs for NP. Journal of Computer and System Sciences 77, 1 (2011), 91–106.
Danny Hermelin, Stefan Kratsch, Karolina Soltys, Magnus Wahlström, and Xi Wu. 2015. A completeness theory for polynomial (turing) kernelization. Algorithmica 71, 3 (2015), 702–730.
Danny Hermelin and Xi Wu. 2012. Weak compositions and their applications to polynomial lower bounds for kernelization. In Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’12). SIAM, 104–113.
Bart M. P. Jansen, Daniel Lokshtanov, and Saket Saurabh. 2014. A near-optimal planarization algorithm. In Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’14). SIAM, 1802–1811.
Bart M. P. Jansen and Marcin Pilipczuk. 2017. Approximation and kernelization for chordal vertex deletion. In Proceedings of the T28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’17). SIAM, 1399–1418.
Bart M. P. Jansen and Marcin Pilipczuk. 2017. Approximation and kernelization for chordal vertex deletion. In Proceedings of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’17. SIAM, 1399–1418.
Bart M. P. Jansen and Marcin Pilipczuk. 2018. Approximation and kernelization for chordal vertex deletion. SIAM Journal on Discrete Mathematics 32, 3 (2018), 2258–2301.
Yuping Ke, Yixin Cao, Xiating Ouyang, Wenjun Li, and Jianxin Wang. 2018. Unit interval vertex deletion: Fewer vertices are relevant. Journal of Computer and System Sciences 95 (2018), 109–121.
Eun Jung Kim, Alexander Langer, Christophe Paul, Felix Reidl, Peter Rossmanith, Ignasi Sau, and Somnath Sikdar. 2016. Linear kernels and single-exponential algorithms via protrusion decompositions. ACM Transactions on Algorithms 12, 2 (2016), Article 21, 41 pages.
Stefan Kratsch and Magnus Wahlström. 2012. Representative sets and irrelevant vertices: New tools for kernelization. In Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS’12). IEEE, Los Alamitos, CA, 450–459.
C. Lekkeikerker and J. Boland. 1962. Representation of a finite graph by a set of intervals on the real line. Fundamenta Mathematicae 51, 1 (1962), 45–64.
John M. Lewis and Mihalis Yannakakis. 1980. The node-deletion problem for hereditary properties is NP-complete. Journal of Computer and System Sciences 20, 2 (1980), 219–230.
Daniel Lokshtanov, Neeldhara Misra, and Saket Saurabh. 2012. Kernelization—Preprocessing with a guarantee. In The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday. Springer, Heidelberg, Germany, 129–161.
Mihalis Yannakakis. 1978. Node- and edge-deletion NP-complete problems. In Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC’78). ACM, New York, NY, 253–264.
Vertex deletion problems are at the heart of parameterized complexity. For a graph class F, the F-Deletion problem takes as input a graph G and an integer k. The question is whether it is possible to delete at most k vertices from G such that the ...
Given a graph G and a parameter k, the Chordal Vertex Deletion (CVD) problem asks whether there exists a subset U⊆ V(G) of size at most k that hits all induced cycles of size at least 4. The existence of a polynomial kernel for CVD was a well-known open ...
STOC '10: Proceedings of the forty-second ACM symposium on Theory of computing
Consider the following two-player communication process to decide a language L: The first player holds the entire input x but is polynomially bounded; the second player is computationally unbounded but does not know any part of x; their goal is to ...
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].