562 research outputs found
Nondeterministic graph property testing
A property of finite graphs is called nondeterministically testable if it has
a "certificate" such that once the certificate is specified, its correctness
can be verified by random local testing. In this paper we study certificates
that consist of one or more unary and/or binary relations on the nodes, in the
case of dense graphs. Using the theory of graph limits, we prove that
nondeterministically testable properties are also deterministically testable.Comment: Version 2: 11 pages; we allow orientation in the certificate,
describe new application
Linear kernels for outbranching problems in sparse digraphs
In the -Leaf Out-Branching and -Internal Out-Branching problems we are
given a directed graph with a designated root and a nonnegative integer
. The question is to determine the existence of an outbranching rooted at
that has at least leaves, or at least internal vertices,
respectively. Both these problems were intensively studied from the points of
view of parameterized complexity and kernelization, and in particular for both
of them kernels with vertices are known on general graphs. In this
work we show that -Leaf Out-Branching admits a kernel with vertices
on -minor-free graphs, for any fixed family of graphs
, whereas -Internal Out-Branching admits a kernel with
vertices on any graph class of bounded expansion.Comment: Extended abstract accepted for IPEC'15, 27 page
On the Kernel and Related Problems in Interval Digraphs
Given a digraph , a set is said to be absorbing set
(resp. dominating set) if every vertex in the graph is either in or is an
in-neighbour (resp. out-neighbour) of a vertex in . A set
is said to be an independent set if no two vertices in are adjacent in .
A kernel (resp. solution) of is an independent and absorbing (resp.
dominating) set in . We explore the algorithmic complexity of these problems
in the well known class of interval digraphs. A digraph is an interval
digraph if a pair of intervals can be assigned to each vertex
of such that if and only if .
Many different subclasses of interval digraphs have been defined and studied in
the literature by restricting the kinds of pairs of intervals that can be
assigned to the vertices. We observe that several of these classes, like
interval catch digraphs, interval nest digraphs, adjusted interval digraphs and
chronological interval digraphs, are subclasses of the more general class of
reflexive interval digraphs -- which arise when we require that the two
intervals assigned to a vertex have to intersect. We show that all the problems
mentioned above are efficiently solvable, in most of the cases even linear-time
solvable, in the class of reflexive interval digraphs, but are APX-hard on even
the very restricted class of interval digraphs called point-point digraphs,
where the two intervals assigned to each vertex are required to be degenerate,
i.e. they consist of a single point each. The results we obtain improve and
generalize several existing algorithms and structural results for subclasses of
reflexive interval digraphs.Comment: 26 pages, 3 figure
- âŠ