arXiv subjects

Jorik Jooken

Publications and source records attributed to Jorik Jooken.

At least 37 records · Page 2Linked to original sources

arXiv2025

On a conjecture of Faudree and Schelp

In 1976 Faudree and Schelp conjectured that in a hamiltonian-connected graph on $n$ vertices, any two distinct vertices are connected by a path of length $k$ for every $k \ge n/2$. In 1978 Thomassen constructed a (non-cubic and non-planar) family of counterexamples, showing that there exist hamiltonian-connected $n$-vertex graphs containing two vertices with no path of length $n-2$ between them. We complement this result by describing cubic planar counterexamples on $6p+16$ vertices, each containing vertices between which there is no path of any odd length greater than $1$ and at most $4p+9$. Motivated by a remark of Thomassen about a gap in the cycle spectrum of hamiltonian-connected graphs, we also describe an infinite family of hamiltonian-connected graphs with many gaps in the first half of their cycle spectra.

math.CO↗

arXiv2025

There are finitely many $5$-vertex-critical $(P_6,\text{bull})$-free graphs

In this paper, we are interested in $4$-colouring algorithms for graphs that do not contain an induced path on $6$ vertices nor an induced bull, i.e., the graph with vertex set $\{v_1,v_2,v_3,v_4,v_5\}$ and edge set $\{v_1v_2,v_2v_3,v_3v_4,v_2v_5,v_3v_5\}$. Such graphs are referred to as $(P_6,\text{bull})$-free graphs. A graph $G$ is \emph{$k$-vertex-critical} if $χ(G)=k$, and every proper induced subgraph $H$ of $G$ has $χ(H)<k$. In the current paper, we investigate the structure of $5$-vertex-critical $(P_6,\text{bull})$-free graphs and show that there are only finitely many such graphs, thereby answering a question of Maffray and Pastor. A direct corollary of this is that there exists a polynomial-time algorithm to decide if a $(P_6,\text{bull})$-free graph is $4$-colourable such that this algorithm can also provide a certificate that can be verified in polynomial time and serves as a proof of 4-colourability or non-4-colourability.

math.CO↗

arXiv2025

Sharp results for the Erdős, Pach, Pollack and Tuza problem

We consider the Erdős, Pach, Pollack and Tuza problem, asking for the maximum diameter of a graph with given order $n$, minimum degree $δ$ and clique number at most $ω$. We solve their problem asymptotically for the first hard case, $ω\leq 3$, for the smallest values of $δ$ by determining the smallest rational number $f(δ)$ such that $diam(G) \leq f(δ)n+O(1)$ for all graphs $G$ with order $n$, minimum degree $δ$ and clique number $ω\leq 3$. We also consider the weaker version where the clique number $ω\leq 3$ is replaced by having chromatic number $χ\leq 3$ and solve this version for small $δ$, thereby yielding a counterexample to a conjecture of Erdős et al. in a regime where this conjecture was still open. When restricting the conjecture to graphs with chromatic number $χ\leq 3$, we show that this counterexample appears for the smallest possible $δ$, namely $δ=16.$

math.CO↗

arXiv2025

Critical $(P_5,W_4)$-Free Graphs

A graph $G$ is $k$-vertex-critical if $χ(G) = k$ but $χ(G-v)<k$ for all $v \in V(G)$. A graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A $W_4$ is the graph consisting of a $C_4$ plus an additional vertex adjacent to all the vertices of the $C_4$. We show that there are finitely many $k$-vertex-critical $(P_5,W_4)$-free graphs for all $k \ge 1$ and we characterize all $5$-vertex-critical $(P_5,W_4)$-free graphs. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,W_4)$-free graphs for each $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.

math.CO↗

arXiv2024

Computational methods for finding bi-regular cages

