Easy to Win, Hard to Master:
|
|
- Oswin Patrick
- 5 years ago
- Views:
Transcription
1 Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs Joint work with Martin Zimmermann Alexander Weinert Saarland University December 13th, 216 MFV Seminar, ULB, Brussels, Belgium Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 1/23
2 Parity Games Deciding winner in UP co-up Positional Strategies Example due to (Fijalkow and Chatterjee, Infinite-state games, 213) Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 2/23
3 Finitary Parity / Parity Response Games steps steps Goal for Player : Bound response times Example due to (Fijalkow and Chatterjee, Infinite-state games, 213) Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 3/23
4 Another Example Parity Finitary Parity Parity Finitary Parity Player 1 wins from every vertex, but needs to stay longer and longer in vertex of color requires infinite memory Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 4/23
5 Decision Problem Theorem (Chatterjee et al., Finitary Winning, 29) The following decision problem is in PTime: Input: Finitary parity game G = (A, FinParity(Ω)) Question: Does there exist a strategy σ with Cst(σ) <? Theorem The following decision problem is PSpace-complete: Input: Finitary parity game G = (A, FinParity(Ω)), bound b N Question: Does there exist a strategy σ with Cst(σ) b? Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 5/23
6 Introduction Complexity in PSpace PSpace-hard Sufficient Exponential Memory Necessary Tradeoffs Extensions Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 6/23
7 From Finitary Parity to Parity Given: Finitary parity game G = (A, FinParity(Ω)), bound b N. Lemma Deciding if Player has strategy σ with Cst(σ) b is in PSpace. Idea: Simulate G, keeping track of open requests explicitly. Result: Parity game G of exponential size. Lemma The winner of a play in G can be decided after p( G ) steps. Algorithm: Simulate all plays in G on-the-fly for p( G ) steps using an alternating Turing machine. Problem is in APTime (Chandra et al., Alternation, 1981) Problem is in PSpace Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 7/23
8 Introduction Complexity in PSpace PSpace-hard Sufficient Exponential Memory Necessary Tradeoffs Extensions Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 8/23
9 PSPACE-Hardness Lemma The following problem is PSpace-hard: Given a finitary parity game G and a bound b N, does Player have a strategy σ for G with Cst(σ) b? Proof By reduction from QBF Checking the truth of ϕ = x y. (x y) ( x y) as a two-player game (Player wants to prove truth of ϕ): 1. Player 1 picks truth value for x 2. Player picks truth value for y 3. Player 1 picks clause C 4. Player picks literal l from C 5. Player wins l is picked to be satisfied in step 1 or 2 Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 9/23
10 ϕ = x y. The Reduction ψ {}}{ ( x y ) ( x y ) x 1 x 3 y 5 y 7 (x y) ψ ( x y) x... x... y... y Choose bound b such that it enforces the following: x 1 y 3 2 x 1 b steps Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 1/23
11 Introduction Complexity in PSpace PSpace-hard Sufficient Exponential Memory Necessary Tradeoffs Extensions Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 11/23
12 Sufficient Memory (for Player ) Corollary Let G be a parity game with costs with d odd colors. If Player has a strategy σ for G with Cst(σ) = b, then she also has a strategy σ with Cst(σ ) = b and size (b + 2) d = 2 d log(b+2). Follows from proof of PSpace-membership and positional strategies for parity games. Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 12/23
13 Memory Requirements (for Player ) Theorem Optimal strategies for parity games require exponential memory. Necessity: Construct family G d : d times d times (Fijalkow and Chatterjee, Infinite-state games, 213) For optimal play: Player needs to store d choices of d possible values each Player requires 2 d many memory states Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 13/23
14 Memory Requirements (cont.) Theorem For every d > 1, there exists a finitary parity game G d such that G d O(d 2 ) and G d has d odd colors, and every optimal strategy for Player has at least size 2 d 2. Similar bounds (upper and lower) hold true for Player 1. Corollary Let G be a parity game with costs with d odd colors. If Player has a strategy σ for G with Cst(σ) = b, then she also has a strategy σ with Cst(σ ) = b and size (b + 2) d = 2 d log(b+2). Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 14/23
15 Introduction Complexity in PSpace PSpace-hard Exponential Memory Sufficient Necessary Tradeoffs Extensions Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 15/23
16 Results so far Parity Winning Finitary Parity Optimal Complexity UP co-up PTime PSpace-comp. Strategies Pos. Pos. Exp. Take-away: Forcing Player to answer quickly in (finitary) parity games makes it harder to decide whether she can satisfy the bound for her to play the game Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 16/23
17 Introduction Complexity in PSpace PSpace-hard Exponential Memory Sufficient Necessary Tradeoffs Extensions Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 17/23
18 Tradeoffs d request gadgets with d colors d response gadgets with d colors Recall: Player has winning strategy with cost d 2 + 2d and size 2 d 2: store all d requests made by Player 1. Smaller strategy: Only store first i unique requests, then default to largest answer. achieves cost d 2 + 3d i and size i 1 ( n ) j=1 j These are the smallest strategies achieving this cost. Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 18/23
19 Tradeoffs Theorem Fix some finitary parity game G d as before. For every i with 1 i d there exists a strategy σ i for Player in G d such that σ i has cost d 2 + 3d i and size i 1 ( d ) j=1 j. Also, all these strategies are minimal for their respective cost. size cost Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 19/23
20 Introduction Complexity in PSpace PSpace-hard Exponential Memory Sufficient Necessary Tradeoffs Extensions Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 2/23
21 Extension 1: Parity Games with Costs Finitary parity games are special case PSpace-hard Exp. memory necessary Algorithm for finitary games works with some extensions In PSpace Exp. memory sufficient Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 21/23
22 Extension 2: Streett Finitary Streett Games in parity game, large responses answer all lower requests in Streett games, there are requests and responses, but not hierarchical Streett Games with Costs Streett condition and weights from {, 1} No jump in complexity: Solving finitary Streett games is already ExpTime-complete and exponential memory is necessary Appropriate G can be solved directly Streett Games with Costs Deciding winner ExpTime-complete Exponential memory necessary and sufficient Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 22/23
23 Conclusion Parity Winning Parity with Costs Optimal Complexity UP co-up UP co-up PSpace-comp. Strategies Pos. Pos. Exp. Streett Winning Streett with Costs Optimal Complexity co-np ExpTime ExpTime-comp. Strategies Exp. Exp. Exp. Slides available at react.uni-saarland.de/people/weinert.html Alexander Weinert Saarland University Optimal Strategies in Parity Games with Costs 23/23
The Complexity of Request-Response Games
The Complexity of Request-Response Games Krishnendu Chatterjee 1, Thomas A. Henzinger 1, and Florian Horn 1,2 1 IST (Institute of Science and Technology), Austria {krish.chat,tah}@ist.ac.at 2 LIAFA, CNRS
More informationLecture 19 November 6, 2014
6.890: Algorithmic Lower Bounds: Fun With Hardness Proofs Fall 2014 Prof. Erik Demaine Lecture 19 November 6, 2014 Scribes: Jeffrey Shen, Kevin Wu 1 Overview Today, we ll cover a few more 2 player games
More informationScrabble is PSPACE-Complete
Scrabble is PSPACE-Complete Michael Lampis 1, Valia Mitsou 2, and Karolina So ltys 3 1 KTH Royal Institute of Technology, mlampis@kth.se 2 Graduate Center, City University of New York, vmitsou@gc.cuny.edu
More informationScrabble is PSPACE-Complete
Scrabble is PSPACE-Complete Michael Lampis, Valia Mitsou and Karolyna Soltys KTH, GC CUNY, MPI Scrabble is PSPACE-Complete p. 1/25 A famous game... Word game played on a grid 150 million sets sold in 121
More informationarxiv: v1 [cs.cc] 12 Dec 2017
Computational Properties of Slime Trail arxiv:1712.04496v1 [cs.cc] 12 Dec 2017 Matthew Ferland and Kyle Burke July 9, 2018 Abstract We investigate the combinatorial game Slime Trail. This game is played
More informationdepth parallel time width hardware number of gates computational work sequential time Theorem: For all, CRAM AC AC ThC NC L NL sac AC ThC NC sac
CMPSCI 601: Recall: Circuit Complexity Lecture 25 depth parallel time width hardware number of gates computational work sequential time Theorem: For all, CRAM AC AC ThC NC L NL sac AC ThC NC sac NC AC
More informationarxiv:cs/ v2 [cs.cc] 27 Jul 2001
Phutball Endgames are Hard Erik D. Demaine Martin L. Demaine David Eppstein arxiv:cs/0008025v2 [cs.cc] 27 Jul 2001 Abstract We show that, in John Conway s board game Phutball (or Philosopher s Football),
More informationAlessandro Cincotti School of Information Science, Japan Advanced Institute of Science and Technology, Japan
#G03 INTEGERS 9 (2009),621-627 ON THE COMPLEXITY OF N-PLAYER HACKENBUSH Alessandro Cincotti School of Information Science, Japan Advanced Institute of Science and Technology, Japan cincotti@jaist.ac.jp
More informationSuper Mario. Martin Ivanov ETH Zürich 5/27/2015 1
Super Mario Martin Ivanov ETH Zürich 5/27/2015 1 Super Mario Crash Course 1. Goal 2. Basic Enemies Goomba Koopa Troopas Piranha Plant 3. Power Ups Super Mushroom Fire Flower Super Start Coins 5/27/2015
More informationSTRATEGY AND COMPLEXITY OF THE GAME OF SQUARES
STRATEGY AND COMPLEXITY OF THE GAME OF SQUARES FLORIAN BREUER and JOHN MICHAEL ROBSON Abstract We introduce a game called Squares where the single player is presented with a pattern of black and white
More informationLecture 16 Scribe Notes
6.890: Algorithmic Lower Bounds: Fun With Hardness Proofs Fall 2014 Prof. Erik Demaine Lecture 16 Scribe Notes 1 Overview This class will come back to the games topic. We will see the results of the Gaming
More informationRamsey Theory The Ramsey number R(r,s) is the smallest n for which any 2-coloring of K n contains a monochromatic red K r or a monochromatic blue K s where r,s 2. Examples R(2,2) = 2 R(3,3) = 6 R(4,4)
More informationProblem Set 4 Due: Wednesday, November 12th, 2014
6.890: Algorithmic Lower Bounds Prof. Erik Demaine Fall 2014 Problem Set 4 Due: Wednesday, November 12th, 2014 Problem 1. Given a graph G = (V, E), a connected dominating set D V is a set of vertices such
More informationAlgorithms and Data Structures: Network Flows. 24th & 28th Oct, 2014
Algorithms and Data Structures: Network Flows 24th & 28th Oct, 2014 ADS: lects & 11 slide 1 24th & 28th Oct, 2014 Definition 1 A flow network consists of A directed graph G = (V, E). Flow Networks A capacity
More informationHanabi is NP-complete, Even for Cheaters who Look at Their Cards,,
Hanabi is NP-complete, Even for Cheaters who Look at Their Cards,, Jean-Francois Baffier, Man-Kwun Chiu, Yago Diez, Matias Korman, Valia Mitsou, André van Renssen, Marcel Roeloffzen, Yushi Uno Abstract
More informationCSCI 1590 Intro to Computational Complexity
CSCI 1590 Intro to Computational Complexity Parallel Computation and Complexity Classes John Savage Brown University April 13, 2009 John Savage (Brown University) CSCI 1590 Intro to Computational Complexity
More informationFaithful Representations of Graphs by Islands in the Extended Grid
Faithful Representations of Graphs by Islands in the Extended Grid Michael D. Coury Pavol Hell Jan Kratochvíl Tomáš Vyskočil Department of Applied Mathematics and Institute for Theoretical Computer Science,
More informationFirst Cycle Games. Benjamin Aminof (IST Austria) and Sasha Rubin (TU Wien) Strategic Reasoning /20
First Cycle Games Benjamin Aminof (IST Austria) and Sasha Rubin (TU Wien) Strategic Reasoning 2014 1/20 Games in computer science Examples geography, parity games, mean-payoff games, energy games,... Types
More informationarxiv: v2 [cs.cc] 18 Mar 2013
Deciding the Winner of an Arbitrary Finite Poset Game is PSPACE-Complete Daniel Grier arxiv:1209.1750v2 [cs.cc] 18 Mar 2013 University of South Carolina grierd@email.sc.edu Abstract. A poset game is a
More informationarxiv: v1 [cs.cc] 14 Jun 2018
Losing at Checkers is Hard Jeffrey Bosboom Spencer Congero Erik D. Demaine Martin L. Demaine Jayson Lynch arxiv:1806.05657v1 [cs.cc] 14 Jun 2018 Abstract We prove computational intractability of variants
More informationBackground. Game Theory and Nim. The Game of Nim. Game is Finite 1/27/2011
Background Game Theory and Nim Dr. Michael Canjar Department of Mathematics, Computer Science and Software Engineering University of Detroit Mercy 26 January 2010 Nimis a simple game, easy to play. It
More informationMultiplayer Pushdown Games. Anil Seth IIT Kanpur
Multiplayer Pushdown Games Anil Seth IIT Kanpur Multiplayer Games we Consider These games are played on graphs (finite or infinite) Generalize two player infinite games. Any number of players are allowed.
More informationSOME MORE DECREASE AND CONQUER ALGORITHMS
What questions do you have? Decrease by a constant factor Decrease by a variable amount SOME MORE DECREASE AND CONQUER ALGORITHMS Insertion Sort on Steroids SHELL'S SORT A QUICK RECAP 1 Shell's Sort We
More informationLecture 20 November 13, 2014
6.890: Algorithmic Lower Bounds: Fun With Hardness Proofs Fall 2014 Prof. Erik Demaine Lecture 20 November 13, 2014 Scribes: Chennah Heroor 1 Overview This lecture completes our lectures on game characterization.
More informationMore Great Ideas in Theoretical Computer Science. Lecture 1: Sorting Pancakes
15-252 More Great Ideas in Theoretical Computer Science Lecture 1: Sorting Pancakes January 19th, 2018 Question If there are n pancakes in total (all in different sizes), what is the max number of flips
More informationHIROIMONO is N P-complete
m HIROIMONO is N P-complete Daniel Andersson December 11, 2006 Abstract In a Hiroimono puzzle, one must collect a set of stones from a square grid, moving along grid lines, picking up stones as one encounters
More informationON SPLITTING UP PILES OF STONES
ON SPLITTING UP PILES OF STONES GREGORY IGUSA Abstract. In this paper, I describe the rules of a game, and give a complete description of when the game can be won, and when it cannot be won. The first
More informationarxiv: v1 [cs.cc] 21 Jun 2017
Solving the Rubik s Cube Optimally is NP-complete Erik D. Demaine Sarah Eisenstat Mikhail Rudoy arxiv:1706.06708v1 [cs.cc] 21 Jun 2017 Abstract In this paper, we prove that optimally solving an n n n Rubik
More informationAdvanced Automata Theory 4 Games
Advanced Automata Theory 4 Games Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Advanced Automata Theory 4 Games p. 1 Repetition
More informationQualitative Determinacy and Decidability of Stochastic Games with Signals
Qualitative Determinacy and Decidability of Stochastic Games with Signals INRIA, IRISA Rennes, France nathalie.bertrand@irisa.fr Nathalie Bertrand, Blaise Genest 2, Hugo Gimbert 3 2 CNRS, IRISA Rennes,
More informationTetsuo JAIST EikD Erik D. Martin L. MIT
Tetsuo Asano @ JAIST EikD Erik D. Demaine @MIT Martin L. Demaine @ MIT Ryuhei Uehara @ JAIST Short History: 2010/1/9: At Boston Museum we met Kaboozle! 2010/2/21 accepted by 5 th International Conference
More informationQualitative Determinacy and Decidability of Stochastic Games with Signals
Qualitative Determinacy and Decidability of Stochastic Games with Signals 1 INRIA, IRISA Rennes, France nathalie.bertrand@irisa.fr Nathalie Bertrand 1, Blaise Genest 2, Hugo Gimbert 3 2 CNRS, IRISA Rennes,
More informationOdd king tours on even chessboards
Odd king tours on even chessboards D. Joyner and M. Fourte, Department of Mathematics, U. S. Naval Academy, Annapolis, MD 21402 12-4-97 In this paper we show that there is no complete odd king tour on
More informationSOLITAIRE CLOBBER AS AN OPTIMIZATION PROBLEM ON WORDS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #G04 SOLITAIRE CLOBBER AS AN OPTIMIZATION PROBLEM ON WORDS Vincent D. Blondel Department of Mathematical Engineering, Université catholique
More informationComputational complexity of two-dimensional platform games
Computational complexity of two-dimensional platform games Michal Forišek Comenius University, Bratislava, Slovakia forisek@dcs.fmph.uniba.sk Abstract. We analyze the computational complexity of various
More informationOn the fairness and complexity of generalized k-in-a-row games
Theoretical Computer Science 385 (2007) 88 100 www.elsevier.com/locate/tcs On the fairness and complexity of generalized k-in-a-row games Ming Yu Hsieh, Shi-Chun Tsai 1001 University Road, Department of
More informationThe Cauchy Criterion
The Cauchy Criterion MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Cauchy Sequences Definition A sequence X = (x n ) of real numbers is a Cauchy sequence if it satisfies
More informationTHE GAME CREATION OPERATOR
2/6/17 THE GAME CREATION OPERATOR Joint work with Urban Larsson and Matthieu Dufour Silvia Heubach California State University Los Angeles SoCal-Nevada Fall 2016 Section Meeting October 22, 2016 Much of
More informationNarrow misère Dots-and-Boxes
Games of No Chance 4 MSRI Publications Volume 63, 05 Narrow misère Dots-and-Boxes SÉBASTIEN COLLETTE, ERIK D. DEMAINE, MARTIN L. DEMAINE AND STEFAN LANGERMAN We study misère Dots-and-Boxes, where the goal
More informationAn interesting class of problems of a computational nature ask for the standard residue of a power of a number, e.g.,
Binary exponentiation An interesting class of problems of a computational nature ask for the standard residue of a power of a number, e.g., What are the last two digits of the number 2 284? In the absence
More informationTimed Games UPPAAL-TIGA. Alexandre David
Timed Games UPPAAL-TIGA Alexandre David 1.2.05 Overview Timed Games. Algorithm (CONCUR 05). Strategies. Code generation. Architecture of UPPAAL-TIGA. Interactive game. Timed Games with Partial Observability.
More informationYou Should Be Scared of German Ghost
[DOI: 10.2197/ipsjjip.23.293] Regular Paper You Should Be Scared of German Ghost Erik D. Demaine 1,a) Fermi Ma 1,b) Matthew Susskind 1,c) Erik Waingarten 1,d) Received: August 1, 2014, Accepted: January
More informationThe Computational Complexity of Games and Puzzles. Valia Mitsou
The Computational Complexity of Games and Puzzles Valia Mitsou Abstract The subject of my thesis is studying the algorithmic properties of one and two-player games people enjoy playing, such as chess or
More informationFixing Balanced Knockout and Double Elimination Tournaments
Fixing Balanced Knockout and Double Elimination Tournaments Haris Aziz, Serge Gaspers Data61, CSIRO and UNSW Sydney, Australia Simon Mackenzie Carnegie Mellon University, USA Nicholas Mattei IBM Research,
More informationAlgorithmics of Directional Antennae: Strong Connectivity with Multiple Antennae
Algorithmics of Directional Antennae: Strong Connectivity with Multiple Antennae Ioannis Caragiannis Stefan Dobrev Christos Kaklamanis Evangelos Kranakis Danny Krizanc Jaroslav Opatrny Oscar Morales Ponce
More informationSecond Annual University of Oregon Programming Contest, 1998
A Magic Magic Squares A magic square of order n is an arrangement of the n natural numbers 1,...,n in a square array such that the sums of the entries in each row, column, and each of the two diagonals
More informationGeneralized Amazons is PSPACE Complete
Generalized Amazons is PSPACE Complete Timothy Furtak 1, Masashi Kiyomi 2, Takeaki Uno 3, Michael Buro 4 1,4 Department of Computing Science, University of Alberta, Edmonton, Canada. email: { 1 furtak,
More informationRobust Location Detection in Emergency Sensor Networks. Goals
Robust Location Detection in Emergency Sensor Networks S. Ray, R. Ungrangsi, F. D. Pellegrini, A. Trachtenberg, and D. Starobinski. Robust location detection in emergency sensor networks. In Proceedings
More informationHanabi is NP-Complete, Even for Cheaters Who Look at Their Cards
Hanabi is NP-Complete, Even for Cheaters Who Look at Their Cards Jean-Francois Baffier 1,9, Man-Kwun Chiu 2,9, Yago Diez 3, Matias Korman 4, Valia Mitsou 5, André van Renssen 6,9, Marcel Roeloffzen 7,9,
More informationOne-Dimensional Peg Solitaire, and Duotaire
More Games of No Chance MSRI Publications Volume 42, 2002 One-Dimensional Peg Solitaire, and Duotaire CRISTOPHER MOORE AND DAVID EPPSTEIN Abstract. We solve the problem of one-dimensional Peg Solitaire.
More informationFinal exam. Question Points Score. Total: 150
MATH 11200/20 Final exam DECEMBER 9, 2016 ALAN CHANG Please present your solutions clearly and in an organized way Answer the questions in the space provided on the question sheets If you run out of room
More informationMULTINATIONAL WAR IS HARD
MULTINATIONAL WAR IS HARD JONATHAN WEED Abstract. War is a simple children s game with no apparent strategy. However, players do have the ability to influence the game s outcome by deciding how to return
More informationNUMBER THEORY AMIN WITNO
NUMBER THEORY AMIN WITNO.. w w w. w i t n o. c o m Number Theory Outlines and Problem Sets Amin Witno Preface These notes are mere outlines for the course Math 313 given at Philadelphia
More informationA tournament problem
Discrete Mathematics 263 (2003) 281 288 www.elsevier.com/locate/disc Note A tournament problem M.H. Eggar Department of Mathematics and Statistics, University of Edinburgh, JCMB, KB, Mayeld Road, Edinburgh
More informationPermutation groups, derangements and prime order elements
Permutation groups, derangements and prime order elements Tim Burness University of Southampton Isaac Newton Institute, Cambridge April 21, 2009 Overview 1. Introduction 2. Counting derangements: Jordan
More informationMore NP Complete Games Richard Carini and Connor Lemp February 17, 2015
More NP Complete Games Richard Carini and Connor Lemp February 17, 2015 Attempts to find an NP Hard Game 1 As mentioned in the previous writeup, the search for an NP Complete game requires a lot more thought
More informationThree Pile Nim with Move Blocking. Arthur Holshouser. Harold Reiter.
Three Pile Nim with Move Blocking Arthur Holshouser 3600 Bullard St Charlotte, NC, USA Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 28223, USA hbreiter@emailunccedu
More informationHamming Codes as Error-Reducing Codes
Hamming Codes as Error-Reducing Codes William Rurik Arya Mazumdar Abstract Hamming codes are the first nontrivial family of error-correcting codes that can correct one error in a block of binary symbols.
More informationGame Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games
Game Theory and Algorithms Lecture 19: Nim & Impartial Combinatorial Games May 17, 2011 Summary: We give a winning strategy for the counter-taking game called Nim; surprisingly, it involves computations
More informationarxiv: v2 [cs.cc] 20 Nov 2018
AT GALLEY POBLEM WITH OOK AND UEEN VISION arxiv:1810.10961v2 [cs.cc] 20 Nov 2018 HANNAH ALPET AND ÉIKA OLDÁN Abstract. How many chess rooks or queens does it take to guard all the squares of a given polyomino,
More informationAlgorithms and Complexity for Japanese Puzzles
のダイジェスト ICALP Masterclass Talk: Algorithms and Complexity for Japanese Puzzles Ryuhei Uehara Japan Advanced Institute of Science and Technology uehara@jaist.ac.jp http://www.jaist.ac.jp/~uehara 2015/07/09
More informationarxiv: v2 [cs.cc] 29 Dec 2017
A handle is enough for a hard game of Pull arxiv:1605.08951v2 [cs.cc] 29 Dec 2017 Oscar Temprano oscartemp@hotmail.es Abstract We are going to show that some variants of a puzzle called pull in which the
More informationCOMP Online Algorithms. Paging and k-server Problem. Shahin Kamali. Lecture 11 - Oct. 11, 2018 University of Manitoba
COMP 7720 - Online Algorithms Paging and k-server Problem Shahin Kamali Lecture 11 - Oct. 11, 2018 University of Manitoba COMP 7720 - Online Algorithms Paging and k-server Problem 1 / 19 Review & Plan
More informationFormulas for Primes. Eric Rowland Hofstra University. Eric Rowland Formulas for Primes / 27
Formulas for Primes Eric Rowland Hofstra University 2018 2 14 Eric Rowland Formulas for Primes 2018 2 14 1 / 27 The sequence of primes 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
More informationTiling Problems. This document supersedes the earlier notes posted about the tiling problem. 1 An Undecidable Problem about Tilings of the Plane
Tiling Problems This document supersedes the earlier notes posted about the tiling problem. 1 An Undecidable Problem about Tilings of the Plane The undecidable problems we saw at the start of our unit
More informationBust-a-Move/Puzzle Bobble Is NP-complete
Bust-a-Move/Puzzle Bobble Is NP-complete The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Demaine,
More informationTo be able to determine the quadratic character of an arbitrary number mod p (p an odd prime), we. The first (and most delicate) case concerns 2
Quadratic Reciprocity To be able to determine the quadratic character of an arbitrary number mod p (p an odd prime), we need to be able to evaluate q for any prime q. The first (and most delicate) case
More informationLumines is NP-complete
DEGREE PROJECT, IN COMPUTER SCIENCE, FIRST LEVEL STOCKHOLM, SWEDEN 2015 Lumines is NP-complete OR AT LEAST IF YOUR GAMEPAD IS BROKEN ANDRÉ NYSTRÖM & AXEL RIESE KTH ROYAL INSTITUTE OF TECHNOLOGY SCHOOL
More informationarxiv: v1 [math.co] 7 Aug 2012
arxiv:1208.1532v1 [math.co] 7 Aug 2012 Methods of computing deque sortable permutations given complete and incomplete information Dan Denton Version 1.04 dated 3 June 2012 (with additional figures dated
More informationMario Kart Is Hard. Citation. As Published Publisher. Version
Mario Kart Is Hard The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Bosboom, Jeffrey, Erik D. Demaine,
More informationAnalysis of Don't Break the Ice
Rose-Hulman Undergraduate Mathematics Journal Volume 18 Issue 1 Article 19 Analysis of Don't Break the Ice Amy Hung Doane University Austin Uden Doane University Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj
More informationComplexity and Retrograde Analysis of the Game Dou Shou Qi
Complexity and Retrograde Analysis of the Game Dou Shou Qi Jan N. van Rijn Jonathan K. Vis Leiden Institute of Advanced Computer Science November 7, 2013 Jan N. van Rijn, Jonathan K. Vis (LIACS) Complexity
More information2048 IS (PSPACE) HARD, BUT SOMETIMES EASY
2048 IS (PSPE) HRD, UT SOMETIMES ESY Rahul Mehta Princeton University rahulmehta@princeton.edu ugust 28, 2014 bstract arxiv:1408.6315v1 [cs.] 27 ug 2014 We prove that a variant of 2048, a popular online
More informationGame Values and Computational Complexity: An Analysis via Black-White Combinatorial Games
Game Values and Computational Complexity: An Analysis via Black-White Combinatorial Games Stephen A. Fenner University of South Carolina Daniel Grier MIT Thomas Thierauf Aalen University Jochen Messner
More information18.204: CHIP FIRING GAMES
18.204: CHIP FIRING GAMES ANNE KELLEY Abstract. Chip firing is a one-player game where piles start with an initial number of chips and any pile with at least two chips can send one chip to the piles on
More informationVariations on Instant Insanity
Variations on Instant Insanity Erik D. Demaine 1, Martin L. Demaine 1, Sarah Eisenstat 1, Thomas D. Morgan 2, and Ryuhei Uehara 3 1 MIT Computer Science and Artificial Intelligence Laboratory, 32 Vassar
More informationarxiv: v1 [cs.gt] 29 Feb 2012
Lemmings is PSPACE-complete Giovanni Viglietta University of Pisa, Italy, viglietta@gmail.com arxiv:1202.6581v1 [cs.gt] 29 Feb 2012 Abstract. Lemmings is a computer puzzle game developed by DMA Design
More informationAmazons, Konane, and Cross Purposes are PSPACE-complete
Games of No Chance 3 MSRI Publications Volume 56, 2009 Amazons, Konane, and Cross Purposes are PSPACE-complete ROBERT A. HEARN ABSTRACT. Amazons is a board game which combines elements of Chess and Go.
More informationIntroduction. and Z r1 Z rn. This lecture aims to provide techniques. CRT during the decription process in RSA is explained.
THE CHINESE REMAINDER THEOREM INTRODUCED IN A GENERAL KONTEXT Introduction The rst Chinese problem in indeterminate analysis is encountered in a book written by the Chinese mathematician Sun Tzi. The problem
More informationCSE 417: Review. Larry Ruzzo
CSE 417: Review Larry Ruzzo 1 Complexity, I Asymptotic Analysis Best/average/worst cases Upper/Lower Bounds Big O, Theta, Omega definitions; intuition Analysis methods loops recurrence relations common
More informationSee-Saw Swap Solitaire and Other Games on Permutations
See-Saw Swap Solitaire and Other Games on Permutations Tom ( sven ) Roby (UConn) Joint research with Steve Linton, James Propp, & Julian West Canada/USA Mathcamp Lewis & Clark College Portland, OR USA
More informationCrossing Game Strategies
Crossing Game Strategies Chloe Avery, Xiaoyu Qiao, Talon Stark, Jerry Luo March 5, 2015 1 Strategies for Specific Knots The following are a couple of crossing game boards for which we have found which
More informationLast update: March 9, Game playing. CMSC 421, Chapter 6. CMSC 421, Chapter 6 1
Last update: March 9, 2010 Game playing CMSC 421, Chapter 6 CMSC 421, Chapter 6 1 Finite perfect-information zero-sum games Finite: finitely many agents, actions, states Perfect information: every agent
More informationWilson s Theorem and Fermat s Theorem
Wilson s Theorem and Fermat s Theorem 7-27-2006 Wilson s theorem says that p is prime if and only if (p 1)! = 1 (mod p). Fermat s theorem says that if p is prime and p a, then a p 1 = 1 (mod p). Wilson
More informationPRIMES STEP Plays Games
PRIMES STEP Plays Games arxiv:1707.07201v1 [math.co] 22 Jul 2017 Pratik Alladi Neel Bhalla Tanya Khovanova Nathan Sheffield Eddie Song William Sun Andrew The Alan Wang Naor Wiesel Kevin Zhang Kevin Zhao
More informationHow hard are computer games? Graham Cormode, DIMACS
How hard are computer games? Graham Cormode, DIMACS graham@dimacs.rutgers.edu 1 Introduction Computer scientists have been playing computer games for a long time Think of a game as a sequence of Levels,
More informationA Protocol for Serializing Unique Strategies
A Protocol for Serializing Unique Strategies Marcel Crasmaru 1, Christian Glaßer 2, Kenneth W. Regan 3, and Samik Sengupta 3 1 Tokyo Inst. of Technology, marcelis.titech.ac.jp 2 Universität Würzburg, glasserinformatik.uni-wuerzburg.de
More informationComputational Complexity of Generalized Push Fight
Comutational Comlexity of Generalized Push Fight Jeffrey Bosboom Erik D. Demaine Mikhail Rudoy Abstract We analyze the comutational comlexity of otimally laying the two-layer board game Push Fight, generalized
More informationAdvanced Automata Theory 5 Infinite Games
Advanced Automata Theory 5 Infinite Games Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Advanced Automata Theory 5 Infinite
More informationSearch In Combinatorial Spaces: Fun with puzzles and games
Search In Combinatorial Spaces: Fun with puzzles and games Bart Massey (Physics '87) Asst. Prof. Computer Science Portland State University bart@cs.pdx.edu Why puzzles and games? Vernor Vinge: Usenix 2005
More informationarxiv:cs/ v1 [cs.gt] 12 Mar 2007
Linear time algorithms for Clobber Vincent D. Blondel, Julien M. Hendrickx and Raphaël M. Jungers arxiv:cs/0703054v1 [cs.gt] 12 Mar 2007 Department of Mathematical Engineering, Université catholique de
More informationTHE GAMES OF COMPUTER SCIENCE. Topics
THE GAMES OF COMPUTER SCIENCE TU DELFT Feb 23 2001 Games Workshop Games Workshop Peter van Emde Boas ILLC-FNWI-Univ. of Amsterdam References and slides available at: http://turing.wins.uva.nl/~peter/teaching/thmod00.html
More informationPlan. Related courses. A Take-Away Game. Mathematical Games , (21-801) - Mathematical Games Look for it in Spring 11
V. Adamchik D. Sleator Great Theoretical Ideas In Computer Science Mathematical Games CS 5-25 Spring 2 Lecture Feb., 2 Carnegie Mellon University Plan Introduction to Impartial Combinatorial Games Related
More informationTwo-Player Tower of Hanoi
Two-Player Tower of Hanoi Jonathan Chappelon, Urban Larsson, Akihiro Matsuura To cite this version: Jonathan Chappelon, Urban Larsson, Akihiro Matsuura. Two-Player Tower of Hanoi. 16 pages, 6 figures,
More informationLECTURE 8: DETERMINANTS AND PERMUTATIONS
LECTURE 8: DETERMINANTS AND PERMUTATIONS MA1111: LINEAR ALGEBRA I, MICHAELMAS 2016 1 Determinants In the last lecture, we saw some applications of invertible matrices We would now like to describe how
More informationEven 1 n Edge-Matching and Jigsaw Puzzles are Really Hard
[DOI: 0.297/ipsjjip.25.682] Regular Paper Even n Edge-Matching and Jigsaw Puzzles are Really Hard Jeffrey Bosboom,a) Erik D. Demaine,b) Martin L. Demaine,c) Adam Hesterberg,d) Pasin Manurangsi 2,e) Anak
More informationSun Bin s Legacy. Dana Mackenzie
Sun Bin s Legacy Dana Mackenzie scribe@danamackenzie.com Introduction Sun Bin was a legendary Chinese military strategist who lived more than 2000 years ago. Among other exploits, he is credited with helping
More informationREU 2006 Discrete Math Lecture 3
REU 006 Discrete Math Lecture 3 Instructor: László Babai Scribe: Elizabeth Beazley Editors: Eliana Zoque and Elizabeth Beazley NOT PROOFREAD - CONTAINS ERRORS June 6, 006. Last updated June 7, 006 at :4
More informationTo Your Hearts Content
To Your Hearts Content Hang Chen University of Central Missouri Warrensburg, MO 64093 hchen@ucmo.edu Curtis Cooper University of Central Missouri Warrensburg, MO 64093 cooper@ucmo.edu Arthur Benjamin [1]
More informationTangent: Boromean Rings. The Beer Can Game. Plan. A Take-Away Game. Mathematical Games I. Introduction to Impartial Combinatorial Games
K. Sutner D. Sleator* Great Theoretical Ideas In Computer Science CS 15-251 Spring 2014 Lecture 110 Feb 4, 2014 Carnegie Mellon University Tangent: Boromean Rings Mathematical Games I Challenge for next
More information