589,109 research outputs found
On the Existence of General Factors in Regular Graphs
Let be a graph, and a set function
associated with . A spanning subgraph of is called an -factor if
the degree of any vertex in belongs to the set . This paper
contains two results on the existence of -factors in regular graphs. First,
we construct an -regular graph without some given -factor. In
particular, this gives a negative answer to a problem recently posed by Akbari
and Kano. Second, by using Lov\'asz's characterization theorem on the existence
of -factors, we find a sharp condition for the existence of general
-factors in -graphs, in terms of the maximum and minimum of .
The result reduces to Thomassen's theorem for the case that consists of
the same two consecutive integers for all vertices , and to Tutte's theorem
if the graph is regular in addition.Comment: 10 page
Polytopality and Cartesian products of graphs
We study the question of polytopality of graphs: when is a given graph the
graph of a polytope? We first review the known necessary conditions for a graph
to be polytopal, and we provide several families of graphs which satisfy all
these conditions, but which nonetheless are not graphs of polytopes. Our main
contribution concerns the polytopality of Cartesian products of non-polytopal
graphs. On the one hand, we show that products of simple polytopes are the only
simple polytopes whose graph is a product. On the other hand, we provide a
general method to construct (non-simple) polytopal products whose factors are
not polytopal.Comment: 21 pages, 10 figure
Decremental Single-Source Reachability in Planar Digraphs
In this paper we show a new algorithm for the decremental single-source
reachability problem in directed planar graphs. It processes any sequence of
edge deletions in total time and explicitly
maintains the set of vertices reachable from a fixed source vertex. Hence, if
all edges are eventually deleted, the amortized time of processing each edge
deletion is only , which improves upon a previously
known solution. We also show an algorithm for decremental
maintenance of strongly connected components in directed planar graphs with the
same total update time. These results constitute the first almost optimal (up
to polylogarithmic factors) algorithms for both problems.
To the best of our knowledge, these are the first dynamic algorithms with
polylogarithmic update times on general directed planar graphs for non-trivial
reachability-type problems, for which only polynomial bounds are known in
general graphs
On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic
Brambles were introduced as the dual notion to treewidth, one of the most
central concepts of the graph minor theory of Robertson and Seymour. Recently,
Grohe and Marx showed that there are graphs G, in which every bramble of order
larger than the square root of the treewidth is of exponential size in |G|. On
the positive side, they show the existence of polynomial-sized brambles of the
order of the square root of the treewidth, up to log factors. We provide the
first polynomial time algorithm to construct a bramble in general graphs and
achieve this bound, up to log-factors. We use this algorithm to construct
grid-like minors, a replacement structure for grid-minors recently introduced
by Reed and Wood, in polynomial time. Using the grid-like minors, we introduce
the notion of a perfect bramble and an algorithm to find one in polynomial
time. Perfect brambles are brambles with a particularly simple structure and
they also provide us with a subgraph that has bounded degree and still large
treewidth; we use them to obtain a meta-theorem on deciding certain
parameterized subgraph-closed problems on general graphs in time singly
exponential in the parameter.
The second part of our work deals with providing a lower bound to Courcelle's
famous theorem, stating that every graph property that can be expressed by a
sentence in monadic second-order logic (MSO), can be decided by a linear time
algorithm on classes of graphs of bounded treewidth. Using our results from the
first part of our work we establish a strong lower bound for tractability of
MSO on classes of colored graphs
Graphs with the maximum or minimum number of 1-factors
AbstractRecently Alon and Friedland have shown that graphs which are the union of complete regular bipartite graphs have the maximum number of 1-factors over all graphs with the same degree sequence. We identify two families of graphs that have the maximum number of 1-factors over all graphs with the same number of vertices and edges: the almost regular graphs which are unions of complete regular bipartite graphs, and complete graphs with a matching removed. The first family is determined using the Alon and Friedland bound. For the second family, we show that a graph transformation which is known to increase network reliability also increases the number of 1-factors. In fact, more is true: this graph transformation increases the number of k-factors for all k≥1, and “in reverse” also shows that in general, threshold graphs have the fewest k-factors. We are then able to determine precisely which threshold graphs have the fewest 1-factors. We conjecture that the same graphs have the fewest k-factors for all k≥2 as well
- …