Searcharxiv⌕ Search

arXiv subjects

Radoslav Fulek

Publications and source records attributed to Radoslav Fulek.

34 records · Page 2Linked to original sources
arXiv2016

Hanani-Tutte for Radial Planarity II

A drawing of a graph $G$ is radial if the vertices of $G$ are placed on concentric circles $C_1, \ldots, C_k$ with common center $c$, and edges are drawn radially: every edge intersects every circle centered at $c$ at most once. $G$ is radial planar if it has a radial embedding, that is, a crossing-free radial drawing. If the vertices of $G$ are ordered or partitioned into ordered levels (as they are for leveled graphs), we require that the assignment of vertices to circles corresponds to the given ordering or leveling. A pair of edges $e$ and $f$ in a graph is independent if $e$ and $f$ do not share a vertex. We show that a graph $G$ is radial planar if $G$ has a radial drawing in which every two independent edges cross an even number of times; the radial embedding has the same leveling as the radial drawing. In other words, we establish the strong Hanani-Tutte theorem for radial planarity. This characterization yields a very simple algorithm for radial planarity testing.

cs.CG↗
arXiv2016

C-planarity of Embedded Cyclic c-Graphs

We show that c-planarity is solvable in quadratic time for flat clustered graphs with three clusters if the combinatorial embedding of the underlying graph is fixed. In simpler graph-theoretical terms our result can be viewed as follows. Given a graph $G$ with the vertex set partitioned into three parts embedded on a 2-sphere, our algorithm decides if we can augment $G$ by adding edges without creating an edge-crossing so that in the resulting spherical graph the vertices of each part induce a connected sub-graph. We proceed by a reduction to the problem of testing the existence of a perfect matching in planar bipartite graphs. We formulate our result in a slightly more general setting of cyclic clustered graphs, i.e., the simple graph obtained by contracting each cluster, where we disregard loops and multi-edges, is a cycle.

cs.CG↗
arXiv2016

Toward the Hanani-Tutte Theorem for Clustered Graphs

The weak variant of Hanani-Tutte theorem says that a graph is planar, if it can be drawn in the plane so that every pair of edges cross an even number of times. Moreover, we can turn such a drawing into an embedding without changing the order in which edges leave the vertices. We prove a generalization of the weak Hanani-Tutte theorem that also easily implies the monotone variant of the weak Hanani-Tutte theorem by Pach and Tóth. Thus, our result can be thought of as a common generalization of these two neat results. In other words, we prove the weak Hanani-Tutte theorem for strip clustered graphs, whose clusters are linearly ordered vertical strips in the plane and edges join only vertices in the same cluster or in neighboring clusters with respect to this order. In order to prove our main result we first obtain a forbidden substructure characterization of embedded strip clustered planar graphs. The Hanani-Tutte theorem says that a graph is planar, if it can be drawn in the plane so that every pair of edges not sharing a vertex cross an even number of times. We prove the variant of Hanani-Tutte theorem for strip clustered graphs if the underlying abstract graph is three connected or a tree. In the case of trees our result implies that c-planarity for flat clustered graphs with three clusters is solvable in a polynomial time if the underlying abstract graph is a tree. The proof of the latter result combines our forbidden substructure characterization of embedded strip clustered planar graphs with Tucker's characterization of 0-1 matrices with consecutive ones property.

cs.CG↗
arXiv2015

Clustered planarity testing revisited

The Hanani--Tutte theorem is a classical result proved for the first time in the 1930s that characterizes planar graphs as graphs that admit a drawing in the plane in which every pair of edges not sharing a vertex cross an even number of times. We generalize this result to clustered graphs with two disjoint clusters, and show that a straightforward extension to flat clustered graphs with three or more disjoint clusters is not possible. For general clustered graphs we show a variant of the Hanani--Tutte theorem in the case when each cluster induces a connected subgraph. Di Battista and Frati proved that clustered planarity of embedded clustered graphs whose every face is incident with at most five vertices can be tested in polynomial time. We give a new and short proof of this result, using the matroid intersection algorithm.

