University of Electronic Science and Technology of China, Chengdu, [email protected] of Electronic Science and Technology of China, Chengdu, [email protected]://orcid.org/0000-0002-1012-2373 \CopyrightJ. Open Access and J. R. Public \ccsdesc[100]Theory of computation $\rightarrow$ Parameterized complexity and exact algorithms

Acknowledgements.

I want to thank …\EventEditorsJohn Q. Open and Joan R. Access \EventNoEds2 \EventLongTitle42nd Conference on Very Important Topics (CVIT 2016) \EventShortTitleCVIT 2016 \EventAcronymCVIT \EventYear2016 \EventDateDecember 24–27, 2016 \EventLocationLittle Whinging, United Kingdom \EventLogo \SeriesVolume42 \ArticleNo23

Solving Co-Path/Cycle Packing and Co-Path Packing Faster Than $3^{k}$

Yuxi Liu Mingyu Xiao

Abstract

The Co-Path/Cycle Packing problem (resp. The Co-Path Packing problem) asks whether we can delete at most $k$ vertices from the input graph such that the remaining graph is a collection of induced paths and cycles (resp. induced paths). These two problems are fundamental graph problems that have important applications in bioinformatics. Although these two problems have been extensively studied in parameterized algorithms, it seems hard to break the running time bound $3^{k}$ . In 2015, Feng et al. provided an $O^{*}(3^{k})$ -time randomized algorithms for both of them. Recently, Tsur showed that they can be solved in $O^{*}(3^{k})$ time deterministically. In this paper, by combining several techniques such as path decomposition, dynamic programming, cut & count, and branch-and-search methods, we show that Co-Path/Cycle Packing can be solved in $O^{*}(2.8192^{k})$ time deterministically and Co-Path Packing can be solved in $O^{*}(2.9241^{k})$ time with failure probability $\leq 1/3$ . As a by-product, we also show that the Co-Path Packing problem can be solved in $O^{*}(5^{p})$ time with probability at least 2/3 if a path decomposition of width $p$ is given.

keywords:

Graph Algorithms, Parameterized Algorithms, Co-Path/Cycle Packing, Co-Path Packing, Cut & Count, Path Decomposition

category:

\relatedversion

1 Introduction

In the classic Vertex Cover problem, the input is a graph $G$ and an integer $k$ , and the problem asks whether it is possible to delete at most $k$ vertices such that the maximum degree of the remaining graph is at most 0. A natural generalization of Vertex Cover is that: can we delete at most $k$ vertices such that the maximum degree of the remaining graph is at most $d$ ? Formally, for every integer $d\geq 0$ , we consider the following $d$ -Bounded-Degree Vertex Deletion problem.

$d$ -Bounded-Degree Vertex Deletion
Instance: A graph $G=(V,E)$ and two integers $d$ and $k$ .
Question: Is there a set of at most $k$ vertices whose removal from $G$ results in a graph with maximum degree at most $d$ ?

The $d$ -Bounded-Degree Vertex Deletion problem finds applications in computational biology [7] and social network analysis [16]. In this paper, we focus on the case that $d=2$ , which is referred to as the Co-Path/Cycle Packing problem. The Co-Path/Cycle Packing problem also has many applications in computational biology [4]. Formally, the Co-Path/Cycle Packing problem is defined as follows.

Co-Path/Cycle Packing
Instance: A graph $G=(V,E)$ and an integer $k$ .
Question: Is there a vertex subset $S\subseteq V$ of size at most $k$ whose deletion makes the graph a collection of induced paths and cycles?

We also focus on a similar problem called Co-Path Packing, which allows only paths in the remaining graph, defined as follows.

Co-Path Packing
Instance: A graph $G=(V,E)$ and an integer $k$ .
Question: Is there a vertex subset $S\subseteq V$ of size at most $k$ whose deletion makes the graph a collection of induced paths?

Related Work. In this paper, we mainly consider parameterized algorithms. When $d$ is an input, the general $d$ -Bounded-Degree Vertex Deletion problem is W[2]-hard with the parameter $k$ [7]. Xiao [22] gave a deterministic algorithm that solves $d$ -Bounded-Degree Vertex Deletion in $O^{*}((d+1)^{k})$ time for every $d\geq 3$ , which implies that the problem is FPT with parameter $k+d$ . In term of treewidth (tw), van Rooij [21] gave an $O^{*}((d+2)^{tw})$ -time algorithm to solve $d$ -Bounded-Degree Vertex Deletion for every $d\geq 1$ . Lampis and Vasilakis [14] showed that no algorithm can solve $d$ -Bounded-Degree Vertex Deletion in time $(d+2-\epsilon)^{tw}n^{O(1)}$ , for any $\epsilon>0$ and for any fixed $d\geq 1$ unless the SETH is false. The upper and lower bounds have matched. This problem has also been extensively studied in kernelization. Fellows et al. [7] and Xiao [23] gave a generated form of the NT-theorem that then provided polynomial kernels for the problem with each fixed $d$ .

For each fixed small $d$ , $d$ -Bounded-Degree Vertex Deletion has also been paid certain attention. The $0$ -Bounded-Degree Vertex Deletion problem is referred to as Vertex Cover, which is one of the most fundamental problems in parameterized algorithms. For a long period of time, the algorithm of Chen et al. [3] held the best-known running time of $O^{*}(1.2738^{k})$ , and recently this result was improved by Harris and Narayanaswamy [11] to $O^{*}(1.25284^{k})$ . The $1$ -Bounded-Degree Vertex Deletion problem is referred to as $P_{3}$ Vertex Cover, where Tu [20] achieved a running time of $O^{*}(2^{k})$ by using iterative compression. This result was later improved by Katrenič [12] to $O^{*}(1.8127^{k})$ . Then, Chang et. al. [2] gave an $O^{*}(1.7964^{k})$ -time polynomial-space algorithm and an $O^{*}(1.7485^{k})$ -time exponential-space algorithm. Xiao and Kou [24] gave an $O^{*}(1.7485^{k})$ -time polynomial-space algorithm. This result was improved by Tsur [18] to $O^{*}(1.713^{k})$ through a branch-and-search approach and finally by Červenỳ and Suchỳ [1] to $O^{*}(1.708^{k})$ through using an automated framework for generating parameterized branching algorithms.

Co-Path/Cycle Packing is the special case of $d$ -Bounded-Degree Vertex Deletion with $d=2$ . A closely related problem is Co-Path Packing, where even cycles are not allowed in the remaining graph. Chen et al. [4] initially showed that Co-Path/Cycle Packing and Co-Path Packing can be solved in $O^{*}(3.24^{k})$ time, and a finding subsequently refined to $O^{*}(3.07^{k})$ for Co-Path/Cycle Packing by Xiao [22]. Feng et al. [8] introduced a randomized $O^{*}(3^{k})$ -time algorithm for the Co-Path Packing, which also works for Co-Path/Cycle Packing. However, we do not know how to derandomize this algorithm. Recently, Tsur [19] provided $O^{*}(3^{k})$ -time algorithms solving Co-Path/Cycle Packing and Co-Path Packing deterministically. It seems that the bound $3^{k}$ is hard to break for the two problems. As shown in Tsur’s algorithms [19], many cases, including the case of handling all degree-4 vertices, lead to the same bottleneck. One of the main targets in this paper is to break those bottlenecks. Previous results and our results for Co-Path/Cycle Packing and Co-Path Packing are summarized in Table 1.

Table 1: Algorithms for Co-Path/Cycle Packing and Co-Path Packing

Years	References	Co-Path/Cycle	Deterministic	Co-Path	Deterministic
2010	Chen et al. [4]	$O^{*}(3.24^{k})$	Yes	$O^{*}(3.24^{k})$	Yes
2015	Feng et al. [8]	$O^{*}(3^{k})$	No	$O^{*}(3^{k})$	No
2016	Xiao [22]	$O^{*}(3.07^{k})$	Yes	-	-
2022	Tsur [19]	$O^{*}(3^{k})$	Yes	$O^{*}(3^{k})$	Yes
2024	This paper	$O^{*}(2.8192^{k})$	Yes	$O^{*}(2.9241^{k})$	No

Our Contributions. The main contributions of this paper are a deterministic algorithm for Co-Path/Cycle Packing running in $O^{*}(2.8192^{k})$ time and $O^{*}(2.5199^{k})$ space and a randomized algorithm for Co-Path Packing running in $O^{*}(2.9241^{k})$ time and space with failure probability $\leq 1/3$ . To obtain this result, we need to combine path decomposition, dynamic programming, branch-and-search and some other techniques. In the previous $O^{*}(3^{k})$ -time algorithms for both Co-Path/Cycle Packing and Co-Path Packing, many cases, including dealing with degree-4 vertices and several different types of degree-3 vertices, lead to the same bottleneck. It seems very hard to avoid all the bottleneck cases by simply modifying the previous algorithms. The main idea of the algorithm in this paper is as follows. We first design some new reduction and branching rules to handle some good structures of the graph. After this, we prove that the remaining graph has a small pathwidth and then design an efficient dynamic programming algorithm based on a path decomposition. Specifically, our algorithm firstly runs the branch-and-search algorithm to handle the degree- $\geq 5$ vertices and the degree-4 vertices adjacent to at least one degree- $\geq 3$ vertex. In the branch-and-search phase, our algorithm runs in $O^{*}(2.8192^{k})$ time for both Co-Path/Cycle Packing and Co-Path Packing. When branching steps cannot be applied, we can construct a path decomposition of width at most $2k/3+\epsilon k$ for any $\epsilon>0$ and call our dynamic programming algorithm. The running time and space of the dynamic programming algorithm are bounded by $O^{*}(2.5199^{k})$ for Co-Path/Cycle Packing and bounded by $O^{*}(2.9241^{k})$ with failure probability $\leq 1/3$ for Co-Path Packing. Therefore, the whole algorithm runs in $O^{*}(2.8192^{k})$ time and $O^{*}(2.5199^{k})$ space for Co-Path/Cycle Packing and runs in $O^{*}(2.9241^{k})$ time and space with failure probability $\leq 1/3$ for Co-Path Packing.

For the dynamic programming algorithms based on a path decomposition, the first algorithm is an $O^{*}((d+2)^{p})$ -time algorithm to solve $d$ -Bounded-Degree Vertex Deletion for every $d\geq 1$ , where $p$ is the width of the given path decomposition. This was firstly found in [21]. We also present it in our way to make this paper self-contained. The second algorithm is designed for Co-Path Packing. In this algorithm, we use an algorithm framework called cut & count [6]. Given a path decomposition of width $p$ , we show that Co-Path Packing can be solved in $O^{*}(5^{p})$ time and space with failure probability $\leq 1/3$ .

Reading Guide. Section 2 begins with a review of fundamental definitions and the establishment of notation. In Section 3 we solve Co-Path/Cycle Packing and in section 4 we solve Co-Path Packing. In Section 3.1, we show that a proper graph has a small pathwidth and present a dynamic programming algorithm for Co-Path/Cycle Packing. In Section 3.2, we give the branch-and-search algorithm for Co-Path/Cycle Packing. Similarly, in Section 4.1, we present a randomized dynamic programming algorithm for Co-Path Packing. In Section 4.2, we give the branch-and-search algorithm for Co-Path Packing. Most of the content of this branching algorithm is the same as the branching algorithm for Co-Path/Cycle Packing. Due to lack of space, Sections 1-3 can be seen as the short version. In Section 5, we give a conclusion.

The proof of theorems marked $\clubsuit$ is placed in the appendix.

2 Preliminaries