An $(\{r,m\};g)$-graph is a (simple, undirected) graph of girth $g\geq3$ with vertices of degrees $r$ and $m$ where $2 \leq r < m$ . Given $r,m,g$, we seek the $(\{r,m\};g)$-graphs of minimum order, called $(\{r,m\};g)$-cages or bi-regular cages, whose order is denoted by $n(\{r,m\};g)$. In this paper, we use computational methods for finding $(\{r,m\};g)$-graphs of small order. Firstly, we present an exhaustive generation algorithm, which leads to $\unicode{x2013}$ previously unknown $\unicode{x2013}$ exhaustive lists of $(\{r,m\};g)$-cages for 24 different triples $(r,m,g)$. This also leads to the improvement of the lower bound of $n(\{4,5\};7)$ from 66 to 69. Secondly, we improve 49 upper bounds of $n(\{r,m\};g)$ based on constructions that start from $r$-regular graphs. Lastly, we generalize a theorem by Aguilar, Araujo-Pardo and Berman [arXiv:2305.03290, 2023], leading to 73 additional improved upper bounds.

math.CO↗

arXiv2024

The maximum number of connected sets in regular graphs

We improve the best known lower bounds on the exponential behavior of the maximum of the number of connected sets, $N(G)$, and dominating connected sets, $N_{dom}(G)$, for regular graphs. These lower bounds are improved by constructing a family of graphs defined in terms of a small base graph (a Moore graph), using a combinatorial reduction of these graphs to rectangular boards followed by using linear algebra to show that the lower bound is related to the largest eigenvalue of a coefficient matrix associated with the base graph. We also determine the exact maxima of $N(G)$ and $N_{dom}(G)$ for cubic and quartic graphs of small order. We give multiple results in favor of a conjecture that each Moore graph $M$ maximizes the base indicating the exponential behavior of the number of connected vertex subsets among graphs with at least $|M|$ vertices and the same regularity. We improve the best known upper bounds for $N(G)$ and $N_{dom}(G)$ conditional on this conjecture.

math.CO↗

arXiv2024

On graphs isomorphic with their conduction graph

Conduction graphs are defined here in order to elucidate at a glance the often complicated conduction behaviour of molecular graphs as ballistic molecular conductors. The graph $G^{\mathrm C}$ describes all possible conducting devices associated with a given base graph $G$ within the context of the Source-and-Sink-Potential model of ballistic conduction. The graphs $G^{\mathrm C}$ and $G$ have the same vertex set, and each edge $xy$ in $G^{\mathrm C}$ represents a conducting device with graph $G$ and connections $x$ and $y$ that conducts at the Fermi level. If $G^{\mathrm C}$ is isomorphic with the simple graph $G$ (in which case we call $G$ conduction-isomorphic), then $G$ has nullity $η(G)=0$ and is an ipso omni-insulator. Motivated by this, examples are provided of ipso omni-insulators of odd order, thereby answering a recent question. For $η(G)=0$, $G^{\mathrm C}$ is obtained by 'booleanising' the inverse adjacency matrix $A^{-1}(G)$, to form $A(G^{\mathrm C})$, i.e. by replacing all non-zero entries $(A(G)^{-1})_{xy}$ in the inverse by $1+δ_{xy}$ where $δ_{xy}$ is the Kronecker delta function. Constructions of conduction-isomorphic graphs are given for the cases of $G$ with minimum degree equal to two or any odd integer. Moreover, it is shown that given any connected non-bipartite conduction-isomorphic graph $G$, a larger conduction-isomorphic graph $G'$ with twice as many vertices and edges can be constructed. It is also shown that there are no 3-regular conduction-isomorphic graphs. A census of small (order $\leq 11$) connected conduction-isomorphic graphs and small (order $\leq 22$) connected conduction-isomorphic graphs with maximum degree at most three is given. For $η(G)=1$, it is shown that $G^{\mathrm C}$ is connected if and only if $G$ is a nut graph (a singular graph of nullity one that has a full kernel vector).

math.CO↗

arXiv2024

On vertex-girth-regular graphs: (Non-)existence, bounds and enumeration

