graph
34516 papers tagged with this keyword
Hypergraph universality via branching random walks
Given a family of hypergraphs $\mathcal{H}$, we say that a hypergraph $Γ$ is $\mathcal{H}$-universal if it contains every $H \in \mathcal{H}$ as a subgraph. For $D, r \in \mathbb{N}$, we construct an $r$-uniform hypergraph with $Θ\left(n^{r - r/D} \log^{r/D}(n)\right)$ edges which is universal for the family of all $r$-uniform hypergraphs with $n$ vertices and maximum degree at most $D$. This almost matches a trivial lower bound $Ω(n^{r - r/D})$ coming from the number of such hypergraphs.
On a high level, we follow the strategy of Alon and Capalbo used in the graph case, that is $r = 2$. The construction of $Γ$ is deterministic and based on a bespoke product of expanders, whereas showing that $Γ$ is universal is probabilistic. Two key new ingredients are a decomposition result for hypergraphs of bounded density, based on Edmond's matroid partitioning theorem, and a tail bound for branching random walks on expanders.
Chip games and multipartite graph paintability
We study the paintability, an on-line version of choosability, of complete multipartite graphs. We do this by considering an equivalent chip game introduced by Duraj, Gutowski, and Kozik. We consider complete multipartite graphs with $ n $ parts of size at most 3. Using a computational approach, we establish upper bounds on the paintability of such graphs for small values of $ n. $
The choosability of complete multipartite graphs is closely related to value $ p(n, m) $, the minimum number of edges in a $n$-uniform hypergraph with no panchromatic $m$-coloring. We consider an online variant of this parameter $ p_{OL}(n, m), $ introduced by Khuzieva et al. using a symmetric chip game. With this symmetric chip game, we find an improved upper bound for $ p_{OL}(n, m)$ when $m \geq 3$ and $n$ is large. Our method also implies a lower bound on the paintability of complete multipartite graphs with $m \geq 3$ parts of equal size.
Complexity of Paired Domination Problems on Circle and $k$-Polygon Graphs
A set $D \subseteq V$ is a dominating set of a graph $G$ if every vertex in $V - D$ is adjacent to at least one vertex in $D$. A dominating set $D$ is a paired-dominating set if the subgraph of $G$ induced by $D$ contains a perfect matching. In this paper, we prove that determining the minimum paired-dominating set in circle graphs is NP-complete. We further present an $O(n(\frac{n}{k^2-k})^{2k^2-2k})$-time algorithm for finding the minimum paired-dominating set in $k$-polygon graphs, a subclass of circle graphs. Additionally, we refine the existing algorithm of Elmallah and Stewart for computing the minimum dominating set in $k$-polygon graphs, reducing its time complexity from $O(n^{4k^2+3})$ to $O(n^{3k-5})$, and further extend it to find the minimum total dominating set.
Optimal Algorithm for Paired-Domination in Distance-Hereditary Graphs
The domination problem and its variants represent a classical domain within algorithmic graph theory. Among these variants, the paired-domination problem holds particular prominence due to its real-world implications in security and surveillance domains. Given an input graph $G$, the paired-domination problem involves identifying a minimum dominating set $D$ that induces a subgraph of $G$ with a perfect matching. Lin et al.~[\emph{Paired-domination problem on distance-hereditary graphs}, Algorithmica, 2020] previously presented a solution to this problem with a time complexity of $O(n^2)$. This paper significantly enhances their findings by introducing an $O(n+m)$-time algorithm. Furthermore, the time complexity of this algorithm can be reduced to $O(n)$ when provided with a decomposition tree for the graph $G$.
A note on transformations of edge colorings of chordless graphs and triangle-free graphs
Bonamy et al. (2023) proved that an optimal edge coloring of a simple triangle--free graph $G$ can be reached from any given proper edge coloring of $G$ through a series of Kempe changes. We show that a small modification of their proof gives a possibility to obtain a similar result for a larger class of simple graphs consisting of all triangle-free and all chordless graphs (a graph $G$ is chordless if in every cycle $C$ of $G$ any two nonconsecutive vertices of $C$ are not adjacent).
Bounds in radial Moore graphs of diameter 3
Radial Moore graphs are approximations of Moore graphs that preserve the distance-preserving spanning tree for its central vertices. One way to classify their resemblance with a Moore graph is the status measure. The status of a graph is defined as the sum of the distances of all pairs of ordered vertices and equals twice the Wiener index. In this paper we study upper bounds for both the maximum number of central vertices and the status of radial Moore graphs. Finally, we present a family of radial Moore graphs of diameter $3$ that is conjectured to have maximum status.
Complete tripartite subgraphs of balanced tripartite graphs with large minimum degree
In 1975 Bollobás, Erdős, and Szemerédi asked what minimum degree guarantees an octahedral subgraph $K_3(2)$ in any tripartite graph $G$ with $n$ vertices in each vertex class. We show that $δ(G)\geq n+2n^{\frac{5}{6}}$ suffices thus improving the bound $n+(1+o(1))n^{\frac{11}{12}}$ of Bhalkikar and Zhao obtained by following their approach. Bollobás, Erdős, and Szemerédi conjectured that $n+cn^{\frac{1}{2}}$ suffices and there are many $K_3(2)$-free tripartite graphs $G$ with $δ(G)\geq n+cn^{\frac{1}{2}}$. We confirm this conjecture under the additional assumption that every vertex in $G$ is adjacent to at least $(1/5+\varepsilon)n$ vertices in any other vertex class.
On Monitoring Edge-Geodetic Sets of Dynamic Graph
The concept of a monitoring edge-geodetic set (MEG-set) in a graph $G$, denoted $MEG(G)$, refers to a subset of vertices $MEG(G)\subseteq V(G)$ such that every edge $e$ in $G$ is monitored by some pair of vertices $ u, v \in MEG(G)$, where $e$ lies on all shortest paths between $u$ and $v$. The minimum number of vertices required to form such a set is called the monitoring edge-geodetic number, denoted $meg(G)$. The primary motivation for studying $MEG$-sets in previous works arises from scenarios in which certain edges are removed from $G$. In these cases, the vertices of the $MEG$-set are responsible for detecting these deletions. Such detection is crucial for identifying which edges have been removed from $G$ and need to be repaired. In real life, repairing these edges may be costly, or sometimes it is impossible to repair edges. In this case, the original $MEG$-set may no longer be effective in monitoring the modified graph. This highlights the importance of reassessing and adapting the $MEG$-set after edge deletions. This work investigates the monitoring edge-geodetic properties of graphs, focusing on how the removal of $k$ edges affects the structure of a graph and influences its monitoring capabilities. Specifically, we explore how the monitoring edge-geodetic number $meg(G)$ changes when $k$ edges are removed. The study aims to compare the monitoring properties of the original graph with those of the modified graph and to understand the impact of edge deletions.
Equitable coloring of sparse graphs
An equitable coloring of a graph is a proper coloring where the sizes of any two distinct color classes differ by at most one. The celebrated Chen-Lih-Wu Conjecture (CLWC for short) states that every connected graph $G$ that is neither an odd cycle, a $K_r$, nor a $K_{2m+1,2m+1}$ has an equitable $Δ(G)$-coloring. A graph $G$ is in $\mathcal{G}_{m_1,m_2}$ if for all $H\subseteq G$, $\lVert H \rVert\leq m_1|H|$, and if $H$ is bipartite, then $\lVert H \rVert\leq m_2|H|$. In this paper, we confirm CLWC for all graphs $G$ in $\mathcal{G}_{m_1, m_2}$ provided that $m_1\leq 1.8m_2$ and $Δ(G)\geq \frac{2m_1}{1-β}$, where $β$ is a real root of $2m_2(1-x)(1+x)^2-m_1x(2+x)$. By specializing to the case $m_1 = m_2 = d$, we deduce that every $d$-degenerate graph $G$ with $Δ(G) \geq 6.21d$ admits an equitable $r$-coloring for all $r \geq Δ(G)$, thereby improving the previous best-known lower bound of $10d$ on $Δ(G)$ established by Kostochka and Nakprasit in 2005. A graph is $k$-planar if it can be drawn in the plane so that each edge is crossed at most $k$ times. CLWC had been confirmed for planar graphs $G$ with $Δ(G) \geq 8$ (Kostochka, Lin, and Xiang, 2024) and for $1$-planar graphs $G$ with $Δ(G) \geq 13$ (Cranston and Mahmoud, 2025). As an immediate application of our main result, we extend this confirmation to all $k$-planar graphs $G$ with $k \geq 2$ and $Δ(G) \geq \sqrt{383k}$.
The connectivity of the normalising and permuting graph of a finite soluble group
We introduce the normalising graph of a group and study the connectivity of the normalising and permuting graphs of a group when the group is finite and soluble. In particular, we classify finite soluble groups with disconnected normalising graph. The main results shows that if a finite soluble group has connected normalising graph then this graph has diameter at most 6. Furthermore, this bound is tight. A corollary then presents the connectivity properties of the permuting graph.
Dynamic capacity allocation of hybrid transportation units for cargo-hitching in urban public transportation systems
To improve the utilization of public transportation systems (PTSs) during off-peak hours, we present an algorithmic framework that designs PTSs with hybrid transportation units (HTUs), which can transport passengers or freight by leveraging a flexible interior. Against this background, we study a capacitated network design problem to enable cargo-hitching in existing PTSs. Specifically, we study a setting with fixed vehicle routes and timetables in which vehicles can be equipped with HTUs to enable cargo-hitching. We optimize the network design from a total cost perspective to account for normalized network design costs tied to the investment in HTUs and freight routing costs. We present an algorithmic framework that encodes some of the problem's constraints in a spatially and temporally expanded, layered graph, and solves the resulting network design problem with a price-and-branch algorithm. We apply this framework to a case study based on the subway network in the city of Munich. Our algorithm outscales commercial solvers by a factor of six and yields integer feasible solutions with a median integrality gap of less than 1.02% for all instances. We show that cargo-hitching with HTUs increases the utilization of PTSs, especially during off-peak hours, without cannibalizing passenger service level and quality. Moreover, we present a sensitivity analysis that indicates that cargo-hitching is worthwhile if truck-based transport occurs at an externality cost of more than EUR 1.6 per vehicle and kilometer and loading and unloading costs of less than EUR 2 per passenger equivalent.
New matrices for the spectral theory of mixed graphs, part I
In this paper, we introduce a matrix for a mixed graph, called the integrated adjacency matrix. This matrix uniquely determines a mixed graph, as long as the indices of the matrix are specified. Additionally, we associate an (undirected) graph with each mixed graph, enabling the spectral analysis of the integrated adjacency matrix to connect the structural properties of the mixed graph and its associated graph. Furthermore, we define certain mixed graph structures and establish their relationships to the eigenvalues of the integrated adjacency matrix.
Sparse Partitions of Graphs with Bounded Clique Number
We prove that for each integer $r\geq 2$, there exists a constant $C_r>0$ with the following property: for any $0<\varepsilon \leq 1/2$ and any graph $G$ with clique number at most $r,$ there is a partition of $V(G)$ into at most $(1/\varepsilon)^{C_r}$ sets $S_1, \dots, S_t,$ such that $G[S_i]$ has maximum degree at most $\varepsilon |S_i|$ for each $1 \leq i \leq t.$ This answers a question of Fox, Nguyen, Scott and Seymour, who proved a similar result for graphs with no induced $P_4.$
Complexity of graph evolutions
A permutation of the elements of a graph is a {\it construction sequence} if no edge is listed before either of its endpoints. The complexity of such a sequence is investigated by finding the delay in placing the edges, an {\it opportunity cost} for the construction sequence. Maximum and minimum cost c-sequences are provided for a variety of graphs and are used to measure the complexity of graph-building programs.
A Partial Characterization of Robinsonian $L^p$ Graphons
We present a characterization of Robinsonian $L^p$ graphons for $p > 5$. Each $L^p$ graphon $w$ is the limit object of a sequence of edge density-normalized simple graphs $\{G_n/\|G_n\|_1\}$ under the cut distance $δ_{\Box}$. A graphon $w$ is Robinson if it satisfies the Robinson property: if $x\leq y\leq z$, then $w(x,z)\leq \min\{w(x,y),w(y,z)\}$, and it is Robinsonian if $δ_{\Box}(w,u)=0$ for some Robinson $u$. In previous work, the author and collaborators introduced a graphon parameter $Λ$ that recognizes the Robinson property, where $Λ(w) = 0$ precisely when $w$ is Robinson. Using functional analytic arguments, we show here that for $p > 5$, the Robinsonian $L^p$ graphons $w$ are precisely those that are the cut distance limit object of graphs $G_n$ such that $Λ(G_n/\|G_n\|_1) \to 0$.
The Minimal (Edge) Connectivity of Some Graphs of Finite Groups
In this paper, we classify all the finite groups $G$ such that the commuting graph $Γ_C(G)$, order-sum graph $Γ_{OS}(G)$ and non-inverse graph $Γ_{NI}(G)$ are minimally edge connected graphs. We also classify all the finite groups $G$ for that, these graphs are minimally connected. We also classify some groups for that the co-prime graph $Γ_{CP}(G)$ has minimal edge connectedness. In final part, we classify all the finite groups $G$ for that co-prime graph $Γ_{CP}(G)$ is minimally connected.
Complexity Issues Concerning the Quadruple Roman Domination Problem in Graphs
Given a graph $G$ with vertex set $V(G)$, a mapping $h : V(G) \rightarrow \lbrace 0, 1, 2, 3, 4, 5 \rbrace$ is called a quadruple Roman dominating function (4RDF) for $G$ if it holds the following. Every vertex $x$ such that $h(x)\in \{0,1,2, 3\}$ satisfies that $h(N[x]) = \sum_{v\in N[x]} h(v) \geq |\{y:y \in N(x) \; \text{and} \; h(y) \neq 0\}|+4$, where $N(x)$ and $N[x]$ stands for the open and closed neighborhood of $x$, respectively. The smallest possible weight $\sum_{x \in V(G)} h(x)$ among all possible 4RDFs $h$ for $G$ is the quadruple Roman domination number of $G$, denoted by $γ_{[4R]}(G)$.
This work is focused on complexity aspects for the problem of computing the value of this parameter for several graph classes. Specifically, it is shown that the decision problem concerning $γ_{[4R]}(G)$ is NP-complete when restricted to star convex bipartite, comb convex bipartite, split and planar graphs. In contrast, it is also proved that such problem can be efficiently solved for threshold graphs where an exact solution is demonstrated, while for graphs having an efficient dominating set, tight upper and lower bounds in terms of the classical domination number are given. In addition, some approximation results to the problem are given. That is, we show that the problem cannot be approximated within $(1 - ε) \ln |V|$ for any $ε> 0$ unless $P=NP$. An approximation algorithm for it is proposed, and its APX-completeness proved, whether graphs of maximum degree four are considered. Finally, an integer linear programming formulation for our problem is presented.
Optimal $L(2,1)$-labeling of certain strong graph bundles cycles over cycles
An $L(2,1)$-labeling of a graph $G=(V,E)$ is a function $f$ from the vertex set $V(G)$ to the set of nonnegative integers such that the labels on adjacent vertices differ by at least two, and the labels on vertices at distance two differ by at least one. The span of $f$ is the difference between the largest and the smallest numbers of $f(V)$. The $λ$-number of $G$, denoted by $λ(G)$, is the minimum span over all $L(2,1)$-labelings of $G$. We prove that if $X= C_m\boxtimes^{σ_\ell} C_{n}$ is a direct graph bundle with fiber $C_{n}$ and base $C_m$, $n$ is a multiple of 11 and $\ell$ has a form of $\ell =[11k+(-1)^a 4m]\mod n$ or of $\ell =[11k+(-1)^a 3m]\mod n$, where $a\in \{1,2\}$ and $k\in \ZZ$, then $λ(X)=10$.
On $(k,g)$-Graphs without $(g+1)$-Cycles
Published
• View Publication
• BIB
A $(k,g,\underline{g+1})$-graph is a $k$-regular graph of girth $g$ which does not contain cycles of length $g+1$. Such graphs are known to exist for all parameter pairs $k \geq 3, g \geq 3 $, and we focus on determining the orders $n(k,g,\underline{g+1})$ of the smallest $(k,g,\underline{g+1})$-graphs. This problem can be viewed as a special case of the previously studied Girth Pair Problem, the problem of finding the order of a smallest $k$-regular graph in which the length of a smallest even length cycle and the length of a smallest odd length cycle are prescribed. When considering the case of an odd girth $g$, this problem also yields results towards the Cage Problem, the problem of finding the order of a smallest $k$-regular graph of girth $g$. We establish the monotonicity of the function $n(k,g,\underline{g+1})$ with respect to increasing $g$, and present universal lower bounds for the values $n(k,g,\underline{g+1})$. We propose an algorithm for generating all $(k,g,\underline{g+1})$-graphs on $n$ vertices, use this algorithm to determine several of the smaller values $n(k,g,\underline{g+1})$, and discuss various approaches to finding smallest $(k,g,\underline{g+1})$-graphs within several classes of highly symmetrical graphs.
A bound on the girth of quaternion unit gain graphs in terms of the rank
We obtain a bound on the girth g of a quaternion unit gain graph in terms of the rank r of its adjacency matrix. In particular, we show that g <= r + 2 and characterize all quaternion unit gain graphs for which g = r+2. This extends corresponding results for (ordinary) graphs, signed graphs, and complex unit gain graphs.