cs.CG↗
arXiv2014

Crossing numbers and combinatorial characterization of monotone drawings of $K_n$

In 1958, Hill conjectured that the minimum number of crossings in a drawing of $K_n$ is exactly $Z(n) = \frac{1}{4} \lfloor\frac{n}{2}\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor\frac{n-2}{2}\right\rfloor\left\lfloor\frac{n-3}{2}\right\rfloor$. Generalizing the result by Ábrego et al. for 2-page book drawings, we prove this conjecture for plane drawings in which edges are represented by $x$-monotone curves. In fact, our proof shows that the conjecture remains true for $x$-monotone drawings of $K_n$ in which adjacent edges may cross an even number of times, and instead of the crossing number we count the pairs of edges which cross an odd number of times. We further discuss a generalization of this result to shellable drawings, a notion introduced by Ábrego et al. We also give a combinatorial characterization of several classes of $x$-monotone drawings of complete graphs using a small set of forbidden configurations. For a similar local characterization of shellable drawings, we generalize Carathéodory's theorem to simple drawings of complete graphs.

math.CO↗
arXiv2013

Homometric sets in trees

Let $G = (V,E)$ denote a simple graph with the vertex set $V$ and the edge set $E$. The profile of a vertex set $V'\subseteq V$ denotes the multiset of pairwise distances between the vertices of $V'$. Two disjoint subsets of $V$ are \emph{homometric}, if their profiles are the same. If $G$ is a tree on $n$ vertices we prove that its vertex sets contains a pair of disjoint homometric subsets of size at least $\sqrt{n/2} - 1$. Previously it was known that such a pair of size at least roughly $n^{1/3}$ exists. We get a better result in case of haircomb trees, in which we are able to find a pair of disjoint homometric sets of size at least $cn^{2/3}$ for a constant $c > 0$.

math.CO↗
arXiv2013

Universal point sets for planar three-tree

For every $n\in \mathbb{N}$, we present a set $S_n$ of $O(n^{3/2}\log n)$ points in the plane such that every planar 3-tree with $n$ vertices has a straight-line embedding in the plane in which the vertices are mapped to a subset of $S_n$. This is the first subquadratic upper bound on the size of universal point sets for planar 3-trees, as well as for the class of 2-trees and serial parallel graphs.

cs.CG↗
arXiv2013

Estimating the number of disjoint edges in simple topological graphs via cylindrical drawings

A topological graph drawn on a cylinder whose base is horizontal is \emph{angularly monotone} if every vertical line intersects every edge at most once. Let $c(n)$ denote the maximum number $c$ such that every simple angularly monotone drawing of a complete graph on $n$ vertices contains at least $c$ pairwise disjoint edges. We show that for every simple complete topological graph $G$ there exists $Δ$, $0<Δ<n$, such that $G$ contains at least $\max \{\frac nΔ, c(Δ)\}$ pairwise disjoint edges. By combining our result with a result of Tóth we obtain an alternative proof for the best known lower bound of $Ω(n^\frac 13)$ on the maximum number of pairwise disjoint edges in a simple complete topological graph proved by Suk. Our proof is based on a result of Ruiz-Vargas.

math.CO↗
arXiv2013

On Sets of Lines Not-Supporting Trees

We study the following problem introduced by Dujmovic et al. Given a tree $T = (V,E)$, on $n$ vertices, a set of $n$ lines $\mathcal{L}$ in the plane and a bijection $ι: V \rightarrow \mathcal{L}$, we are asked to find a crossing-free straight-line embedding of $T$ so that $v\in ι(v)$, for all $v\in V$. We say that a set of $n$ lines $\mathcal{L}$ is universal for trees if for any tree $T$ and any bijection $ι$ there exists such an embedding. We prove that any sufficiently big set of lines is not universal for trees, which solves an open problem asked by Dujmovic et al.

cs.DM↗
arXiv2011

Convex obstacle numbers of outerplanar graphs and bipartite permutation graphs

