complete graph
2162 papers tagged with this keyword
Degree Sequence Optimization and Extremal Degree Enumerators
The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum of given functions evaluated at the subgraph degrees. Here we study this problem by replacing degree sequences, via suitable nonlinear transformations, by suitable degree enumerators, and we introduce suitable degree enumerator polytopes.
We characterize their vertices, that is, the extremal degree enumerators, for complete graphs and some complete bipartite graphs, and use these characterizations to obtain simpler and faster algorithms for optimization over degree sequences for such graphs.
Generalized saturation game
Published in Discrete Applied Mathematics 374 (2025) 33-49
• View Publication
• BIB
We study the following game version of the generalized graph Turán problem. For two fixed graphs F and H, two players, Max and Mini, alternately claim unclaimed edges of the complete graph Kn such that the graph G of the claimed edges must remain F-free throughout the game. The game ends when no further edges can be claimed, i.e. when G becomes F-saturated. The H-score of the game is the number of copies of H in G. Max aims to maximize the H-score, while Mini wants to minimize it. The H-score of the game when both players play optimally is denoted by s1(n, #H, F) when Max starts, and by s2(n, #H, F) when Mini starts. We study these values for several natural choices of F and H.
Creating spanning trees in Waiter-Client games
For a positive integer $n$ and a tree $T_n$ on $n$ vertices, we consider an unbiased Waiter-Client game $\textrm{WC}(n,T_n)$ played on the complete graph~$K_n$, in which Waiter's goal is to force Client to build a copy of $T_n$. We prove that for every constant $c<1/3$, if $Δ(T_n)\le cn$ and $n$ is sufficiently large, then Waiter has a winning strategy in $\textrm{WC}(n,T_n)$. On the other hand, we show that there exist a positive constant $c'<1/2$ and a family of trees $T_{n}$ with $Δ(T_n)\le c'n$ such that Client has a winning strategy in the $\textrm{WC}(n,T_n)$ game for every $n$ sufficiently large. We also consider the corresponding problem in the Client-Waiter version of the game.
A Conjecture on Rainbow Hamiltonian Cycle Decomposition
Wu in 1999 conjectured that if $H$ is a subgraph of the complete graph $K_{2n+1}$ with $n$ edges, then there is a Hamiltonian cycle decomposition of $K_{2n+1}$ such that each edge of $H$ is in a separate Hamiltonian cycle. The conjecture was partially settled by Liu and Chen (2023) in cases that $|V(H)|\leq n+1$, $H$ is a linear forest, or $n\leq 5$. In this paper, we settle the conjecture completely. This result can be viewed as a complete graph analogous of Evans conjecture and has some applications in linear arboricity conjecture and restricted size Ramsey numbers.
Ramsey multiplicity of apices of trees
A graph $H$ is common if its Ramsey multiplicity, i.e., the minimum number of monochromatic copies of $H$ contained in any $2$-edge-coloring of $K_n$, is asymptotically the same as the number of monochromatic copies in the random $2$-edge-coloring of $K_n$. Erdős conjectured that every complete graph is common, which was disproved by Thomason in the 1980s. Till today, a classification of common graphs remains a widely open challenging problem. Grzesik, Lee, Lidický and Volec [Combin. Prob. Comput. 31 (2022), 907--923] conjectured that every $k$-apex of any connected Sidorenko graph is common. We prove for $k\le 5$ that the $k$-apex of any tree is common.
Plane Hamiltonian Cycles in Convex Drawings
A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $Ω(\log n / \log \log n)$ and of a plane matching of size $Ω(n^{1/2})$ in every simple drawing of $K_{n}$.
Instead of studying simpler substructures, we prove Rafla's conjecture for the subclass of convex drawings, the most general class in the convexity hierarchy introduced by Arroyo et al. Moreover, we show that every convex drawing of $K_n$ contains a plane Hamiltonian path between each pair of vertices (Hamiltonian connectivity) and a plane $k$-cycle for each $3 \leq k \leq n$ (pancyclicity), and present further results on maximal plane subdrawings.
Resolving Sets in Temporal Graphs
A \emph{resolving set} $R$ in a graph $G$ is a set of vertices such that every vertex of $G$ is uniquely identified by its distances to the vertices of $R$. Introduced in the 1970s, this concept has been since then extensively studied from both combinatorial and algorithmic points of view. We propose a generalization of the concept of resolving sets to temporal graphs, \emph{i.e.}, graphs with edge sets that change over discrete time-steps. In this setting, the \emph{temporal distance from $u$ to $v$} is the earliest possible time-step at which a journey with strictly increasing time-steps on edges leaving $u$ reaches $v$, \emph{i.e.}, the first time-step at which $v$ could receive a message broadcast from $u$. A \emph{temporal resolving set} of a temporal graph $\mathcal{G}$ is a subset $R$ of its vertices such that every vertex of $\mathcal{G}$ is uniquely identified by its temporal distances from vertices of $R$.
We study the problem of finding a minimum-size temporal resolving set, and show that it is NP-complete even on very restricted graph classes and with strong constraints on the time-steps: temporal complete graphs where every edge appears in either time-step~1 or~2, temporal trees where every edge appears in at most two consecutive time-steps, and even temporal subdivided stars where every edge appears in at most two (not necessarily consecutive) time-steps. On the other hand, we give polynomial-time algorithms for temporal paths and temporal stars where every edge appears in exactly one time-step, and give a combinatorial analysis and algorithms for several temporal graph classes where the edges appear in periodic time-steps.
Local limit of massive spanning forests on the complete graph
We identify the local limit of massive spanning forests on the complete graph. This generalizes a well-known theorem of Grimmett on the local limit of uniform spanning trees on the complete graph.
Ordered and colored subgraph density problems
We consider three extremal problems about the number of copies of a fixed graph in another larger graph. First, we correct an error in a result of Reiher and Wagner and prove that the number of $k$-edge stars in a graph with density $x \in [0, 1]$ is asymptotically maximized by a clique and isolated vertices or its complement. Next, among ordered $n$-vertex graphs with $m$ edges, we determine the maximum and minimum number of copies of a $k$-edge star whose nonleaf vertex is minimum among all vertices of the star. Finally, for $s \ge 2$, we define a particular $3$-edge-colored complete graph $F$ on $2s$ vertices with colors blue, green and red, and determine, for each $(x_b, x_g)$ with $x_b+x_g\le 1$ and $x_b, x_g \ge 0$, the maximum density of $F$ in a large graph whose blue, green and red edge sets have densities $x_b, x_g$ and $1-x_b-x_g$, respectively. These are the first nontrivial examples of colored graphs for which such complete results are proved.
Antimagic Labeling of Graphs Using Prime Numbers
Graph labeling is a technique that assigns unique labels or weights to the vertices or edges of a graph, often used to analyze and solve various graph-related problems. There are few methods with certain limitations conducted by researchers previously on this topic. This research paper focuses on antimagic labeling of different types of graphs and trees. It entails the assignment of distinct prime values to edges in a manner that ensures the cumulative sum of edge labels at each vertex remains unique. This research proposes a conjecture on antimagic labeling of any graphs and proves two theories. Firstly, we tried to give weights to the edges randomly, as some exceptions are faced in particular phases in this way, we followed a whole new way to mitigate this problem. This research paper demonstrates computational and mathematical verification to prove that antimagic labeling of any perfect binary tree and complete graph is possible.
Generalized zero-divisor graph of $*$-rings
Let $R$ be a ring with involution $*$ and $Z^*(R)$ denotes the set of all non-zero zero-divisors of $R$.
We associate a simple (undirected) graph $Γ'(R)$ with vertex set $Z^*(R)$ and two distinct vertices $x$ and $y$ are adjacent in $Γ'(R)$ if and only if $x^ny^*=0$ or $y^nx^*=0$, for some positive integer $n$. We find the diameter and girth of $Γ'(R)$. The characterizations are obtained for $*$-rings having $Γ'(R)$ a connected graph, a complete graph, and a star graph. Further, we have shown that for a ring $R$, there is an involution on $R\times R$ such that $Γ'(R\times R)$ is disconnected if and only if $R$ is an integral domain.
The absence of monochromatic triangle implies various properly colored spanning trees
An edge-colored graph $G$ is called properly colored if every two adjacent edges are assigned different colors. A monochromatic triangle is a cycle of length 3 with all the edges having the same color. Given a tree $T_0$, let $\mathcal{T}(n,T_0)$ be the collection of $n$-vertex trees that are subdivisions of $T_0$. It is conjectured that for each fixed tree $T_0$, there is a function $f(T_0)$ such that for each integer $n\geq f(T_0)$ and each $T\in \mathcal{T}(n,T_0)$, every edge-colored complete graph $K_n$ without containing monochromatic triangle must contain a properly colored copy of $T$. We confirm the conjecture in the case that $T_0$ is a star. A weaker version of the above conjecture is also obtained. Moreover, to get a nice quantitative estimation of $f(T_0)$ when $T_0$ is a star requires determining the constraint Ramsey number of a monochromatic triangle and a rainbow star, which is of independent interest.
Exact upper bounds for the minimum sizes of strong and weak separating path systems of cliques
We prove an upper bound of $n+9$ for the strong separation number of the complete graph $K_n$, and an upper bound of $n+1$ for its weak separation number. This improves on the previous best known bound of $(1+o(1))n$ for both cases.
The maximum spectral radius of planner graphs without the joint of K2 and a linear forest
Given a graph $F$, let $SPEX_P(n,F)$ be the set of graphs with the maximum spectral radius among all $F$-free $n$-vertex planner graph. In 2017, Tait and Tobin proved that for sufficiently $n$, $K_2+P_{n-2}$ is the unique graph with the maximum spectral radius over all $n$-vertex planner graphs. In this paper, focusing on $SPEX_P(n,K_2+H)$ in which $H$ is a linear forest, we prove that $SPEX_P(n,K_2+H)=\{2K_1+C_{n-2}\}$ when $H\in \{pK_2,P_3,I_q\}$ $(p\geq1, q\geq 3)$, where $K_n$, $P_n$, $I_n$ are complete graph, path and empty graph of order $n$, respectively. When $H$ contains a $P_4$, we prove that $2K_1+C_{n-2}\notin SPEX_P(n,K_2+H)$ and also provide a structural characterization of graphs in $SPEX_P(n,K_2+H)$.
On the Ohba Number and Generalized Ohba Numbers of Complete Bipartite Graphs
We say that a graph $G$ is chromatic-choosable when its list chromatic number $χ_{\ell}(G)$ is equal to its chromatic number $χ(G)$. Chromatic-choosability is a well-studied topic, and in fact, some of the most famous results and conjectures related to list coloring involve chromatic-choosability. In 2002 Ohba showed that for any graph $G$ there is an $N \in \mathbb{N}$ such that the join of $G$ and a complete graph on at least $N$ vertices is chromatic-choosable. The Ohba number of $G$ is the smallest such $N$. In 2014, Noel suggested studying the Ohba number, $τ_{0}(a,b)$, of complete bipartite graphs with partite sets of size $a$ and $b$. In this paper we improve a 2009 result of Allagan by showing that $τ_{0}(2,b) = \lfloor \sqrt{b} \rfloor - 1$ for all $b \geq 2$, and we show that for $a \geq 2$, $τ_{0}(a,b) = Ω( \sqrt{b} )$ as $b \rightarrow \infty$. We also initiate the study of some relaxed versions of the Ohba number of a graph which we call generalized Ohba numbers. We present some upper and lower bounds of generalized Ohba numbers of complete bipartite graphs while also posing some questions.
Bootstrap percolation on the Hamming graphs
The $r$-edge bootstrap percolation on a graph is an activation process of the edges. The process starts with some initially activated edges and then, in each round, any inactive edge whose one of endpoints is incident to at least $r$ active edges becomes activated. A set of initially activated edges leading to the activation of all edges is said to be a percolating set. Denote the minimum size of a percolating set in the $r$-edge bootstrap percolation process on a graph $G$ by $m_e(G, r)$. The importance of the $r$-edge bootstrap percolation relies on the fact that $m_e(G, r)$ provides bounds on $m(G, r)$, that is, the minimum size of a percolating set in the $r$-neighbor bootstrap percolation process on $G$. In this paper, we explicitly determine $m_e(K_n^d, r)$, where $K_n^d$ is the Cartesian product of $d$ copies of the complete graph on $n$ vertices which is referred as Hamming graph. Using this, we show that $m(K_n^d, r)=(1+o(1))\frac{d^{r-1}}{r!}$ when $n, r$ are fixed and $d$ goes to infinity which extends a known result on hypercubes.
Limit Laws for Critical Dispersion on Complete Graphs
We consider a synchronous process of particles moving on the vertices of a graph $G$, introduced by Cooper, McDowell, Radzik, Rivera and Shiraga (2018). Initially, $M$ particles are placed on a vertex of $G$. In subsequent time steps, all particles that are located on a vertex inhabited by at least two particles jump independently to a neighbour chosen uniformly at random. The process ends at the first step when no vertex is inhabited by more than one particle; we call this (random) time step the dispersion time.
In this work we study the case where $G$ is the complete graph on $n$ vertices and the number of particles is $M=n/2+αn^{1/2} + o(n^{1/2})$, $α\in \mathbb{R}$. This choice of $M$ corresponds to the critical window of the process, with respect to the dispersion time. We show that the dispersion time, if rescaled by $n^{-1/2}$, converges in $p$-th mean, as $n\rightarrow \infty$ and for any $p \in \mathbb{R}$, to a continuous and almost surely positive random variable $T_α$. We find that $T_α$ is the absorption time of a standard logistic branching process, thoroughly investigated by Lambert (2005), and we determine its expectation. In particular, in the middle of the critical window we show that $\mathbb{E}[T_0] = π^{3/2}/\sqrt{7}$, and furthermore we formulate explicit asymptotics when $|α|$ gets large that quantify the transition into and out of the critical window. We also study the (random) total number of jumps that are performed by the particles until the dispersion time is reached. In particular, we prove that it centers around $\frac{2}{7}n\ln n$ and that it has variations linear in $n$, whose distribution we can describe explicitly.
On balanceable and simply balanceable regular graphs
Published in European Journal of Combinatorics 124 (2025) 104045
• View Publication
• BIB
We continue the study of balanceable graphs, defined by Caro, Hansberg, and Montejano in 2021 as graphs $G$ such that any $2$-coloring of the edges of a sufficiently large complete graph containing sufficiently many edges of each color contains a balanced copy of $G$. While the problem of recognizing balanceable graphs was conjectured to be NP-complete by Dailly, Hansberg, and Ventura in 2021, balanceable graphs admit an elegant combinatorial characterization: a graph is balanceable if and only there exist two vertex subsets, one containing half of all the graph's edges and another one such that the corresponding cut contains half of all the graph's edges. We consider a special case of this property, namely when one of the two sets is a vertex cover, and call the corresponding graphs simply balanceable. We prove a number of results on balanceable and simply balanceable regular graphs. First, we characterize simply balanceable regular graphs via a condition involving the independence number of the graph. Second, we address a question of Dailly, Hansberg, and Ventura from 2021 and show that every cubic graph is balanceable. Third, using Brooks' theorem, we show that every $4$-regular graph with order divisible by $4$ is balanceable. Finally, we show that it is NP-complete to determine if a $9$-regular graph is simply balanceable.
The unitary Cayley graph of upper triangular matrix rings
The unitary Cayley graph $C_R$ of a finite unital ring $R$ is the simple graph with vertex set $R$ in which two elements $x$ and $y$ are connected by an edge if and only if $x-y$ is a unit of $R$. We characterize the unitary Cayley graph $C_{T_n (\mathbb{F})}$ of the ring of all upper triangular matrices $T_n(\mathbb{F})$ over a finite field $\mathbb{F}$. We show that $C_{T_n (\mathbb{F})}$ is isomorphic to the semistrong product of the complete graph $K_m$ and the antipodal graph of the Hamming graph $A(H(n,p^k))$, where $m=p^{\frac{kn(n-1)}{2}}$ and $|\mathbb{F}|=p^k$. In particular, if $|\mathbb{F}|=2$, then the graph $C_{T_n (\mathbb{F})}$ has $2^{n-1}$ connected components, each component is isomorphic to the complete bipartite graph $K_{m,m}$, where $m=2^{\frac{n(n-1)}{2}}$. We also compute the diameter, triameter, and clique number of the graph $C_{T_n (\mathbb{F})}$.
A family of symmetric graphs in relation to 2-point-transitive linear spaces
A graph $Γ$ is $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of arcs of $Γ$, where an arc is an ordered pair of adjacent vertices. Let $Γ$ be a $G$-symmetric graph such that its vertex set admits a nontrivial $G$-invariant partition ${\cal B}$, and let ${\cal D}(Γ, {\cal B})$ be the incidence structure with point set ${\cal B}$ and blocks $\{B\} \cup Γ_{\cal B}(α)$, for $B \in {\cal B}$ and $α\in B$, where $Γ_{\cal B}(α)$ is the set of blocks of ${\cal B}$ containing at least one neighbour of $α$ in $Γ$. In this paper we classify all $G$-symmetric graphs $Γ$ such that $Γ_{\cal B}(α) \ne Γ_{\cal B}(β)$ for distinct $α, β\in B$, the quotient graph of $Γ$ with respect to ${\cal B}$ is a complete graph, and ${\cal D}(Γ, {\cal B})$ is isomorphic to the complement of a $(G, 2)$-point-transitive linear space.