In this paper, we only consider simple and undirected graphs. Let $G=(V,E)$ be a graph with $n=|V|$ vertices and $m=|E|$ edges. A vertex $v$ is called a neighbor of a vertex $u$ if there is an edge $uv\in E$ . Let $N(v)$ denote the set of neighbors of $v$ . For a subset of vertices $X$ , let $N(X)=\bigcup_{v\in X}N(v)\setminus X$ and $N[X]=N(X)\cup X$ . We use $d(v)=|N(v)|$ to denote the degree of a vertex $v$ in $G$ . A vertex of degree $d$ is called a degree- $d$ vertex. For a subset of vertices $X\subseteq V$ , the subgraph induced by $X$ is denoted by $G[X]$ . The induced subgraph $G[V\setminus X]$ is also written as $G\setminus X$ . A path $P$ in $G$ is a sequence of vertices $v_{1},v_{2},\cdots,v_{t}$ such that for any $1\leq i<t,\{v_{i}v_{i+1}\}\in E$ . Two vertices $u$ and $v$ are reachable to each other if there is a path $v_{1},v_{2},\cdots,v_{t}$ such that $v_{1}=u$ and $v_{t}=v$ . A connected component of a graph is a maximum subgraph such that any two vertices are reachable to each other. A vertex subset $S$ is called a cPCP-set of graph $G$ if the degree of any vertex in $G\setminus S$ is at most 2. A vertex subset $S$ is called a cPP-set of graph $G$ if $G\setminus S$ is a collection of disjoint paths. For a graph $G$ , we will use $V(G)$ and $E(G)$ to denote the vertex set and edge set of it, respectively. A complete graph with 3 vertices is called a triangle. A singleton $\{v\}$ may be denoted as $v$ .

Path decomposition. We will use the concepts of path decomposition and nice path decomposition of a graph.

Definition 2.1 ([5]).

A path decomposition of a graph $G$ is a sequence $P=(X_{1},X_{2},\cdots,X_{r})$ of vertex subsets $X_{i}\subseteq V(G)$ $(i\in\{1,2,\cdots,r\})$ such that:
(P1) $\bigcup_{i=1}^{r}X_{i}=V(G)$ .
(P2) For every $uv\in E(G)$ , there exists $l\in\{1,2,\cdots,r\}$ such that $X_{l}$ contains both $u$ and $v$ .
(P3) For every $u\in V(G)$ , if $u\in X_{i}\cap X_{k}$ for some $i\leq k$ , then $u\in X_{j}$ for all $i\leq j\leq k$ .

For a path decomposition $(X_{1},X_{2},\cdots,X_{r})$ of a graph, each vertex subset $X_{i}$ in it is called a bag. The width of the path decomposition is $\max_{i}\{|X_{i}|\}-1$ . The pathwidth of a graph $G$ , denoted by pw( $G$ ), is the minimum possible width of a path decomposition of $G$ . A path decomposition $(X_{1},X_{2},\cdots,X_{r})$ is nice if $X_{1}=X_{r}=\emptyset$ and for every $i\in\{1,2,\cdots,r-1\}$ there is either a vertex $v\notin X_{i}$ such that $X_{i+1}=X_{i}\cup\{v\}$ , or there is a vertex $w\in X_{i}$ such that $X_{i+1}=X_{i}\setminus\{w\}$ . The following lemma shows that any path decomposition can be turned into a nice path decomposition without increasing the width.

Lemma 2.2 ([5]).

If a graph $G$ admits a path decomposition of width at most $p$ , then it also admits a nice path decomposition of width at most $p$ . Moreover, given a path decomposition $P=(X_{1},X_{2},\cdots,X_{r})$ of $G$ of width at most $p$ , one can in time $O(p^{2}\cdot\max(r,|V(G)|))$ compute a nice path decomposition of $G$ of width at most $p$ .

There are also easy ways to reduce the length $r$ of a path decomposition to a polynomial of the graph size. Next, we will also assume that $r$ is bounded by a polynomial of the number of vertices. In terms of the pathwidth, there is a known bound.

Theorem 2.3 ([10]).

For any $\epsilon>0$ , there exists an integer $n_{\epsilon}$ such that for every graph $G$ with $n>n_{\epsilon}$ vertices,

\text{pw}(G)\leq\frac{1}{6}n_{3}+\frac{1}{3}n_{4}+n_{\geq 5}+\epsilon n,

where $n_{i}$ $i\in\{3,4\}$ is the number of vertices of degree $i$ in $G$ and $n_{\geq 5}$ is the number of vertices of degree at least 5. Moreover, a path decomposition of the corresponding width can be constructed in polynomial time.

Branch-and-Search Algorithm. For a branch-and-search algorithm, we use a parameter $k$ of the instance to measure the running time of the algorithm. Let $T(k)$ denote the maximum size of the search tree generated by the algorithm when running on an instance with the parameter no greater than $k$ . Assume that a branching operation generates $l$ branches and the measure $k$ in the $i$ -th instance decreases by at least $c_{i}$ . This operation generates a recurrence relation

T(k)\leq T(k-c_{1})+T(k-c_{2})+...+T(k-c_{l})+1.

The largest root of the function $f(x)=1-\sum_{i=1}^{l}x^{-c_{i}}$ is called the branching factor of the recurrence. Let $\gamma$ denote the maximum branching factor among all branching factors in the search tree. The running time of the algorithm is bounded by $O^{*}(\gamma^{k})$ . For more details about analyzing branch-and-search algorithms, please refer to [13].

3 A Parameterized Algorithm for Co-Path/Cycle Packing

In this section, we propose a parameterized algorithm for Co-Path/Cycle Packing. First, in Section 3.1, we show that Co-Path/Cycle Packing on a special graph class, called proper graph, can be quickly solved by using the dynamic programming algorithm based on path decompositions in Theorem 3.5. The key point in this section is to bound the pathwidth of proper graphs by $2k/3+\epsilon k$ for any $\epsilon>0$ . Second, in Section 3.2, we give a branch-and-search algorithm that will implement some branching steps on special local graph structures. When there is no good structure to apply our branching rules, we show that the graph must be a proper graph and then the algorithm in Section 3.1 can be called directly to solve the problem.

3.1 Proper Graphs with Small Pathwidth

A graph is called proper if it satisfies the following conditions:

1.

The maximum degree of $G$ is at most 4.
2.

For any degree-4 vertex $v$ , all neighbors are of degree at most 2.
3.

For any degree-2 vertex $v$ , at least one vertex in $N(v)$ is of degree at least 3.
4.

Each connected component contains at least 6 vertices.

We are going to solve Co-Path/Cycle Packing on proper graphs first. Next, we try to bound the pathwidth of proper graphs.

Lemma 3.1.

Let $G$ be a proper graph. If $G$ has a $cPCP$ -set (resp. $cPP$ -set) of size at most $k$ , then it holds that

|V(G)|\leq 100k\leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode\nobreak\ % \mbox{and}\leavevmode\nobreak\ \leavevmode\nobreak\ \leavevmode\nobreak\ \frac% {n_{3}}{6}+\frac{n_{4}}{3}\leq\frac{2k}{3},

(1)

where $n_{3}$ and $n_{4}$ are the number of degree-3 and degree-4 vertices in $G$ , respectively.

Proof 3.2.

Refer to caption — Figure 1: Sets $S$ , $A$ , $A_{3}$ and $A_{4}$ in the proof of Lemma 3.1.

Assume that there is a cPCP-set (resp. cPP-set) $S$ of size at most $k$ . Let $A=V(G)\setminus S$ . Let $V_{3}$ and $V_{4}$ be the set of degree-3 and degree-4 vertices in $G$ , respectively. Let $A_{3}=A\cap V_{3}$ and $A_{4}=A\cap V_{4}$ . Let $x$ be the number of degree-4 vertices in $S$ . See Figure 1 for an illustration.

Since the degree of any vertex in $G[A]$ is at most 2, the number of edges between $A_{3}\cup A_{4}$ and $S$ is at least $|A_{3}|+2|A_{4}|$ . Since $G$ is proper, for any degree-4 vertex $v$ , there is no degree- $\geq 3$ vertex in $N(v)$ . So we have that the number of edges between $A_{3}\cup A_{4}$ and $S$ is at most $3(k-x)$ . So we have that

3(k-x)\geq|A_{3}|+2|A_{4}|.

(2)

Let $n_{i}$ be the number of degree- $i$ vertices in $G$ for any $i\in\{0,1,2,3,4\}$ . By the fourth condition of the proper graph, we have that $n_{0}=0$ . We also have that $n_{3}\leq k-x+|A_{3}|$ , $n_{4}=|A_{4}|+x$ . Inequality (2) implies that

n_{3}+n_{4}\leq k+|A_{3}|+|A_{4}|\leq k+|A_{3}|+2|A_{4}|\leq 4k.

(3)

By the third condition of the proper graph, we have that

n_{2}\leq 4(n_{3}+n_{4})\leq 16k.

(4)

For degree-1 vertices, also by the fourth condition of the proper graph, we have that

n_{1}\leq 4(n_{2}+n_{3}+n_{4})\leq 4(16k+4k)=80k.

(5)

Inequalities (3), (4) and (5) together imply that

|V(G)|=n_{0}+n_{1}+n_{2}+n_{3}+n_{4}\leq 100k.

(6)

Since $x\geq 0$ , inequality (2) implies that

\frac{n_{3}}{6}+\frac{n_{4}}{3}\leq\frac{k-x+|A_{3}|}{6}+\frac{|A_{4}|+x}{3}=% \frac{k+x+|A_{3}|+2|A_{4}|}{6}\leq\frac{4k-2x}{6}\leq\frac{2k}{3}.

Lemma 3.3.

Let $G$ be a proper graph. For any $\epsilon>0$ , in polynomial time we can either decide that $G$ has no cPCP-set (resp. cPP-set) of size at most $k$ or compute a path decomposition of width at most $\frac{2k}{3}+\epsilon k$ .

Proof 3.4.

Our algorithm is defined as follows. Let $n_{3}$ and $n_{4}$ be the number of degree-3 and degree-4 vertices in $G$ , respectively. First, we check whether $|V(G)|\leq 100k$ and $\frac{n_{3}}{6}+\frac{n_{4}}{3}\leq\frac{2k}{3}$ in polynomial time. If $|V(G)|>100k$ oder $\frac{n_{3}}{6}+\frac{n_{4}}{3}>\frac{2k}{3}$ , by Lemma 3.1, we can decide that $G$ has no cPCP-set (resp. cPP-set) of size at most $k$ . Otherwise, let $\epsilon^{\prime}=\epsilon/100$ . By Theorem 2.3, we can obtain a path decomposition $P^{\prime}$ of width at most $p^{\prime}=\frac{n_{3}}{6}+\frac{n_{4}}{3}+\epsilon^{\prime}|V(G)|\leq\frac{2k% }{3}+100\epsilon^{\prime}k=\frac{2k}{3}+\epsilon k$ . This lemma holds.

The following theorem shows that there exists an algorithm for the general $d$ -Bounded-Degree Vertex Deletion problem based on a given path decomposition of the graph. The running time bound of the algorithm is $O^{*}((d+2)^{p})$ , where $p$ is the width of the given path decomposition. Previously, an $O^{*}(3^{p})$ -time algorithm for $1$ -Bounded-Degree Vertex Deletion was known [2]. Recently, this result was extended for any $d\geq 1$ by van Rooij [21]. We also present it (in the appendix) in our way to make this paper self-contained.

Theorem 3.5 ( $\clubsuit$ ).

Given a path decomposition of $G$ with width $p$ . For any $d\geq 1$ , $d$ -Bounded-Degree Vertex Deletion can be solved in $O^{*}((d+2)^{p})$ time and space.

However, the algorithm given in Theorem 3.5 cannot be used to solve Co-Path Packing since there is a global connectivity constraint for Co-Path Packing. We will discuss it in Section 4. Based on Theorem 3.5, we have the following lemma.

Lemma 3.6.

Co-Path/Cycle Packing on proper graphs can be solved in $O^{*}(2.5199^{k})$ time.

