Topics in Positional Games

Total Page:16

File Type:pdf, Size:1020Kb

Topics in Positional Games Tel Aviv University Raymond and Beverly Sackler Faculty of Exact Sciences School of Mathematical Sciences Topics in Positional Games THESIS SUBMITTED FOR THE DEGREE OF DOCTOR OF PHILOSOPHY by Asaf Ferber The research work for this thesis has been carried out under the supervision of Prof. Michael Krivelevich Submitted to the senate of Tel Aviv University July 2013 iii Acknowledgements It would not have been possible to write this dissertation without the help and support of the kind people around me, to only some of whom it is possible to give particular mention here. Above all, I would like to thank the one and only, my supervisor, Professor Michael Krivelevich, for his guidance, patience and continuous support throughout my studies. You are my role model of a great mathematician and a great teacher. It was a great honor to be your student. Special thanks to Danny Hefetz, who took me under his wings, acted as a second super- visor for me, and also turned into a close friend. I am very grateful for all you have done for me and I hope to continue this legacy with the younger generation. Moreover, I would like to thank all the professors from whom I had the pleasure and honor of learning. In particular, I would like to thank Noga Alon, Moti Gitik, Michael Krivelevich, Benny Sudakov and Tibor Szab´o. Next, I would like to thank all of my co-authors from all around the world. It was a great joy and honor to work with each of you! In particular I would like to thank my fellow graduate students from Berlin, Dennis Clemens and Anita Liebenau, for the continuous inspiring collaboration. I also wish to thank all my friends from the university for making my time there more enjoyable. In particular, I would like to thank Lev Buhovsky, Yaniv Dvir, Gal Kronenberg, Alon Naor, Edva Roditty-Gershon, Wojciech Samotij and Amit Weinstein. Of course, I would also like to thank my parents Malka and Arie, my brothers Benny and Gadi, and my sister Daniela for their unequivocal support, for which my mere expression of thanks does not suffice. Last but not least, I would like to thank my lovely wife Shiran for her love and support. I could not have asked for a better partner for life. iv Abstract Positional Games is a rapidly evolving, relatively young topic in Combinatorics that is deeply linked to several popular areas of Mathematics and Theoretical Computer Science, such as Ramsey Theory, Classical Game Theory and Algorithms. Positional games are finite games of complete information with no chance moves. Therefore, in theory, one can solve them completely by a finite (though absurdly large) case study. Note that this case study yields an optimal deterministic strategy for each such game. In practice, this is impossible as for example, given some initial board position in HEX, which is a positional game, it is PSPACE-complete to decide who wins. Clearly, from the view point of Combinatorics as well as Complexity Theory this is not the end, but rather the starting point of research. It turns out that, even though brute force is impractical, even for such naive looking games as 5 × 5 × 5 Tic-Tac-Toe, there exists in fact a very successful theory. This theory has experienced explosive growth in recent years, and for a systematic study of this subject the reader is referred to the excellent book by J. Beck [9]. The beginning of the systematic study of the theory of Positional games can be definitely attributed to two classical papers: that of Hales and Jewett from 1963 [36], and that of Erd}osand Selfridge from 1973 [24]. The significance of these two papers certainly cannot be overestimated and goes far beyond the realm of Positional Games: the Hales-Jewett theorem is one of the cornerstones of modern Ramsey Theory, the Erd}os-Selfridgeargument was essentially the first derandomization procedure, a central concept in the theory of algorithms. This thesis contains several novel contributions to the theory of Positional Games. One major contribution is to the theory of Strong games (\who does it first?” games). We show a connection between fast strategies in weak games and winning strategies in strong games. We then solve few natural strong games by finding explicit winning strategies. This is surprising since these games are known to be notoriously hard to analyze and not much is known. Another major contribution is to the study of Positional Games played on random boards, initiated by Stojakovi´cand Szab´oin [59]. In this thesis we significantly improve the set of tools and enlarge our knowledge in the study of games played on the edge set of typical random graphs. Such games are also interesting as purely random graph theoretic results since they can be also viewed as a \measurement of robustness" of random models with respect to some natural graph properties. v vi Contents 1 Introduction 1 I Fast weak games VS strong games 9 2 The strong Hamiltonicity and perfect matching games 11 2.1 Introduction . 11 2.1.1 Notation and terminology . 13 2.2 The Perfect Matching Game . 13 2.3 The Hamilton Cycle Game . 16 2.4 Concluding remarks . 21 3 The k-connectivity game 23 3.1 Introduction . 23 3.1.1 Notation and terminology . 24 3.2 A family of k-vertex-connected graphs . 25 3.3 Auxiliary games . 27 3.3.1 A large matching game . 27 3.3.2 A weak positive minimum degree game . 29 3.3.3 A strong positive minimum degree game . 31 3.4 The Maker-Breaker k-vertex-connectivity game . 33 3.5 The strong k-vertex-connectivity game . 38 3.6 Concluding remarks and open problems . 41 4 The specific tree game 43 4.1 Introduction . 43 vii 4.1.1 Notation and terminology . 45 4.2 Auxiliary results . 46 4.2.1 Playing several biased games in parallel . 47 4.2.2 A perfect matching game . 49 4.2.3 A Hamiltonicity game . 50 4.3 Embedding a spanning tree quickly . 52 4.3.1 Following Maker's strategy for Case I . 53 4.3.2 Following Maker's strategy for Case II . 56 4.4 Concluding remarks and open problems . 59 5 Very fast specific tree game 61 5.1 Introduction . 61 5.1.1 Notation and terminology . 63 5.2 Trees which admit a long bare path . 64 5.3 Trees which do not admit a long bare path . 68 5.4 Building trees in optimal time . 76 5.5 Concluding remarks and open problems . 86 II Games on random boards 89 6 Introduction 91 6.0.1 Random graphs . 91 7 Hitting time results 95 7.1 Introduction . 95 7.1.1 Our results . 96 7.1.2 Notation and terminology . 98 7.1.3 Organization . 98 7.2 Auxiliary results . 99 7.2.1 Basic positional games results . 99 7.2.2 (R; c)-expanders . 100 7.3 An expander game on pseudo-random graphs . 101 7.4 Properties of random graphs and random graph processes . 105 viii 7.5 Hitting time of the k-vertex connectivity and perfect matching games . 110 7.5.1 k-vertex connectivity . 110 7.5.2 Perfect matching . 111 7.6 Hitting time of the Hamiltonicity game . 113 7.7 Remarks on possible generalizations . 116 8 Fast Maker-Breaker games on random boards 117 8.1 Introduction . 117 8.1.1 Notation and terminology . 119 8.2 Auxiliary results . 119 8.2.1 Basic positional games results . 119 8.2.2 General graph theory results . 121 8.2.3 Properties of G(n; p)........................... 122 8.2.4 Expanders . 123 8.3 The Perfect Matching Game . 127 8.4 The Hamiltonicity Game . 130 8.5 The k-Connectivity Game . 133 8.6 Open problems . 133 9 Biased games on random boards 135 9.1 Introduction . 135 9.1.1 Notation and terminology . 137 9.2 Auxiliary results . 138 9.2.1 Binomial distribution bounds . 138 9.2.2 Basic positional games results . 138 9.2.3 (R; c)-Expanders . 140 9.2.4 Properties of G ∼ G(n; p)........................ 141 9.2.5 The minimum degree game . 148 9.3 Maker-Breaker games on G(n; p)......................... 152 9.3.1 Breaker's win . 152 9.3.2 Maker's win . 153 9.4 Avoider-Enforcer games on G(n; p)....................... 156 9.4.1 Avoider's win . 156 ix 9.4.2 Enforcer's win . 157 9.5 Concluding remarks and open questions . 159 III The odd cycle game 161 10 The odd cycle game 163 10.1 Introduction . 163 10.1.1 Notation and terminology . 165 10.2 Auxiliary results . 165 10.3 Proofs of Theorems 10.3 and 10.4 . 168 10.4 Proof of Theorem 10.5 . 169 x Chapter 1 Introduction Positional games are two player games played on any hypergraph F ⊆ 2X . The set X is referred to as the board of the game and the subsets of F are the target sets. The players, I and II, alternately claim a and b previously unclaimed elements of the board X, respectively. The game ends when every element of X has been claimed by the players. For every a; b and F, we denote this game by (a; b; F) or call it the (a : b) game F, or the (a : b) game (X; F) (in the most basic version a = b = 1 { the so called unbiased game, we denote the game as the game F or the game (X; F)). The game is specified completely by defining who wins in every possible game scenario.
Recommended publications
  • Globalwaiter-Client and Client-Waiter Games on Sparse Graphs
    ARIEL UNIVERSITY MASTER THESIS Global Waiter-Client and Client-Waiter Games on Sparse Graphs Author: Supervisor: Yael SABATO Prof. Dan HEFETZ Department of Computer Science December 25, 2018 i Declaration of Authorship I, Yael SABATO, hereby declare that this thesis proposal entitled, “Global Waiter- Client and Client-Waiter Games on Sparse Graphs” and the work presented in it are my own. I confirm that: • This work was done wholly or mainly while in candidature for a research de- gree at this University. • Where any part of this thesis has previously been submitted for a degree or any other qualification at this University or any other institution, this has been clearly stated. • Where I have consulted the published work of others, this is always clearly attributed. • Where I have quoted from the work of others, the source is always given. With the exception of such quotations, this thesis is entirely my own work. • I have acknowledged all main sources of help. • Where the thesis is based on work done by myself jointly with others, I have made clear exactly what was done by others and what I have contributed my- self. Signed: Date: ii Ariel University Abstract Faculty of Natural Sciences Department of Computer Science Master Global Waiter-Client and Client-Waiter Games on Sparse Graphs by Yael SABATO In this thesis we consider global Waiter-Client and Client-Waiter games, played on the edge set of sparse graphs. For a given global graph property P, we seek the smallest integer w^ =w ^(n; P) such that there is a graph G with v(G) = n and e(G) = w^, on which Waiter can force Client to build a subgraph that satisfies P in a Waiter- Client game on E(G), regardless of Client’s strategy.
    [Show full text]
  • A Threshold for the Maker-Breaker Clique Game∗
    A threshold for the Maker-Breaker clique game∗ Tobias M¨uller y MiloˇsStojakovi´c z October 7, 2012 Abstract We study the Maker-Breaker k-clique game played on the edge set of the random graph G(n; p). In this game, two players, Maker and Breaker, alternately claim unclaimed edges of G(n; p), until all the edges are claimed. Maker wins if he claims all the edges of a k-clique; Breaker wins otherwise. We determine that the threshold − 2 for the graph property that Maker can win this game is at n k+1 , for all k > 3, thus proving a conjecture from [20]. More precisely, we conclude that there exist − 2 constants c; C > 0 such that when p > Cn k+1 the game is Maker's win a.a.s., and − 2 when p < cn k+1 it is Breaker's win a.a.s. For the triangle game, when k = 3, we give a more precise result, describing the hitting time of Maker's win in the random graph process. We show that, with high probability, Maker can win the triangle game exactly at the time when a copy of K5 with one edge removed appears in the random graph process. As a consequence, we are able to give an expression for the limiting probability of Maker's win in the triangle game played on the edge set of G(n; p). 1 Introduction Let X be a finite set and let F ⊆ 2X be a family of subsets of X. In the positional game (X; F), two players take turns in claiming one previously unclaimed element of X.
    [Show full text]
  • Games on Graphs
    Games on graphs MiloˇsStojakovi´c? Department of Mathematics and Informatics, University of Novi Sad, Serbia [email protected] http://www.inf.ethz.ch/personal/smilos/ Abstract. Positional Games is a branch of Combinatorics which focuses on a variety of two player games, ranging from well-known games such as Tic-Tac-Toe and Hex, to purely abstract games played on graphs. The field has experienced quite a growth in recent years, with more than a few applications in related areas. We aim to introduce the basic notions, approaches and tools, as well as to survey the recent developments, open problems and promising research directions, keeping the main focus on the games played on graphs. Keywords: positional game, Maker-Breaker, Avoider-Enforcer, proba- bilistic intuition 1 Introduction Positional games are a class of combinatorial two-player games of perfect in- formation, with no chance moves and with players moving sequentially. These properties already distinguish this area of research from its popular relative, Game Theory, which has its roots in Economics. Some of the more prominent positional games include Tic-Tac-Toe, Hex, Bridg-It and the Shannon's switch- ing game. The basic structure of a positional game is fairly simple. Let X be a finite set and let F ⊆ 2X be a family of subsets of X. The set X is called the \board", and the members of F are referred to as the \winning sets". In the positional game (X; F), two players take turns in claiming previously unclaimed elements of X, until all the elements are claimed.
    [Show full text]
  • A Brief Introduction to Combinatorial Games
    A brief introduction to Combinatorial Games Asaf Ferber ∗ September 26, 2019 In these notes we give a brief introduction to combinatorial games. I used these notes few years ago for a mini-course that I gave for undergrads in MIT during the winter break (three lectures). Feel free to use/distribute it, and if you find errors/improve the presentation I would love to get an updated TEX file! (asaff@uci.edu). 1 Introduction How can one analyze a game? any attempt to analyze games like Chess, Go, Checkers, Tic-Tac- Toe, Hex etc. lead to the conclusion: there are enormously many cases to analyze and it seems quite hopeless. The only positive side is that it keeps the game interesting for a competition. As opposed to traditional Game Theory which focuses on incomplete information games (like Poker), here we consider perfect information games which are more similar in nature to Chess and Go. The term \Combinatorial Game" means a skill game, with no chance moves, where each player has a complete information about the current/past positions and can, theoretically, analyze all possible future position. The payoff function has 3 values: win, draw and loss. The first question one should ask: If these games are all deterministic, why can't we just use a computer to analyze? the simple answer is that even though in theory you can, practically there are just too many possibilities for any computer to analyze in a reasonable time. For example, consider a 3 dimensional version of the kids game Tic-Tac-Toe which is played on a board of size 5 × 5 × 5.
    [Show full text]
  • The Parameterized Complexity of Positional Games Edouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine
    The Parameterized Complexity of Positional Games Edouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine To cite this version: Edouard Bonnet, Serge Gaspers, Antonin Lambilliotte, Stefan Rümmele, Abdallah Saffidine. The Parameterized Complexity of Positional Games. ICALP, Jul 2017, Varsovie, Poland. 10.4230/LIPIcs. hal-01994361 HAL Id: hal-01994361 https://hal.archives-ouvertes.fr/hal-01994361 Submitted on 25 Jan 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The Parameterized Complexity of Positional Games Édouard Bonnet1, Serge Gaspers2,3, Antonin Lambilliotte4, Stefan Rümmele5,2, and Abdallah Saffidine2 1 Middlesex University, London, UK [email protected] 2 The University of New South Wales, Sydney, Australia [email protected], [email protected] 3 Data61, CSIRO, Sydney, Australia 4 École Normale Supérieure de Lyon, Lyon, France [email protected] 5 The University of Sydney, Sydney, Australia [email protected] Abstract We study the parameterized complexity of several positional games. Our main result is that Short Generalized Hex is W[1]-complete parameterized by the number of moves. This solves an open problem from Downey and Fellows’ influential list of open problems from 1999.
    [Show full text]
  • The Critical Bias for the Hamiltonicity Game Is Ln 푛
    (1+표(1))푛 The Critical Bias for the Hamiltonicity Game is ln 푛 Aadil Shaikh, Rohit Chakravorty and Thai Ling April 2020 Abstract: This paper serves as an exposition on the theorem proved by Michael Krivelevich which states that the critical bias for the Hamiltonicity game between a Maker and Breaker (1+표(1))푛 can be generalised as [1]. Initially, basic introductions into some concepts used in ln 푛 Combinatorial Game Theory and Graph Theory are given. These are then built upon to create lemmas and theorems. Using these tools, the result is proved in multiple stages. 1. Introduction Popular two-person strategy games such as Tic-Tac-Toe (Noughts and Crosses) and Hex can be generalised as having a position where the players take turns making moves to achieve a defined winning condition. This gives way to the notion of the positional game used in Combinatorial Game Theory (CGT) which can be described by the following conditions: • 푋 - the board, with a finite set of elements known as positions • ℱ - the winning-sets, which are a family of subsets of 푋 • A criterion for winning the game Definition 1. A maker-breaker game is a type of positional game where two players, the Maker and the Breaker take it in turns to take unclaimed elements on a board. The objective of the Maker is to hold all the elements of a winning set, whereas the Breaker wins if they can prevent this (i.e. hold at least one element in each winning set). Alternatively, the Maker-Breaker game can be more formally defined as: a triple (퐻, 푎, 푏), with 퐻 = (푋, ℱ) where 퐻 is a hypergraph.
    [Show full text]
  • Problems in Positional Games and Extremal Combinatorics
    Problems in Positional Games and Extremal Combinatorics Christopher Kusch Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften am Fachbereich f¨urMathematik und Informatik der Freien Universit¨atBerlin Berlin, 2017 ii Erstgutachter: Prof. Tibor Szab´o,PhD (Betreuer) Zweitgutachter: Prof. Dr. Anusch Taraz Tag der Disputation: 4.10.2017 Contents Preface ix Acknowledgement xi 1 Introduction1 1.1 Strong Ramsey games...............................2 1.1.1 Introduction to strong games.......................2 1.1.2 The strong Ramsey game.........................3 1.1.3 The transition to the infinite board....................3 1.2 Maker-Breaker G-games and van der Waerden games..............5 1.2.1 Introduction to Maker-Breaker games..................5 1.2.2 The Maker-Breaker G-game........................7 1.2.3 The van der Waerden game and its generalisation............9 1.2.4 General winning criteria.......................... 11 1.3 Hypergraphs with Property O ........................... 13 1.3.1 Introduction of the problem........................ 13 1.3.2 Results: an improved upper bound.................... 15 1.4 Shattering extremal families............................ 15 1.4.1 Shattering.................................. 15 1.4.2 The elimination conjecture........................ 18 1.4.3 The results................................. 18 2 Strong Ramsey games: Drawing on an infinite board 21 2.1 Overview of the proof............................... 21 2.2 Sufficient conditions for a draw.......................... 22 2.2.1 No threat.................................. 24 2.2.2 Special threat................................ 25 2.2.3 Standard threats.............................. 27 iii iv CONTENTS 2.3 An explicit construction.............................. 29 2.4 Concluding remarks and open problems..................... 37 3 General Winning Criteria for Maker-Breaker games 39 3.1 The threshold bias of the k-AP game......................
    [Show full text]
  • Positional Games Involve Two Players Alternately Claiming Unoccupied Elements of a Set X, the Board of the Game; the Elements of X Are Called Vertices
    Positional Games Michael Krivelevich Abstract. Positional games are a branch of combinatorics, researching a variety of two- player games, ranging from popular recreational games such as Tic-Tac-Toe and Hex, to purely abstract games played on graphs and hypergraphs. It is closely connected to many other combinatorial disciplines such as Ramsey theory, extremal graph and set theory, probabilistic combinatorics, and to computer science. We survey the basic notions of the field, its approaches and tools, as well as numerous recent advances, standing open problems and promising research directions. Mathematics Subject Classification (2010). Primary 05C57, 91A46; Secondary 05C80, 05D05, 05D10, 05D40. Keywords. Positional games, Ramsey theory, extremal set theory, probabilistic intu- ition. 1. Introductory words Positional games are a combinatorial discipline, whose basic aim is to provide a mathematical foundation for analysis of two-player games, ranging from popular recreational games such as Tic-Tac-Toe and Hex to purely abstract games played on graphs and hypergraphs. Though the field has been in existence for several decades, motivated partly by its recreational side, it advanced tremendously in the last few years, maturing into one of the central branches of modern combinatorics. It has been enjoying mutual and fruitful interconnections with other combinatorial disciplines such as Ramsey theory, extremal graph and set theory, probabilistic arXiv:1404.2731v1 [math.CO] 10 Apr 2014 combinatorics, as well as theoretical computer science. The aim of this survey is two-fold. It is meant to provide a brief, yet gentle, introduction to the subject to those with genuine interest and basic knowledge in combinatorics. At the same time, we cover recent progress in the field, as well as its standing challenges and open problems.
    [Show full text]
  • On the Threshold for the Maker-Breaker H-Game
    ON THE THRESHOLD FOR THE MAKER-BREAKER H-GAME RAJKO NENADOV1, ANGELIKA STEGER1 AND MILOSˇ STOJAKOVIC´ 2 Abstract. We study the Maker-Breaker H-game played on the edge set of the random graph Gn;p. In this game two players, Maker and Breaker, alternately claim unclaimed edges of Gn;p, until all edges are claimed. Maker wins if he claims all edges of a copy of a fixed graph H; Breaker wins otherwise. In this paper we show that, with the exception of trees and triangles, the threshold for an H-game is given by the threshold of the corresponding Ramsey property of Gn;p with respect to the graph H. Keywords. Positional games; random graphs; Maker-Breaker 1. Introduction Combinatorial games are games like Tic-Tac-Toe or Chess in which each player has perfect information and players move sequentially. Outcomes of such games can thus, at least in principle, be predicted by enumerating all possible ways in which the game may evolve. But, of course, such complete enumerations usually exceed available computing powers, which keeps these games interesting to study. In this paper we take a look at a special class of combinatorial games, the so- called Maker-Breaker positional games. Given a finite set X and a family E of subsets of X, two players, Maker and Breaker, alternate in claiming unclaimed elements of X until all the elements are claimed. Unless explicitly stated otherwise, Maker starts the game. Maker wins if he claims all elements of a set from E, and Breaker wins otherwise. The set X is referred to as the board, and the elements of E as the winning sets.
    [Show full text]
  • Positional Games
    Mathematisches Forschungsinstitut Oberwolfach Report No. 44/2018 DOI: 10.4171/OWR/2018/44 Mini-Workshop: Positional Games Organized by Dan Hefetz, Ariel Michael Krivelevich, Tel Aviv Milos Stojakovic, Novi Sad Tibor Szabo, Berlin 30 September – 6 October 2018 Abstract. This mini-workshop focused on Positional Games and related fields. Positional Games Theory is a branch of Combinatorics whose main aim is to systematically develop an extensive mathematical basis for a variety of two-player games of perfect information and without chance moves, usually played on discrete objects. These include popular recreational games such as Tic-Tac-Toe and Hex as well as purely abstract games played on graphs and hypergraphs. Though a close relative of the classical Game Theory of von Neumann and of Nim-like games, popularized by Conway and others, Po- sitional Games are quite different and are more of a combinatorial nature. The subject is strongly related to several other branches of Combinatorics like Ramsey Theory, Extremal Graph and Set Theory, and the Probabilistic Method. It has also proven to be instrumental in deriving central results in Theoretical Computer Science, in particular in derandomization and algorith- mization of important probabilistic tools. Despite being a relatively young topic, there are already three textbooks dedicated to Positional Games as well as one invited talk at the International Congress of Mathematicians. Dur- ing this mini-workshop, several new exciting developments in the field were presented and discussed. We have also made some progress towards solving various open problems in Positional Games Theory and related areas. Mathematics Subject Classification (2010): 91A24 (Positional games), 05C57 (Games on graphs), 91A43 (Games involving graphs), 91A46 ()Combinatorial games), 05C65 (Hypergraphs), 05C80 (Random graphs), 05D40 (Probabilistic methods), 05D10 (Ramsey theory).
    [Show full text]
  • New Methods and Boards for Playing Tic-Tac-Toe
    University of Montana ScholarWorks at University of Montana Graduate Student Theses, Dissertations, & Professional Papers Graduate School 2012 Nontraditional Positional Games: New methods and boards for playing Tic-Tac-Toe Mary Jennifer Riegel The University of Montana Follow this and additional works at: https://scholarworks.umt.edu/etd Let us know how access to this document benefits ou.y Recommended Citation Riegel, Mary Jennifer, "Nontraditional Positional Games: New methods and boards for playing Tic-Tac- Toe" (2012). Graduate Student Theses, Dissertations, & Professional Papers. 707. https://scholarworks.umt.edu/etd/707 This Dissertation is brought to you for free and open access by the Graduate School at ScholarWorks at University of Montana. It has been accepted for inclusion in Graduate Student Theses, Dissertations, & Professional Papers by an authorized administrator of ScholarWorks at University of Montana. For more information, please contact [email protected]. Nontraditional Positional Games: New methods and boards for playing Tic-Tac-Toe By Mary Jennifer Riegel B.A., Whitman College, Walla Walla, WA, 2006 M.A., The University of Montana, Missoula, MT, 2008 Dissertation presented in partial fulfillment of the requirements for the degree of Doctorate of Philosophy in Mathematics The University of Montana Missoula, MT May 2012 Approved by: Sandy Ross, Associate Dean of the Graduate School Graduate School Dr. Jennifer McNulty, Chair Mathematical Sciences Dr. Mark Kayll Mathematical Sciences Dr. George McRae Mathematical Sciences Dr. Nikolaus Vonessen Mathematical Sciences Dr. Michael Rosulek Computer Science Riegel, Mary J., Doctorate of Philosophy, May 2012 Mathematics Nontraditional Positional Games: New methods and boards for playing Tic-Tac-Toe Committee Chair: Jennifer McNulty, Ph.D.
    [Show full text]
  • A Threshold for the Maker-Breaker Clique Game∗
    A threshold for the Maker-Breaker clique game∗ Tobias M¨uller y MiloˇsStojakovi´c z Abstract We study the Maker-Breaker k-clique game played on the edge set of the random graph G(n; p). In this game, two players, Maker and Breaker, alternately claim un- claimed edges of G(n; p), until all the edges are claimed. Maker wins if he claims all the edges of a k-clique; Breaker wins otherwise. We determine that the threshold for the − 2 graph property that Maker can win this game is at n k+1 , for all k > 3, thus proving a conjecture from [10]. More precisely, we conclude that there exist constants c; C > 0 − 2 − 2 such that when p > Cn k+1 the game is Maker's win a.a.s., and when p < cn k+1 it is Breaker's win a.a.s. For the triangle game, when k = 3, we give a more precise result, describing the hitting time of Maker's win in the random graph process. We show that, with high probability, Maker can win the triangle game exactly at the time when a copy of K5 with one edge removed appears in the random graph process. As a consequence, we are able to give an expression for the limiting probability of Maker's win in the triangle game played on the edge set of G(n; p). 1 Introduction Let X be a finite set and let F ⊆ 2X be a family of subsets of X. In the positional game (X; F), two players take turns in claiming one previously unclaimed element of X.
    [Show full text]