51,339 research outputs found
Efficient Generation of Stable Planar Cages for Chemistry
In this paper we describe an algorithm which generates all colored planar
maps with a good minimum sparsity from simple motifs and rules to connect them.
An implementation of this algorithm is available and is used by chemists who
want to quickly generate all sound molecules they can obtain by mixing some
basic components.Comment: 17 pages, 7 figures. Accepted at the 14th International Symposium on
Experimental Algorithms (SEA 2015
Isomorph-free generation of 2-connected graphs with applications
Many interesting graph families contain only 2-connected graphs, which have
ear decompositions. We develop a technique to generate families of unlabeled
2-connected graphs using ear augmentations and apply this technique to two
problems. In the first application, we search for uniquely K_r-saturated graphs
and find the list of uniquely K_4-saturated graphs on at most 12 vertices,
supporting current conjectures for this problem. In the second application, we
verifying the Edge Reconstruction Conjecture for all 2-connected graphs on at
most 12 vertices. This technique can be easily extended to more problems
concerning 2-connected graphs.Comment: 15 pages, 3 figures, 4 table
Saturation in the Hypercube and Bootstrap Percolation
Let denote the hypercube of dimension . Given , a spanning
subgraph of is said to be -saturated if it does not
contain as a subgraph but adding any edge of
creates a copy of in . Answering a question of Johnson and Pinto, we
show that for every fixed the minimum number of edges in a
-saturated graph is .
We also study weak saturation, which is a form of bootstrap percolation. A
spanning subgraph of is said to be weakly -saturated if the
edges of can be added to one at a time so that each
added edge creates a new copy of . Answering another question of Johnson
and Pinto, we determine the minimum number of edges in a weakly
-saturated graph for all . More generally, we
determine the minimum number of edges in a subgraph of the -dimensional grid
which is weakly saturated with respect to `axis aligned' copies of a
smaller grid . We also study weak saturation of cycles in the grid.Comment: 21 pages, 2 figures. To appear in Combinatorics, Probability and
Computin
All-Pairs Minimum Cuts in Near-Linear Time for Surface-Embedded Graphs
For an undirected -vertex graph with non-negative edge-weights, we
consider the following type of query: given two vertices and in ,
what is the weight of a minimum -cut in ? We solve this problem in
preprocessing time for graphs of bounded genus, giving the first
sub-quadratic time algorithm for this class of graphs. Our result also improves
by a logarithmic factor a previous algorithm by Borradaile, Sankowski and
Wulff-Nilsen (FOCS 2010) that applied only to planar graphs. Our algorithm
constructs a Gomory-Hu tree for the given graph, providing a data structure
with space that can answer minimum-cut queries in constant time. The
dependence on the genus of the input graph in our preprocessing time is
- …