Proof 3.7.

We first call the algorithm in Lemma 3.3. If the algorithm decides that $G$ has no $cPCP$ -set of size at most $k$ , we claim that $(G,k)$ is a no-instance. Otherwise, we can obtain a nice path decomposition of width at most $\frac{2k}{3}+\epsilon k$ . Then we call the algorithm in Theorem 3.5. This algorithm runs in $O^{*}(4^{2k/3+\epsilon k})=O^{*}(2.5199^{k})$ , where we choose $\epsilon<10^{-6}$ . This lemma holds.

3.2 A Branch-and-Search Algorithm

In this subsection, we provide a branch-and-search algorithm for Co-Path/Cycle Packing, which is denoted by ${\tt cPCP}(G,k)$ . Our algorithm contains several reduction and branching steps. After recursively executing these steps, we will get a proper graph and then call the dynamic programming algorithm in Section 3.1 to solve it.

3.2.1 Reduction and Branching Rules

Firstly we have a reduction rule to reduce small connected components.

Reduction-Rule 1.

If there is a connected component $C$ of the graph such that $|V(C)|\leq 6$ , then run a brute force algorithm to find a minimum cPCP-set $S$ in $C$ , delete $C$ and include $S$ in the deletion set.

Lemma 3.8.

Let $u$ and $v$ be two adjacent vertices of degree at most 2 in $G$ and $G^{\prime}$ be the graph after deleting edge $uv$ from $G$ . Then $(G,k)$ is a yes-instance if and only if $(G^{\prime},k)$ is a yes-instance.

This lemma holds because adding an edge between two vertices of degree at most 1 back to a graph will not make the two vertices of degree greater than 2. Based on this lemma, we have the following reduction rule.

Reduction-Rule 2.

If there are two adjacent vertices $u$ and $v$ of degree at most 2, then return ${\tt cPCP}(G^{\prime}=(V(G),E(G)\setminus\{uv\}),k)$ .

Lemma 3.9.

Let $\{u,v,w\}$ be a triangle such that $|N(\{u,v,w\})|=1$ . Let $x$ be the vertex in $N(\{u,v,w\})$ . There is a minimum cPCP-set containing $x$ .

This lemma holds because we must delete at least one vertex in $\{u,v,w,x\}$ and delete any vertex in $\{u,v,w\}$ cannot decrease the degree of vertices in $V(G)\setminus\{u,v,w,x\}$ . Based on this lemma, we have the following reduction rule.

Reduction-Rule 3.

If there is a triangle $\{u,v,w\}$ such that $|N(\{u,v,w\})|=1$ , then return ${\tt cPCP}(G\setminus N[\{u,v,w\}],k-1)$ .

After applying the three simple reduction rules, we will execute some branching steps. Although we have several branching steps, most of them are based on the following two branching rules.

For a vertex $v$ of degree at least 3, either it is included in the deletion set or it remains in the graph. For the latter case, there are at most two vertices in $N(v)$ that can remain in the graph. So we have the following branching rule.

Branching-Rule (B1). For a vertex $v$ of degree at least 3, branch on it to generate ${|N(v)|\choose 2}+1$ branches by either (i) deleting $v$ from the graph and including it in the deletion set, or (ii) for every pair of vertices $u$ and $w$ in $N(v)$ , deleting $N(v)\setminus\{u,w\}$ from the graph and including $N(v)\setminus\{u,w\}$ in the deletion set.

A vertex $v$ dominates a vertex $u$ if $N[u]\subseteq N[v]$ . We have the following property for dominated vertices.

Lemma 3.10.

If a vertex $v$ dominates a vertex $u$ , then there is a minimum cPCP-set either containing $v$ or containing none of $v$ and $u$ .

Proof 3.11.

Let $S$ be a cPCP-set. Assume to the contrary that $S\cap\{v,u\}=\{u\}$ . Since $v$ dominates $u$ , we know that $S^{\prime}=S\setminus\{u\}\cup\{v\}$ is still a feasible cPCP-set with $|S^{\prime}|=|S|$ . There is a minimum cPCP-set containing $v$ . This lemma holds.

Assume that $v$ dominates $u$ . By Lemma 3.10, we know that either $v$ is included in the deletion set or both of $v$ and $u$ remain in the graph. For the latter case, there are at most two vertices in $N(v)$ that can remain in the graph. Thus, at least $|N(v)|-2$ vertices in $N(v)\setminus\{u\}$ will be deleted. We get the following branching rule.

Branching-Rule (B2). Assume that a vertex $v$ of degree at least 3 dominates a vertex $u$ . Branch on $v$ to generate $1+(|N(v)|-1)=|N(v)|$ branches by either (i) deleting $v$ from the graph and including it in the deletion set, or (ii) for each vertex $w\in N(v)\setminus\{u\}$ , deleting $N(v)\setminus\{u,w\}$ from the graph and including $N(v)\setminus\{u,w\}$ in the deletion set.

3.2.2 Steps

When we execute one step, we assume that all previous steps are not applicable in the current graph anymore. We will analyze each step after describing it.

Step 1 (Vertices of degree at least 5). If there is a vertex $v$ of $d(v)\geq 5$ , then branch on $v$ with Branching-Rule (B1) to generate ${d(v)\choose d(v)-2}+1$ branches and return the best of

\begin{split}&{\tt cPCP}(G\setminus\{v\},k-1)\\ \mbox{and}\quad&{\tt cPCP}(G\setminus(N(v)\setminus\{u,w\}),k-|N(v)\setminus\{% u,w\}|)\mbox{\leavevmode\nobreak\ for each pair $\{u,w\}\subseteq N(v)$}.\end{split}

For this step, we get a recurrence

T(k)\leq T(k-1)+{d(v)\choose d(v)-2}\times T(k-(d(v)-2))+1,

where $d(v)\geq 5$ . For the worst case that $d(v)=5$ , the branching factor of it is 2.5445.

After Step 1, the graph contains only vertices with degree at most 4.

Step 2 (Degree-4 vertices dominating some vertex of degree at least 3). Assume that there is a degree-4 vertex $v$ that dominates a vertex $u_{1}$ , where $d(u_{1})\geq 3$ . Without loss of generality, we assume that the other three neighbors of $v$ are $u_{2},u_{3}$ and $u_{4}$ , and $u_{1}$ is adjacent to $u_{2}$ and $u_{3}$ ( $u_{1}$ is further adjacent to $u_{4}$ if $d(u_{1})=4$ ). See Figure 2 for an illustration. We branch on $v$ with Branching-Rule (B2) and get $|N(v)|$ branches

{\tt cPCP}(G\setminus\{v\},k-1),{\tt cPCP}(G\setminus\{u_{2},u_{3}\},k-2),

{\tt cPCP}(G\setminus\{u_{2},u_{4}\},k-2),\leavevmode\nobreak\ \mbox{and}% \leavevmode\nobreak\ {\tt cPCP}(G\setminus\{u_{3},u_{4}\},k-2).

The corresponding recurrence is

T(k)\leq T(k-1)+3\times T(k-2)+1,

which has a branching factor of 2.3028.

A triangle $\{u,v,w\}$ is called heavy if it holds that $|N(\{u,v,w\})|\geq 4$ .

Step 3 (Degree-4 vertices in a heavy triangle). Assume that a degree-4 vertex $v$ is in a heavy triangle. Let $u_{1}$ , $u_{2}$ , $u_{3}$ and $u_{4}$ be the four neighbors of $v$ , where we assume without loss of generality that $\{v,u_{1},u_{2}\}$ is a heavy triangle. See Figure 3 for an illustration. We branch on $v$ with Branching-Rule (B1). In the branch of deleting $\{u_{3},u_{4}\}$ , we can simply assume that the three vertices $v,u_{1}$ and $u_{2}$ are not deleted, otherwise this branch can be covered by another branch and then it can be ignored. Since $v,u_{1}$ and $u_{2}$ form a triangle, we need to delete all the vertices in $N(\{v,u_{1},u_{2}\})$ in this branch. Note that $\{v,u_{1},v_{2}\}$ is a heavy triangle and we have that $|N(\{v,u_{1},u_{2}\})|\geq 4$ . We generate the following ${4\choose 2}$ + 1 branches

\begin{split}&{\tt cPCP}(G\setminus\{v\},k-1),\\ &{\tt cPCP}(G\setminus(\{u_{1},u_{i}\}),k-|\{u_{1},u_{i}\}|)\mbox{\leavevmode% \nobreak\ for each $i=2,3,4$},\\ &{\tt cPCP}(G\setminus(\{u_{2},u_{i}\}),k-|\{u_{2},u_{i}\}|)\mbox{\leavevmode% \nobreak\ for each $i=3,4$},\\ \mbox{and}\quad&{\tt cPCP}(G\setminus N(\{v,u_{1},u_{2}\}),k-|N(\{v,u_{1},u_{2% }\})|).\end{split}

The corresponding recurrence is

T(k)\leq T(k-1)+({4\choose 2}-1)\times T(k-2)+T(k-|N(\{v,u_{1},u_{2}\})|)+1,

where $|N(\{v,u_{1},u_{2}\})|\geq 4$ . For the worst case that $|N(\{v,u_{1},u_{2}\})|=4$ , the branching factor of it is 2.8186.

Lemma 3.12.

If a vertex $v$ has two degree-1 neighbors $u_{1}$ and $u_{2}$ , then there is a minimum cPCP-set containing none of $u_{1}$ and $u_{2}$ . Furthermore, If $v$ is a vertex of degree at most 3, then there is a minimum cPCP-set containing none of $v$ , $u_{1}$ , and $u_{2}$ .

Proof 3.13.

Let $S$ be a minimum cPCP-set. If $v\in S$ , then $S\setminus\{u_{1},u_{2}\}$ is still a minimum cPCP-set. Next, we assume that $v\not\in S$ . If at least one of $u_{1}$ and $u_{2}$ is in $S$ , then $S^{\prime}=(S\setminus\{u_{1},u_{2}\})\cup\{v\}$ is a cPCP-set with $|S^{\prime}|\leq|S|$ . Thus, $S^{\prime}$ is a minimum cPCP-set not containing $u_{1}$ and $u_{2}$ .

If $v$ is a degree-2 vertex, then the component containing $v$ is a path of three vertices. None of the three vertices should be deleted. If $v$ is a degree-3 vertex, we let $u_{3}$ be the third neighbor of $v$ . Note that at least one vertex in $\{v,u_{1},u_{2},u_{3}\}$ should be deleted and then any solution $S$ will contain at least one vertex in $\{v,u_{1},u_{2},u_{3}\}$ . We can see that $S^{\prime}=(S\setminus\{v,u_{1},u_{2},u_{3}\})\cup\{u_{3}\}$ is still a cPCP-set with size $|S^{\prime}|\leq|S|$ . There is always a minimum cPCP-set containing none of $v$ , $u_{1}$ , and $u_{2}$ .

Step 4 (Degree-4 vertices in a triangle). Assume that there is still a degree-4 vertex $v$ in a triangle $\{v,u_{1},u_{2}\}$ . We also let $u_{1}$ , $u_{2}$ , $u_{3}$ and $u_{4}$ be the four neighbors of $v$ . Since triangle $\{v,u_{1},u_{2}\}$ can not be a heavy triangle now, we know that $|N(\{v,u_{1},u_{2}\})|\leq 3$ . First, we show that it is impossible $|N(\{v,u_{1},u_{2}\})|=2$ . Assume to the contrary that $|N(\{v,u_{1},u_{2}\})|=2$ . Then $u_{1}$ and $u_{2}$ can only be adjacent to vertices in $N[v]$ . If both of $u_{1}$ and $u_{2}$ are degree-2 vertices, then Reduction-Rule 1 should be applied. If one of $u_{1}$ and $u_{2}$ is a vertex of degree at least 3, then $v$ would dominate this vertex, and then the condition of Step 2 would hold. Any case is impossible. Next, we assume that $|N(\{v,u_{1},u_{2}\})|=3$ and let $u_{5}$ denote the third vertex in $N(\{v,u_{1},u_{2}\})$ . We further consider several different cases.

