Coloring random graphs online without creating monochromatic subgraphs1. Issue 4 (17th July 2012)

• Record Type: Journal Article
• Authors: Mütze, Torsten; Rast, Thomas; Spöhel, Reto
• Is Part Of: Random structures & algorithms. Volume 44:Issue 4(2014)
• Page Start: 419
• Page End: 464
• Publication Date: 2012-07-17
• Subjects: Random graphs -- Periodicals; Mathematical analysis -- Periodicals; 519
• DOI: 10.1002/rsa.20445
• Languages: English
• ISSNs: 1042-9832

Abstract

<abstract abstract-type="main"> <title>Abstract</title> <p>Consider the following random process: The vertices of a binomial random graph <italic>G</italic><sub><italic>n, p</italic></sub> are revealed one by one, and at each step only the edges induced by the already revealed vertices are visible. Our goal is to assign to each vertex one from a fixed number <italic>r</italic> of available colors immediately and irrevocably without creating a monochromatic copy of some fixed graph <italic>F</italic> in the process. Our first main result is that for any <italic>F</italic> and <italic>r</italic>, the threshold function for this problem is given by <italic>p</italic><sub>0</sub>(<italic>F, r, n</italic>) = <italic>n</italic><sup>‐1</sup>/<italic>m*</italic><sub>1</sub>(<italic>F, r</italic>), where <italic>m*</italic><sub>1</sub>(<italic>F, r</italic>) denotes the so‐called <italic>online vertex‐Ramsey density</italic> of <italic>F</italic> and <italic>r</italic>. This parameter is defined via a purely deterministic two‐player game, in which the random process is replaced by an adversary that is subject to certain restrictions inherited from the random setting. Our second main result states that for any <italic>F</italic> and <italic>r</italic>, the online vertex‐Ramsey density m*<sub>1</sub>(<italic>F, r</italic>) is a computable rational number.</p> <p>Our lower bound proof is algorithmic, i.e., we obtain polynomial‐time online algorithms that succeed in coloring <italic>G</italic><sub><italic>n, p</italic></sub> as desired with probability 1 ‐ <italic>o</italic>(1) for any <italic>p</italic>(<italic>n</italic>) = <italic>o</italic>(<italic>n</italic><sup>‐1</sup>/<italic>m*</italic><sub>1</sub>(<italic>F, r</italic>)). © 2012 Wiley Periodicals, Inc. Random Struct. Alg. 44, 419–464, 2014</p> </abstract>