14,618 research outputs found
Minimally 3-restricted edge connected graphs
AbstractFor a connected graph G=(V,E), an edge set S⊂E is a 3-restricted edge cut if G−S is disconnected and every component of G−S has order at least three. The cardinality of a minimum 3-restricted edge cut of G is the 3-restricted edge connectivity of G, denoted by λ3(G). A graph G is called minimally 3-restricted edge connected if λ3(G−e)<λ3(G) for each edge e∈E. A graph G is λ3-optimal if λ3(G)=ξ3(G), where ξ3(G)=max{ω(U):U⊂V(G),G[U] is connected,|U|=3}, ω(U) is the number of edges between U and V∖U, and G[U] is the subgraph of G induced by vertex set U. We show in this paper that a minimally 3-restricted edge connected graph is always λ3-optimal except the 3-cube
Generic rigidity with forced symmetry and sparse colored graphs
We review some recent results in the generic rigidity theory of planar
frameworks with forced symmetry, giving a uniform treatment to the topic. We
also give new combinatorial characterizations of minimally rigid periodic
frameworks with fixed-area fundamental domain and fixed-angle fundamental
domain.Comment: 21 pages, 2 figure
One brick at a time: a survey of inductive constructions in rigidity theory
We present a survey of results concerning the use of inductive constructions
to study the rigidity of frameworks. By inductive constructions we mean simple
graph moves which can be shown to preserve the rigidity of the corresponding
framework. We describe a number of cases in which characterisations of rigidity
were proved by inductive constructions. That is, by identifying recursive
operations that preserved rigidity and proving that these operations were
sufficient to generate all such frameworks. We also outline the use of
inductive constructions in some recent areas of particularly active interest,
namely symmetric and periodic frameworks, frameworks on surfaces, and body-bar
frameworks. We summarize the key outstanding open problems related to
inductions.Comment: 24 pages, 12 figures, final versio
Nucleation-free rigidity
When all non-edge distances of a graph realized in as a {\em
bar-and-joint framework} are generically {\em implied} by the bar (edge)
lengths, the graph is said to be {\em rigid} in . For ,
characterizing rigid graphs, determining implied non-edges and {\em dependent}
edge sets remains an elusive, long-standing open problem.
One obstacle is to determine when implied non-edges can exist without
non-trivial rigid induced subgraphs, i.e., {\em nucleations}, and how to deal
with them.
In this paper, we give general inductive construction schemes and proof
techniques to generate {\em nucleation-free graphs} (i.e., graphs without any
nucleation) with implied non-edges. As a consequence, we obtain (a) dependent
graphs in that have no nucleation; and (b) nucleation-free {\em
rigidity circuits}, i.e., minimally dependent edge sets in . It
additionally follows that true rigidity is strictly stronger than a tractable
approximation to rigidity given by Sitharam and Zhou
\cite{sitharam:zhou:tractableADG:2004}, based on an inductive combinatorial
characterization.
As an independently interesting byproduct, we obtain a new inductive
construction for independent graphs in . Currently, very few such inductive
constructions are known, in contrast to
Expansive Motions and the Polytope of Pointed Pseudo-Triangulations
We introduce the polytope of pointed pseudo-triangulations of a point set in
the plane, defined as the polytope of infinitesimal expansive motions of the
points subject to certain constraints on the increase of their distances. Its
1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of
the point set and whose edges are flips of interior pseudo-triangulation edges.
For points in convex position we obtain a new realization of the
associahedron, i.e., a geometric representation of the set of triangulations of
an n-gon, or of the set of binary trees on n vertices, or of many other
combinatorial objects that are counted by the Catalan numbers. By considering
the 1-dimensional version of the polytope of constrained expansive motions we
obtain a second distinct realization of the associahedron as a perturbation of
the positive cell in a Coxeter arrangement.
Our methods produce as a by-product a new proof that every simple polygon or
polygonal arc in the plane has expansive motions, a key step in the proofs of
the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by
Streinu (2000).Comment: 40 pages, 7 figures. Changes from v1: added some comments (specially
to the "Further remarks" in Section 5) + changed to final book format. This
version is to appear in "Discrete and Computational Geometry -- The
Goodman-Pollack Festschrift" (B. Aronov, S. Basu, J. Pach, M. Sharir, eds),
series "Algorithms and Combinatorics", Springer Verlag, Berli
Extremal Infinite Graph Theory
We survey various aspects of infinite extremal graph theory and prove several
new results. The lead role play the parameters connectivity and degree. This
includes the end degree. Many open problems are suggested.Comment: 41 pages, 16 figure
- …