Combinatorial Games, Volume 43
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The 'Crisis of Noosphere'
The ‘crisis of noosphere’ as a limiting factor to achieve the point of technological singularity Rafael Lahoz-Beltra Department of Applied Mathematics (Biomathematics). Faculty of Biological Sciences. Complutense University of Madrid. 28040 Madrid, Spain. [email protected] 1. Introduction One of the most significant developments in the history of human being is the invention of a way of keeping records of human knowledge, thoughts and ideas. The storage of knowledge is a sign of civilization, which has its origins in ancient visual languages e.g. in the cuneiform scripts and hieroglyphs until the achievement of phonetic languages with the invention of Gutenberg press. In 1926, the work of several thinkers such as Edouard Le Roy, Vladimir Ver- nadsky and Teilhard de Chardin led to the concept of noosphere, thus the idea that human cognition and knowledge transforms the biosphere coming to be something like the planet’s thinking layer. At present, is commonly accepted by some thinkers that the Internet is the medium that brings life to noosphere. Hereinafter, this essay will assume that the words Internet and noosphere refer to the same concept, analogy which will be justified later. 2 In 2005 Ray Kurzweil published the book The Singularity Is Near: When Humans Transcend Biology predicting an exponential increase of computers and also an exponential progress in different disciplines such as genetics, nanotechnology, robotics and artificial intelligence. The exponential evolution of these technologies is what is called Kurzweil’s “Law of Accelerating Returns”. The result of this rapid progress will lead to human beings what is known as tech- nological singularity. -
On Variations of Nim and Chomp Arxiv:1705.06774V1 [Math.CO] 18
On Variations of Nim and Chomp June Ahn Benjamin Chen Richard Chen Ezra Erives Jeremy Fleming Michael Gerovitch Tejas Gopalakrishna Tanya Khovanova Neil Malur Nastia Polina Poonam Sahoo Abstract We study two variations of Nim and Chomp which we call Mono- tonic Nim and Diet Chomp. In Monotonic Nim the moves are the same as in Nim, but the positions are non-decreasing numbers as in Chomp. Diet-Chomp is a variation of Chomp, where the total number of squares removed is limited. 1 Introduction We study finite impartial games with two players where the same moves are available to both players. Players alternate moves. In a normal play, the person who does not have a move loses. In a misère play, the person who makes the last move loses. A P-position is a position from which the previous player wins, assuming perfect play. We can observe that all terminal positions are P-positions. An N-position is a position from which the next player wins given perfect play. When we play we want to end our move with a P-position and want to see arXiv:1705.06774v1 [math.CO] 18 May 2017 an N-position before our move. Every impartial game is equivalent to a Nim heap of a certain size. Thus, every game can be assigned a non-negative integer, called a nimber, nim- value, or a Grundy number. The game of Nim is played on several heaps of tokens. A move consists of taking some tokens from one of the heaps. The game of Chomp is played on a rectangular m by n chocolate bar with grid lines dividing the bar into mn squares. -
Elementary Functions: Towards Automatically Generated, Efficient
Elementary functions : towards automatically generated, efficient, and vectorizable implementations Hugues De Lassus Saint-Genies To cite this version: Hugues De Lassus Saint-Genies. Elementary functions : towards automatically generated, efficient, and vectorizable implementations. Other [cs.OH]. Université de Perpignan, 2018. English. NNT : 2018PERP0010. tel-01841424 HAL Id: tel-01841424 https://tel.archives-ouvertes.fr/tel-01841424 Submitted on 17 Jul 2018 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. Délivré par l’Université de Perpignan Via Domitia Préparée au sein de l’école doctorale 305 – Énergie et Environnement Et de l’unité de recherche DALI – LIRMM – CNRS UMR 5506 Spécialité: Informatique Présentée par Hugues de Lassus Saint-Geniès [email protected] Elementary functions: towards automatically generated, efficient, and vectorizable implementations Version soumise aux rapporteurs. Jury composé de : M. Florent de Dinechin Pr. INSA Lyon Rapporteur Mme Fabienne Jézéquel MC, HDR UParis 2 Rapporteur M. Marc Daumas Pr. UPVD Examinateur M. Lionel Lacassagne Pr. UParis 6 Examinateur M. Daniel Menard Pr. INSA Rennes Examinateur M. Éric Petit Ph.D. Intel Examinateur M. David Defour MC, HDR UPVD Directeur M. Guillaume Revy MC UPVD Codirecteur À la mémoire de ma grand-mère Françoise Lapergue et de Jos Perrot, marin-pêcheur bigouden. -
Arxiv:2101.07237V2 [Cs.CC] 19 Jan 2021 Ohtedsg N Oprtv Nlsso Obntra Games
TRANSVERSE WAVE: AN IMPARTIAL COLOR-PROPAGATION GAME INSPRIED BY SOCIAL INFLUENCE AND QUANTUM NIM Kyle Burke Department of Computer Science, Plymouth State University, Plymouth, New Hampshire, https://turing.plymouth.edu/~kgb1013/ Matthew Ferland Department of Computer Science, University of Southern California, Los Angeles, California, United States Shang-Hua Teng1 Department of Computer Science, University of Southern California, Los Angeles, California, United States https://viterbi-web.usc.edu/~shanghua/ Abstract In this paper, we study a colorful, impartial combinatorial game played on a two- dimensional grid, Transverse Wave. We are drawn to this game because of its apparent simplicity, contrasting intractability, and intrinsic connection to two other combinatorial games, one inspired by social influence and another inspired by quan- tum superpositions. More precisely, we show that Transverse Wave is at the intersection of social-influence-inspired Friend Circle and superposition-based Demi-Quantum Nim. Transverse Wave is also connected with Schaefer’s logic game Avoid True. In addition to analyzing the mathematical structures and com- putational complexity of Transverse Wave, we provide a web-based version of the game, playable at https://turing.plymouth.edu/~kgb1013/DB/combGames/transverseWave.html. Furthermore, we formulate a basic network-influence inspired game, called Demo- graphic Influence, which simultaneously generalizes Node-Kyles and Demi- arXiv:2101.07237v2 [cs.CC] 19 Jan 2021 Quantum Nim (which in turn contains as special cases Nim, Avoid True, and Transverse Wave.). These connections illuminate the lattice order, induced by special-case/generalization relationships over mathematical games, fundamental to both the design and comparative analyses of combinatorial games. 1Supported by the Simons Investigator Award for fundamental & curiosity-driven research and NSF grant CCF1815254. -
Impartial Games
Combinatorial Games MSRI Publications Volume 29, 1995 Impartial Games RICHARD K. GUY In memory of Jack Kenyon, 1935-08-26 to 1994-09-19 Abstract. We give examples and some general results about impartial games, those in which both players are allowed the same moves at any given time. 1. Introduction We continue our introduction to combinatorial games with a survey of im- partial games. Most of this material can also be found in WW [Berlekamp et al. 1982], particularly pp. 81{116, and in ONAG [Conway 1976], particu- larly pp. 112{130. An elementary introduction is given in [Guy 1989]; see also [Fraenkel 1996], pp. ??{?? in this volume. An impartial game is one in which the set of Left options is the same as the set of Right options. We've noticed in the preceding article the impartial games = 0=0; 0 0 = 1= and 0; 0; = 2: {|} ∗ { | } ∗ ∗ { ∗| ∗} ∗ that were born on days 0, 1, and 2, respectively, so it should come as no surprise that on day n the game n = 0; 1; 2;:::; (n 1) 0; 1; 2;:::; (n 1) ∗ {∗ ∗ ∗ ∗ − |∗ ∗ ∗ ∗ − } is born. In fact any game of the type a; b; c;::: a; b; c;::: {∗ ∗ ∗ |∗ ∗ ∗ } has value m,wherem =mex a;b;c;::: , the least nonnegative integer not in ∗ { } the set a;b;c;::: . To see this, notice that any option, a say, for which a>m, { } ∗ This is a slightly revised reprint of the article of the same name that appeared in Combi- natorial Games, Proceedings of Symposia in Applied Mathematics, Vol. 43, 1991. Permission for use courtesy of the American Mathematical Society. -
Combinatorial Game Theory Théorie Des Jeux Combinatoires (Org
Combinatorial Game Theory Théorie des jeux combinatoires (Org: Melissa Huggan (Ryerson), Svenja Huntemann (Concordia University of Edmonton) and/et Richard Nowakowski (Dalhousie)) ALEXANDER CLOW, St. Francis Xavier University Red, Blue, Green Poset Games This talk examines Red, Blue, Green (partizan) poset games under normal play. Poset games are played on a poset where players take turns choosing an element of the partial order and removing every element greater than or equal to it in the ordering. The Left player can choose Blue elements (Right cannot) and the Right player can choose Red elements (while the Left cannot) and both players can choose Green elements. Red, Blue and Red, Blue, Green poset games have not seen much attention in the literature, do to most questions about Green poset games (such as CHOMP) remaining open. We focus on results that are true of all Poset games, but time allowing, FENCES, the poset game played on fences (or zig-zag posets) will be considered. This is joint work with Dr.Neil McKay. MATTHIEU DUFOUR AND SILVIA HEUBACH, UQAM & California State University Los Angeles Circular Nim CN(7,4) Circular Nim CN(n; k) is a variation on Nim. A move consists of selecting k consecutive stacks from n stacks arranged in a circle, and then to remove at least one token (and as many as all tokens) from the selected stacks. We will briefly review known results on Circular Nim CN(n; k) for small values of n and k and for some families, and then discuss new features that have arisen in the set of the P-positions of CN(7,4). -
Algorithmic Combinatorial Game Theory∗
Playing Games with Algorithms: Algorithmic Combinatorial Game Theory∗ Erik D. Demaine† Robert A. Hearn‡ Abstract Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview of the area to encourage further research. In particular, we begin with general background in Combinatorial Game Theory, which analyzes ideal play in perfect-information games, and Constraint Logic, which provides a framework for showing hardness. Then we survey results about the complexity of determining ideal play in these games, and the related problems of solving puzzles, in terms of both polynomial-time algorithms and computational intractability results. Our review of background and survey of algorithmic results are by no means complete, but should serve as a useful primer. 1 Introduction Many classic games are known to be computationally intractable (assuming P 6= NP): one-player puzzles are often NP-complete (as in Minesweeper) or PSPACE-complete (as in Rush Hour), and two-player games are often PSPACE-complete (as in Othello) or EXPTIME-complete (as in Check- ers, Chess, and Go). Surprisingly, many seemingly simple puzzles and games are also hard. Other results are positive, proving that some games can be played optimally in polynomial time. In some cases, particularly with one-player puzzles, the computationally tractable games are still interesting for humans to play. We begin by reviewing some basics of Combinatorial Game Theory in Section 2, which gives tools for designing algorithms, followed by reviewing the relatively new theory of Constraint Logic in Section 3, which gives tools for proving hardness. -
COMPSCI 575/MATH 513 Combinatorics and Graph Theory
COMPSCI 575/MATH 513 Combinatorics and Graph Theory Lecture #34: Partisan Games (from Conway, On Numbers and Games and Berlekamp, Conway, and Guy, Winning Ways) David Mix Barrington 9 December 2016 Partisan Games • Conway's Game Theory • Hackenbush and Domineering • Four Types of Games and an Order • Some Games are Numbers • Values of Numbers • Single-Stalk Hackenbush • Some Domineering Examples Conway’s Game Theory • J. H. Conway introduced his combinatorial game theory in his 1976 book On Numbers and Games or ONAG. Researchers in the area are sometimes called onagers. • Another resource is the book Winning Ways by Berlekamp, Conway, and Guy. Conway’s Game Theory • Games, like everything else in the theory, are defined recursively. A game consists of a set of left options, each a game, and a set of right options, each a game. • The base of the recursion is the zero game, with no options for either player. • Last time we saw non-partisan games, where each player had the same options from each position. Today we look at partisan games. Hackenbush • Hackenbush is a game where the position is a diagram with red and blue edges, connected in at least one place to the “ground”. • A move is to delete an edge, a blue one for Left and a red one for Right. • Edges disconnected from the ground disappear. As usual, a player who cannot move loses. Hackenbush • From this first position, Right is going to win, because Left cannot prevent him from killing both the ground supports. It doesn’t matter who moves first. -
~Umbers the BOO K O F Umbers
TH E BOOK OF ~umbers THE BOO K o F umbers John H. Conway • Richard K. Guy c COPERNICUS AN IMPRINT OF SPRINGER-VERLAG © 1996 Springer-Verlag New York, Inc. Softcover reprint of the hardcover 1st edition 1996 All rights reserved. No part of this publication may be reproduced, stored in a re trieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the publisher. Published in the United States by Copernicus, an imprint of Springer-Verlag New York, Inc. Copernicus Springer-Verlag New York, Inc. 175 Fifth Avenue New York, NY lOOlO Library of Congress Cataloging in Publication Data Conway, John Horton. The book of numbers / John Horton Conway, Richard K. Guy. p. cm. Includes bibliographical references and index. ISBN-13: 978-1-4612-8488-8 e-ISBN-13: 978-1-4612-4072-3 DOl: 10.l007/978-1-4612-4072-3 1. Number theory-Popular works. I. Guy, Richard K. II. Title. QA241.C6897 1995 512'.7-dc20 95-32588 Manufactured in the United States of America. Printed on acid-free paper. 9 8 765 4 Preface he Book ofNumbers seems an obvious choice for our title, since T its undoubted success can be followed by Deuteronomy,Joshua, and so on; indeed the only risk is that there may be a demand for the earlier books in the series. More seriously, our aim is to bring to the inquisitive reader without particular mathematical background an ex planation of the multitudinous ways in which the word "number" is used. -
ES.268 Dynamic Programming with Impartial Games, Course Notes 3
ES.268 , Lecture 3 , Feb 16, 2010 http://erikdemaine.org/papers/AlgGameTheory_GONC3 Playing Games with Algorithms: { most games are hard to play well: { Chess is EXPTIME-complete: { n × n board, arbitrary position { need exponential (cn) time to find a winning move (if there is one) { also: as hard as all games (problems) that need exponential time { Checkers is EXPTIME-complete: ) Chess & Checkers are the \same" computationally: solving one solves the other (PSPACE-complete if draw after poly. moves) { Shogi (Japanese chess) is EXPTIME-complete { Japanese Go is EXPTIME-complete { U. S. Go might be harder { Othello is PSPACE-complete: { conjecture requires exponential time, but not sure (implied by P 6= NP) { can solve some games fast: in \polynomial time" (mostly 1D) Kayles: [Dudeney 1908] (n bowling pins) { move = hit one or two adjacent pins { last player to move wins (normal play) Let's play! 1 First-player win: SYMMETRY STRATEGY { move to split into two equal halves (1 pin if odd, 2 if even) { whatever opponent does, do same in other half (Kn + Kn = 0 ::: just like Nim) Impartial game, so Sprague-Grundy Theory says Kayles ≡ Nim somehow { followers(Kn) = fKi + Kn−i−1;Ki + Kn−i−2 j i = 0; 1; :::;n − 2g ) nimber(Kn) = mexfnimber(Ki + Kn−i−1); nimber(Ki + Kn−i−2) j i = 0; 1; :::;n − 2g { nimber(x + y) = nimber(x) ⊕ nimber(y) ) nimber(Kn) = mexfnimber(Ki) ⊕ nimber(Kn−i−1); nimber(Ki) ⊕ nimber(Kn−i−2) j i = 0; 1; :::n − 2g RECURRENCE! | write what you want in terms of smaller things Howe do w compute it? nimber(K0) = 0 (BASE CASE) nimber(K1) = mexfnimber(K0) ⊕ nimber(K0)g 0 ⊕ 0 = 0 = 1 nimber(K2) = mexfnimber(K0) ⊕ nimber(K1); 0 ⊕ 1 = 1 nimber(K0) ⊕ nimber(K0)g 0 ⊕ 0 = 0 = 2 so e.g. -
Blue-Red Hackenbush
Basic rules Two players: Blue and Red. Perfect information. Players move alternately. First player unable to move loses. The game must terminate. Mathematical Games – p. 1 Outcomes (assuming perfect play) Blue wins (whoever moves first): G > 0 Red wins (whoever moves first): G < 0 Mover loses: G = 0 Mover wins: G0 Mathematical Games – p. 2 Two elegant classes of games number game: always disadvantageous to move (so never G0) impartial game: same moves always available to each player Mathematical Games – p. 3 Blue-Red Hackenbush ground prototypical number game: Blue-Red Hackenbush: A player removes one edge of his or her color. Any edges not connected to the ground are also removed. First person unable to move loses. Mathematical Games – p. 4 An example Mathematical Games – p. 5 A Hackenbush sum Let G be a Blue-Red Hackenbush position (or any game). Recall: Blue wins: G > 0 Red wins: G < 0 Mover loses: G = 0 G H G + H Mathematical Games – p. 6 A Hackenbush value value (to Blue): 3 1 3 −2 −3 sum: 2 (Blue is two moves ahead), G> 0 3 2 −2 −2 −1 sum: 0 (mover loses), G= 0 Mathematical Games – p. 7 1/2 value = ? G clearly >0: Blue wins mover loses! x + x - 1 = 0, so x = 1/2 Blue is 1/2 move ahead in G. Mathematical Games – p. 8 Another position What about ? Mathematical Games – p. 9 Another position What about ? Clearly G< 0. Mathematical Games – p. 9 −13/8 8x + 13 = 0 (mover loses!) x = -13/8 Mathematical Games – p. -
When Waiting Moves You in Scoring Combinatorial Games
WHEN WAITING MOVES YOU IN SCORING COMBINATORIAL GAMES Urban Larsson1 Dalhousie University, Canada Richard J. Nowakowski Dalhousie University, Canada Carlos P. Santos2 Center for Linear Structures and Combinatorics, Portugal Abstract Combinatorial Scoring games, with the property ‘extra pass moves for a player does no harm’, are characterized. The characterization involves an order embedding of Conway’s Normal-play games. Also, we give a theorem for comparing games with scores (numbers) which extends Ettinger’s work on dicot Scoring games. 1 Introduction The Lawyer’s offer: To settle a dispute, a court has ordered you and your oppo- nent to play a Combinatorial game, the winner (most number of points) takes all. Minutes before the contest is to begin, your opponent’s lawyer approaches you with an offer: "You, and you alone, will be allowed a pass move to use once, at any time in the game, but you must use it at some point (unless the other player runs out of moves before you used it)." Should you accept this generous offer? We will show when you should accept and when you should decline the offer. It all depends on whether Conway’s Normal-play games (last move wins) can be embedded in the ‘game’ in an order preserving way. Combinatorial games have perfect information, are played by two players who move alternately, but moreover, the games finish regardless of the order of moves. When one of the players cannot move, the winner of the game is declared by some predetermined winning condition. The two players are usually called Left (female pronoun) and Right (male pronoun).