1,869 research outputs found
Independent transversals in locally sparse graphs
Let G be a graph with maximum degree \Delta whose vertex set is partitioned
into parts V(G) = V_1 \cup ... \cup V_r. A transversal is a subset of V(G)
containing exactly one vertex from each part V_i. If it is also an independent
set, then we call it an independent transversal. The local degree of G is the
maximum number of neighbors of a vertex v in a part V_i, taken over all choices
of V_i and v \not \in V_i. We prove that for every fixed \epsilon > 0, if all
part sizes |V_i| >= (1+\epsilon)\Delta and the local degree of G is o(\Delta),
then G has an independent transversal for sufficiently large \Delta. This
extends several previous results and settles (in a stronger form) a conjecture
of Aharoni and Holzman. We then generalize this result to transversals that
induce no cliques of size s. (Note that independent transversals correspond to
s=2.) In that context, we prove that parts of size |V_i| >=
(1+\epsilon)[\Delta/(s-1)] and local degree o(\Delta) guarantee the existence
of such a transversal, and we provide a construction that shows this is
asymptotically tight.Comment: 16 page
Model Counting of Query Expressions: Limitations of Propositional Methods
Query evaluation in tuple-independent probabilistic databases is the problem
of computing the probability of an answer to a query given independent
probabilities of the individual tuples in a database instance. There are two
main approaches to this problem: (1) in `grounded inference' one first obtains
the lineage for the query and database instance as a Boolean formula, then
performs weighted model counting on the lineage (i.e., computes the probability
of the lineage given probabilities of its independent Boolean variables); (2)
in methods known as `lifted inference' or `extensional query evaluation', one
exploits the high-level structure of the query as a first-order formula.
Although it is widely believed that lifted inference is strictly more powerful
than grounded inference on the lineage alone, no formal separation has
previously been shown for query evaluation. In this paper we show such a formal
separation for the first time.
We exhibit a class of queries for which model counting can be done in
polynomial time using extensional query evaluation, whereas the algorithms used
in state-of-the-art exact model counters on their lineages provably require
exponential time. Our lower bounds on the running times of these exact model
counters follow from new exponential size lower bounds on the kinds of d-DNNF
representations of the lineages that these model counters (either explicitly or
implicitly) produce. Though some of these queries have been studied before, no
non-trivial lower bounds on the sizes of these representations for these
queries were previously known.Comment: To appear in International Conference on Database Theory (ICDT) 201
Topological transversals to a family of convex sets
Let be a family of compact convex sets in . We say
that has a \emph{topological -transversal of index }
(, ) if there are, homologically, as many transversal
-planes to as -planes containing a fixed -plane in
.
Clearly, if has a -transversal plane, then
has a topological -transversal of index for and . The converse is not true in general.
We prove that for a family of compact convex sets in
a topological -transversal of index implies an
ordinary -transversal. We use this result, together with the
multiplication formulas for Schubert cocycles, the Lusternik-Schnirelmann
category of the Grassmannian, and different versions of the colorful Helly
theorem by B\'ar\'any and Lov\'asz, to obtain some geometric consequences
An asymptotic bound for the strong chromatic number
The strong chromatic number of a graph on
vertices is the least number with the following property: after adding isolated vertices to and taking the union with any
collection of spanning disjoint copies of in the same vertex set, the
resulting graph has a proper vertex-colouring with colours.
We show that for every and every graph on vertices with
, , which is
asymptotically best possible.Comment: Minor correction, accepted for publication in Combin. Probab. Compu
Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic
The hypergraph duality problem DUAL is defined as follows: given two simple
hypergraphs and , decide whether
consists precisely of all minimal transversals of (in which case
we say that is the dual of ). This problem is
equivalent to deciding whether two given non-redundant monotone DNFs are dual.
It is known that non-DUAL, the complementary problem to DUAL, is in
, where
denotes the complexity class of all problems that after a nondeterministic
guess of bits can be decided (checked) within complexity class
. It was conjectured that non-DUAL is in . In this paper we prove this conjecture and actually
place the non-DUAL problem into the complexity class which is a subclass of . We here refer to the logtime-uniform version of
, which corresponds to , i.e., first order
logic augmented by counting quantifiers. We achieve the latter bound in two
steps. First, based on existing problem decomposition methods, we develop a new
nondeterministic algorithm for non-DUAL that requires to guess
bits. We then proceed by a logical analysis of this algorithm, allowing us to
formulate its deterministic part in . From this result, by
the well known inclusion , it follows
that DUAL belongs also to . Finally, by exploiting
the principles on which the proposed nondeterministic algorithm is based, we
devise a deterministic algorithm that, given two hypergraphs and
, computes in quadratic logspace a transversal of
missing in .Comment: Restructured the presentation in order to be the extended version of
a paper that will shortly appear in SIAM Journal on Computin
- …