complete graph
2194 papers tagged with this keyword
The effect of adding randomly weighted edges
Published
• View Publication
• BIB
We consider the following question. We have a dense regular graph $G$ with degree $αn$, where $α>0$ is a constant. We add $m=o(n^2)$ random edges. The edges of the augmented graph $G(m)$ are given independent edge weights $X(e)$, $e\in E(G(m))$. We estimate the minimum weight of some specified combinatorial structures. We show that in certain cases, we can obtain the same estimate as is known for the complete graph, but scaled by a factor $α^{-1}$. We consider spanning trees, shortest paths, perfect matchings in (pseudo-random) bipartite graphs.
Maker-Breaker domination number for Cartesian products of path graphs $P_2$ and $P_n$
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (April 12, 2024) dmtcs:10465
• View Publication
• BIB
We study the Maker-Breaker domination game played by Dominator and Staller on the vertex set of a given graph. Dominator wins when the vertices he has claimed form a dominating set of the graph. Staller wins if she makes it impossible for Dominator to win, or equivalently, she is able to claim some vertex and all its neighbours. Maker-Breaker domination number $γ_{MB}(G)$ ($γ'_{MB}(G)$) of a graph $G$ is defined to be the minimum number of moves for Dominator to guarantee his winning when he plays first (second). We investigate these two invariants for the Cartesian product of any two graphs. We obtain upper bounds for the Maker-Breaker domination number of the Cartesian product of two arbitrary graphs. Also, we give upper bounds for the Maker-Breaker domination number of the Cartesian product of the complete graph with two vertices and an arbitrary graph. Most importantly, we prove that $γ'_{MB}(P_2\square P_n)=n$ for $n\geq 1$, $γ_{MB}(P_2\square P_n)$ equals $n$, $n-1$, $n-2$, for $1\leq n\leq 4$, $5\leq n\leq 12$, and $n\geq 13$, respectively. For the disjoint union of $P_2\square P_n$s, we show that $γ_{MB}'(\dot\cup_{i=1}^k(P_2\square P_n)_i)=k\cdot n$ ($n\geq 1$), and that $γ_{MB}(\dot\cup_{i=1}^k(P_2\square P_n)_i)$ equals $k\cdot n$, $k\cdot n-1$, $k\cdot n-2$ for $1\leq n\leq 4$, $5\leq n\leq 12$, and $n\geq 13$, respectively.
Ringel's tree packing conjecture in quasirandom graphs
Published
• View Publication
• BIB
We prove that any quasirandom graph with $n$ vertices and $rn$ edges can be decomposed into $n$ copies of any fixed tree with $r$ edges. The case of decomposing a complete graph establishes a conjecture of Ringel from 1963.
Further Evidence Towards the Multiplicative 1-2-3 Conjecture
Published
• View Publication
• BIB
The product version of the 1-2-3 Conjecture, introduced by Skowronek-Kazi{ó}w in 2012, states that, a few obvious exceptions apart, all graphs can be 3-edge-labelled so that no two adjacent vertices get incident to the same product of labels. To date, this conjecture was mainly verified for complete graphs and 3-colourable graphs. As a strong support to the conjecture, it was also proved that all graphs admit such 4-labellings. In this work, we investigate how a recent proof of the multiset version of the 1-2-3 Conjecture by Vu{\v c}kovi{ć} can be adapted to prove results on the product version. We prove that 4-chromatic graphs verify the product version of the 1-2-3 Conjecture. We also prove that for all graphs we can design 3-labellings that almost have the desired property. This leads to a new problem, that we solve for some graph classes.
Cliques and constructors in "Hats'"game
Published
• View Publication
• BIB
The following general variant of deterministic Hats game is analyzed. Several sages wearing colored hats occupy the vertices of a graph, the $k$-th sage can have hats of one of $h(k)$ colors. Each sage tries to guess the color of his own hat merely on the basis of observing the hats of his neighbors without exchanging any information. A predetermined guessing strategy is winning if it guarantees at least one correct individual guess for every assignment of colors.
For complete graphs and for cycles we solve the problem of describing functions $h(k)$ for which the sages win. We demonstrate here winning strategies for the sages on complete graphs, and analyze the Hats game on almost complete graphs. We develop "theory of constructors", that is a collection of theorems demonstrating how one can construct new graphs for which the sages win. We define also new game "Check by rook" which is equivalent to Hats game on 4-cycle and give complete analysis of this game.
Complete Edge-Colored Permutation Graphs
Published
• View Publication
• BIB
We introduce the concept of complete edge-colored permutation graphs as complete graphs that are the edge-disjoint union of "classical" permutation graphs. We show that a graph $G=(V,E)$ is a complete edge-colored permutation graph if and only if each monochromatic subgraph of $G$ is a "classical" permutation graph and $G$ does not contain a triangle with~$3$ different colors. Using the modular decomposition as a framework we demonstrate that complete edge-colored permutation graphs are characterized in terms of their strong prime modules, which induce also complete edge-colored permutation graphs. This leads to an $\mathcal{O}(|V|^2)$-time recognition algorithm. We show, moreover, that complete edge-colored permutation graphs form a superclass of so-called symbolic ultrametrics and that the coloring of such graphs is always a Gallai coloring.
Clique immersions in graphs of independence number two with certain forbidden subgraphs
Published
• View Publication
• BIB
The Lescure-Meyniel conjecture is the analogue of Hadwiger's conjecture for the immersion order. It states that every graph $G$ contains the complete graph $K_{χ(G)}$ as an immersion, and like its minor-order counterpart it is open even for graphs with independence number 2. We show that every graph $G$ with independence number $α(G)\ge 2$ and no hole of length between $4$ and $2α(G)$ satisfies this conjecture. In particular, every $C_4$-free graph $G$ with $α(G)= 2$ satisfies the Lescure-Meyniel conjecture. We give another generalisation of this corollary, as follows. Let $G$ and $H$ be graphs with independence number at most 2, such that $|V(H)|\le 4$. If $G$ is $H$-free, then $G$ satisfies the Lescure-Meyniel conjecture.
Colouring $(sP_1+P_5)$-Free Graphs: a Mim-Width Perspective
We prove that the class of $(K_t,sP_1+P_5)$-free graphs has bounded mim-width for every $s\geq 0$ and $t\geq 1$, and that there is a polynomial-time algorithm that, given a graph in the class, computes a branch decomposition of constant mim-width. A large number of \NP-complete graph problems become polynomial-time solvable on graph classes with bounded mim-width and for which a branch decomposition is quickly computable. The $k$-Colouring problem is an example of such a problem. For this problem, we may assume that the input graph is $K_{k+1}$-free. Then, as a consequence of our result, we obtain a new proof for the known result that for every fixed $k\geq 1$ and $s\geq 0$, $k$-Colouring is polynomial-time solvable for $(sP_1+P_5)$-free graphs. In fact, our findings show that the underlying reason for this polynomial-time algorithm is that the class has bounded mim-width.
Color isomorphic even cycles and a related Ramsey problem
Published
• View Publication
• BIB
In this paper, we first study a new extremal problem recently posed by Conlon and Tyomkyn~(arXiv: 2002.00921). Given a graph $H$ and an integer $k\geqslant 2$, let $f_{k}(n,H)$ be the smallest number of colors $c$ such that there exists a proper edge-coloring of the complete graph $K_{n}$ with $c$ colors containing no $k$ vertex-disjoint color-isomorphic copies of $H$. Using algebraic properties of polynomials over finite fields, we give an explicit proper edge-coloring of $K_{n}$ and show that $f_{k}(n, C_{4})=Θ(n)$ when $k\geqslant 3$ and $n\rightarrow\infty$. The methods we used in the edge-coloring may be of some independent interest. We also consider a related generalized Ramsey problem. For given graphs $G$ and $H,$ let $r(G,H,q)$ be the minimum number of edge-colors (not necessarily proper) of $G$, such that the edges of every copy of $H\subseteq G$ together receive at least $q$ distinct colors. Establishing the relation to the Turán number of specified bipartite graphs, we obtain some general lower bounds for $r(K_{n,n},K_{s,t},q)$ with a broad range of $q$.
Supereulerian 2-edge-coloured graphs
Published
• View Publication
• BIB
A 2-edge-coloured graph $G$ is {\bf supereulerian} if $G$ contains a spanning closed trail in which the edges alternate in colours. An {\bf eulerian factor} of a 2-edge-coloured graph is a collection of vertex disjoint induced subgraphs which cover all the vertices of $G$ such that each of these subgraphs is supereulerian. We give a polynomial algorithm to test if a 2-edge-coloured graph has an eulerian factor and to produce one when it exists. A 2-edge-coloured graph is {\bf (trail-)colour-connected} if it contains a pair of alternating $(u,v)$-paths ($(u,v)$-trails) whose union is an alternating closed walk for every pair of distinct vertices $u,v$. A 2-edge-coloured graph is {\bf M-closed} if $xz$ is an edge of $G$ whenever some vertex $u$ is joined to both $x$ and $z$ by edges of the same colour. M-closed 2-edge-coloured graphs, introduced in \cite{balbuenaDMTCS21}, form a rich generalization of 2-edge-coloured complete graphs. We show that if $G$ is an extension of an M-closed 2-edge-coloured complete graph, then $G$ is supereulerian if and only if $G$ is trail-colour-connected and has an eulerian factor. We also show that for general 2-edge-coloured graphs it is NP-complete to decide whether the graph is supereulerian. Finally we pose a number of open problems.
Tipsy cop and drunken robber: a variant of the cop and robber game on graphs
Published
• View Publication
• BIB
Motivated by a biological scenario illustrated in the YouTube video \url{ https://www.youtube.com/watch?v=Z_mXDvZQ6dU} where a neutrophil chases a bacteria cell moving in random directions, we present a variant of the cop and robber game on graphs called the tipsy cop and drunken robber game. In this game, we place a tipsy cop and a drunken robber at different vertices of a finite connected graph $G$. The game consists of independent moves where the robber begins the game by moving to an adjacent vertex from where he began, this is then followed by the cop moving to an adjacent vertex from where she began. Since the robber is inebriated, he takes random walks on the graph, while the cop being tipsy means that her movements are sometimes random and sometimes intentional. Our main results give formulas for the probability that the robber is still free from capture after $m$ moves of this game on highly symmetric graphs, such as the complete graphs, complete bipartite graphs, and cycle graphs. We also give the expected encounter time between the cop and robber for these families of graphs. We end the manuscript by presenting a general method for computing such probabilities and also detail a variety of directions for future research.
Rainbow Saturation
Published
• View Publication
• BIB
We introduce a notion of rainbow saturation and the corresponding rainbow saturation number. This is the saturation version of the rainbow Turán numbers whose systematic study was initiated by Keevash, Mubayi, Sudakov, and Verstraëte. We give examples of graphs for which the rainbow saturation number is bounded away from the ordinary saturation number. This includes all complete graphs $K_n$ for $n\geq 4$, and several bipartite graphs. It is notable that there are non-bipartite graphs for which this is the case, as this does not happen when it comes to the rainbow extremal number versus the traditional extremal number. We also show that saturation numbers are linear for a large class of graphs, providing a partial rainbow analogue of a well known theorem of Kásonyi and Tuza. We conclude this paper with related open questions and conjectures.
Subgraph densities in a surface
Published in Combinatorics, Probability and Computing, 31(5), 812-839 (2022)
• View Publication
• BIB
Given a fixed graph $H$ that embeds in a surface $Σ$, what is the maximum number of copies of $H$ in an $n$-vertex graph $G$ that embeds in $Σ$? We show that the answer is $Θ(n^{f(H)})$, where $f(H)$ is a graph invariant called the `flap-number' of $H$, which is independent of $Σ$. This simultaneously answers two open problems posed by Eppstein (1993). When $H$ is a complete graph we give more precise answers.
The Ramsey number of a long cycle and complete graphs
In this paper, we prove that the multicolored Ramsey number $R(G_1,\dots,G_n,K_{n_1},\dots,K_{n_r})$ is at least $(γ-1)(κ-1)+1$ for arbitrary connected graphs $G_1,\dots,G_n$ and $n_1,\dots,n_r\in\mathbb{N}$, where $γ=R(G_1,\dots,G_n)$ and $κ=R(K_{n_1},\dots,K_{n_r})$. Erd\H os at al. conjectured that $R(C_n,K_l)=(n-1)(l-1)+1$ for every $n\geq l\geq 3$ except for $n=l=3$. Nikiforov proved this conjecture for $n\geq 4l+2$. Using the above bound, we derive the following generalization of this result. $R(C_n,K_{n_1},\dots,K_{n_r})=(n-1)(κ-1)+1$, where $κ=R(K_{n_1},\dots,K_{n_r})$ and $n\geq 4κ+2$.
Asymptotics for Push on the Complete Graph
Published in Stochastic Processes and their Applications 137 (2021) 35-61
• View Publication
• BIB
We study the popular randomized rumour spreading protocol Push. Initially, a node in a graph possesses some information, which is then spread in a round based manner. In each round, each informed node chooses uniformly at random one of its neighbours and passes the information to it. The central quantity to investigate is the Runtime, that is, the number of rounds needed until every node has received the information.
The Push protocol and variations of it have been studied extensively. Here we study the case where the underlying graph is complete with $n$ nodes. Even in this most basic setting, specifying the limiting distribution of the runtime as well as determining related quantities, like its expectation, have remained open problems since the protocol was introduced.
In our main result we describe the limiting distribution of the runtime. We show that it does not converge, and that it becomes, after the appropriate normalization, asymptotically periodic both on the $\log_2n$ as well as on the $\ln n$ scale. In particular, the limiting distribution converges only if we restrict ourselves to suitable subsequences of $\mathbb N$, where simultaneously $\log_2 n-\lfloor\log_2n\rfloor\to x$ and $\ln n-\lfloor\ln n\rfloor\to y$ for some fixed $x,y\in [0,1)$. On such subsequences we show that the expected runtime is $\log_2 n+\ln n+h(x,y)+o(1)$, where $h$ is explicitly given and numerically $|\sup h - \inf h| \approx 2\cdot 10^{-4}$.
Complex uniformly resolvable decompositions of $K_v$
In this paper we consider the complex uniformly resolvable decompositions of the complete graph $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph from a given set $\mathcal H$. We completely determine the spectrum for the cases $\mathcal{H} = \{K_2, P_3, K_3\}$, $\mathcal{H} = \{P_4, C_4\}$, and $\mathcal{H} = \{K_2, P_4, C_4\}$.
Fast Strategies in Waiter-Client Games on $K_n$
Published in Electronic Journal of Combinatorics 27(3) (2020), #P3.57
• View Publication
• BIB
Waiter-Client games are played on some hypergraph $(X,\mathcal{F})$, where $\mathcal{F}$ denotes the family of winning sets. For some bias $b$, during each round of such a game Waiter offers to Client $b+1$ elements of $X$, of which Client claims one for himself while the rest go to Waiter. Proceeding like this Waiter wins the game if she forces Client to claim all the elements of any winning set from $\mathcal{F}$. In this paper we study fast strategies for several Waiter-Client games played on the edge set of the complete graph, i.e. $X=E(K_n)$, in which the winning sets are perfect matchings, Hamilton cycles, pancyclic graphs, fixed spanning trees or factors of a given graph.
On Broadcasting Time in the Model of Travelling Agents
Published
• View Publication
• BIB
Consider the following broadcasting process run on a connected graph $G=(V,E)$. Suppose that $k \ge 2$ agents start on vertices selected from $V$ uniformly and independently at random. One of the agents has a message that she wants to communicate to the other agents. All agents perform independent random walks on $G$, with the message being passed when an agent that knows the message meets an agent that does not know the message. The broadcasting time $ξ(G,k)$ is the time it takes to spread the message to all agents.
Our ultimate goal is to gain a better understanding of the broadcasting process run on real-world networks of roads of large cities that might shed some light on the behaviour of future autonomous and connected vehicles. Due to the complexity of road networks, such phenomena have to be studied using simulation in practical applications. In this paper, we study the process on the simplest scenario, i.e., the family of complete graphs, as in this case the problem is analytically tractable. We provide tight bounds for $ξ(K_n,k)$ that hold asymptotically almost surely for the whole range of the parameter $k$. These theoretical results reveal interesting relationships and, at the same time, are also helpful to understand and explain the behaviour we observe in more realistic networks.
Signed analogue of line graphs and their smallest eigenvalues
Published
• View Publication
• BIB
In this paper, we show that every connected signed graph with smallest eigenvalue strictly greater than $-2$ and large enough minimum degree is switching equivalent to a complete graph. This is a signed analogue of a theorem of Hoffman. The proof is based on what we call Hoffman's limit theorem which we formulate for Hermitian matrices, and also the extension of the concept of Hoffman graph and line graph for the setting of signed graphs.
The number of triangles is more when they have no common vertex
Published
• View Publication
• BIB
By the theorem of Mantel $[5]$ it is known that a graph with $n$ vertices and $\lfloor \frac{n^{2}}{4} \rfloor+1$ edges must contain a triangle. A theorem of Erdős gives a strengthening: there are not only one, but at least $\lfloor\frac{n}{2}\rfloor$ triangles. We give a further improvement: if there is no vertex contained by all triangles then there are at least $n-2$ of them. There are some natural generalizations when $(a)$ complete graphs are considered (rather than triangles), $(b)$ the graph has $t$ extra edges (not only one) or $(c)$ it is supposed that there are no $s$ vertices such that every triangle contains one of them. We were not able to prove these generalizations, they are posed as conjectures.