A vertex-girth-regular $vgr(v,k,g,λ)$-graph is a $k$-regular graph of girth $g$ and order $v$ in which every vertex belongs to exactly $λ$ cycles of length $g$. While all vertex-transitive graphs are necessarily vertex-girth-regular, the majority of vertex-girth-regular graphs are not vertex-transitive. Similarly, while many of the smallest $k$-regular graphs of girth $g$, the so-called $(k,g)$-cages, are vertex-girth-regular, infinitely many vertex-girth-regular graphs of degree $k$ and girth $g$ exist for many pairs $k,g$. Due to these connections, the study of vertex-girth-regular graphs promises insights into the relations between the classes of extremal, highly symmetric, and locally regular graphs of given degree and girth. This paper lays the foundation to such study by investigating the fundamental properties of $vgr(v,k,g,λ)$-graphs, specifically the relations necessarily satisfied by the parameters $v,k,g$ and $λ$ to admit the existence of a corresponding vertex-girth-regular graph, by presenting constructions of infinite families of $vgr(v,k,g,λ)$-graphs, and by establishing lower bounds on the number $v$ of vertices in a $vgr(v,k,g,λ)$-graph. It also includes computational results determining the orders of smallest cubic and quartic graphs of small girths.

math.CO↗

arXiv2024

Exhaustive generation of edge-girth-regular graphs

Edge-girth-regular graphs (abbreviated as $egr$ graphs) are a class of highly regular graphs. More specifically, for integers $v$, $k$, $g$ and $λ$ an $egr(v,k,g,λ)$ graph is a $k$-regular graph with girth $g$ on $v$ vertices such that every edge is contained in exactly $λ$ cycles of length $g$. The central problem in this paper is determining $n(k,g,λ)$, which is defined as the smallest integer $v$ such that an $egr(v,k,g,λ)$ graph exists (or $\infty$ if no such graph exists) as well as determining the corresponding extremal graphs. We propose a linear time algorithm for computing how often an edge is contained in a cycle of length $g$, given a graph with girth $g$. We use this as one of the building blocks to propose another algorithm that can exhaustively generate all $egr(v,k,g,λ)$ graphs for fixed parameters $v, k, g$ and $λ$. We implement this algorithm and use it in a large-scale computation to obtain several new extremal graphs and improvements for lower and upper bounds from the literature for $n(k,g,λ)$. Among others, we show that $n(3,6,2)=24, n(3,8,8)=40, n(3,9,6)=60, n(3,9,8)=60, n(4,5,1)=30, n(4,6,9)=35, n(6,5,20)=42$ and we disprove a conjecture made by Araujo-Pardo and Leemans [Discrete Math. 345(10):112991 (2022)] for the cubic girth 8 and girth 12 cases. Based on our computations, we conjecture that $n(3,7,6)=n(3,8,10)=n(3,8,12)=n(3,8,14)=\infty.$

math.CO↗

arXiv2024

Some Results on Critical ($P_5,H$)-free Graphs

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. A graph $G$ is $k$-vertex-critical if every proper induced subgraph of $G$ has chromatic number less than $k$, but $G$ has chromatic number $k$. The study of $k$-vertex-critical graphs for specific graph classes is an important topic in algorithmic graph theory because if the number of such graphs that are in a given hereditary graph class is finite, then there exists a polynomial-time certifying algorithm to decide the $k$-colorability of a graph in the class. In this paper, we show that: (1) for $k \ge 1$, there are finitely many $k$-vertex-critical $(P_5,K_{1,4}+P_1)$-free graphs; (2) for $s \ge 1$, there are finitely many 5-vertex-critical $(P_5,K_{1,s}+P_1)$-free graphs; (3) for $k \ge 1$, there are finitely many $k$-vertex-critical $(P_5,\overline{K_3+2P_1})$-free graphs. Moreover, we characterize all $5$-vertex-critical $(P_5,H)$-free graphs where $H \in \{K_{1,3}+P_1,K_{1,4}+P_1,\overline{K_3+2P_1}\}$ using an exhaustive graph generation algorithm.

math.CO↗

arXiv2024

