4,068 research outputs found
On Visibility Representations of Non-planar Graphs
A rectangle visibility representation (RVR) of a graph consists of an
assignment of axis-aligned rectangles to vertices such that for every edge
there exists a horizontal or vertical line of sight between the rectangles
assigned to its endpoints. Testing whether a graph has an RVR is known to be
NP-hard. In this paper, we study the problem of finding an RVR under the
assumption that an embedding in the plane of the input graph is fixed and we
are looking for an RVR that reflects this embedding. We show that in this case
the problem can be solved in polynomial time for general embedded graphs and in
linear time for 1-plane graphs (i.e., embedded graphs having at most one
crossing per edge). The linear time algorithm uses a precise list of forbidden
configurations, which extends the set known for straight-line drawings of
1-plane graphs. These forbidden configurations can be tested for in linear
time, and so in linear time we can test whether a 1-plane graph has an RVR and
either compute such a representation or report a negative witness. Finally, we
discuss some extensions of our study to the case when the embedding is not
fixed but the RVR can have at most one crossing per edge
Sufficient Conditions for Tuza's Conjecture on Packing and Covering Triangles
Given a simple graph , a subset of is called a triangle cover if
it intersects each triangle of . Let and denote the
maximum number of pairwise edge-disjoint triangles in and the minimum
cardinality of a triangle cover of , respectively. Tuza conjectured in 1981
that holds for every graph . In this paper, using a
hypergraph approach, we design polynomial-time combinatorial algorithms for
finding small triangle covers. These algorithms imply new sufficient conditions
for Tuza's conjecture on covering and packing triangles. More precisely,
suppose that the set of triangles covers all edges in . We
show that a triangle cover of with cardinality at most can be
found in polynomial time if one of the following conditions is satisfied: (i)
, (ii) , (iii)
.
Keywords: Triangle cover, Triangle packing, Linear 3-uniform hypergraphs,
Combinatorial algorithm
A tight Erd\H{o}s-P\'osa function for wheel minors
Let denote the wheel on vertices. We prove that for every integer
there is a constant such that for every integer
and every graph , either has vertex-disjoint subgraphs each
containing as minor, or there is a subset of at most
vertices such that has no minor. This is best possible, up to the
value of . We conjecture that the result remains true more generally if we
replace with any fixed planar graph .Comment: 15 pages, 1 figur
Transversal structures on triangulations: a combinatorial study and straight-line drawings
This article focuses on a combinatorial structure specific to triangulated
plane graphs with quadrangular outer face and no separating triangle, which are
called irreducible triangulations. The structure has been introduced by Xin He
under the name of regular edge-labelling and consists of two bipolar
orientations that are transversal. For this reason, the terminology used here
is that of transversal structures. The main results obtained in the article are
a bijection between irreducible triangulations and ternary trees, and a
straight-line drawing algorithm for irreducible triangulations. For a random
irreducible triangulation with vertices, the grid size of the drawing is
asymptotically with high probability up to an additive
error of \cO(\sqrt{n}). In contrast, the best previously known algorithm for
these triangulations only guarantees a grid size .Comment: 42 pages, the second version is shorter, focusing on the bijection
(with application to counting) and on the graph drawing algorithm. The title
has been slightly change
Upper bounds for the number of orbital topological types of planar polynomial vector fields "modulo limit cycles"
The paper deals with planar polynomial vector fields. We aim to estimate the
number of orbital topological equivalence classes for the fields of degree n.
An evident obstacle for this is the second part of Hilbert's 16th problem. To
circumvent this obstacle we introduce the notion of equivalence modulo limit
cycles. This paper is the continuation of the author's paper in [Mosc. Math. J.
1 (2001), no. 4] where the lower bound of the form 2^{cn^2} has been obtained.
Here we obtain the upper bound of the same form. We also associate an equipped
planar graph to every planar polynomial vector field, this graph is a complete
invariant for orbital topological classification of such fields.Comment: 23 pages, 5 figure
On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs
Fan-planar graphs were recently introduced as a generalization of 1-planar
graphs. A graph is fan-planar if it can be embedded in the plane, such that
each edge that is crossed more than once, is crossed by a bundle of two or more
edges incident to a common vertex. A graph is outer-fan-planar if it has a
fan-planar embedding in which every vertex is on the outer face. If, in
addition, the insertion of an edge destroys its outer-fan-planarity, then it is
maximal outer-fan-planar. In this paper, we present a polynomial-time algorithm
to test whether a given graph is maximal outer-fan-planar. The algorithm can
also be employed to produce an outer-fan-planar embedding, if one exists. On
the negative side, we show that testing fan-planarity of a graph is NP-hard,
for the case where the rotation system (i.e., the cyclic order of the edges
around each vertex) is given
- …