complete graph
2194 papers tagged with this keyword
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.
What is Ramsey-equivalent to a clique?
Published
• View Publication
• BIB
A graph G is Ramsey for H if every two-colouring of the edges of G contains a monochromatic copy of H. Two graphs H and H' are Ramsey-equivalent if every graph G is Ramsey for H if and only if it is Ramsey for H'. In this paper, we study the problem of determining which graphs are Ramsey-equivalent to the complete graph K_k. A famous theorem of Nesetril and Rodl implies that any graph H which is Ramsey-equivalent to K_k must contain K_k. We prove that the only connected graph which is Ramsey-equivalent to K_k is itself. This gives a negative answer to the question of Szabo, Zumstein, and Zurcher on whether K_k is Ramsey-equivalent to K_k.K_2, the graph on k+1 vertices consisting of K_k with a pendent edge.
In fact, we prove a stronger result. A graph G is Ramsey minimal for a graph H if it is Ramsey for H but no proper subgraph of G is Ramsey for H. Let s(H) be the smallest minimum degree over all Ramsey minimal graphs for H. The study of s(H) was introduced by Burr, Erdos, and Lovasz, where they show that s(K_k)=(k-1)^2. We prove that s(K_k.K_2)=k-1, and hence K_k and K_k.K_2 are not Ramsey-equivalent.
We also address the question of which non-connected graphs are Ramsey-equivalent to K_k. Let f(k,t) be the maximum f such that the graph H=K_k+fK_t, consisting of K_k and f disjoint copies of K_t, is Ramsey-equivalent to K_k. Szabo, Zumstein, and Zurcher gave a lower bound on f(k,t). We prove an upper bound on f(k,t) which is roughly within a factor 2 of the lower bound.
Ordered Biclique Partitions and Communication Complexity Problems
Published
• View Publication
• BIB
An ordered biclique partition of the complete graph $K_n$ on $n$ vertices is a collection of bicliques (i.e., complete bipartite graphs) such that (i) every edge of $K_n$ is covered by at least one and at most two bicliques in the collection, and (ii) if an edge $e$ is covered by two bicliques then each endpoint of $e$ is in the first class in one of these bicliques and in the second class in other one. In this note, we give an explicit construction of such a collection of size $n^{1/2+o(1)}$, which improves the $O(n^{2/3})$ bound shown in the previous work [Disc. Appl. Math., 2014].
As the immediate consequences of this result, we show (i) a construction of $n \times n$ 0/1 matrices of rank $n^{1/2+o(1)}$ which have a fooling set of size $n$, i.e., the gap between rank and fooling set size can be at least almost quadratic, and (ii) an improved lower bound $(2-o(1)) \log N$ on the nondeterministic communication complexity of the clique vs. independent set problem, which matches the best known lower bound on the deterministic version of the problem shown by Kushilevitz, Linial and Ostrovsky [Combinatorica, 1999].
Influence Diffusion in Social Networks under Time Window Constraints
Published
• View Publication
• BIB
We study a combinatorial model of the spread of influence in networks that generalizes existing schemata recently proposed in the literature. In our model, agents change behaviors/opinions on the basis of information collected from their neighbors in a time interval of bounded size whereas agents are assumed to have unbounded memory in previously studied scenarios. In our mathematical framework, one is given a network $G=(V,E)$, an integer value $t(v)$ for each node $v\in V$, and a time window size $λ$. The goal is to determine a small set of nodes (target set) that influences the whole graph. The spread of influence proceeds in rounds as follows: initially all nodes in the target set are influenced; subsequently, in each round, any uninfluenced node $v$ becomes influenced if the number of its neighbors that have been influenced in the previous $λ$ rounds is greater than or equal to $t(v)$. We prove that the problem of finding a minimum cardinality target set that influences the whole network $G$ is hard to approximate within a polylogarithmic factor. On the positive side, we design exact polynomial time algorithms for paths, rings, trees, and complete graphs.
Simple Extensions of Polytopes
Published
• View Publication
• BIB
We introduce the simple extension complexity of a polytope P as the smallest number of facets of any simple (i.e., non-degenerate in the sense of linear programming) polytope which can be projected onto P. We devise a combinatorial method to establish lower bounds on the simple extension complexity and show for several polytopes that they have large simple extension complexities. These examples include both the spanning tree and the perfect matching polytopes of complete graphs, uncapacitated flow polytopes for non-trivially decomposable directed acyclic graphs, hypersimplices, and random 0/1-polytopes with vertex numbers within a certain range. On our way to obtain the result on perfect matching polytopes we generalize a result of Padberg and Rao's on the adjacency structures of those polytopes. To complement the lower bounding techniques we characterize in which cases known construction techniques yield simple extensions.
On the Buratti-Horak-Rosa Conjecture about Hamiltonian Paths in Complete Graphs
Published in The Electronic Journal of Combinatorics Volume 21, Issue 2 (2014) #P2.30
• View Publication
• BIB
In this paper we investigate a problem proposed by Marco Buratti, Peter Horak and Alex Rosa (denoted by BHR-problem) concerning Hamiltonian paths in the complete graph with prescribed edge-lengths. In particular we solve BHR({1^a,2^b,t^c}) for any even integer t>=4, provided that a+b>=t-1. Furthermore, for t=4,6,8 we present a complete solution of BHR({1^a,2^b,t^c}) for any positive integer a,b,c.
Excluded vertex-minors for graphs of linear rank-width at most k
Published in European J. Combin., 41(October 2014), pp. 242-257
• View Publication
• BIB
Linear rank-width is a graph width parameter, which is a variation of rank-width by restricting its tree to a caterpillar. As a corollary of known theorems, for each $k$, there is a finite obstruction set $\mathcal{O}_k$ of graphs such that a graph $G$ has linear rank-width at most $k$ if and only if no vertex-minor of $G$ is isomorphic to a graph in $\mathcal{O}_k$. However, no attempts have been made to bound the number of graphs in $\mathcal{O}_k$ for $k\ge 2$. We show that for each $k$, there are at least $2^{Ω(3^k)}$ pairwise locally non-equivalent graphs in $\mathcal{O}_k$, and therefore the number of graphs in $\mathcal{O}_k$ is at least double exponential.
To prove this theorem, it is necessary to characterize when two graphs in $\mathcal O_k$ are locally equivalent. A graph is a block graph if all of its blocks are complete graphs. We prove that if two block graphs without simplicial vertices of degree at least $2$ are locally equivalent, then they are isomorphic. This not only is useful for our theorem but also implies a theorem of Bouchet [Transforming trees by successive local complementations, J. Graph Theory 12 (1988), no. 2, 195-207] stating that if two trees are locally equivalent, then they are isomorphic.