A note on $\bar{X}$-coloring and $\hat{A}$-coloring 4-regular graphs

Let $\partial_H(u)$ be the set of edges incident with a vertex $u$ in the graph $H$. We say that a graph $G$ is $H$-colorable if there exist total functions $f : E(G) \rightarrow E(H)$ and $g : V(G) \rightarrow V(H)$ such that $f$ is a proper edge-coloring of $G$ and for each vertex $u \in V(G)$ we have $f(\partial_G(u))=\partial_H(g(u))$. Let $\bar{X}$ be the graph obtained by adding three parallel edges between two degree one vertices of the graph $K_{1,4}$. Let $\hat{A}$ be the graph obtained by adding two pendant edges to two different vertices of a triangle and then adding two edges between the degree two vertex and the two adjacent degree three vertices. Malnegro and Ozeki [Discrete Math. 347(3):113844 (2024)] asked whether every 4-regular graph with an even number of vertices and an even cycle decomposition of size 3 admits an $\bar{X}$-coloring or an $\hat{A}$-coloring and whether every 2-connected planar 4-regular graph with an even number of vertices admits such a coloring. Additionally, they conjectured that for every 2-edge-connected simple cubic graph $G$ with an even number of edges, the line graph $L(G)$ is $\bar{X}$-colorable. In this short note, we discuss two algorithms for deciding whether a graph $G$ is $H$-colorable. We give a negative answer to the two questions and disprove the conjecture by finding suitable graphs, as verified by two independent algorithms.

math.CO↗

arXiv2023

Counterexamples to conjectures on the occupancy fraction of graphs

The occupancy fraction of a graph is a (normalized) measure on the size of independent sets under the hard-core model, depending on a variable (fugacity) $λ.$ We present a criterion for finding the graph with minimum occupancy fraction among graphs with a fixed order, and disprove five conjectures on the extremes of the occupancy fraction and (normalized) independence polynomial for certain graph classes of regular graphs with a given girth.

math.CO↗

arXiv2023

Improved asymptotic upper bounds for the minimum number of pairwise distinct longest cycles in regular graphs

We study how few pairwise distinct longest cycles a regular graph can have under additional constraints. For each integer $r \geq 5$, we give exponential improvements for the best asymptotic upper bounds for this invariant under the additional constraint that the graphs are $r$-regular hamiltonian graphs. Earlier work showed that a conjecture by Haythorpe on a lower bound for this invariant is false because of an incorrect constant factor, whereas our results imply that the conjecture is even asymptotically incorrect. Motivated by a question of Zamfirescu and work of Chia and Thomassen, we also study this invariant for non-hamiltonian 2-connected $r$-regular graphs and show that in this case the invariant can be bounded from above by a constant for all large enough graphs, even for graphs with arbitrarily large girth.

math.CO↗

arXiv2023

A heuristic algorithm using tree decompositions for the maximum happy vertices problem

We propose a new methodology to develop heuristic algorithms using tree decompositions. Traditionally, such algorithms construct an optimal solution of the given problem instance through a dynamic programming approach. We modify this procedure by introducing a parameter $W$ that dictates the number of dynamic programming states to consider. We drop the exactness guarantee in favour of a shorter running time. However, if $W$ is large enough such that all valid states are considered, our heuristic algorithm proves optimality of the constructed solution. In particular, we implement a heuristic algorithm for the Maximum Happy Vertices problem using this approach. Our algorithm more efficiently constructs optimal solutions compared to the exact algorithm for graphs of bounded treewidth. Furthermore, our algorithm constructs higher quality solutions than state-of-the-art heuristic algorithms Greedy-MHV and Growth-MHV for instances of which at least 40\% of the vertices are initially coloured, at the cost of a larger running time.

cs.DS↗

arXiv2023

