complete graph
2194 papers tagged with this keyword
On well-dominated direct, Cartesian and strong product graphs
Published
• View Publication
• BIB
If each minimal dominating set in a graph is a minimum dominating set, then the graph is called well-dominated. Since the seminal paper on well-dominated graphs appeared in 1988, the structure of well-dominated graphs from several restricted classes have been studied. In this paper we give a complete characterization of nontrivial direct products that are well-dominated. We prove that if a strong product is well-dominated, then both of its factors are well-dominated. When one of the factors of a strong product is a complete graph, the other factor being well-dominated is also a sufficient condition for the product to be well-dominated. Our main result gives a complete characterization of well-dominated Cartesian products in which at least one of the factors is a complete graph. In addition, we conjecture that this result is actually a complete characterization of the class of nontrivial, well-dominated Cartesian products.
On $r$-dynamic coloring on lexicographic product of star graphs
In this research, the exact results on $r$-dynamic coloring of lexicographic product of path with star graph, path with double star graph, path with triple star graph and finally complete graph with path are obtained.
A Classification of Hyperfocused 12-Arcs
Published
• View Publication
• BIB
A $k$-arc in PG($2,q$) is a set of $k$ points no three of which are collinear. A hyperfocused $k$-arc is a $k$-arc in which the $k \choose 2$ secants meet some external line in exactly $k-1$ points. Hyperfocused $k$-arcs can be viewed as 1-factorizations of the complete graph $K_k$ that embed in PG($2,q$). We study the 526,915,620 1-factorizations of $K_{12}$, determine which are embeddable in PG($2,q$), and classify hyperfocused $12$-arcs. Specifically we show if a $12$-arc $\mathcal{K}$ is a hyperfocused arc in PG($2,q$) then $q = 2^{5k}$ and $\mathcal{K}$ is a subset of a hyperconic including the nucleus.
An improved lower bound for multicolor Ramsey numbers and the half-multiplicity Ramsey number problem
Published
• View Publication
• BIB
The multicolor Ramsey number problem asks, for each pair of natural numbers $\ell$ and $t$, for the largest $\ell$-coloring of a complete graph with no monochromatic clique of size $t$. Recent works of Conlon-Ferber and Wigderson have improved the longstanding lower bound for this problem. We make a further improvement by replacing an explicit graph appearing in their constructions by a random graph. Graphs useful for this construction are exactly those relevant for a problem of Erdős on graphs with no large cliques and few large independent sets. We also make some basic observations about this problem.
Almost color-balanced perfect matchings in color-balanced complete graphs
Published
• View Publication
• BIB
For a graph $G$ and a not necessarily proper $k$-edge coloring $c:E(G)\to \{ 1,\ldots,k\}$, let $m_i(G)$ be the number of edges of $G$ of color $i$, and call $G$ {\it color-balanced} if $m_i(G)=m_j(G)$ for every two colors $i$ and $j$. Several famous open problems relate to this notion; Ryser's conjecture on transversals in latin squares, for instance, is equivalent to the statement that every properly $n$-edge colored complete bipartite graph $K_{n,n}$ has a color-balanced perfect matching. We contribute some results on the question posed by Kittipassorn and Sinsap (arXiv:2011.00862v1) whether every $k$-edge colored color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$. For a perfect matching $M$ of $K_{2kn}$, a natural measure for the total deviation of $M$ from being color-balanced is $f(M)=\sum\limits_{i=1}^k|m_i(M)-n|$. While not every color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$, that is, a perfect matching with $f(M)=0$, we prove the existence of a perfect matching $M$ with $f(M)=O\left(k\sqrt{kn\ln(k)}\right)$ for general $k$ and $f(M)\leq 2$ for $k=3$; the case $k=2$ has already been studied earlier. An attractive feature of the problem is that it naturally invites the combination of a combinatorial approach based on counting and local exchange arguments with probabilistic and geometric arguments.
Growable Realizations: a Powerful Approach to the Buratti-Horak-Rosa Conjecture
Published
• View Publication
• BIB
Label the vertices of the complete graph $K_v$ with the integers $\{ 0, 1, \ldots, v-1 \}$ and define the length of the edge between $x$ and $y$ to be $\min( |x-y| , v - |x-y| )$. Let $L$ be a multiset of size $v-1$ with underlying set contained in $\{ 1, \ldots, \lfloor v/2 \rfloor \}$. The Buratti-Horak-Rosa Conjecture is that there is a Hamiltonian path in $K_v$ whose edge lengths are exactly $L$ if and only if for any divisor $d$ of $v$ the number of multiples of $d$ appearing in $L$ is at most $v-d$.
We introduce "growable realizations," which enable us to prove many new instances of the conjecture and to reprove known results in a simpler way. As examples of the new method, we give a complete solution when the underlying set is contained in $\{ 1,4,5 \}$ or in $\{ 1,2,3,4 \}$ and a partial result when the underlying set has the form $\{ 1, x, 2x \}$. We believe that for any set $U$ of positive integers there is a finite set of growable realizations that implies the truth of the Buratti-Horak-Rosa Conjecture for all but finitely many multisets with underlying set $U$.
Hadwiger conjecture for 8-coloring graph
Hadwiger Conjecture has been an open problem for over a half century1,6, which says that there is at most a complete graph Kt but no Kt+1 for every t-colorable graph. A few cases of Hadwiger Conjecture, such as 1, 2, 3, 4, 5, 6-colorable graphs have been completely proved to convince all1-5, but the proofs are tremendously difficult for over the 5-colorable graph6,7. Although the development of graph theory inspires scientists to understand graph coloring deeply, it is still an open problem for over 7-colorable graphs6,7. Therefore, we put forward a brand new chromatic graph configuration and show how to describe the graph coloring issues in chromatic space. Based on this idea, we define a chromatic plane and configure the chromatic coordinates in Euler space. Also, we find a method to prove Hadwiger Conjecture for every 8-coloring graph feasible.
Intersection Graphs of Maximal Sub-polygons of $k$-Lizards
Published
• View Publication
• BIB
We introduce $k$-maximal sub-polygon graphs ($k$-MSP graphs), the intersection graphs of maximal polygons contained in a polygon with sides parallel to a regular $2k$-gon. We prove that all complete graphs are $k$-MSP graphs for all $k>1$; trees are $2$-MSP graphs; trees are $k$-MSP graphs for $k>2$ if and only if they're caterpillars; and $n$-cycles are not $k$-MSP graphs for $n>3$ and $k>1$. We derive bounds for which $j$-cycles appear as induced subgraphs of $k$-MSP graphs. As our main result, we construct examples of graphs which are $k$-MSP graphs and not $j$-MSP graphs for all $k>1$, $j>1$, $k \neq j$.
The DP Color Function of Joins and Vertex-Gluings of Graphs
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvořák and Postle in 2015. As the analogue of the chromatic polynomial $P(G,m)$, the DP color function of a graph $G$, denoted $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. Chromatic polynomials for joins and vertex-gluings of graphs are well understood, but the effect of these graph operations on the DP color function is not known. In this paper we make progress on understanding the DP color function of the join of a graph with a complete graph and vertex-gluings of certain graphs. We also develop tools to study the DP color function under these graph operations, and we study the threshold (smallest $m$) beyond which the DP color function of a graph constructed with these operations equals its chromatic polynomial.
Recursive constructions of amoebas
Published
• View Publication
• BIB
Global amoebas are a wide and rich family of graphs that emerged from the study of certain Ramsey-Turán problems in $2$-colorings of the edges of the complete graph $K_n$ that deal with the appearance of unavoidable patterns once a certain amount of edges in each color is guaranteed. Indeed, it turns out that, as soon as such coloring constraints are satisfied and if $n$ is sufficiently large, then every global amoeba can be found embedded in $K_n$ such that it has half its edges in each color. Even more surprising, every bipartite global amoeba $G$ is unavoidable in every tonal-variation, meaning that, for any pair of integers $r, b$ such that $r + b $ is the number of edges of $G$, there is a subgraph of $K_n$ isomorphic to $G$ with $r$ edges in the first color and $b$ edges in the second. The feature that makes global amoebas work are one-by-one edge replacements that leave the structure of the graph invariant. By means of a group theoretical approach, the dynamics of this feature can be modeled. As a counterpart to the global amoebas that "live" inside a possibly large complete graph $K_n$, we also consider local amoebas which are spanning subgraphs of $K_n$ with the same feature.
In an effort to highlight their richness and versatility, we present here three different recursive constructions of amoebas, two of them yielding interesting families per se and one of them offering a wide range of possibilities.
Symmetry reduction to optimize a graph-based polynomial from queueing theory
Published in SIAM Journal on Applied Algebra and Geometry, 6 (2022), 243-266
• View Publication
• BIB
For given integers $n$ and $d$, both at least 2, we consider a homogeneous multivariate polynomial $f_d$ of degree $d$ in variables indexed by the edges of the complete graph on $n$ vertices and coefficients depending on cardinalities of certain unions of edges. Cardinaels, Borst and Van Leeuwaarden (arXiv:2111.05777, 2021) asked whether $f_d$, which arises in a model of job-occupancy in redundancy scheduling, attains its minimum over the standard simplex at the uniform probability vector. Brosch, Laurent and Steenkamp [SIAM J. Optim. 31 (2021), 2227--2254] proved that $f_d$ is convex over the standard simplex if $d=2$ and $d=3$, implying the desired result for these $d$. We give a symmetry reduction to show that for fixed $d$, the polynomial is convex over the standard simplex (for all $n\geq 2$) if a constant number of constant matrices (with size and coefficients independent of $n$) are positive semidefinite. This result is then used in combination with a computer-assisted verification to show that the polynomial $f_d$ is convex for $d\leq 9$.
Product structure of graphs with an excluded minor
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 1233-1248
• View Publication
• BIB
This paper shows that $K_t$-minor-free (and $K_{s, t}$-minor-free) graphs $G$ are subgraphs of products of a tree-like graph $H$ (of bounded treewidth) and a complete graph $K_m$. Our results include optimal bounds on the treewidth of $H$ and optimal bounds (to within a constant factor) on $m$ in terms of the number of vertices of $G$ and the treewidth of $G$. These results follow from a more general theorem whose corollaries include a strengthening of the celebrated separator theorem of Alon, Seymour, and Thomas [J. Amer. Math. Soc. 1990] and the Planar Graph Product Structure Theorem of Dujmović et al. [J. ACM 2020].
Polyhedra without cubic vertices are prism-hamiltonian
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph on two vertices. A graph $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. We prove that every polyhedral graph (i.e. 3-connected planar graph) of minimum degree at least four is prism-hamiltonian.
Saved by the rook: a case of matchings and Hamiltonian cycles
Published in Contributions to Discrete Mathematics 20, No. 1, 95--104 (2025) [https://cdm.ucalgary.ca/article/view/73743]
• View Publication
• BIB
The rook graph is a graph whose edges represent all the possible legal moves of the rook chess piece on a chessboard. The problem we consider is the following. Given any set $M$ containing pairs of cells such that each cell of the $m_1 \times m_2$ chessboard is in exactly one pair, we determine the values of the positive integers $m_1$ and $m_2$ for which it is possible to construct a closed tour of all the cells of the chessboard which uses all the pairs of cells in $M$ and some edges of the rook graph. This is an alternative formulation of a graph-theoretical problem presented in [Electron. J. Combin. 28(1) (2021), #P1.7] involving the Cartesian product $G$ of two complete graphs $K_{m_1}$ and $K_{m_2}$, which is, in fact, isomorphic to the $m_{1}\times m_{2}$ rook graph. The problem revolves around determining the values of the parameters $m_1$ and $m_2$ that would allow any perfect matching of the complete graph on the same vertex set of $G$ to be extended to a Hamiltonian cycle by using only edges in $G$.
Parking functions: From combinatorics to probability
Published
• View Publication
• BIB
Suppose that $m$ drivers each choose a preferred parking space in a linear car park with $n$ spots. In order, each driver goes to their chosen spot and parks there if possible, and otherwise takes the next available spot if it exists. If all drivers park successfully, the sequence of choices is called a parking function. Classical parking functions correspond to the case $m=n$; we study here combinatorial and probabilistic aspects of this generalized case.
We construct a family of bijections between parking functions $\text{PF}(m, n)$ with $m$ cars and $n$ spots and spanning forests $\mathscr{F}(n+1, n+1-m)$ with $n+1$ vertices and $n+1-m$ distinct trees having specified roots. This leads to a bijective correspondence between $\text{PF}(m, n)$ and monomial terms in the associated Tutte polynomial of a disjoint union of $n-m+1$ complete graphs. We present an identity between the "inversion enumerator" of spanning forests with fixed roots and the "displacement enumerator" of parking functions. The displacement is then related to the number of graphs on $n+1$ labeled vertices with a fixed number of edges, where the graph has $n+1-m$ disjoint rooted components with specified roots.
We investigate various probabilistic properties of a uniform parking function, giving a formula for the law of a single coordinate. As a side result we obtain a recurrence relation for the displacement enumerator. Adapting known results on random linear probes, we further deduce the covariance between two coordinates when $m=n$.
On Co-Maximal Subgroup Graph of a Group
Published
• View Publication
• BIB
The co-maximal subgroup graph $Γ(G)$ of a group $G$ is a graph whose vertices are non-trivial proper subgroups of $G$ and two vertices $H$ and $K$ are adjacent if $HK=G$. In this paper, we continue the study of $Γ(G)$, especially when $Γ(G)$ has isolated vertices. We define a new graph $Γ^*(G)$, which is obtained by removing isolated vertices from $Γ(G)$. We characterize when $Γ^*(G)$ is connected, a complete graph, star graph, has an universal vertex etc. We also find various graph parameters like diameter, girth, bipartiteness etc. in terms of properties of $G$.
An extension of the rainbow Erdős-Rothschild problem
Published
• View Publication
• BIB
Given integers $r \geq 2$, $k \geq 3$ and $2 \leq s \leq \binom{k}{2}$, and a graph $G$, we consider $r$-edge-colorings of $G$ with no copy of a complete graph $K_k$ on $k$ vertices where $s$ or more colors appear, which are called $\mathcal{P}_{k,s}$-free $r$-colorings. We show that, for large $n$ and $r \geq r_0(k,s)$, the $(k-1)$-partite Turán graph $T_{k-1}(n)$ on $n$ vertices yields the largest number of $\mathcal{P}_{k,s}$-free $r$-colorings among all $n$-vertex graphs, and that it is the unique graph with this property.
Factorizing the Rado graph and infinite complete graphs
Published
• View Publication
• BIB
Let $\mathcal{F}=\{F_α: α\in \mathcal{A}\}$ be a family of infinite graphs, together with $Λ$. The Factorization Problem $FP(\mathcal{F}, Λ)$ asks whether $\mathcal{F}$ can be realized as a factorization of $Λ$, namely, whether there is a factorization $\mathcal{G}=\{Γ_α: α\in \mathcal{A}\}$ of $Λ$ such that each $Γ_α$ is a copy of $F_α$.
We study this problem when $Λ$ is either the Rado graph $R$ or the complete graph $K_\aleph$ of infinite order $\aleph$. When $\mathcal{F}$ is a countable family, we show that $FP(\mathcal{F}, R)$ is solvable if and only if each graph in $\mathcal{F}$ has no finite dominating set. We also prove that $FP(\mathcal{F}, K_\aleph)$ admits a solution whenever the cardinality $\mathcal{F}$ coincide with the order and the domination numbers of its graphs.
For countable complete graphs, we show some non existence results when the domination numbers of the graphs in $\mathcal{F}$ are finite. More precisely, we show that there is no factorization of $K_{\mathbb{N}}$ into copies of a $k$-star (that is, the vertex disjoint union of $k$ countable stars) when $k=1,2$, whereas it exists when $k\geq 4$, leaving the problem open for $k=3$.
Finally, we determine sufficient conditions for the graphs of a decomposition to be arranged into resolution classes.
Achromatic arboricity on complete graphs
Published
• View Publication
• BIB
In this paper we study the {\it {achromatic arboricity}} of the complete graph. This parameter arises from the arboricity of a graph as the achromatic index arises from the chromatic index. The achromatic arboricity of a graph $G$, denoted by $A_α(G)$, is the maximum number of colors that can be used to color the edges of $G$ such that every color class induces a forest but any two color classes contain a cycle. In particular, if $G$ is a complete graph we prove that \[\frac{1}{4}n^{\frac{3}{2}}-Θ(n) \leq A_α(G)\leq \frac{1}{\sqrt{2}}n^{\frac{3}{2}}-Θ(n).\]
Regular saturated graphs and sum-free sets
Published
• View Publication
• BIB
In a recent paper, Gerbner, Patkós, Tuza and Vizer studied regular $F$-saturated graphs. One of the essential questions is given $F$, for which $n$ does a regular $n$-vertex $F$-saturated graph exist. They proved that for all sufficiently large $n$, there is a regular $K_3$-saturated graph with $n$ vertices. We extend this result to both $K_4$ and $K_5$ and prove some partial results for larger complete graphs. Using a variation of sum-free sets from additive combinatorics, we prove that for all $k \geq 2$, there is a regular $C_{2k+1}$-saturated with $n$ vertices for infinitely many $n$. Studying the sum-free sets that give rise to $C_{2k+1}$-saturated graphs is an interesting problem on its own and we state an open problem in this direction.