Case 1: One of $u_{1}$ and $u_{2}$ , say $u_{1}$ is a degree-4 vertex. For this case, vertex $u_{1}$ is adjacent to $u_{5}$ , otherwise the degree-4 vertex $v$ would dominate the degree-4 vertex $u_{1}$ . Since $u_{1}$ is of degree 4, we know that $u_{1}$ is also adjacent to one of $u_{3}$ and $u_{4}$ , say $u_{3}$ . Vertices $u_{2}$ and $u_{3}$ can only be adjacent to vertices in $N[v]\cup\{u_{5}\}$ , otherwise $\{v,u_{1},u_{2}\}$ oder $\{v,u_{1},u_{3}\}$ would form a heavy triangle and Step 3 should be applied. Thus, neither $u_{2}$ nor $u_{3}$ can be a degree-3 vertex, otherwise degree-4 vertex $u_{1}$ oder $v$ dominates a degree-3 vertex $u_{2}$ oder $u_{3}$ and then Step 2 should be applied. Thus, we have that either $d(u_{2})=d(u_{3})=2$ oder $d(u_{2})=d(u_{3})=4$ . We further consider the following three cases:

Case 1.1: $d(u_{2})=d(u_{3})=2$ . For this case, we have that $v$ dominates $u_{2}$ and $u_{3}$ . By Lemma 3.10, we have that there is a minimum cPCP-set either containing $v$ or containing none of $v$ , $u_{2}$ and $u_{3}$ . For the first branch, we delete $v$ from the graph and include it in the deletion set. For the second branch, we delete $u_{1}$ and $u_{4}$ from the graph and include it in the deletion set. The corresponding recurrence is

T(k)\leq T(k-1)+T(k-2)+1,

the branching factor of which is 1.6181.

Case 1.2: $d(u_{2})=d(u_{3})=4$ and $u_{2}$ and $u_{3}$ are not adjacent. For this case, both of $u_{2}$ and $u_{3}$ are adjacent to $u_{4}$ and $u_{5}$ . Since $v$ does not dominate $u_{4}$ , we know that $u_{4}$ is adjacent to at least one vertex out of $N[v]$ . Since triangle $\{v,u_{2},u_{4}\}$ is not a heavy triangle, we know that $u_{4}$ is not adjacent to any vertex other than $N[v]\cup\{u_{5}\}$ . Thus, $u_{4}$ is also adjacent to $u_{5}$ . Since the maximum degree of the graph is 4 now, we know that this component only contains six degree-4 vertices $N[v]\cup\{u_{5}\}$ , which should be eliminated by Reduction-Rule 2.

Case 1.3: $d(u_{2})=d(u_{3})=4$ and $u_{2}$ and $u_{3}$ are adjacent. For this case, since $v$ does not dominate $u_{3}$ , we know that $u_{3}$ is adjacent to at least one vertex out of $N[v]$ . This vertex can only be $u_{5}$ . Thus, the four neighbors of $u_{3}$ are $v,u_{1}$ , $u_{2}$ , and $u_{5}$ . Now $u_{1}$ is a degree-4 vertex dominating a degree-4 vertex $u_{3}$ . Step 2 should be applied. Thus, this case is impossible.

Case 2: Both of $u_{1}$ and $u_{2}$ are degree-3 vertices. It holds that $N(u_{1})=\{v,u_{2},u_{5}\}$ and $N(u_{2})=\{v,u_{1},u_{5}\}$ , otherwise vertex $v$ would dominate $u_{1}$ oder $u_{2}$ . See Figure 4 for an illustration. For this case, we first branch on $v$ with Branching-Rule (B1) to generate ${d(v)\choose d(v)-2}+1$ branches. We can only get a recurrence relation

T(k)\leq T(k-1)+{4\choose 2}T(k-2)+1.

This recurrence is not good enough. Next, we look at the branch of deleting $v$ and try to get some improvements on this subbranch. After deleting $v$ , vertices $u_{1}$ and $u_{2}$ become degree-2 vertices in a triangle. We first apply Reduction-Rule 1 to delete edge $u_{1}u_{2}$ between $u_{1}$ and $u_{2}$ . Then, vertices $u_{1}$ and $u_{2}$ become degree-1 vertices adjacent to $u_{5}$ .

Case 2.1: $u_{5}$ is a degree-2 vertex. This case is impossible otherwise Reduction Rule 3 would be applied before this step.

Case 2.2: $u_{5}$ is a degree-3 vertex. By Lemma 3.12, we can delete $N[u_{5}]$ directly and include the third neighbor of $u_{5}$ in the deletion set. We generate the following ${4\choose 2}$ + 1 branches

\begin{split}&{\tt cPCP}(G\setminus(\{v\}\cup N[u_{5}]),k-2)\\ \mbox{and}\quad&{\tt cPCP}(G\setminus(N(v)\setminus\{u,w\}),k-|N(v)\setminus\{% u,w\}|)\mbox{\leavevmode\nobreak\ for each pair $\{u,w\}\subseteq N(v)$}.\end{split}

The corresponding recurrence is

T(k)\leq T(k-2)+{4\choose 2}T(k-2)+1.

which has a branching factor of 2.6458.

Case 2.3: $u_{5}$ is a degree-4 vertex. By Lemma 3.12, we know that there is a minimum cPCP-set either containing $u_{5}$ or containing none of $u_{5},u_{1}$ , and $u_{2}$ . For the first case, we delete $u_{5}$ and include it in the deletion set. For the second case, we delete $N[u_{5}]$ from the graph and include $N(u_{5})\setminus\{u_{5},u_{1},u_{2}\}$ in the deletion set. Note that $|N(u_{5})\setminus\{u_{5},u_{1},u_{2}\}|=2$ since $u_{5}$ is a degree-4 vertex. Combining with the previous branching on $v$ , we get the following ${4\choose 2}$ + 2 branches

\begin{split}&{\tt cPCP}(G\setminus\{v,u_{5}\},k-2),\\ &{\tt cPCP}(G\setminus(\{v\}\cup N[u_{5}]),k-3),\\ \mbox{and}\quad&{\tt cPCP}(G\setminus(N(v)\setminus\{u,w\}),k-|N(v)\setminus\{% u,w\}|)\mbox{\leavevmode\nobreak\ for each pair $\{u,w\}\subseteq N(v)$}.\end{split}

The corresponding recurrence is

T(k)\leq T(k-1-1)+T(k-1-2)+{4\choose 2}T(k-2)+1,

which has a branching factor of 2.7145.

After Step 4, no degree-4 vertex is in a triangle.

Step 5 (Degree-4 vertices adjacent to some vertex of degree at least 3). Assume there is a degree-4 vertex $v$ adjacent to at least one vertex of degree at least 3. Let $u_{1}$ , $u_{2}$ , $u_{3}$ and $u_{4}$ be the four neighbors of $v$ , where we assume without loss of generality that $d(u_{1})\geq 3$ . First, we branch on $v$ by either (b1) including it in the solution set or (b2) excluding it from the solution set. Next, we focus on the latter case (b2). In (b2), we further branch on $u_{1}$ by (b2.1) either including it in the solution set or (b2.2) excluding it from the solution set. For case (b2.1), there are at least $|N(v)|-2=2$ vertices in $N(v)$ that should be deleted by the same argument for Branching-Rule (B1). Thus, we can generate three subbranches by deleting $\{u_{1},u_{2}\}$ , $\{u_{1},u_{3}\}$ , and $\{u_{1},u_{3}\}$ , respectively. For case (b2.2), there are still at least $|N(v)|-2=2$ vertices in $N(v)$ that should be deleted, which can be one of the following three sets $\{u_{2},u_{3}\}$ , $\{u_{2},u_{4}\}$ , and $\{u_{3},u_{4}\}$ . Furthermore, there are also at least $|N(u_{1})|-2\geq 1$ vertices in $N(u_{1})$ that should be deleted. Note that $v\in N(u_{1})$ is not allowed to be deleted now. Thus, at least $|N(u_{1})\setminus\{v\}|-1$ vertices in $N(u_{1})\setminus\{v\}$ should be deleted. We will generate ${{|N(u_{1})\setminus\{v\}|}\choose{|N(u_{1})\setminus\{v\}|-1}}=|N(u_{1})% \setminus\{v\}|=d(u_{1})-1$ branches by decreasing $k$ by $|N(u_{1})\setminus\{v\}|-1=d(u_{1})-2$ . Since after Step 3, the degree-4 vertex $v$ is not in any triangle, we know that $N(u_{1})\setminus\{v\}$ is disjoint with $\{u_{2},u_{3},u_{4}\}$ . For case (b2.2), we will generate $3\times(d(u_{1})-1)$ subbranches by decreasing $k$ by at least $2+d(u_{1})-2=d(u_{1})$ in each, where $d(u_{1})=3$ or 4. See Figure 5 for an illustration. In total, we will generate the following 1+3+ $3\times(d(u_{1})-1)$ branches

\begin{split}&{\tt cPCP}(G\setminus\{v\},k-1),\\ &{\tt cPCP}(G\setminus(\{u_{1},u_{i}\}),k-2)\mbox{\leavevmode\nobreak\ for % each $i=2,3,4$},\\ &{\tt cPCP}(G\setminus(\{u_{2},u_{3}\}\cup(N(u_{1})\setminus\{v,w\})),k-d(u_{1% })),\leavevmode\nobreak\ \mbox{for each $w\in N(u_{1})\setminus\{v\}$},\\ &{\tt cPCP}(G\setminus(\{u_{2},u_{4}\}\cup(N(u_{1})\setminus\{v,w\})),k-d(u_{1% })),\leavevmode\nobreak\ \mbox{for each $w\in N(u_{1})\setminus\{v\}$},\\ \mbox{and}\leavevmode\nobreak\ &{\tt cPCP}(G\setminus(\{u_{3},u_{4}\}\cup(N(u_% {1})\setminus\{v,w\})),k-d(u_{1})),\leavevmode\nobreak\ \mbox{for each $w\in N% (u_{1})\setminus\{v\}$}.\end{split}

We get a recurrence

T(k)\leq T(k-1)+3\times T(k-2)+3(d(u_{1})-1)\times T(k-d(u_{1}))+1,

where $d(u_{1})=3$ or 4. For the case that $d(u_{1})=3$ , the branching factor is 2.8192, and for the case that $d(u_{1})=4$ , the branching factor is 2.6328.

The worst branching factors in the above five steps are listed in Table 2. After Step 5, any degree-4 vertex can be only adjacent to vertices of degree at most 2. It is easy to see that the remaining graph after Step 5 is a proper graph. We call the algorithm in Lemma 3.6 to solve the instance in $O^{*}(2.5199^{k})$ time.

Table 2: The branching factors of each of the first five steps

Steps	Step 1	Step 2	Step 3	Step 4	Step 5
Branching factors	2.5445	2.3028	2.8186	2.7145	2.8192

Theorem 3.14.

Co-Path/Cycle Packing can be solved in $O^{*}(2.8192^{k})$ time.

Fomin et al. [9] introduced the monotone local search technique for deriving exact exponential-time algorithms from parameterized algorithms. Under some conditions, a $c^{k}n^{O(1)}$ -time algorithm implies an algorithm with running time $(2-1/c)^{n+o(n)}$ . By applying this technique on our $O^{*}(2.8192^{k})$ -time algorithm in Theorem 3.14, we know that Co-Path/Cycle Packing can be solved in $(2-1/2.8192)^{n+o(n)}=O(1.6453^{n})$ time.

Corollary 3.15.

Co-Path/Cycle Packing can be solved in $O(1.6453^{n})$ time.

