-
Graph drawing applications in combinatorial theory of maturity models
Authors:
Špela Kajzer,
Alexander Dobler,
Janja Jerebic,
Martin Nöllenburg,
Joachim Orthaber,
Drago Bokal
Abstract:
In this paper, we introduce tiled graphs as models of learning and maturing processes. We show how tiled graphs can combine graphs of learning spaces or antimatroids (partial hypercubes) and maturity models (total orders) to yield models of learning processes. For the visualization of these processes it is a natural approach to aim for certain optimal drawings. We show for most of the more detaile…
▽ More
In this paper, we introduce tiled graphs as models of learning and maturing processes. We show how tiled graphs can combine graphs of learning spaces or antimatroids (partial hypercubes) and maturity models (total orders) to yield models of learning processes. For the visualization of these processes it is a natural approach to aim for certain optimal drawings. We show for most of the more detailed models that the drawing problems resulting from them are NP-complete. The terse model of a maturing process that ignores the details of learning, however, results in a polynomially solvable graph drawing problem. In addition, this model provides insight into the process by ordering the subjects at each test of their maturity. We investigate extremal and random instances of this problem, and provide exact results and bounds on their optimal crossing number.
Graph-theoretic models offer two approaches to the design of optimal maturity models given observed data: (1) minimizing intra-subject inconsistencies, which manifest as regressions of subjects, is modeled as the well-known feedback arc set problem. We study the alternative of (2) finding a maturity model by minimizing the inter-subject inconsistencies, which manifest as crossings in the respective drawing. We show this to be NP-complete.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Properties of Large 2-Crossing-Critical Graphs
Authors:
Drago Bokal,
Markus Chimani,
Alexander Nover,
Jöran Schierbaum,
Tobias Stolzmann,
Mirko H. Wagner,
Tilo Wiedera
Abstract:
A $c$-crossing-critical graph is one that has crossing number at least $c$ but each of its proper subgraphs has crossing number less than $c$. Recently, a set of explicit construction rules was identified by Bokal, Oporowski, Richter, and Salazar to generate all large $2$-crossing-critical graphs (i.e., all apart from a finite set of small sporadic graphs). They share the property of containing a…
▽ More
A $c$-crossing-critical graph is one that has crossing number at least $c$ but each of its proper subgraphs has crossing number less than $c$. Recently, a set of explicit construction rules was identified by Bokal, Oporowski, Richter, and Salazar to generate all large $2$-crossing-critical graphs (i.e., all apart from a finite set of small sporadic graphs). They share the property of containing a generalized Wagner graph $V_{10}$ as a subdivision.
In this paper, we study these graphs and establish their order, simple crossing number, edge cover number, clique number, maximum degree, chromatic number, chromatic index, and treewidth. We also show that the graphs are linear-time recognizable and that all our proofs lead to efficient algorithms for the above measures.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Counting Hamiltonian cycles in 2-tiled graphs
Authors:
Alen Vegi Kalamar,
Tadej Žerak,
Drago Bokal
Abstract:
In 1930, Kuratowski showed that $K_{3,3}$ and $K_5$ are the only two minor-minimal non-planar graphs. Robertson and Seymour extended finiteness of the set of forbidden minors for any surface. Širáň and Kochol showed that there are infinitely many $k$-crossing-critical graphs for any $k\ge 2$, even if restricted to simple $3$-connected graphs. Recently, $2$-crossing-critical graphs have been comple…
▽ More
In 1930, Kuratowski showed that $K_{3,3}$ and $K_5$ are the only two minor-minimal non-planar graphs. Robertson and Seymour extended finiteness of the set of forbidden minors for any surface. Širáň and Kochol showed that there are infinitely many $k$-crossing-critical graphs for any $k\ge 2$, even if restricted to simple $3$-connected graphs. Recently, $2$-crossing-critical graphs have been completely characterized by Bokal, Oporowski, Richter, and Salazar. We present a simplified description of large 2-crossing-critical graphs and use this simplification to count Hamiltonian cycles in such graphs. We generalize this approach to an algorithm counting Hamiltonian cycles in all 2-tiled graphs, thus extending the results of Bodroža-Pantić, Kwong, Doroslovački, and Pantić for $n = 2$.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
Bounded maximum degree conjecture holds precisely for $c$-crossing-critical graphs with $c \leq 12$
Authors:
Drago Bokal,
Zdeněk Dvořák,
Petr Hliněný,
Jesús Leaños,
Bojan Mohar,
Tilo Wiedera
Abstract:
We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, preci…
▽ More
We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, precisely, that there exists a constant $D$ such that every $c$-crossing-critical graph with $c\le 12$ has maximum degree at most $D$. Hence, the bounded maximum degree conjecture of $c$-crossing-critical graphs, which was generally disproved in 2010 by Dvořák and Mohar (without an explicit construction), holds true, surprisingly, exactly for the values $c\le 12.$
△ Less
Submitted 5 May, 2021; v1 submitted 13 March, 2019;
originally announced March 2019.
-
The Connectivity of the Dual
Authors:
Drago Bokal,
Gunnar Brinkmannb,
Carol T. Zamfirescu
Abstract:
The dual of a polyhedron is a polyhedron -- or in graph theoretical terms: the dual of a 3-connected plane graph is a 3-connected plane graph. Astonishingly, except for sufficiently large facewidth, not much is known about the connectivity of the dual on higher surfaces. Are the duals of 3-connected embedded graphs of higher genus 3-connected, too? If not: which connectivity guarantees 3-connected…
▽ More
The dual of a polyhedron is a polyhedron -- or in graph theoretical terms: the dual of a 3-connected plane graph is a 3-connected plane graph. Astonishingly, except for sufficiently large facewidth, not much is known about the connectivity of the dual on higher surfaces. Are the duals of 3-connected embedded graphs of higher genus 3-connected, too? If not: which connectivity guarantees 3-connectedness of the dual? In this article, we give answers to this and related questions. Among other things, we prove that there is no connectivity that for every genus guarantees the 3-connectedness or 2-connectedness of the dual, and give upper bounds for the minimum genus for which (with c>2) a c-connected embedded graphs with a dual that has a 1- or 2-cut can occur. For the torus, we determine exact values for the connectivity needed to guarantee 3- respectively 2-connectivity of the dual. We prove that already on the torus, we need 6-connectedness to guarantee 3-connectedness of the dual and 4-connectedness to guarantee 2-connectedness of the dual.
In the last section, we answer a related question by Plummer and Zha on orientable embeddings of highly connected non-complete graphs.
△ Less
Submitted 19 October, 2021; v1 submitted 20 December, 2018;
originally announced December 2018.
-
On Degree Properties of Crossing-Critical Families of Graphs
Authors:
Drago Bokal,
Mojca Bračič,
Marek Derňár,
Petr Hliněný
Abstract:
Answering an open question from 2007, we construct infinite $k$-crossing-critical families of graphs that contain vertices of any prescribed odd degree, for any sufficiently large~$k$. To answer this question, we introduce several properties of infinite families of graphs and operations on the families allowing us to obtain new families preserving those properties. This conceptual setup allows us…
▽ More
Answering an open question from 2007, we construct infinite $k$-crossing-critical families of graphs that contain vertices of any prescribed odd degree, for any sufficiently large~$k$. To answer this question, we introduce several properties of infinite families of graphs and operations on the families allowing us to obtain new families preserving those properties. This conceptual setup allows us to answer general questions on behaviour of degrees in crossing-critical graphs: we show that, for any set of integers $D$ such that $\min(D)\geq 3$ and $3,4\in D$, and for any sufficiently large $k$, there exists a $k$-crossing-critical family such that the numbers in $D$ are precisely the vertex degrees that occur arbitrarily often in (large enough) graphs of this family. Furthermore, even if both $D$ and some average degree in the interval $(3,6)$ are prescribed, $k$-crossing-critical families exist for any sufficiently large $k$.
△ Less
Submitted 15 March, 2019; v1 submitted 28 March, 2018;
originally announced March 2018.
-
An algebraic approach to enumerating non-equivalent double traces in graphs
Authors:
Nino Bašić,
Drago Bokal,
Tomas Boothby,
Jernej Rus
Abstract:
Recently designed biomolecular approaches to build single chain polypeptide polyhedra as molecular origami nanostructures have risen high interest in various double traces of the underlying graphs of these polyhedra. Double traces are walks that traverse every edge of the graph twice, usually with some additional conditions on traversal direction and vertex neighborhood coverage. Given that double…
▽ More
Recently designed biomolecular approaches to build single chain polypeptide polyhedra as molecular origami nanostructures have risen high interest in various double traces of the underlying graphs of these polyhedra. Double traces are walks that traverse every edge of the graph twice, usually with some additional conditions on traversal direction and vertex neighborhood coverage. Given that double trace properties are intimately related to theefficiency of polypeptide polyhedron construction, enumerating all different possible double traces and analyzing their properties is an important step in the construction. In the paper, we study the automorphism group of double traces and present an algebraic approach to this problem, yielding a branch-and-bound algorithm.
△ Less
Submitted 29 October, 2016; v1 submitted 30 November, 2015;
originally announced November 2015.
-
Characterizing 2-crossing-critical graphs
Authors:
Drago Bokal,
Bogdan Oporowski,
R. Bruce Richter,
Gelasio Salazar
Abstract:
It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connecte…
▽ More
It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connected, simple 2-crossing-critical graphs. In this work, we: (i) determine all the 3-connected 2-crossing-critical graphs that contain a subdivision of the Möbius Ladder $V_{10}$; (ii) show how to obtain all the not 3-connected 2-crossing-critical graphs from the 3-connected ones; (iii) show that there are only finitely many 3-connected 2-crossing-critical graphs not containing a subdivision of $V_{10}$; and (iv) determine all the 3-connected 2-crossing-critical graphs that do not contain a subdivision of $V_{8}$.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
Minor crossing number is additive over arbitrary cuts
Authors:
Drago Bokal,
Markus Chimani,
Jesús Leaños
Abstract:
We prove that if $G$ is a graph with an minimal edge cut $F$ of size three and $G_1$, $G_2$ are the two (augmented) components of $G-F$, then the crossing number of $G$ is equal to the sum of crossing numbers of $G_1$ and $G_2$. Combining with known results, this implies that crossing number is additive over edge-cuts of size $d$ for $d\in\{0, 1, 2, 3\}$, whereas there are counterexamples for ever…
▽ More
We prove that if $G$ is a graph with an minimal edge cut $F$ of size three and $G_1$, $G_2$ are the two (augmented) components of $G-F$, then the crossing number of $G$ is equal to the sum of crossing numbers of $G_1$ and $G_2$. Combining with known results, this implies that crossing number is additive over edge-cuts of size $d$ for $d\in\{0, 1, 2, 3\}$, whereas there are counterexamples for every $d\ge 4$. The techniques generalize to show that minor crossing number is additive over edge cuts of arbitrary size, as well as to provide bounds for crossing number additivity in arbitrary surfaces. We point out several applications to exact crossing number computation and crossing critical graphs, as well as provide a very general lower bound for the minor crossing number of the Cartesian product of an arbitrary graph with a tree.
△ Less
Submitted 25 November, 2011;
originally announced November 2011.
-
A generalization of Hungarian method and Hall's theorem with applications in wireless sensor networks
Authors:
D. Bokal,
B. Bresar,
J. Jerebic
Abstract:
In this paper, we consider various problems concerning quasi-matchings and semi-matchings in bipartite graphs, which generalize the classical problem of determining a perfect matching in bipartite graphs. We prove a vast generalization of Hall's marriage theorem, and present an algorithm that solves the problem of determining a lexicographically minimum $g$-quasi-matching (that is a set $F$ of e…
▽ More
In this paper, we consider various problems concerning quasi-matchings and semi-matchings in bipartite graphs, which generalize the classical problem of determining a perfect matching in bipartite graphs. We prove a vast generalization of Hall's marriage theorem, and present an algorithm that solves the problem of determining a lexicographically minimum $g$-quasi-matching (that is a set $F$ of edges in a bipartite graph such that in one set of the bipartition every vertex $v$ has at least $g(v)$ incident edges from $F$, where $g$ is a so-called need mapping, while on the other side of the bipartition the distribution of degrees with respect to $F$ is lexicographically minimum). We also present an application in designing an optimal CDMA-based wireless sensor networks.
△ Less
Submitted 6 November, 2009;
originally announced November 2009.
-
Infinite families of crossing-critical graphs with prescribed average degree and crossing number
Authors:
Drago Bokal
Abstract:
Siran constructed infinite families of k-crossing-critical graphs for every k=>3 and Kochol constructed such families of simple graphs for every k=>2. Richter and Thomassen argued that, for any given k>=1 and r>=6, there are only finitely many simple k-crossing-critical graphs with minimum degree r. Salazar observed that the same argument implies such a conclusion for simple k-crossing-critical…
▽ More
Siran constructed infinite families of k-crossing-critical graphs for every k=>3 and Kochol constructed such families of simple graphs for every k=>2. Richter and Thomassen argued that, for any given k>=1 and r>=6, there are only finitely many simple k-crossing-critical graphs with minimum degree r. Salazar observed that the same argument implies such a conclusion for simple k-crossing-critical graphs of prescribed average degree r>6. He established existence of infinite families of simple k-crossing-critical graphs with any prescribed rational average degree r in [4,6) for infinitely many k and asked about their existence for r in (3,4). The question was partially settled by Pinontoan and Richter, who answered it positively for r in (7/2,4).
The present contribution uses two new constructions of crossing critical simple graphs along with the one developed by Pinontoan and Richter to unify these results and to answer Salazar's question by the following statement: for every rational number r in (3,6) there exists an integer N_r, such that, for any k>N_r, there exists an infinite family of simple 3-connected crossing-critical graphs with average degree r and crossing number k. Moreover, a universal lower bound on k applies for rational numbers in any closed interval I in (3,6).
△ Less
Submitted 14 September, 2009;
originally announced September 2009.
-
Technical details regarding infinite families of crossing-critical graphs with prescribed average degree and crossing number
Authors:
Drago Bokal
Abstract:
Siran constructed infinite families of k-crossing-critical graphs for every k > 2 and Kochol constructed such families of simple graphs for every k > 1. Richter and Thomassen argued that, for any given k > 0 and r > 5, there are only finitely many simple k-crossing-critical graphs with minimum degree r. Salazar observed that the same argument implies such a conclusion for simple k-crossing-criti…
▽ More
Siran constructed infinite families of k-crossing-critical graphs for every k > 2 and Kochol constructed such families of simple graphs for every k > 1. Richter and Thomassen argued that, for any given k > 0 and r > 5, there are only finitely many simple k-crossing-critical graphs with minimum degree r. Salazar observed that the same argument implies such a conclusion for simple k-crossing-critical graphs of prescribed average degree r > 6. He established the existence of infinite families of simple k-crossing-critical graphs with any prescribed rational average degree r in [4, 6) for infinitely many k and asked about their existence for r in (3, 4). The question was partially settled by Pinontoan and Richter, who answered it positively for r in (3.5, 4).
The present contribution uses two new constructions of crossing critical simple graphs along with the one developed by Pinontoan and Richter to unify these results and to answer Salazar's question by the following statement: there exist infinite families of simple k-crossing-critical graphs with any prescribed average degree r in (3, 6), for any k greater than some lower bound N(r). Moreover, a universal lower bound N(I) on k applies for rational numbers in any closed interval I contained in (3, 6).
This Mathematica notebook is presented as a supplement of the paper with the aforementioned results. It contains technical details omitted in the paper and can be used as a hint of how to rigorously verify the constraints that are imposed on the parameters in the main construction of the paper. The reader may either use Mathematica or some other software to verify the listed claims, or may derive them in a more clear, oldfashioned way. As the notebook is not self-contained, it is advisable to read the paper before.
△ Less
Submitted 10 September, 2009;
originally announced September 2009.
-
The Minor Crossing Number of Graphs with an Excluded Minor
Authors:
Drago Bokal,
Gašper Fijavž,
David R. Wood
Abstract:
The "minor crossing number" of a graph $G$ is the minimum crossing number of a graph that contains $G$ as a minor. It is proved that for every graph $H$ there is a constant $c$, such that every graph $G$ with no $H$-minor has minor crossing number at most $c|V(G)|$.
The "minor crossing number" of a graph $G$ is the minimum crossing number of a graph that contains $G$ as a minor. It is proved that for every graph $H$ there is a constant $c$, such that every graph $G$ with no $H$-minor has minor crossing number at most $c|V(G)|$.
△ Less
Submitted 7 December, 2006; v1 submitted 25 September, 2006;
originally announced September 2006.
