8,927 research outputs found
Minimal Elimination Ordering for Graphs of Bounded Degree
We show that for graphs of bounded degree, a subset minimal elimination ordering can be determined in almost linear time
Minimal Elimination Ordering for Graphs of Bounded Degree
We show that for graphs of bounded degree, a subset minimal elimination ordering can be determined in almost linear time
Forbidden Directed Minors and Kelly-width
Partial 1-trees are undirected graphs of treewidth at most one. Similarly,
partial 1-DAGs are directed graphs of KellyWidth at most two. It is well-known
that an undirected graph is a partial 1-tree if and only if it has no K_3
minor. In this paper, we generalize this characterization to partial 1-DAGs. We
show that partial 1-DAGs are characterized by three forbidden directed minors,
K_3, N_4 and M_5
Exploiting chordal structure in polynomial ideals: a Gr\"obner bases approach
Chordal structure and bounded treewidth allow for efficient computation in
numerical linear algebra, graphical models, constraint satisfaction and many
other areas. In this paper, we begin the study of how to exploit chordal
structure in computational algebraic geometry, and in particular, for solving
polynomial systems. The structure of a system of polynomial equations can be
described in terms of a graph. By carefully exploiting the properties of this
graph (in particular, its chordal completions), more efficient algorithms can
be developed. To this end, we develop a new technique, which we refer to as
chordal elimination, that relies on elimination theory and Gr\"obner bases. By
maintaining graph structure throughout the process, chordal elimination can
outperform standard Gr\"obner basis algorithms in many cases. The reason is
that all computations are done on "smaller" rings, of size equal to the
treewidth of the graph. In particular, for a restricted class of ideals, the
computational complexity is linear in the number of variables. Chordal
structure arises in many relevant applications. We demonstrate the suitability
of our methods in examples from graph colorings, cryptography, sensor
localization and differential equations.Comment: 40 pages, 5 figure
Vertex elimination orderings for hereditary graph classes
We provide a general method to prove the existence and compute efficiently
elimination orderings in graphs. Our method relies on several tools that were
known before, but that were not put together so far: the algorithm LexBFS due
to Rose, Tarjan and Lueker, one of its properties discovered by Berry and
Bordat, and a local decomposition property of graphs discovered by Maffray,
Trotignon and Vu\vskovi\'c. We use this method to prove the existence of
elimination orderings in several classes of graphs, and to compute them in
linear time. Some of the classes have already been studied, namely
even-hole-free graphs, square-theta-free Berge graphs, universally signable
graphs and wheel-free graphs. Some other classes are new. It turns out that all
the classes that we study in this paper can be defined by excluding some of the
so-called Truemper configurations. For several classes of graphs, we obtain
directly bounds on the chromatic number, or fast algorithms for the maximum
clique problem or the coloring problem
Pre-processing for Triangulation of Probabilistic Networks
The currently most efficient algorithm for inference with a probabilistic
network builds upon a triangulation of a network's graph. In this paper, we
show that pre-processing can help in finding good triangulations
forprobabilistic networks, that is, triangulations with a minimal maximum
clique size. We provide a set of rules for stepwise reducing a graph, without
losing optimality. This reduction allows us to solve the triangulation problem
on a smaller graph. From the smaller graph's triangulation, a triangulation of
the original graph is obtained by reversing the reduction steps. Our
experimental results show that the graphs of some well-known real-life
probabilistic networks can be triangulated optimally just by preprocessing; for
other networks, huge reductions in their graph's size are obtained.Comment: Appears in Proceedings of the Seventeenth Conference on Uncertainty
in Artificial Intelligence (UAI2001
- …