The disjoint convex obstacle number of a graph G is the smallest number h such that there is a set of h pairwise disjoint convex polygons (obstacles) and a set of n points in the plane (corresponding to V(G)) so that a vertex pair uv is an edge if and only if the corresponding segment uv does not meet any obstacle. We show that the disjoint convex obstacle number of an outerplanar graph is always at most 5, and of a bipartite permutation graph at most 4. The former answers a question raised by Alpert, Koch, and Laison. We complement the upper bound for outerplanar graphs with the lower bound of 4.

cs.DM↗
arXiv2011

On disjoint crossing families in geometric graphs

A geometric graph is a graph drawn in the plane with vertices represented by points and edges as straight-line segments. A geometric graph contains a (k,l)-crossing family if there is a pair of edge subsets E_1,E_2 such that |E_1| = k and |E_2| = l, the edges in E_1 are pairwise crossing, the edges in E_2 are pairwise crossing, and every edges in E_1 is disjoint to every edge in E_2. We conjecture that for any fixed k,l, every n-vertex geometric graph with no (k,l)-crossing family has at most c_{k,l}n edges, where c_{k,l} is a constant that depends only on k and l. In this note, we show that every n-vertex geometric graph with no (k,k)-crossing family has at most c_kn\log n edges, where c_k is a constant that depends only on k, by proving a more general result which relates extremal function of a geometric graph F with extremal function of two completely disjoint copies of F. We also settle the conjecture for geometric graphs with no (2,1)-crossing family. As a direct application, this implies that for any circle graph F on 3 vertices, every n-vertex geometric graph that does not contain a matching whose intersection graph is F has at most O(n) edges.

math.CO↗
arXiv2010

Diameter Bounds for Planar Graphs

The inverse degree of a graph is the sum of the reciprocals of the degrees of its vertices. We prove that in any connected planar graph, the diameter is at most 5/2 times the inverse degree, and that this ratio is tight. To develop a crucial surgery method, we begin by proving the simpler related upper bounds (4(V-1)-E)/3 and 4V^2/3E on the diameter (for connected planar graphs), which are also tight.

math.CO↗
arXiv2010

A computational approach to Conway's thrackle conjecture

A drawing of a graph in the plane is called a thrackle if every pair of edges meets precisely once, either at a common vertex or at a proper crossing. Let t(n) denote the maximum number of edges that a thrackle of n vertices can have. According to a 40 years old conjecture of Conway, t(n)=n for every n>2. For any eps>0, we give an algorithm terminating in e^{O((1/eps^2)ln(1/eps))} steps to decide whether t(n)<(1+eps)n for all n>2. Using this approach, we improve the best known upper bound, t(n)<=3/2(n-1), due to Cairns and Nikolayevsky, to 167/117n<1.428n.

math.CO↗
arXiv2010

Drawing Graphs with Orthogonal Crossings

By a poly-line drawing of a graph G on n vertices we understand a drawing of G in the plane such that each edge is represented by a polygonal arc joining its two respective vertices. We call a turning point of a polygonal arc the bend. We consider the class of graphs that admit a poly-line drawing, in which each edge has at most one bend (resp. two bends) and any two edges can cross only at a right angle. It is shown that the number of edges of such graphs is at most O(n) (resp. O(n \log^2 n)). This is a strengthening of a recent result of Didimo et al.

math.CO↗
arXiv2009

On Polygons Excluding Point Sets

By a polygonization of a finite point set $S$ in the plane we understand a simple polygon having $S$ as the set of its vertices. Let $B$ and $R$ be sets of blue and red points, respectively, in the plane such that $B\cup R$ is in general position, and the convex hull of $B$ contains $k$ interior blue points and $l$ interior red points. Hurtado et al. found sufficient conditions for the existence of a blue polygonization that encloses all red points. We consider the dual question of the existence of a blue polygonization that excludes all red points $R$. We show that there is a minimal number $K=K(l)$, which is polynomial in $l$, such that one can always find a blue polygonization excluding all red points, whenever $k\geq K$. Some other related problems are also considered.

math.CO↗