59 research outputs found
Solving the kernel perfect problem by (simple) forbidden subdigraphs for digraphs in some families of generalized tournaments and generalized bipartite tournaments
A digraph such that every proper induced subdigraph has a kernel is said to
be \emph{kernel perfect} (KP for short) (\emph{critical kernel imperfect} (CKI
for short) resp.) if the digraph has a kernel (does not have a kernel resp.).
The unique CKI-tournament is and the unique
KP-tournaments are the transitive tournaments, however bipartite tournaments
are KP. In this paper we characterize the CKI- and KP-digraphs for the
following families of digraphs: locally in-/out-semicomplete, asymmetric
arc-locally in-/out-semicomplete, asymmetric -quasi-transitive and
asymmetric -anti-quasi-transitive -free and we state that the problem
of determining whether a digraph of one of these families is CKI is polynomial,
giving a solution to a problem closely related to the following conjecture
posted by Bang-Jensen in 1998: the kernel problem is polynomially solvable for
locally in-semicomplete digraphs.Comment: 13 pages and 5 figure
k-colored kernels
We study -colored kernels in -colored digraphs. An -colored digraph
has -colored kernel if there exists a subset of its vertices such
that
(i) from every vertex there exists an at most -colored
directed path from to a vertex of and
(ii) for every there does not exist an at most -colored
directed path between them.
In this paper, we prove that for every integer there exists a -colored digraph without -colored kernel and if every directed
cycle of an -colored digraph is monochromatic, then it has a -colored
kernel for every positive integer We obtain the following results for some
generalizations of tournaments:
(i) -colored quasi-transitive and 3-quasi-transitive digraphs have a %
-colored kernel for every and respectively (we conjecture
that every -colored -quasi-transitive digraph has a % -colored kernel
for every , and
(ii) -colored locally in-tournament (out-tournament, respectively)
digraphs have a -colored kernel provided that every arc belongs to a
directed cycle and every directed cycle is at most -colored
Quantified Constraint Satisfaction Problem on semicomplete digraphs
We study the (non-uniform) quantified constraint satisfaction problem QCSP(H) as H ranges over semicomplete digraphs. We obtain a complexity-theoretic trichotomy: QCSP(H) is either in P, is NP-complete, or is Pspace-complete. The largest part of our work is the algebraic classification of precisely which semicomplete digraphs enjoy only essentially unary polymorphisms, which is combinatorially interesting in its own right
Efficient total domination in digraphs
We generalize the concept of efficient total domination from graphs to digraphs. An efficiently total dominating set X of a digraph D is a vertex subset such that every vertex of D has exactly one predecessor in X . Not every digraph has an efficiently total dominating set. We study graphs that permit an orientation having such a set and give complexity results and characterizations concerning this question. Furthermore, we study the computational complexity of the (weighted) efficient total domination problem for several digraph classes. In particular we deal with most of the common generalizations of tournaments, like locally semicomplete and arc-locally semicomplete digraphs
Independent sets and non-augmentable paths in arc-locally in-semicomplete digraphs and quasi-arc-transitive digraphs
AbstractA digraph is arc-locally in-semicomplete if for any pair of adjacent vertices x,y, every in-neighbor of x and every in-neighbor of y either are adjacent or are the same vertex. A digraph is quasi-arc-transitive if for any arc xy, every in-neighbor of x and every out-neighbor of y either are adjacent or are the same vertex. Laborde, Payan and Xuong proposed the following conjecture: Every digraph has an independent set intersecting every non-augmentable path (in particular, every longest path). In this paper, we shall prove that this conjecture is true for arc-locally in-semicomplete digraphs and quasi-arc-transitive digraphs
- …