7,573 research outputs found
Generation of cubic graphs
We describe a new algorithm for the efficient generation of all non-isomorphic connected cubic graphs. Our implementation of this algorithm is more than 4 times faster than previous generators. The generation can also be efficiently restricted to cubic graphs with girth at least 4 or 5
Generation of cubic graphs and snarks with large girth
We describe two new algorithms for the generation of all non-isomorphic cubic
graphs with girth at least which are very efficient for
and show how these algorithms can be efficiently restricted to generate snarks
with girth at least .
Our implementation of these algorithms is more than 30, respectively 40 times
faster than the previously fastest generator for cubic graphs with girth at
least 6 and 7, respectively.
Using these generators we have also generated all non-isomorphic snarks with
girth at least 6 up to 38 vertices and show that there are no snarks with girth
at least 7 up to 42 vertices. We present and analyse the new list of snarks
with girth 6.Comment: 27 pages (including appendix
Stable Marriage with Multi-Modal Preferences
We introduce a generalized version of the famous Stable Marriage problem, now
based on multi-modal preference lists. The central twist herein is to allow
each agent to rank its potentially matching counterparts based on more than one
"evaluation mode" (e.g., more than one criterion); thus, each agent is equipped
with multiple preference lists, each ranking the counterparts in a possibly
different way. We introduce and study three natural concepts of stability,
investigate their mutual relations and focus on computational complexity
aspects with respect to computing stable matchings in these new scenarios.
Mostly encountering computational hardness (NP-hardness), we can also spot few
islands of tractability and make a surprising connection to the \textsc{Graph
Isomorphism} problem
Surface Split Decompositions and Subgraph Isomorphism in Graphs on Surfaces
The Subgraph Isomorphism problem asks, given a host graph G on n vertices and
a pattern graph P on k vertices, whether G contains a subgraph isomorphic to P.
The restriction of this problem to planar graphs has often been considered.
After a sequence of improvements, the current best algorithm for planar graphs
is a linear time algorithm by Dorn (STACS '10), with complexity .
We generalize this result, by giving an algorithm of the same complexity for
graphs that can be embedded in surfaces of bounded genus. At the same time, we
simplify the algorithm and analysis. The key to these improvements is the
introduction of surface split decompositions for bounded genus graphs, which
generalize sphere cut decompositions for planar graphs. We extend the algorithm
for the problem of counting and generating all subgraphs isomorphic to P, even
for the case where P is disconnected. This answers an open question by Eppstein
(SODA '95 / JGAA '99)
- …