4 A Parameterized Algorithm for Co-Path Packing

In this section, we show a randomized $O^{*}(2.9241^{k})$ time algorithm for Co-Path Packing. We also use the method for Co-Path/Cycle Packing, which consists of two phases. The first one is the dynamic programming phase, and the second one is the branch-and-search phase.

In the dynamic programming phase, it is more difficult to solve Co-Path Packing based on a path decomposition in comparison to Co-Path/Cycle Packing. The reason is that Co-Path/Cycle Packing involves only local constraints, which means that the object’s properties can be verified by checking each vertex’s neighborhood independently. For this problem, a typical dynamic programming approach can be used to design a $c^{pw(G)}|V(G)|^{O(1)}$ time algorithm straightforwardly. In contrast, there is a global connectivity constraint for Co-Path Packing. The problem with global connectivity constraint is also called connectivity-type problem. For connectivity-type problems, the typical dynamic programming approach has to keep track of all possible ways the solution can traverse the corresponding separator of the path decomposition that is $\Omega(l^{l})$ , where $l$ is the size of the separator and hence the pathwidth [6].

To obtain a single exponential algorithm parametrized by pathwidth for Co-Path Packing, we use the cut & count framework. Previously, cut & count significantly improved the known bounds for various well-studied connectivity-type problems, such as Hamiltonian Path, Steiner Tree, and Feedback Vertex Set [6]. Additionally, for $k$ -Co-Path Set, cut & count has been used to obtain a fast parameterized algorithm [17]. In Section 4.1, we present a randomized fpt algorithm with complexity $O^{*}(5^{pw(G)})$ for Co-Path Packing.

In the branch-and-search phase, our algorithm for Co-Path Packing is similar to the branching algorithm for Co-Path/Cycle Packing. Specifically, our branching algorithm for Co-Path Packing contains two reduction rules, two branching rules, and four steps, while the first reduction rule, both two branching rules, the first two steps, and the last step are the same as the branching algorithm for Co-Path/Cycle Packing. The branch-and-search phase is shown in Section 4.2.

4.1 A DP Algorithm via Cut & Count for Co-Path Packing

In this section, we use the cut & count framework to design a $5^{pw}n^{O(1)}$ one-sided error Monte Carlo algorithm with a constant probability of a false negative for Co-Path Packing.

4.1.1 Cutting

In this subsection, we first introduce the definitions of consistent cuts and marked consistent cuts. Then we show the Isolation Lemma.

Definition 4.1.

A partition $(V_{1},V_{2})$ of $V(G)$ is a consistent cut of a graph $G$ if there is no edge $uv$ such that $u\in V_{1}$ and $v\in V_{2}$ . Furthermore, all degree-0 vertices are contained in $V_{1}$ .

By the definition of consistent cut, each non-isolate connected component must be contained fully in $V_{1}$ oder $V_{2}$ . So we have that a graph $G$ has exactly $2^{cc(G)-n_{0}(G)}$ consistent cuts, where $cc(G)$ is the number of connected components and $n_{0}(G)$ is the number of degree-0 vertices. A marker set is an edge set $M\subseteq E(G)$ .

Definition 4.2.

A triple $(V_{1},V_{2},M)$ is a marked consistent cut of a graph $G$ if $(V_{1},V_{2})$ is a consistent cut and $M\subseteq E(G[V_{1}])$ . A marker set is proper if it contains at least one edge in each non-isolate connected component of $G$ .

Note that if a marked consistent cut contains a proper marker set, all vertices are contained in $V_{1}$ . The reason is that by the definition of marked consistent cut, any non-isolate connected component containing a marker must be contained in $V_{1}$ . Additionally, all degree-0 vertices are contained in $V_{1}$ . Therefore, If $M$ is a proper marker set, there exists exactly one corresponding consistent cut with $M$ . Conversely, if $M$ is not a proper marker set, there are an even number of consistent cuts with $M$ , since there exists at least one unmarked non-isolate connected component that could be contained in either $V_{1}$ oder $V_{2}$ .

We call an induced subgraph $G^{\prime}$ of $G$ a cc-solution if $G^{\prime}$ is a collection of disjoint paths.

Definition 4.3.

A pair $(G^{\prime},M^{\prime})$ is a marked-cc-solution of a graph $G$ if $G^{\prime}$ is a cc-solution and $M^{\prime}$ is a proper marker set with size exactly equals to the number of non-isolate connected components of $G^{\prime}$ .

If there exists a cc-solution with $|V(G)|-k$ vertices, then we can claim that there exists a cPP-set with size $k$ . Furthermore, if there exists a marked-cc-solution with $|V(G)|-k$ vertices, which means that there exists a cc-solution with $|V(G)|-k$ vertices, then we can also claim that there exists a cPP-set with size $k$ .

A function $\omega:U\rightarrow\mathbb{Z}$ isolates a set family $\mathcal{F}\subseteq 2^{U}$ if there is an unique $S^{\prime}\in\mathcal{F}$ with $\omega(S^{\prime})=\min_{S\in\mathcal{F}}\omega(S)$ , where $\omega(X)=\sum_{x\in X}\omega(x)$ .

Lemma 4.4 (Isolation Lemma [15]).

Let $\mathcal{F}\subseteq 2^{U}$ be a set family over an universe $U$ with $|\mathcal{F}|>0$ . For each $u\in U$ , choose a weight $\omega(u)\in\{1,2,\dots,N\}$ uniformly and independently at random. Then

\Pr(\omega\text{ isolates }\mathcal{F})\geq 1-\frac{|U|}{N}.

4.1.2 Counting

Definition 4.5.

For some values $n\geq 0$ , $e\geq 0$ and $m\geq 0$ , A pair $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ is a cc-candidate of a graph $G$ if $G^{\prime}$ is an induced subgraph of $G$ with maximum degree 2, exactly $n$ vertices and $e$ edges, and $(V_{1},V_{2},M^{\prime})$ is a marked consistent cut of $G^{\prime}$ with $m$ markers.

Counting marked-cc-solutions remains difficult on a path decomposition since any feasible marked-cc-solution $(G^{\prime},M^{\prime})$ must include a cycle-free induced subgraph $G^{\prime}$ . However, it is important to note that there is no global connectivity constraint for cc-candidates. Therefore, counting cc-candidates is easier than counting marked-cc-solutions. The following lemma shows that we can count cc-candidates instead of marked-cc-solutions in $\mathbb{Z}_{2}$ .For a graph $G$ , assuming there is a weight function $\omega:V(G)\cup E(G)\rightarrow\mathbb{Z}$ . The weight of a marked-cc-solution $(G^{\prime},M^{\prime})$ is defined as $\sum_{v\in V(G^{\prime})}\omega(v)+\sum_{e\in M^{\prime}}\omega(e)$ . The weight of a cc-candidates $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ is also defined as $\sum_{v\in V(G^{\prime})}\omega(v)+\sum_{e\in M^{\prime}}\omega(e)$ .

Lemma 4.6.

The parity of the number of marked-cc-solutions $(G^{\prime},M^{\prime})$ in $G$ with $n$ vertices, $e$ edges and weight $w$ is the same as the parity of the number of cc-candidates $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ with $n$ vertices, $e$ edges, $n-e-n_{0}(G^{\prime})$ markers, and weight $w$ .

Proof 4.7.

Consider an induced subgraph $G^{\prime}$ of $G$ and a marker set $M^{\prime}$ of $G^{\prime}$ . Now we consider the following three cases.

Case 1. $|V(G^{\prime})|\neq n$ oder $|E(G^{\prime})|\neq e$ oder $|M^{\prime}|\neq n-e$ oder $\sum_{v\in V(G^{\prime})}\omega(v)+\sum_{m\in M^{\prime}}\omega(m)\neq w$ : In this case, $(G^{\prime},M^{\prime})$ contributes 0 to both the number of marked-cc-solutions and the number of cc-candidates, respectively.

Case 2. There is a cycle in $G^{\prime}$ : In this case, $(G^{\prime},M^{\prime})$ is not a feasible marked-cc-solution and contributes 0 to the number of marked-cc-solutions. Since there is a cycle in $G^{\prime}$ , we know that $cc(G^{\prime})>n-e$ . The number of non-isolate connected components is greater than $n-e-n_{0}(G^{\prime})$ . So, there exists one non-isolate connected component containing no marker. Since this connected component could be contained in either $V_{1}$ oder $V_{2}$ , we have that there are an even number of feasible consistent cuts $(V_{1},V_{2})$ such that $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ is a cc-candidate. Thus, $(G^{\prime},M^{\prime})$ contributes an even number to the number of cc-candidates.

Case 3. There is no cycle in $G^{\prime}$ : In this case, $G^{\prime}$ is a feasible cc-solution. We further consider two cases.

Case 3.1. $M^{\prime}$ is not a proper marker set: In this case, $(G^{\prime},M^{\prime})$ is also not a feasible marked-cc-solution and contributes 0 to the number of marked-cc-solutions. By the definition of proper marker set, we have that there is one non-isolate connected component containing no marker. Following a similar argument in Case 2, we have that $(G^{\prime},M^{\prime})$ contributes an even number to the number of cc-candidates.

Case 3.2. $M^{\prime}$ is a proper marker set: In this case, $(G^{\prime},M^{\prime})$ is a feasible marked-cc-solution and contributes 1 to the number of marked-cc-solutions. By the definition of proper marker set, we have that every non-isolate connected component contains a marker. Therefore, each connected component can only be contained in $V_{1}$ . There is exactly one feasible consistent cut $(V_{1},V_{2})$ such that $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ is a cc-candidate. Thus, $(G^{\prime},M^{\prime})$ contributes 1 to the number of cc-candidates.

Thus, For any subgraph $G^{\prime}$ of $G$ and any marker set $M^{\prime}$ of $G^{\prime}$ , $(G^{\prime},M^{\prime})$ either contributes 1 to both the number of marked-cc-solutions and cc-candidates, or contributes 0 to marked-cc-solutions and an even number to cc-candidates. This lemma holds.

The following lemma shows the algorithm to count the number of cc-candidates in a given path decomposition.

Lemma 4.8.

Given a graph $G$ and a path decomposition of $G$ with width $p$ . For any $a,n,e,w,m\geq 0$ Determining the parity of the number of cc-candidates $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ of $G$ with $a$ degree-0 vertices, $n$ vertices, $e$ edges, $m$ markers, and weight $w$ can be solved in $O^{*}(5^{p})$ time and space.

Proof 4.9.

Similar to the proof of Theorem 3.5. We simply assume that the path decomposition $P=(X_{1},X_{2},\cdots,X_{r})$ is a nice path decomposition by Lemma 2.2.

Let $V_{i}=\bigcup_{j=1}^{i}X_{i}$ for each $i\in\{1,2,\cdots,r\}$ . We have $V_{r}=V$ . For any $i\in\{1,2,\cdots,r\}$ , let $\{D,R_{0},R_{1}^{1},R_{1}^{2},R_{2}\}$ be an arbitrary partition of $X_{i}$ . We consider the following subproblem: to count the number of cc-candidates $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ of the induced graph $G[V_{i}]$ such that $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ is a feasible cc-candidate with $a$ degree-0 vertices, $n$ vertices, $e$ edges, $m$ markers, and weight $w$ . And each vertex in $R_{0}$ is a degree-0 vertex in $V_{1}$ ; each vertex in $R_{1}^{j}$ is a degree-1 vertex in $V_{j}$ $(j=1,2)$ ; each vertex in $R_{2}$ is a degree-2 vertex in $V_{1}$ oder $V_{2}$ . We also let $s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})$ denote the corresponding number of the cc-candidates to this problem. We only need to check the value $s(i=r,a,n,e,w,m,\emptyset,\emptyset,\emptyset,\emptyset,\emptyset)$ since $X_{r}=\emptyset$ . Next, we use a dynamic programming method to compute all $s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})$ .

