complete graph
2160 papers tagged with this keyword
Equitable list point arboricity of graphs
Published
• View Publication
• BIB
A graph $G$ is list point $k$-arborable if, whenever we are given a $k$-list assignment $L(v)$ of colors for each vertex $v\in V(G)$, we can choose a color $c(v)\in L(v)$ for each vertex $v$ so that each color class induces an acyclic subgraph of $G$, and is equitable list point $k$-arborable if $G$ is list point $k$-arborable and each color appears on at most $\lceil |V(G)|/k\rceil$ vertices of $G$. In this paper, we conjecture that every graph $G$ is equitable list point $k$-arborable for every $k\geq \lceil(Δ(G)+1)/2\rceil$ and settle this for complete graphs, 2-degenerate graphs, 3-degenerate claw-free graphs with maximum degree at least 4, and planar graphs with maximum degree at least 8.
On graphs with representation number 3
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $(x,y)$ is an edge in $E$. A graph is word-representable if and only if it is $k$-word-representable for some $k$, that is, if there exists a word containing $k$ copies of each letter that represents the graph. Also, being $k$-word-representable implies being $(k+1)$-word-representable. The minimum $k$ such that a word-representable graph is $k$-word-representable, is called graph's representation number.
Graphs with representation number 1 are complete graphs, while graphs with representation number 2 are circle graphs. The only fact known before this paper on the class of graphs with representation number 3, denoted by $\mathcal{R}_3$, is that the Petersen graph and triangular prism belong to this class. In this paper, we show that any prism belongs to $\mathcal{R}_3$, and that two particular operations of extending graphs preserve the property of being in $\mathcal{R}_3$. Further, we show that $\mathcal{R}_3$ is not included in a class of $c$-colorable graphs for a constant $c$. To this end, we extend three known results related to operations on graphs.
We also show that ladder graphs used in the study of prisms are $2$-word-representable, and thus each ladder graph is a circle graph. Finally, we discuss $k$-word-representing comparability graphs via consideration of crown graphs, where we state some problems for further research.
Computational search of small point sets with small rectilinear crossing number
Published
• View Publication
• BIB
Let $\crs(K_n)$ be the minimum number of crossings over all rectilinear drawings of the complete graph on $n$ vertices on the plane. In this paper we prove that $\crs(K_n) < 0.380473\binom{n}{4}+Θ(n^3)$; improving thus on the previous best known upper bound. This is done by obtaining new rectilinear drawings of $K_n$ for small values of $n$, and then using known constructions to obtain arbitrarily large good drawings from smaller ones. The "small" sets where found using a simple heuristic detailed in this paper.
Hamiltonian increasing paths in random edge orderings
Published
• View Publication
• BIB
If the edges of the complete graph $K_n$ are totally ordered, a simple path whose edges are in ascending order is called increasing. The worst-case length of the longest increasing path has remained an open problem for several decades, with asymptotic bounds between $\sqrt{n}$ (Graham and Kleitman, 1973) and $n/2$ (Calderbank, Chung, and Sturtevant, 1984).
We consider the average case, when the ordering is chosen uniformly at random. We discover the surprising result that in the random setting, an increasing path of the maximum possible length of $n-1$ exists with probability at least about $1/e$. We also prove that with probability $1-o(1)$, there is an increasing path of length at least $0.85n$, suggesting that this Hamiltonian (or near-Hamiltonian) phenomenon may hold asymptotically almost surely.
The Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
Fix positive integers $p$ and $q$ with $2 \leq q \leq {p \choose 2}$. An edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ different colors. The function $f(n, p, q)$ is the minimum number of colors that are needed for $K_n$ to have a $(p,q)$-coloring. This function was introduced by Erdős and Shelah about 40 years ago, but Erdős and Gyárfás were the first to study the function in a systematic way. They proved that $f(n, p, p)$ is polynomial in $n$ and asked to determine the maximum $q$, depending on $p$, for which $f(n,p,q)$ is subpolynomial in $n$. We prove that the answer is $p-1$.
Mixed, Multi-color, and Bipartite Ramsey Numbers Involving Trees of Small Diameter
In this paper we study Ramsey numbers for trees of diameter 3 (bistars) vs., respectively, trees of diameter 2 (stars), complete graphs, and many complete graphs. In the case of bistars vs. many complete graphs, we determine this number exactly as a function of the Ramsey number for the complete graphs. We also determine the order of growth of the bipartite $k$-color Ramsey number for a bistar.
Picker-Chooser fixed graph games
Published
• View Publication
• BIB
Given a fixed graph $H$ and a positive integer $n$, a Picker-Chooser $H$-game is a biased game played on the edge set of $K_n$ in which Picker is trying to force many copies of $H$ and Chooser is trying to prevent him from doing so. In this paper we conjecture that the value of the game is roughly the same as the expected number of copies of $H$ in the random graph $G(n,p)$ and prove our conjecture for special cases of $H$ such as complete graphs and trees.
Resolvable 3-star designs
Let Kv be the complete graph of order v and F be a set of 1-factors of Kv. In this article we study the existence of a resolvable decomposition of Kv - F into 3-stars when F has the minimum number of 1-factors. We completely solve the case in which F has the minimum number of 1- factors, with the possible exception of v in {40, 44, 52, 76, 92, 100, 280, 284, 328, 332, 428, 472, 476, 572}.
Connected Colourings of Complete Graphs and Hypergraphs
Published
• View Publication
• BIB
Gallai's colouring theorem states that if the edges of a complete graph are 3-coloured, with each colour class forming a connected (spanning) subgraph, then there is a triangle that has all 3 colours. What happens for more colours: if we $k$-colour the edges of the complete graph, with each colour class connected, how many of the $\binom{k}{3}$ triples of colours must appear as triangles?
In this note we show that the `obvious' conjecture, namely that there are always at least $\binom{k-1}{2}$ triples, is not correct. We determine the minimum asymptotically. This answers a question of Johnson. We also give some results about the analogous problem for hypergraphs, and we make a conjecture that we believe is the `right' generalisation of Gallai's theorem to hypergraphs.
Forcing a sparse minor
Published in Combinator. Probab. Comp. 25 (2016) 300-322
• View Publication
• BIB
This paper addresses the following question for a given graph $H$: what is the minimum number $f(H)$ such that every graph with average degree at least $f(H)$ contains $H$ as a minor? Due to connections with Hadwiger's Conjecture, this question has been studied in depth when $H$ is a complete graph. Kostochka and Thomason independently proved that $f(K_t)=ct\sqrt{\ln t}$. More generally, Myers and Thomason determined $f(H)$ when $H$ has a super-linear number of edges. We focus on the case when $H$ has a linear number of edges. Our main result, which complements the result of Myers and Thomason, states that if $H$ has $t$ vertices and average degree $d$ at least some absolute constant, then $f(H)\leq 3.895\sqrt{\ln d}\,t$. Furthermore, motivated by the case when $H$ has small average degree, we prove that if $H$ has $t$ vertices and $q$ edges, then $f(H) \leq t+6.291q$ (where the coefficient of 1 in the $t$ term is best possible).
Density version of the Ramsey problem and the directed Ramsey problem
We discuss a variant of the Ramsey and the directed Ramsey problem. First, consider a complete graph on $n$ vertices and a two-coloring of the edges such that every edge is colored with at least one color and the number of bicolored edges $|E_{RB}|$ is given. The aim is to find the maximal size $f$ of a monochromatic clique which is guaranteed by such a coloring. Analogously, in the second problem we consider semicomplete digraph on $n$ vertices such that the number of bi-oriented edges $|E_{bi}|$ is given. The aim is to bound the size $F$ of the maximal transitive subtournament that is guaranteed by such a digraph.
Applying probabilistic and analytic tools and constructive methods we show that if $|E_{RB}|=|E_{bi}| = p{n\choose 2}$, ($p\in [0,1)$), then $f, F < C_p\log(n)$ where $C_p$ only depend on $p$, while if $m={n \choose 2} - |E_{RB}| <n^{3/2}$ then $f= Θ(\frac{n^2}{m+n})$. The latter case is strongly connected to Turán-type extremal graph theory.
Metric Dimension of Amalgamation of Regular Graphs
A set of vertices $S$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of $G$ is the minimum cardinality of a resolving set of $G$.
Let $\{G_1, G_2, \ldots, G_n\}$ be a finite collection of graphs and each $G_i$ has a fixed vertex $v_{0_i}$ or a fixed edge $e_{0_i}$ called a terminal vertex or edge, respectively. The vertex-amalgamation of $G_1, G_2, \ldots, G_n$, denoted by $Vertex-Amal\{G_i;v_{0_i}\}$, is formed by taking all the $G_i$'s and identifying their terminal vertices. Similarly, the edge-amalgamation of $G_1, G_2, \ldots, G_n$, denoted by $Edge-Amal\{G_i;e_{0_i}\}$, is formed by taking all the $G_i$'s and identifying their terminal edges.
Here we study the metric dimensions of vertex-amalgamation and edge-amalgamation for finite collection of regular graphs: complete graphs and prisms.
A domination algorithm for $\{0,1\}$-instances of the travelling salesman problem
We present an approximation algorithm for $\{0,1\}$-instances of the travelling salesman problem which performs well with respect to combinatorial dominance. More precisely, we give a polynomial-time algorithm which has domination ratio $1-n^{-1/29}$. In other words, given a $\{0,1\}$-edge-weighting of the complete graph $K_n$ on $n$ vertices, our algorithm outputs a Hamilton cycle $H^*$ of $K_n$ with the following property: the proportion of Hamilton cycles of $K_n$ whose weight is smaller than that of $H^*$ is at most $n^{-1/29}$. Our analysis is based on a martingale approach. Previously, the best result in this direction was a polynomial-time algorithm with domination ratio $1/2-o(1)$ for arbitrary edge-weights. We also prove a hardness result showing that, if the Exponential Time Hypothesis holds, there exists a constant $C$ such that $n^{-1/29}$ cannot be replaced by $\exp(-(\log n)^C)$ in the result above.
Maxima Q-index of graphs with forbidden odd cycles
Published
• View Publication
• BIB
Let $q\left( G\right) $ be the $Q$-index (the largest eigenvalue of the signless Laplacian) of $G$. Let $S_{n,k}$ be the graph obtained by joining each vertex of a complete graph of order $k$ to each vertex of an independent set of order $n-k.$ The main result of this paper is the following theorem:
Let $k\geq3,$ $n\geq110k^{2},$ and $G$ be a graph of order $n$. If $G$ has no $C_{2k+1},$ then $q\left( G\right) <q\left( S_{n,k}\right) ,$ unless $G=S_{n,k}.$
This result proves the odd case of the conjecture in [M.A.A. de Freitas, V. Nikiforov, and L. Patuzzi, Maxima of the $Q$-index: forbidden $4$-cycle and $5$-cycle, \emph{Electron. J. Linear Algebra }26 (2013), 905-916.]
On Distance Antimagic Graphs
For an arbitrary set of distances $D\subseteq \{0,1, \ldots, diam(G)\}$, a $D$-weight of a vertex $x$ in a graph $G$ under a vertex labeling $f:V\rightarrow \{1,2, \ldots , v\}$ is defined as $w_D(x)=\sum_{y\in N_D(x)} f(y)$, where $N_D(x) = \{y \in V| d(x,y) \in D\}$. A graph $G$ is said to be $D$-distance magic if all vertices has the same $D$-vertex-weight, it is said to be $D$-distance antimagic if all vertices have distinct $D$-vertex-weights, and it is called $(a,d)-D$-distance antimagic if the $D$-vertex-weights constitute an arithmetic progression with difference $d$ and starting value $a$.
In this paper we study some necessary conditions for the existence of $D$-distance antimagic graphs. We conjecture that such conditions are also sufficient. Additionally, we study $\{1\}$-distance antimagic labelings for some cycle-related connected graphs: cycles, suns, prisms, complete graphs, wheels, fans, and friendship graphs.
The Bondage Number of the Strong Product of a Complete Graph and a Path
Published in Discrete Math. Algorithms Appl. 8(1) (2016) 1650006 (14 pages)
• View Publication
• BIB
The bondage number $b(G)$ of a graph $G$ is the cardinality of a minimum edge set whose removal from $G$ results in a graph with the domination number greater than that of $G$. It is a parameter to measure the vulnerability of a communication network under link failure. In this paper, we obtain the exact value of the bondage number of the strong product of a complete graph and a path. That is, for any two integers $m\geq1$ and $n\geq2$, $b(K_{m}\boxtimes P_{n})=\lceil\frac{m}{2}\rceil$ if $n\equiv 0$ (mod 3); $m$ if $n\equiv 2$ (mod 3); $\lceil\frac{3m}{2}\rceil$ if $n\equiv 1$ (mod 3). Furthermore, we determine the exact value of the bondage number of the strong product of a complete graph and a special starlike tree.
Crossing numbers and combinatorial characterization of monotone drawings of $K_n$
Published in Discrete and Computational Geometry 53 (2015), Issue 1, 107-143
• View Publication
• BIB
In 1958, Hill conjectured that the minimum number of crossings in a drawing of $K_n$ is exactly $Z(n) = \frac{1}{4} \lfloor\frac{n}{2}\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor\frac{n-2}{2}\right\rfloor\left\lfloor\frac{n-3}{2}\right\rfloor$. Generalizing the result by Ábrego et al. for 2-page book drawings, we prove this conjecture for plane drawings in which edges are represented by $x$-monotone curves. In fact, our proof shows that the conjecture remains true for $x$-monotone drawings of $K_n$ in which adjacent edges may cross an even number of times, and instead of the crossing number we count the pairs of edges which cross an odd number of times. We further discuss a generalization of this result to shellable drawings, a notion introduced by Ábrego et al. We also give a combinatorial characterization of several classes of $x$-monotone drawings of complete graphs using a small set of forbidden configurations. For a similar local characterization of shellable drawings, we generalize Carathéodory's theorem to simple drawings of complete graphs.
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3
Published
• View Publication
• BIB
A clique of a graph is a maximal set of vertices of size at least 2 that induces a complete graph. A $k$-clique-colouring of a graph is a colouring of the vertices with at most $k$ colours such that no clique is monochromatic. Défossez proved that the 2-clique-colouring of perfect graphs is a $Σ_2^P$-complete problem [J. Graph Theory 62 (2009) 139--156]. We strengthen this result by showing that it is still $Σ_2^P$-complete for weakly chordal graphs. We then determine a hierarchy of nested subclasses of weakly chordal graphs whereby each graph class is in a distinct complexity class, namely $Σ_2^P$-complete, $\mathcal{NP}$-complete, and $\mathcal{P}$. We solve an open problem posed by Kratochvíl and Tuza to determine the complexity of 2-clique-colouring of perfect graphs with all cliques having size at least 3 [J. Algorithms 45 (2002), 40--54], proving that it is a $Σ_2^P$-complete problem. We then determine a hierarchy of nested subclasses of perfect graphs with all cliques having size at least 3 whereby each graph class is in a distinct complexity class, namely $Σ_2^P$-complete, $\mathcal{NP}$-complete, and $\mathcal{P}$.
Uniformly resolvable decompositions of $K_v$ into $P_3$ and $K_3$ graphs
In this paper we consider the uniformly resolvable decompositions of the complete graph $K_v$, or the complete graph minus a 1-factor as appropriate, into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We completely determine the spectrum for the case in which all the resolution classes are either $P_3$ or $K_3$.
On the path separation number of graphs
Published
• View Publication
• BIB
A path separator of a graph $G$ is a set of paths $\mathcal{P}=\{P_1,\ldots,P_t\}$ such that for every pair of edges $e,f\in E(G)$, there exist paths $P_e,P_f\in\mathcal{P}$ such that $e\in E(P_e)$, $f\not\in E(P_e)$, $e\not\in E(P_f)$ and $f\in E(P_f)$. The path separation number of $G$, denoted ${\rm psn}(G)$, is the smallest number of paths in a path separator. We shall estimate the path separation number of several graph families, including complete graphs, random graph, the hypercube, and discuss general graphs as well.