Perfect Out-forests and Steiner Cycle Packing in Digraphs

08/18/2022
by   Yuefang Sun, et al.
0

In this paper, we study the complexity of two types of digraph packing problems: perfect out-forests problem and Steiner cycle packing problem. For the perfect out-forest problem, we prove that it is NP-hard to decide whether a given strong digraph contains a 1-perfect out-forest. However, when restricted to a semicomplete digraph D, the problem of deciding whether D contains an i-perfect out-forest becomes polynomial-time solvable, where i∈{0,1}. We also prove that it is NP-hard to find a 0-perfect out-forest of maximum size in a connected acyclic digraph, and it is NP-hard to find a 1-perfect out-forest of maximum size in a connected digraph. For the Steiner cycle packing problem, when both k≥ 2, ℓ≥ 1 are fixed integers, we show that the problem of deciding whether there are at least ℓ internally disjoint directed S-Steiner cycles in an Eulerian digraph D is NP-complete, where S⊆ V(D) and |S|=k. However, when we consider the class of symmetric digraphs, the problem becomes polynomial-time solvable. We also show that the problem of deciding whether there are at least ℓ arc-disjoint directed S-Steiner cycles in a given digraph D is NP-complete, where S⊆ V(D) and |S|=k.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/01/2021

Perfect Forests in Graphs and Their Extensions

Let G be a graph on n vertices. For i∈{0,1} and a connected graph G, a s...
research
02/19/2018

(Arc-disjoint) cycle packing in tournament: classical and parameterized complexity

Given a tournament T, the problem MaxCT consists of finding a maximum (a...
research
04/06/2023

The complexity of decomposing a graph into a matching and a bounded linear forest

Deciding whether a graph can be edge-decomposed into a matching and a k-...
research
02/02/2022

Matching Orderable and Separable Hypergraphs

A perfect matching in a hypergraph is a set of edges that partition the ...
research
09/03/2019

Discovering Interesting Cycles in Directed Graphs

Cycles in graphs often signify interesting processes. For example, cycli...
research
09/29/2020

Tetris is NP-hard even with O(1) rows or columns

We prove that the classic falling-block video game Tetris (both survival...
research
10/13/2022

Hard to Detect Factors of Univariate Integer Polynomials

We investigate the computational complexity of deciding whether a given ...

Please sign up or login with your details

Forgot password? Click here to reset