For the case that $i=1$ , $X_{1}=\emptyset$ and it trivially holds that $s(1,0,0,0,0,0,\emptyset,\emptyset,\emptyset,\emptyset,\emptyset)=1$ and other input equals to 0. Since the path decomposition is nice, there are two cases for each $i\geq 2$ .

Case 1: $X_{i}=X_{i-1}\cup v$ for some $v\notin X_{i-1}$ . By the definition of path decomposition, we know that all neighbors of $v$ in the graph $G[V_{i}]$ must be in $X_{i-1}$ . For every parameter combination $(a,n,e,w,m)$ and every partition $(D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})$ of $X_{i}$ , the following holds.

1.

$v\in D$ . It holds $s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=s(i-1,a,n,e,w,m,D\setminus v,% R_{0},R_{1}^{1},R_{1}^{2},R_{2})$ .

$v\in R_{1}^{j}$ for some $j\in\{1,2\}$ . Let $R^{\prime}=R_{1}^{1}\cup R_{1}^{2}\cup R_{2}$ . We further consider two subcases.

Case (a): $N_{G[V_{i}]}(v)\cap R_{0}\neq\emptyset$ oder $|N_{G[V_{i}]}(v)\cap R^{\prime}|\neq 1$ :

For this case, the partition $(D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})$ is infeasible and we simply have that

s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=0.

Case (b): $N_{G[V_{i}]}(v)\cap R_{0}=\emptyset$ and $|N_{G[V_{i}]}(v)\cap R^{\prime}|=1$ . Let $u$ be the vertex contained in $N_{G[V_{i}]}(v)\cap R^{\prime}$ . We further consider two cases.

Case (b.1): $v\in R_{1}^{1}$ :

(i) If $u\in R_{1}^{2}$ , the consistent cut corresponding to $(R_{1}^{1},R_{1}^{2})$ is infeasible and we simply have that

s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=0.

(ii) If $u\in R_{1}^{1}$ , we have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &s(i-1,a+1,n-1,e-1,w-w(v),m,D,R_{0}\cup u,R_{1}^{1}\setminus\{u,v\},R_{1}^{2},% R_{2})+\\ &s(i-1,a+1,n-1,e-1,w-w(v)-w(uv),m-1,D,R_{0}\cup u,R_{1}^{1}\setminus\{u,v\},R_% {1}^{2},R_{2}).\end{split}

(iii) If $u\in R_{2}$ , we have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &s(i-1,a,n-1,e-1,w-w(v),m,D,R_{0},R_{1}^{1}\setminus v\cup u,R_{1}^{2},R_{2}% \setminus u)+\\ &s(i-1,a,n-1,e-1,w-w(v)-w(uv),m-1,D,R_{0},R_{1}^{1}\setminus v\cup u,R_{1}^{2}% ,R_{2}\setminus u).\end{split}

Case (b.2): $v\in R_{1}^{2}$ :

(i) If $u\in R_{1}^{1}$ , the consistent cut corresponding to $(R_{1}^{1},R_{1}^{2})$ is infeasible and we simply have that

s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=0.

(ii) If $u\in R_{1}^{2}$ , we have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &s(i-1,a+1,n-1,e-1,w-w(v),m,D,R_{0}\cup u,R_{1}^{1},R_{1}^{2}\setminus\{u,v\},% R_{2}).\end{split}

(iii) If $u\in R_{2}$ , we have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &s(i-1,a,n-1,e-1,w-w(v),m,D,R_{0},R_{1}^{1},R_{1}^{2}\setminus v\cup u,R_{2}% \setminus u).\end{split}

$v\in R_{2}$ . Let $R^{\prime}=R_{1}^{1}\cup R_{1}^{2}\cup R_{2}$ . We further consider two subcases.

Case (a): $N_{G[V_{i}]}(v)\cap R_{0}\neq\emptyset$ oder $|N_{G[V_{i}]}(v)\cap R^{\prime}|\neq 2$ :

For this case, the partition $(D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})$ is infeasible and we simply have that

s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=0.

Case (b): $N_{G[V_{i}]}(v)\cap R_{0}=\emptyset$ and $|N_{G[V_{i}]}(v)\cap R^{\prime}|=2$ : Let $u_{1},u_{2}$ be the two vertices contained in $N_{G[V_{i}]}(v)\cap R^{\prime}$ . If $u_{1}$ and $u_{2}$ are both contained in $V_{1}$ , the edges $u_{1}v$ and $u_{2}v$ can be marked or not. Let $P=\{(w-w(v),m),(w-w(v)-w(u_{1}v),m-1),(w-w(v)-w(u_{2}w),m-1),(w-w(v)-w(u_{1}v)% -w(u_{2}v),m-2)\},$ which is the possible parameter combination set for the case that $u_{1}$ and $u_{2}$ are contained in $V_{1}$ . Now we consider all possible cases for $\{u_{1},u_{2}\}$ .

(i) If $u_{1},u_{2}\in R_{1}^{1}$ , we have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &\sum_{p\in P}s(i-1,a+2,n-1,e-2,(p),D,R_{0}\cup\{u_{1},u_{2}\},R_{1}^{1}% \setminus\{u_{1},u_{2}\},R_{1}^{2},R_{2}\setminus v).\end{split}

(ii) If $u_{1}\in R_{1}^{1}$ and $u_{2}\in R_{1}^{2}$ oder $u_{1}\in R_{1}^{2}$ and $u_{2}\in R_{1}^{1}$ the consistent cut corresponding to $(R_{1}^{1},R_{1}^{2})$ is infeasible and we simply have that

s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=0.

(iii) If $u_{1},u_{2}\in R_{1}^{2}$ we have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &s(i-1,a+2,n-1,e-2,w-w(v),m,D,R_{0}\cup\{u_{1},u_{2}\},R_{1}^{1},R_{1}^{2}% \setminus\{u_{1},u_{2}\},R_{2}\setminus v).\end{split}

(iv) If $u_{1}\in R_{2}$ and $u_{2}\in R_{1}^{1}$ oder $u_{2}\in R_{2}$ and $u_{1}\in R_{1}^{1}$ , we only consider the latter case without loss of generality. We have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &\sum_{p\in P}s(i-1,a+1,n-1,e-2,(p),D,R_{0}\cup u_{1},R_{1}^{1}\setminus u_{1}% \cup u_{2},R_{1}^{2},R_{2}\setminus\{v,u_{2}\}).\end{split}

(v) If $u_{1}\in R_{2}$ and $u_{2}\in R_{1}^{2}$ oder $u_{2}\in R_{2}$ and $u_{1}\in R_{1}^{2}$ , we only consider the latter case without loss of generality. We have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &s(i-1,a+1,n-1,e-2,w-w(v),m,D,R_{0}\cup u_{1},R_{1}^{1},R_{1}^{2}\setminus u_{% 1}\cup u_{2},R_{2}\setminus\{v,u_{2}\}).\end{split}

(vi) If $u_{1},u_{2}\in R_{2}$ we have that

\begin{split}&s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=\\ &s(i-1,a,n-1,e-2,w-w(v),m,D,R_{0},R_{1}^{1},R_{1}^{2}\cup\{u_{1},u_{2}\},R_{2}% \setminus\{u_{1},u_{2},v\})+\\ &\sum_{p\in P}s(i-1,a,n-1,e-2,(p),D,R_{0},R_{1}^{1}\cup\{u_{1},u_{2}\},R_{1}^{% 2},R_{2}\setminus\{u_{1},u_{2},v\})\end{split}

Case 2: $X_{i}=X_{i-1}\setminus v$ for some $v\in X_{i-1}$ . It is not hard to see that the following equation holds.

\begin{split}s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})=&s(i-1,a,n,e,w,m% ,D\cup v,R_{0},R_{1}^{1},R_{1}^{2},R_{2})+\\ &s(i-1,a,n,e,w,m,D,R_{0}\cup v,R_{1}^{1},R_{1}^{2},R_{2})+\\ &s(i-1,a,n,e,w,m,D,R_{0},R_{1}^{1}\cup v,R_{1}^{2},R_{2})+\\ &s(i-1,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2}\cup v,R_{2})+\\ &s(i-1,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2}\cup v).\end{split}

For each bag $X_{i}$ , there are at most $5^{|X_{i}|}$ different partitions, where $|X_{i}|\leq p+1$ . The values $\{a,n,e,w,m\}$ are bounded by a polynomial of the graph size. For $i$ and each partition $\{D,R_{0},R_{1}^{1},R_{1}^{2},R_{2}\}$ of $X_{i}$ , it takes constant time to compute $s(i,a,n,e,w,m,D,R_{0},R_{1}^{1},R_{1}^{2},R_{2})$ by using the above recurrence relations. Therefore, our dynamic programming algorithm runs in $O(5^{p+1}\cdot r\cdot\text{poly}(n))$ time, where $r$ is bounded by a polynomial of the graph size. This lemma holds.

Now we are ready to prove the main theorem in this section.

Theorem 4.10.

Given a path decomposition of $G$ with width $p$ . Co-Path Packing can be solved in $O^{*}(5^{p})$ time and space with failure probability $\leq 1/3$ .

Proof 4.11.

Let $\mathcal{F}$ be the set of $(V^{\prime},M^{\prime})$ where $(G[V^{\prime}],M^{\prime})$ is a feasible marked-cc-solution. Let $U$ contain $V(G)$ and $E(G)$ . Then $2^{U}$ denotes all pairs of a vertex subset and an edge subset, which are potential marked-cc-solutions. Let $N=3|U|=3(|V(G)|+|E(G)|)$ . Each vertex and edge is assigned a weight in $[1,N]$ uniformly at random by $\omega$ and the probability of finding an isolating $\omega$ is 2/3 by Lemma 4.4. Based on such $\omega$ , we have that there exists a weight $w$ such that there is exactly one marked-cc-solution with weight $w$ (if $\mathcal{F}\neq\emptyset$ ). It is easy to see that there exists a cPP-set with size at most $k$ if and only if there exists a marked-cc-solution with $n\geq|V(G)|-k$ and any possible $e$ and $w$ . Thus, for any possible $e$ and $w$ , by Lemma 4.6, we call the algorithm given in Lemma 4.8, then check the parity of the number of cc-candidates $(G^{\prime},(V_{1},V_{2},M^{\prime}))$ of $G$ with any possible $a\geq 0$ degree-0 vertices, $n\geq|V(G)|-k$ vertices, $e$ edges, $n-e-a$ markers and weight $w$ to determine the existence of the number of marked-cc-solution $(G^{\prime},M^{\prime})$ with $n\geq|V(G)|-k$ and weight $w$ . Thus, this lemma holds.

4.2 The Whole Algorithm

In this section, we propose a parameterized algorithm for Co-Path Packing. First, in Section 4.2.1, we show that Co-Path Packing on a proper graph class can be quickly solved by using the dynamic programming algorithm based on path decompositions in Theorem 4.10. Similarly, we will use Lemma 3.3 to conclude this result. Second, in Section 4.2.2, we give a branch-and-search algorithm that will implement some branching steps on special local graph structures. Our branching algorithm for Co-Path Packing is similar to the branching algorithm for Co-Path/Cycle Packing. Specifically, our branching algorithm for Co-Path Packing contains two reduction rules, two branching rules, and four steps, while the first reduction rule, both two branching rules, the first two steps and the last step are the same as the branching algorithm for Co-Path/Cycle Packing. When all the steps cannot be applied, we show that the graph must be a proper graph and then the algorithm in Section 4.1 can be called directly to solve the problems.

4.2.1 Proper Graphs with Small Pathwidth

Recall that a graph is called proper if it satisfies the following conditions:

1.

The maximum degree of $G$ is at most 4.
2.

For any degree-4 vertex $v$ , all neighbors are of degree at most 2.
3.

