## Abstract A __quasiβkernel__ in a digraph is an independent set of vertices such that any vertex in the digraph can reach some vertex in the set via a directed path of length at most two. ChvΓ‘tal and LovΓ‘sz proved that every digraph has a quasiβkernel. Recently, Gutin et al. raised the question o
Fractional Kernels in Digraphs
β Scribed by Ron Aharoni; Ron Holzman
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 171 KB
- Volume
- 73
- Category
- Article
- ISSN
- 0095-8956
No coin nor oath required. For personal study only.
β¦ Synopsis
We define a fractional version of the notion of ``kernels'' in digraphs and prove that every clique acyclic digraph (i.e., one in which no clique contains a cycle) has a fractional kernel. Using this we give a short proof of a recent result of Boros and Gurvich (proving a conjecture of Berge and Duchet) that every clique acyclic orientation of a perfect graph has a kernel.
π SIMILAR VOLUMES
## Abstract A vertex set __X__ of a digraph __D__β=β(__V, A__) is a __kernel__ if __X__ is independent (i.e., all pairs of distinct vertices of __X__ are nonβadjacent) and for every __v__ β __V__β__X__ there exists __x__ β __X__ such that __vx__ β __A__. A vertex set __X__ of a digraph __D__β=β(__V
A kernel of a digraph D is an independent and dominating set of vertices of D. A chord of a directed cycle C = (0, 1 , . . . , n, 0) is an arc of D not in C with both terminal vertices in C . A diagonal of C is a chord with j # i -1. Meyniel made the conjecture (now know to be false) that if D is a
## Abstract For an integer __k__ > 2, the best function __m__(__n, k__) is determined such that every strong digraph of order __n__ with at least __m__(__n, k__) arcs contains a circuit of length __k__ or less.