852 research outputs found
On the Maximum Crossing Number
Research about crossings is typically about minimization. In this paper, we
consider \emph{maximizing} the number of crossings over all possible ways to
draw a given graph in the plane. Alpert et al. [Electron. J. Combin., 2009]
conjectured that any graph has a \emph{convex} straight-line drawing, e.g., a
drawing with vertices in convex position, that maximizes the number of edge
crossings. We disprove this conjecture by constructing a planar graph on twelve
vertices that allows a non-convex drawing with more crossings than any convex
one. Bald et al. [Proc. COCOON, 2016] showed that it is NP-hard to compute the
maximum number of crossings of a geometric graph and that the weighted
geometric case is NP-hard to approximate. We strengthen these results by
showing hardness of approximation even for the unweighted geometric case and
prove that the unweighted topological case is NP-hard.Comment: 16 pages, 5 figure
Density theorems for bipartite graphs and related Ramsey-type results
In this paper, we present several density-type theorems which show how to
find a copy of a sparse bipartite graph in a graph of positive density. Our
results imply several new bounds for classical problems in graph Ramsey theory
and improve and generalize earlier results of various researchers. The proofs
combine probabilistic arguments with some combinatorial ideas. In addition,
these techniques can be used to study properties of graphs with a forbidden
induced subgraph, edge intersection patterns in topological graphs, and to
obtain several other Ramsey-type statements
Simple realizability of complete abstract topological graphs simplified
An abstract topological graph (briefly an AT-graph) is a pair
where is a graph and is a set of pairs of its edges. The AT-graph is simply
realizable if can be drawn in the plane so that each pair of edges from
crosses exactly once and no other pair crosses. We show that
simply realizable complete AT-graphs are characterized by a finite set of
forbidden AT-subgraphs, each with at most six vertices. This implies a
straightforward polynomial algorithm for testing simple realizability of
complete AT-graphs, which simplifies a previous algorithm by the author. We
also show an analogous result for independent -realizability,
where only the parity of the number of crossings for each pair of independent
edges is specified.Comment: 26 pages, 17 figures; major revision; original Section 5 removed and
will be included in another pape
Disjoint edges in topological graphs and the tangled-thrackle conjecture
It is shown that for a constant , every simple topological
graph on vertices has edges if it has no two sets of edges such
that every edge in one set is disjoint from all edges of the other set (i.e.,
the complement of the intersection graph of the edges is -free). As an
application, we settle the \emph{tangled-thrackle} conjecture formulated by
Pach, Radoi\v{c}i\'c, and T\'oth: Every -vertex graph drawn in the plane
such that every pair of edges have precisely one point in common, where this
point is either a common endpoint, a crossing, or a point of tangency, has at
most edges
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)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.Comment: 16 pages, 7 figure
- âŠ