For any degree-2 vertex $v$ , at least one vertex in $N(v)$ is of degree at least 3.
4.

Each connected component contains at least 6 vertices.

Combine Lemma 3.3 for Co-Path Packing with Lemma 4.10, we have the following lemma.

Lemma 4.12.

Co-Path Packing on proper graphs can be solved in $O^{*}(2.9241^{k})$ time with probability at least 2/3.

Proof 4.13.

We first call the algorithm in Lemma 3.3. If the algorithm decides that $G$ has no $cPP$ -set of size at most $k$ , we claim that $(G,k)$ is a no-instance. Otherwise, we can obtain a nice path decomposition of width at most $\frac{2k}{3}+\epsilon k$ . Then, we call the algorithm in Theorem 4.10. This algorithm runs in $O^{*}(5^{2k/3+\epsilon k})=O^{*}(2.9241^{k})$ with failure probability $\leq 1/3$ , where we choose $\epsilon<10^{-6}$ . This lemma holds.

4.2.2 A Branch-and-Search Algorithm

In this subsection, we provide a branch-and-search algorithm for Co-Path Packing, which is denoted by ${\tt cPP}(G,k)$ . Our algorithm contains several reduction and branching steps. After recursively executing these steps, we will get a proper graph and then call the dynamic programming algorithm in Lemma 4.12 to solve it.

4.2.2.1. Reduction and Branching Rules.

Firstly, we present two reduction rules. The first reduction rule is Reduction Rule 1 for Co-Path/Cycle Packing and Reduction Rule *2 is a new reduction rule for Co-Path Packing.

Reduction-Rule 1. If there is a connected component $C$ of the graph such that $|V(C)|\leq 6$ , then run a brute force algorithm to find a minimum cPP-set $S$ in $C$ , delete $C$ and include $S$ in the deletion set.

A path $v_{0}v_{1}\dots v_{h-1}v_{h}$ is called a degree-two-path if the two vertices $v_{0}$ and $v_{h}$ are of degree not 2 and the other vertices $v_{1}\dots v_{h-1}$ are of degree 2, where we allow $v_{0}=v_{h}$ .

Lemma 4.14.

For a degree-two-path $P=v_{0}v_{1}\dots v_{h-1}v_{h}$ with $h\geq 4$ in $G=(V,E)$ , let $G^{\prime}=(V\setminus v_{2},E\setminus\{v_{1}v_{2},v_{2}v_{3}\}\cup\{v_{1}v_{% 3}\})$ , we have that $(G,k)$ is a yes-instance if and only if $(G^{\prime},k)$ is a yes-instance.

Proof 4.15.

If one of $\{v_{0},v_{h}\}$ is a degree-1 vertex, without loss of generality, we say $v_{0}$ is a degree-1 vertex. In this case, it is easy to see that vertices $\{v_{0},v_{1},\dots,v_{h-1}\}$ are not contained in any minimum solution, and this lemma holds.

If $v_{0}$ is of degree at least 3, let $S$ be a minimum cPP-set for $G$ . We consider the following cases.

(i) $v_{1}\in S$ : In this case, $v_{2}\notin S$ since $S$ is a minimum cPP-set. Vertex set $S$ is also a minimum cPP-set for $G^{\prime}$ .

(ii) $v_{1}\notin S$ : If $v_{2}\in S$ , it is easy to check that $S^{\prime}=S\setminus v_{2}\cup v_{1}$ is a feasible cPP-set with size $|S|$ . Vertex set $S^{\prime}$ is a minimum cPP-set for $G^{\prime}$ . If $v_{2}\notin S$ , clearly $S$ is also a minimum cPP-set for $G^{\prime}$ .

Let $S^{\prime}$ be a minimum cPP-set for $G^{\prime}$ . By the similar argument, there exists a minimum cPP-set $S^{\prime\prime}$ with size $|S^{\prime}|$ for $G$ .

Based on this lemma, we have the following reduction rule for Co-Path Packing.

Reduction-Rule *2. If there is a degree-two-path $P=v_{0}v_{1}\dots v_{h-1}v_{h}$ with $h\geq 4$ , then return ${\tt cPP}(G^{\prime}=(V\setminus v_{2},E\setminus\{v_{1}v_{2},v_{2}v_{3}\}\cup% \{v_{1}v_{3}\}),k)$ .

If Reduction Rules 1 and *2 cannot be applied, we have a property that for any degree-2 vertex $v$ , at least one vertex in $N(v)$ is of degree at least 3.

After applying the three simple reduction rules, we will execute some branching steps. For Co-Path Packing, we have two branching rules, which are the same as the two branching rules for Co-Path/Cycle Packing. The correctnesses of these two branching rules for Co-Path Packing are similar to the two branching rules for Co-Path/Cycle Packing.

Branching-Rule (B2). Assume that a vertex $v$ of degree at least 3 dominates a vertex u. Branch on $v$ to generate $1+(|N(v)|-1)=|N(v)|$ branches by either (i) deleting $v$ from the graph and including it in the deletion set, or (ii) for each vertex $w\in N(v)\setminus\{u\}$ , deleting $N(v)\setminus\{u,w\}$ from the graph and including $N(v)\setminus\{u,w\}$ in the deletion set.

4.2.2.2. Steps.

When we execute one step, we assume that all previous steps are not applicable in the current graph anymore. In this subsection, we present four steps: Step 1, Step 2, Step *3 and Step *4 for Co-Path Packing. Steps 1 and 2 are the Steps 1 and 2 for Co-Path/Cycle Packing. Step *3 is a new step designed for Co-Path Packing. Step *4 is the Step 5 for Co-Path/Cycle Packing.

Step 1 (Vertices of degree at least 5). If there is a vertex $v$ of $d(v)\geq 5$ , then branch on $v$ with Branching-Rule (B1) to generate ${d(v)\choose d(v)-2}+1$ branches.

Step 2 (Degree-4 vertices dominating some vertex of degree at least 3). Assume that there is a degree-4 vertex $v$ that dominates a vertex $u_{1}$ , where $d(u_{1})\geq 3$ . Without loss of generality, we assume that the other three neighbors of $v$ are $u_{2},u_{3}$ and $u_{4}$ , and $u_{1}$ is adjacent to $u_{2}$ and $u_{3}$ ( $u_{1}$ is further adjacent to $u_{4}$ if $d(u_{1})=4$ ). We branch on $v$ with Branching-Rule (B2) and get $|N(v)|$ branches.

Step *3 (Degree-4 vertices in a triangle). Assume that a degree-4 vertex $v$ is in a triangle. Let $u_{1}$ , $u_{2}$ , $u_{3}$ and $u_{4}$ be the four neighbors of $v$ , where we assume without loss of generality that $\{v,u_{1},u_{2}\}$ is a triangle. We branch on $v$ with Branching-Rule (B1). In the branch of deleting $\{u_{3},u_{4}\}$ , we can simply assume that the three vertices $v,u_{1}$ and $u_{2}$ are not deleted, otherwise this branch can be covered by another branch and then it can be ignored. Since $v$ , $u_{1}$ and $u_{2}$ form a triangle, we know this case is impossible, so we can ignore this subbranch. We generate the following ${4\choose 2}$ branches

\begin{split}&{\tt cPP}(G\setminus\{v\},k-1),\\ &{\tt cPP}(G\setminus(\{u_{1},u_{i}\}),k-|\{u_{1},u_{i}\}|)\mbox{\leavevmode% \nobreak\ for each $i=2,3,4$},\\ \mbox{and}\quad&{\tt cPP}(G\setminus(\{u_{2},u_{i}\}),k-|\{u_{2},u_{i}\}|)% \mbox{\leavevmode\nobreak\ for each $i=3,4$}.\end{split}

The corresponding recurrence is

T(k)\leq T(k-1)+({4\choose 2}-1)\times T(k-2)+1.

The branching factor of it is 2.7913.

After Step *3, no degree-4 vertex is in a triangle.

Step *4 (Degree-4 vertices adjacent to some vertex of degree at least 3). Assume there is a degree-4 vertex $v$ adjacent to at least one vertex of degree at least 3. Let $u_{1}$ , $u_{2}$ , $u_{3}$ and $u_{4}$ be the four neighbors of $v$ , where we assume without loss of generality that $d(u_{1})\geq 3$ . First, we branch on $v$ by either (b1) including it in the solution set or (b2) excluding it from the solution set. Next, we focus on the latter case (b2). In (b2), we further branch on $u_{1}$ by (b2.1) either including it in the solution set or (b2.2) excluding it from the solution set. For case (b2.1), there are at least $|N(v)|-2=2$ vertices in $N(v)$ that should be deleted by the same argument for Branching-Rule (B1). Thus, we can generate three subbranches by deleting $\{u_{1},u_{2}\}$ , $\{u_{1},u_{3}\}$ , and $\{u_{1},u_{3}\}$ , respectively. For case (b2.2), there are still at least $|N(v)|-2=2$ vertices in $N(v)$ that should be deleted, which can be one of the following three sets $\{u_{2},u_{3}\}$ , $\{u_{2},u_{4}\}$ , and $\{u_{3},u_{4}\}$ . Furthermore, there are also at least $|N(u_{1})|-2\geq 1$ vertices in $N(u_{1})$ that should be deleted. Note that $v\in N(u_{1})$ is not allowed to be deleted now. Thus, at least $|N(u_{1})\setminus\{v\}|-1$ vertices in $N(u_{1})\setminus\{v\}$ should be deleted. We will generate ${{|N(u_{1})\setminus\{v\}|}\choose{|N(u_{1})\setminus\{v\}|-1}}=|N(u_{1})% \setminus\{v\}|=d(u_{1})-1$ branches by decreasing $k$ by $|N(u_{1})\setminus\{v\}|-1=d(u_{1})-2$ . Since after Step *3, the degree-4 vertex $v$ is not in any triangle, we know that $N(u_{1})\setminus\{v\}$ is disjoint with $\{u_{2},u_{3},u_{4}\}$ . For case (b2.2), we will generate $3\times(d(u_{1})-1)$ subbranches by decreasing $k$ by at least $2+d(u_{1})-2=d(u_{1})$ in each, where $d(u_{1})=3$ or 4.

The worst branching factors in the above steps are listed in Table 3. After Step *4, any degree-4 vertex can be only adjacent to vertices of degree at most 2. It is easy to see that the remaining graph after Step *4 is a proper graph. We call the algorithm in Lemma 4.12 to solve the instance for Co-Path Packing in $O^{*}(2.9241^{k})$ time with probability at least 2/3.

Table 3: The branching factors of each of the steps

Steps	Step 1	Step 2	Step *3	Step *4
Branching factors	2.5445	2.3028	2.7913	2.8192

Theorem 4.16.

Co-Path Packing can be solved in $O^{*}(2.9241^{k})$ time with probability at least 2/3.

5 Conclusion

In this paper, we show that given a path decomposition of width $p$ , Co-Path Packing can be solved by a randomized fpt algorithm running in $O^{*}(5^{p})$ time. Additionally, by combining this algorithm with a branch-and-search algorithm, we show that Co-Path/Cycle Packing can be solved in $O^{*}(2.8192^{k})$ time and Co-Path Packing can be solved in $O^{*}(2.9241^{k})$ time with probability at least 2/3. For Co-Path/Cycle Packing, the new bottleneck in our algorithm is Step 5, which is to deal with degree-4 vertices not in any triangle. For Co-Path Packing, the new bottleneck in our algorithm is the dynamic programming phase. The idea of using path/tree decomposition to avoid bottlenecks in branch-and-search algorithms may have the potential to be applied to more problems. It would also be interesting to design a deterministic algorithm for Co-Path Packing faster than $O^{*}(3^{k})$ .

References

