English
Related papers

Related papers: Efficient Counting and Asymptotics of $k$-noncross…

200 papers

A graph is $1$-planar, if it can be drawn in the plane such that there is at most one crossing on every edge. It is known, that $1$-planar graphs have at most $4n-8$ edges. We prove the following odd-even generalization. If a graph can be…

Combinatorics · Mathematics 2022-08-26 János Karl , Géza Tóth

I present an algorithm that, given a number $n \geq 1$, computes a compact representation of the set of all noncrossing acyclic digraphs with $n$ nodes. This compact representation can be used as the basis for a wide range of dynamic…

Data Structures and Algorithms · Computer Science 2015-04-21 Marco Kuhlmann

A graph drawn in the plane with n vertices is k-fan-crossing free for k > 1 if there are no k+1 edges $g,e_1,...e_k$, such that $e_1,e_2,...e_k$ have a common endpoint and $g$ crosses all $e_i$. We prove a tight bound of 4n-8 on the maximum…

Computational Geometry · Computer Science 2013-11-11 Otfried Cheong , Sariel Har-Peled , Heuna Kim , Hyo-Sil Kim

We study the \emph{geometric $k$-colored crossing number} of complete graphs $\overline{\overline{\text{cr}}}_k(K_n)$, which is the smallest number of monochromatic crossings in any $k$-edge colored straight-line drawing of $K_n$. We…

Computational Geometry · Computer Science 2025-05-26 Benedikt Hahn , Bettina Klinz , Birgit Vogtenhuber

A multigraph drawn in the plane is non-homotopic if no two edges connecting the same pair of vertices can be continuously deformed into each other without passing through a vertex, and is $k$-crossing if every pair of edges…

Combinatorics · Mathematics 2024-01-22 António Girão , Freddie Illingworth , Alex Scott , David R. Wood

Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical properties of transition systems. We are interested in the…

Logic in Computer Science · Computer Science 2009-04-09 Walid Belkhir , Luigi Santocanale

The study of nonplanar drawings of graphs with restricted crossing configurations is a well-established topic in graph drawing, often referred to as beyond-planar graph drawing. One of the most studied types of drawings in this area are the…

A tanglegram of size n is a graph formed from two rooted binary trees with n leaves each and a perfect matching between their leaf sets. Tanglegrams are used to model co-evolution in various settings. A tanglegram layout is a straight line…

Combinatorics · Mathematics 2025-05-02 Éva Czabarka , Alec Helm , László Székely

A graph drawn in the plane is called k-quasi-planar if it does not contain k pairwise crossing edges. It has been conjectured for a long time that for every fixed k, the maximum number of edges of a k-quasi-planar graph with n vertices is…

Combinatorics · Mathematics 2011-12-13 Jacob Fox , Janos Pach , Andrew Suk

Entanglement is a complexity measure of digraphs that origins in fixed-point logics. Its combinatorial purpose is to measure the nested depth of cycles in digraphs. We address the problem of characterizing the structure of graphs of…

Computer Science and Game Theory · Computer Science 2009-04-13 Walid Belkhir

We find the asymptotic number of connected graphs with $k$ vertices and $k-1+l$ edges when $k,l$ approach infinity, reproving a result of Bender, Canfield and McKay. We use the {\em probabilistic method}, analyzing breadth-first search on…

Combinatorics · Mathematics 2007-05-23 Remco van der Hofstad , Joel Spencer

A graph is $k$-planar if it can be drawn in the plane such that no edge is crossed more than $k$ times. While for $k=1$, optimal $1$-planar graphs, i.e., those with $n$ vertices and exactly $4n-8$ edges, have been completely characterized,…

Computational Geometry · Computer Science 2017-03-21 Michael A. Bekos , Michael Kaufmann , Chrysanthi N. Raftopoulou

A rectilinear drawing of a graph is a drawing of the graph in the plane in which the edges are drawn as straight-line segments. The rectilinear crossing number of a graph is the minimum number of pairs of edges that cross over all…

Combinatorics · Mathematics 2025-01-13 Ruy Fabila-Monroy , Rosna Paul , Jenifer Viafara-Chanchi , Alexandra Weinberger

A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing…

Combinatorics · Mathematics 2007-05-23 S. Pirzada , U. Samee

In this paper we compute the generating function of modular, $k$-noncrossing diagrams. A $k$-noncrossing diagram is called modular if it does not contains any isolated arcs and any arc has length at least four. Modular diagrams represent…

Combinatorics · Mathematics 2019-10-15 Christian M. Reidys , Rita R. Wang , Y. Y. Zhao

Let J and J* be subsets of Z+ such that 0,1\in J and 0\in J*. For infinitely many n, let k=(k_1,..., k_n) be a vector of nonnegative integers whose sum M is even. We find an asymptotic expression for the number of multigraphs on the vertex…

Combinatorics · Mathematics 2013-09-24 Catherine Greenhill , Brendan D McKay

We focus on counting the number of labeled graphs on $n$ vertices and treewidth at most $k$ (or equivalently, the number of labeled partial $k$-trees), which we denote by $T_{n,k}$. So far, only the particular cases $T_{n,1}$ and $T_{n,2}$…

Combinatorics · Mathematics 2016-04-26 Julien Baste , Marc Noy , Ignasi Sau

Let $D$ be a straight-line drawing of a graph. The rectilinear 2-colored crossing number of $D$ is the minimum number of crossings between edges of the same color, taken over all possible 2-colorings of the edges of $D$. First, we show…

A hypergraph is simple if it has no loops and no repeated edges, and a hypergraph is linear if it is simple and each pair of edges intersects in at most one vertex. For $n\geq 3$, let $r= r(n)\geq 3$ be an integer and let $\boldsymbol{k} =…

Combinatorics · Mathematics 2016-07-20 Vladimir Blinovsky , Catherine Greenhill

A simple topological graph $G$ is a graph drawn in the plane so that any pair of edges have at most one point in common, which is either an endpoint or a proper crossing. $G$ is called saturated if no further edge can be added without…

Combinatorics · Mathematics 2015-01-30 Jan Kynčl , János Pach , Radoš Radoičić , Géza Tóth