Critical $(P_5,dart)$-Free Graphs

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ nor $H_2$. Let $P_t$ be the path on $t$ vertices. A dart is the graph obtained from a diamond by adding a new vertex and making it adjacent to exactly one vertex with degree 3 in the diamond. In this paper, we show that there are finitely many $k$-vertex-critical $(P_5,dart)$-free graphs for $k \ge 1$ To prove these results, we use induction on $k$ and perform a careful structural analysis via Strong Perfect Graph Theorem combined with the pigeonhole principle based on the properties of vertex-critical graphs. Moreover, for $k \in \{5, 6, 7\}$ we characterize all $k$-vertex-critical $(P_5,dart)$-free graphs using a computer generation algorithm. Our results imply the existence of a polynomial-time certifying algorithm to decide the $k$-colorability of $(P_5,dart)$-free graphs for $k \ge 1$ where the certificate is either a $k$-coloring or a $(k+1)$-vertex-critical induced subgraph.

math.CO↗

arXiv2022

Evolving test instances of the Hamiltonian completion problem

Predicting and comparing algorithm performance on graph instances is challenging for multiple reasons. First, there is usually no standard set of instances to benchmark performance. Second, using existing graph generators results in a restricted spectrum of difficulty and the resulting graphs are usually not diverse enough to draw sound conclusions. That is why recent work proposes a new methodology to generate a diverse set of instances by using an evolutionary algorithm. We can then analyze the resulting graphs and get key insights into which attributes are most related to algorithm performance. We can also fill observed gaps in the instance space in order to generate graphs with previously unseen combinations of features. This methodology is applied to the instance space of the Hamiltonian completion problem using two different solvers, namely the Concorde TSP Solver and a multi-start local search algorithm.

cs.AI↗

arXiv2022

Features for the 0-1 knapsack problem based on inclusionwise maximal solutions

Decades of research on the 0-1 knapsack problem led to very efficient algorithms that are able to quickly solve large problem instances to optimality. This prompted researchers to also investigate whether relatively small problem instances exist that are hard for existing solvers and investigate which features characterize their hardness. Previously the authors proposed a new class of hard 0-1 knapsack problem instances and demonstrated that the properties of so-called inclusionwise maximal solutions (IMSs) can be important hardness indicators for this class. In the current paper, we formulate several new computationally challenging problems related to the IMSs of arbitrary 0-1 knapsack problem instances. Based on generalizations of previous work and new structural results about IMSs, we formulate polynomial and pseudopolynomial time algorithms for solving these problems. From this we derive a set of 14 computationally expensive features, which we calculate for two large datasets on a supercomputer in approximately 540 CPU-hours. We show that the proposed features contain important information related to the empirical hardness of a problem instance that was missing in earlier features from the literature by training machine learning models that can accurately predict the empirical hardness of a wide variety of 0-1 knapsack problem instances. Using the instance space analysis methodology, we also show that hard 0-1 knapsack problem instances are clustered together around a relatively dense region of the instance space and several features behave differently in the easy and hard parts of the instance space.

cs.DS↗

arXiv2022

Exploring search space trees using an adapted version of Monte Carlo tree search for combinatorial optimization problems

In this article we propose a heuristic algorithm to explore search space trees associated with instances of combinatorial optimization problems. The algorithm is based on Monte Carlo tree search, a popular algorithm in game playing that is used to explore game trees and represents the state-of-the-art algorithm for a number of games. Several enhancements to Monte Carlo tree search are proposed that make the algorithm more suitable in a combinatorial optimization context. These enhancements exploit the combinatorial structure of the problem and aim to efficiently explore the search space tree by pruning subtrees, using a heuristic simulation policy, reducing the domains of variables by eliminating dominated value assignments and using a beam width. The algorithm was implemented with its components specifically tailored to two combinatorial optimization problems: the quay crane scheduling problem with non-crossing constraints and the 0-1 knapsack problem. For the first problem our algorithm surpasses the state-of-the-art results and several new best solutions are found for a benchmark set of instances. For the second problem our algorithm typically produces near-optimal solutions that are slightly worse than the state-of-the-art results, but it needs only a small fraction of the time to do so. These results indicate that the algorithm is competitive with the state-of-the-art for two entirely different combinatorial optimization problems.

cs.AI↗