[1] Radovan Červenỳ and Ondřej Suchỳ. Generating faster algorithms for d-path vertex cover. In International Workshop on Graph-Theoretic Concepts in Computer Science, pages 157–171. Springer, 2023.
[2] Maw-Shang Chang, Li-Hsuan Chen, Ling-Ju Hung, Peter Rossmanith, and Ping-Chen Su. Fixed-parameter algorithms for vertex cover p3. Discrete Optimization, 19:12–22, 2016.
[3] Jianer Chen, Iyad A Kanj, and Ge Xia. Improved upper bounds for vertex cover. Theoretical Computer Science, 411(40-42):3736–3756, 2010.
[4] Zhi-Zhong Chen, Michael Fellows, Bin Fu, Haitao Jiang, Yang Liu, Lusheng Wang, and Binhai Zhu. A linear kernel for co-path/cycle packing. In Algorithmic Aspects in Information and Management: 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings 6, pages 90–102. Springer, 2010.
[5] Marek Cygan, Fedor V Fomin, Łukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, and Saket Saurabh. Parameterized algorithms, volume 5. Springer, 2015.
[6] Marek Cygan, Jesper Nederlof, Marcin Pilipczuk, Michal Pilipczuk, Joham MM van Rooij, and Jakub Onufry Wojtaszczyk. Solving connectivity problems parameterized by treewidth in single exponential time. In 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, pages 150–159. IEEE, 2011.
[7] Michael R Fellows, Jiong Guo, Hannes Moser, and Rolf Niedermeier. A generalization of nemhauser and trotter’s local optimization theorem. Journal of Computer and System Sciences, 77(6):1141–1158, 2011.
[8] Qilong Feng, Jianxin Wang, Shaohua Li, and Jianer Chen. Randomized parameterized algorithms for $p_{2}$ -packing and co-path packing problems. Journal of Combinatorial Optimization, 29:125–140, 2015.
[9] Fedor V Fomin, Serge Gaspers, Daniel Lokshtanov, and Saket Saurabh. Exact algorithms via monotone local search. Journal of the ACM (JACM), 66(2):1–23, 2019.
[10] Fedor V Fomin, Serge Gaspers, Saket Saurabh, and Alexey A Stepanov. On two techniques of combining branching and treewidth. Algorithmica, 54:181–207, 2009.
[11] David G Harris and NS Narayanaswamy. A faster algorithm for vertex cover parameterized by solution size. arXiv preprint arXiv:2205.08022, 2022.
[12] Ján Katrenič. A faster fpt algorithm for 3-path vertex cover. Information Processing Letters, 116(4):273–278, 2016.
[13] Dieter Kratsch and FV Fomin. Exact exponential algorithms. Springer, 2010.
[14] Michael Lampis and Manolis Vasilakis. Structural parameterizations for two bounded degree problems revisited. ACM Transactions on Computation Theory, 2023.
[15] Ketan Mulmuley, Umesh V Vazirani, and Vijay V Vazirani. Matching is as easy as matrix inversion. In Proceedings of the nineteenth annual ACM symposium on Theory of computing, pages 345–354, 1987.
[16] Stephen B Seidman and Brian L Foster. A graph-theoretic generalization of the clique concept. Journal of Mathematical sociology, 6(1):139–154, 1978.
[17] Blair D Sullivan and Andrew van der Poel. A fast parameterized algorithm for co-path set. arXiv preprint arXiv:1603.04376, 2016.
[18] Dekel Tsur. Parameterized algorithm for 3-path vertex cover. Theoretical Computer Science, 783:1–8, 2019.
[19] Dekel Tsur. Faster deterministic algorithms for co-path packing and co-path/cycle packing. Journal of Combinatorial Optimization, 44(5):3701–3710, 2022.
[20] Jianhua Tu. A fixed-parameter algorithm for the vertex cover p3 problem. Information Processing Letters, 115(2):96–99, 2015.
[21] Johan MM van Rooij. A generic convolution algorithm for join operations on tree decompositions. In Computer Science–Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings 16, pages 435–459. Springer, 2021.
[22] Mingyu Xiao. A parameterized algorithm for bounded-degree vertex deletion. In International Computing and Combinatorics Conference, pages 79–91. Springer, 2016.
[23] Mingyu Xiao. On a generalization of nemhauser and trotter’s local optimization theorem. Journal of Computer and System Sciences, 84:97–106, 2017.
[24] Mingyu Xiao and Shaowei Kou. Kernelization and parameterized algorithms for 3-path vertex cover. In International Conference on Theory and Applications of Models of Computation, pages 654–668. Springer, 2017.

Appendix

Appendix A Proofs

Theorem 3.5 Given a path decomposition of $G$ with width $p$ . For any $d\geq 1$ , $d$ -Bounded-Degree Vertex Deletion can be solved in $O^{*}((d+2)^{p})$ time and space.

Proof A.1.

We can simply assume that the path decomposition $P=(X_{1},X_{2},\cdots,X_{r})$ is a nice path decomposition by Lemma 2.2.

Let $V_{i}=\bigcup_{j=1}^{i}X_{i}$ for each $i\in\{1,2,\cdots,r\}$ . We have $V_{r}=V$ . For any $i\in\{1,2,\cdots,r\}$ , let $\{D,R_{0},R_{1},\cdots,R_{d}\}$ be an arbitrary partition of $X_{i}$ . We consider the following subproblem: to find a minimum-size vertex set $S$ in the induced graph $G[V_{i}]$ such that $S\cap X_{i}=D$ , the maximum degree of graph $G[V_{i}\setminus S]$ is at most $d$ , and each vertex in $R_{j}$ $(j=0,i,\cdots,d)$ is a degree- $j$ vertex in $G[V_{i}\setminus S]$ . We also let $s(i,D,R_{0},R_{1},\cdots,R_{d})$ denote the corresponding size of the solution to this problem. For some partitions $\{D,R_{0},R_{1},\cdots,R_{d}\}$ of $X_{i}$ , there may not exist any feasible solution $S$ , and we will let $s(i,D,R_{0},R_{1},\cdots,R_{d})=\infty$ for this case. To solve $d$ -Bounded-Degree Vertex Deletion, we only need to check the minimum value among $s(i=r,D,R_{0},R_{1},\cdots,R_{d})$ for all possible partitions $\{D,R_{0},R_{1},\cdots,R_{d}\}$ of $X_{r}$ . Next, we use a dynamic programming method to compute all $s(i,D,R_{0},R_{1},\cdots,R_{d})$ .

For the case that $i=1$ , $X_{1}=\emptyset$ and it trivially holds that $s(1,\emptyset,\emptyset,\cdots,\emptyset)=0$ . Since the path decomposition is nice, there are two cases for each $i\geq 2$ .

Case 1: $X_{i}=X_{i-1}\cup\{v\}$ for some $v\notin X_{i-1}$ . By the definition of path decomposition, we know that all neighbors of $v$ in the graph $G[V_{i}]$ must be in $X_{i-1}$ . For every partition $(D,R_{0},R_{1},\cdots,R_{d})$ of $X_{i}$ , the following holds.

1.

$v\in D$ . It holds $s(i,D,R_{0},R_{1},\cdots,R_{d})=1+s(i-1,D\setminus\{v\},R_{0},R_{1},\cdots,R_{% d})$ .

$v\in R_{j}$ for some $j\in\{0,1,\cdots,d\}$ . We further consider two subcases.

Case (a): $N_{G[V_{i}]}(v)\cap R_{0}\neq\emptyset$ oder $|N_{G[V_{i}]}(v)\cap\bigcup_{l=1}^{d}R_{l}|\neq j$ . For this case, the partition $(D,R_{0},R_{1},\cdots,R_{d})$ is infeasible and we can simply let $s(i,D,R_{0},R_{1}$ , $\cdots,R_{d})=\infty$ .

Case (b): $N_{G[V_{i}]}(v)\cap R_{0}=\emptyset$ and $|N_{G[V_{i}]}(v)\cap\bigcup_{l=1}^{d}R_{l}|=j$ . Let $W=N_{G[V_{i}]}(v)\cap(\bigcup_{l=1}^{d}R_{l}$ ), and $W_{l}=W\cap R_{l}$ for $l=1,2,\cdots,d$ . Let $W_{0}=W_{d+1}=\emptyset$ . We have that

s(i,D,R_{0},R_{1},\cdots,R_{d})=s(i-1,D,R_{0}^{\prime},R_{1}^{\prime},\cdots,R% _{j}^{\prime}\setminus\{v\},\cdots,R_{d}^{\prime}),

where $R_{l}^{\prime}=(R_{l}\setminus W_{l})\cup W_{l+1}$ for $l=0,1,\cdots,d$ .

Case 2: $X_{i}=X_{i-1}\setminus\{v\}$ for some $v\in X_{i-1}$ . It is not hard to see that the following equation holds.

\begin{split}s(i,D,R_{0},R_{1},\cdots,R_{d})=\min\{&s(i-1,D\cup\{v\},R_{0},R_{% 1},\cdots,R_{d}),\\ &s(i-1,D,R_{0}\cup\{v\},R_{1},\cdots,R_{d}),\\ &s(i-1,D,R_{0},R_{1}\cup\{v\},\cdots,R_{d}),\\ &\cdots\\ &s(i-1,D,R_{0},R_{1},\cdots,R_{d}\cup\{v\})\}.\end{split}

For each bag $X_{i}$ , there are at most $(d+2)^{|X_{i}|}$ different partitions, where $|X_{i}|\leq p+1$ . For $i$ and each partition $\{D,R_{0},R_{1},\cdots,R_{d}\}$ of $X_{i}$ , it takes at most $O(d)$ time to compute $s(i,D,R_{0},R_{1},\cdots,R_{d})$ by using the above recurrence relations. Therefore, our dynamic programming algorithm runs in $O((d+2)^{p+1}\cdot r\cdot d)$ time, where $r$ is bounded by a polynomial of the graph size. This theorem holds.

Acknowledgements.

Solving Co-Path/Cycle Packing and Co-Path Packing Faster Than 3ksuperscript3𝑘3^{k}3 start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT

Abstract

keywords:

category:

1 Introduction

2 Preliminaries

Definition 2.1 ([5]).

Lemma 2.2 ([5]).

Theorem 2.3 ([10]).

3 A Parameterized Algorithm for Co-Path/Cycle Packing

3.1 Proper Graphs with Small Pathwidth

Lemma 3.1.

Proof 3.2.

Lemma 3.3.

Proof 3.4.

Theorem 3.5 (♣♣\clubsuit♣).

Lemma 3.6.

Proof 3.7.

3.2 A Branch-and-Search Algorithm

3.2.1 Reduction and Branching Rules

Reduction-Rule 1.

Lemma 3.8.

Reduction-Rule 2.

Lemma 3.9.

Reduction-Rule 3.

Lemma 3.10.

Proof 3.11.

3.2.2 Steps

Lemma 3.12.

Proof 3.13.

Theorem 3.14.

Corollary 3.15.

4 A Parameterized Algorithm for Co-Path Packing

4.1 A DP Algorithm via Cut & Count for Co-Path Packing

4.1.1 Cutting

Definition 4.1.

Definition 4.2.

Definition 4.3.

Lemma 4.4 (Isolation Lemma [15]).

4.1.2 Counting

Definition 4.5.

Lemma 4.6.

Proof 4.7.

Lemma 4.8.

Proof 4.9.

Theorem 4.10.

Proof 4.11.

4.2 The Whole Algorithm

4.2.1 Proper Graphs with Small Pathwidth

Lemma 4.12.

Proof 4.13.

4.2.2 A Branch-and-Search Algorithm

Lemma 4.14.

Proof 4.15.

Theorem 4.16.

5 Conclusion

References

Appendix A Proofs

Proof A.1.

Solving Co-Path/Cycle Packing and Co-Path Packing Faster Than $3^{k}$

Theorem 3.5 ( $\clubsuit$ ).