2,700 research outputs found
A Dichotomy Theorem for Homomorphism Polynomials
In the present paper we show a dichotomy theorem for the complexity of
polynomial evaluation. We associate to each graph H a polynomial that encodes
all graphs of a fixed size homomorphic to H. We show that this family is
computable by arithmetic circuits in constant depth if H has a loop or no edge
and that it is hard otherwise (i.e., complete for VNP, the arithmetic class
related to #P). We also demonstrate the hardness over the rational field of cut
eliminator, a polynomial defined by B\"urgisser which is known to be neither VP
nor VNP-complete in the field of two elements, if VP is not equal to VNP (VP is
the class of polynomials computable by arithmetic circuit of polynomial size)
Best and worst case permutations for random online domination of the path
We study a randomized algorithm for graph domination, by which, according to
a uniformly chosen permutation, vertices are revealed and added to the
dominating set if not already dominated. We determine the expected size of the
dominating set produced by the algorithm for the path graph and use this
to derive the expected size for some related families of graphs. We then
provide a much-refined analysis of the worst and best cases of this algorithm
on and enumerate the permutations for which the algorithm has the
worst-possible performance and best-possible performance. The case of
dominating the path graph has connections to previous work of Bouwer and Star,
and of Gessel on greedily coloring the path.Comment: 13 pages, 1 figur
Generating Functions For Kernels of Digraphs (Enumeration & Asymptotics for Nim Games)
In this article, we study directed graphs (digraphs) with a coloring
constraint due to Von Neumann and related to Nim-type games. This is equivalent
to the notion of kernels of digraphs, which appears in numerous fields of
research such as game theory, complexity theory, artificial intelligence
(default logic, argumentation in multi-agent systems), 0-1 laws in monadic
second order logic, combinatorics (perfect graphs)... Kernels of digraphs lead
to numerous difficult questions (in the sense of NP-completeness,
#P-completeness). However, we show here that it is possible to use a generating
function approach to get new informations: we use technique of symbolic and
analytic combinatorics (generating functions and their singularities) in order
to get exact and asymptotic results, e.g. for the existence of a kernel in a
circuit or in a unicircuit digraph. This is a first step toward a
generatingfunctionology treatment of kernels, while using, e.g., an approach "a
la Wright". Our method could be applied to more general "local coloring
constraints" in decomposable combinatorial structures.Comment: Presented (as a poster) to the conference Formal Power Series and
Algebraic Combinatorics (Vancouver, 2004), electronic proceeding
Four Variations on Graded Posets
We explore the enumeration of some natural classes of graded posets,
including all graded posets, (2+2)- and (3+1)-avoiding graded posets,
(2+2)-avoiding graded posets, and (3+1)-avoiding graded posets. We obtain
enumerative and structural theorems for all of them. Along the way, we discuss
a situation when we can switch between enumeration of labeled and unlabeled
objects with ease, generalize a result of Postnikov and Stanley from the theory
of hyperplane arrangements, answer a question posed by Stanley, and see an old
result of Klarner in a new light.Comment: 28 page
- …