109 research outputs found

    Monochromatic loose paths in multicolored kk-uniform cliques

    Full text link
    For integers k2k\ge 2 and 0\ell\ge 0, a kk-uniform hypergraph is called a loose path of length \ell, and denoted by P(k)P_\ell^{(k)}, if it consists of \ell edges e1,,ee_1,\dots,e_\ell such that eiej=1|e_i\cap e_j|=1 if ij=1|i-j|=1 and eiej=e_i\cap e_j=\emptyset if ij2|i-j|\ge2. In other words, each pair of consecutive edges intersects on a single vertex, while all other pairs are disjoint. Let R(P(k);r)R(P_\ell^{(k)};r) be the minimum integer nn such that every rr-edge-coloring of the complete kk-uniform hypergraph Kn(k)K_n^{(k)} yields a monochromatic copy of P(k)P_\ell^{(k)}. In this paper we are mostly interested in constructive upper bounds on R(P(k);r)R(P_\ell^{(k)};r), meaning that on the cost of possibly enlarging the order of the complete hypergraph, we would like to efficiently find a monochromatic copy of P(k)P_\ell^{(k)} in every coloring. In particular, we show that there is a constant c>0c>0 such that for all k2k\ge 2, 3\ell\ge3, 2rk12\le r\le k-1, and nk(+1)r(1+ln(r))n\ge k(\ell+1)r(1+\ln(r)), there is an algorithm such that for every rr-edge-coloring of the edges of Kn(k)K_n^{(k)}, it finds a monochromatic copy of P(k)P_\ell^{(k)} in time at most cnkcn^k. We also prove a non-constructive upper bound R(P(k);r)(k1)rR(P_\ell^{(k)};r)\le(k-1)\ell r

    Semi-algebraic colorings of complete graphs

    Get PDF
    We consider mm-colorings of the edges of a complete graph, where each color class is defined semi-algebraically with bounded complexity. The case m=2m = 2 was first studied by Alon et al., who applied this framework to obtain surprisingly strong Ramsey-type results for intersection graphs of geometric objects and for other graphs arising in computational geometry. Considering larger values of mm is relevant, e.g., to problems concerning the number of distinct distances determined by a point set. For p3p\ge 3 and m2m\ge 2, the classical Ramsey number R(p;m)R(p;m) is the smallest positive integer nn such that any mm-coloring of the edges of KnK_n, the complete graph on nn vertices, contains a monochromatic KpK_p. It is a longstanding open problem that goes back to Schur (1916) to decide whether R(p;m)=2O(m)R(p;m)=2^{O(m)}, for a fixed pp. We prove that this is true if each color class is defined semi-algebraically with bounded complexity. The order of magnitude of this bound is tight. Our proof is based on the Cutting Lemma of Chazelle {\em et al.}, and on a Szemer\'edi-type regularity lemma for multicolored semi-algebraic graphs, which is of independent interest. The same technique is used to address the semi-algebraic variant of a more general Ramsey-type problem of Erd\H{o}s and Shelah

    Using the Incompressibility Method to obtain Local Lemma results for Ramsey-type Problems

    Full text link
    We reveal a connection between the incompressibility method and the Lovasz local lemma in the context of Ramsey theory. We obtain bounds by repeatedly encoding objects of interest and thereby compressing strings. The method is demonstrated on the example of van der Waerden numbers. It applies to lower bounds of Ramsey numbers, large transitive subtournaments and other Ramsey phenomena as well.Comment: 8 pages, 1 figur

    Complexity of Token Swapping and its Variants

    Full text link
    In the Token Swapping problem we are given a graph with a token placed on each vertex. Each token has exactly one destination vertex, and we try to move all the tokens to their destinations, using the minimum number of swaps, i.e., operations of exchanging the tokens on two adjacent vertices. As the main result of this paper, we show that Token Swapping is W[1]W[1]-hard parameterized by the length kk of a shortest sequence of swaps. In fact, we prove that, for any computable function ff, it cannot be solved in time f(k)no(k/logk)f(k)n^{o(k / \log k)} where nn is the number of vertices of the input graph, unless the ETH fails. This lower bound almost matches the trivial nO(k)n^{O(k)}-time algorithm. We also consider two generalizations of the Token Swapping, namely Colored Token Swapping (where the tokens have different colors and tokens of the same color are indistinguishable), and Subset Token Swapping (where each token has a set of possible destinations). To complement the hardness result, we prove that even the most general variant, Subset Token Swapping, is FPT in nowhere-dense graph classes. Finally, we consider the complexities of all three problems in very restricted classes of graphs: graphs of bounded treewidth and diameter, stars, cliques, and paths, trying to identify the borderlines between polynomial and NP-hard cases.Comment: 23 pages, 7 Figure

    Constructive Lower Bounds on Classical Multicolor Ramsey Numbers

    Get PDF
    This paper studies lower bounds for classical multicolor Ramsey numbers, first by giving a short overview of past results, and then by presenting several general constructions establishing new lower bounds for many diagonal and off-diagonal multicolor Ramsey numbers. In particular, we improve several lower bounds for R_k(4) and R_k(5) for some small k, including 415 \u3c = R_3(5), 634 \u3c = R_4(4), 2721 \u3c = R_4(5), 3416 \u3c = R_5(4) and 26082 \u3c = R_5(5). Most of the new lower bounds are consequences of general constructions

    Rainbow Generalizations of Ramsey Theory - A Dynamic Survey

    Get PDF
    In this work, we collect Ramsey-type results concerning rainbow edge colorings of graphs
    corecore