The Clique Game Vít Jelínek, Jan Kára, Robert Šámal Mentor: Dr. József Beck.

Slides:



Advertisements
Similar presentations
Semantic of (Ongoing work with S. Hayashi, T. Coquand) Jouy-en-Josas, France, December 2004 Stefano Berardi, Semantic of Computation group C.S. Dept.,
Advertisements

Totally Unimodular Matrices
EMIS 8374 Vertex Connectivity Updated 20 March 2008.
Tutorial 6 of CSCI2110 Bipartite Matching Tutor: Zhou Hong ( 周宏 )
On the relation between probabilistic and deterministic avoidance games Torsten Mütze, ETH Zürich Joint work with Michael Belfrage (ETH Zürich), Thomas.
Online Vertex-Coloring Games in Random Graphs Revisited Reto Spöhel (joint work with Torsten Mütze and Thomas Rast; appeared at SODA ’11)
Minimax and Alpha-Beta Reduction Borrows from Spring 2006 CS 440 Lecture Slides.
Positional Games Michael Krivelevich Tel Aviv University.
Fast FAST By Noga Alon, Daniel Lokshtanov And Saket Saurabh Presentation by Gil Einziger.
Online Ramsey Games in Random Graphs Reto Spöhel Joint work with Martin Marciniszyn and Angelika Steger.
Lecture 3: Polygon Triangulation Computational Geometry Prof. Dr. Th. Ottmann 1 Polygon Triangulation Motivation: Guarding art galleries Art gallery theorem.
Online Graph Avoidance Games in Random Graphs Reto Spöhel Diploma Thesis Supervisors: Martin Marciniszyn, Angelika Steger.
November 10, 2009Introduction to Cognitive Science Lecture 17: Game-Playing Algorithms 1 Decision Trees Many classes of problems can be formalized as search.
Online Ramsey Games in Random Graphs Reto Spöhel Joint work with Martin Marciniszyn and Angelika Steger.
What is the next line of the proof? a). Let G be a graph with k vertices. b). Assume the theorem holds for all graphs with k+1 vertices. c). Let G be a.
The Game of Nim on Graphs: NimG By Gwendolyn Stockman With: Alan Frieze, and Juan Vera.
Structures and Strategies for State Space Search
Ramsey games in random graphs PhD defense 22 nd Nov 2011 Torsten Mütze TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:
Lecture 3: Polygon Triangulation Computational Geometry Prof. Dr. Th. Ottmann Polygon Triangulation Motivation: Guarding art galleries Art gallery theorem.
Is the following graph Hamiltonian- connected from vertex v? a). Yes b). No c). I have absolutely no idea v.
Online Vertex Colorings of Random Graphs Without Monochromatic Subgraphs Reto Spöhel, ETH Zurich Joint work with Martin Marciniszyn.
Is C 6 2-critical? a). Yes b). No c). I have absolutely no idea.
Adversarial Search: Game Playing Reading: Chess paper.
Argumentation Logics Lecture 4: Games for abstract argumentation Henry Prakken Chongqing June 1, 2010.
Alpha-Beta Search. 2 Two-player games The object of a search is to find a path from the starting position to a goal position In a puzzle-type problem,
MATH 310, FALL 2003 (Combinatorial Problem Solving) Lecture 10, Monday, September 22.
Graphs, relations and matrices
The Art Gallery Problem
Online Ramsey Games in Random Graphs Reto Spöhel, ETH Zürich Joint work with Martin Marciniszyn and Angelika Steger.
Proving the Midsegment of a Triangle Adapted from Walch Education.
The Hat Game 11/19/04 James Fiedler. References Hendrik W. Lenstra, Jr. and Gadiel Seroussi, On Hats and Other Covers, preprint, 2002,
Lecture 5 Note: Some slides and/or pictures are adapted from Lecture slides / Books of Dr Zafar Alvi. Text Book - Aritificial Intelligence Illuminated.
Investigation #1 Factors (Factor Game).
Investigation #1 Factors and Products.
Mathematics Activity Project Katherine Miller ECED Fall 2006 Instructor: Dr. Fenqjen.
Online Ramsey Games in Random Graphs Reto Spöhel, ETH Zürich Joint work with Martin Marciniszyn and Angelika Steger TexPoint fonts used in EMF. Read the.
Online Vertex-Coloring Games in Random Graphs Reto Spöhel (joint work with Martin Marciniszyn; appeared at SODA ’07)
6 Sums of Games.. Lecture6 Admin Plagiarism forms Answer football cup final problem. //Daisy Problem hints e.g. try a smaller size. General problem solving.
Game Playing. Towards Intelligence? Many researchers attacked “intelligent behavior” by looking to strategy games involving deep thought. Many researchers.
Games. Adversaries Consider the process of reasoning when an adversary is trying to defeat our efforts In game playing situations one searches down the.
05/2007ORNL Presentation Distributed Denial of Service Games by Chinar Dingankar, Student Dr. R. R. Brooks, Associate Professor Holcombe Department of.
Backtracking and Games Eric Roberts CS 106B January 28, 2013.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Balanced Online Graph Avoidance Games Henning Thomas Master Thesis supervised by Reto Spöhel ETH Zürich TexPoint fonts used in EMF. Read the TexPoint manual.
The Chooser-Picker 7-in-a-row game András Csernenszky July Szeged.
Lesson 10.6a AIM: Variations on Linear Nim. DO NOW.
Multiples and Factors. Multiples A multiple is a number that is in the times tables. A multiple is a number that is in the times tables. Multiples of.
CS Lecture 26 Monochrome Despite Himself. Pigeonhole Principle: If we put n+1 pigeons into n holes, some hole must receive at least 2 pigeons.
Graph Search II GAM 376 Robin Burke. Outline Homework #3 Graph search review DFS, BFS A* search Iterative beam search IA* search Search in turn-based.
The Standard Genetic Algorithm Start with a “population” of “individuals” Rank these individuals according to their “fitness” Select pairs of individuals.
Senet is a ancient Egyptian board game.
Tree Diagrams A tree is a connected graph in which every edge is a bridge. There can NEVER be a circuit in a tree diagram!
Spanish Traditional Games Example. Marbles Objective you keep marbles that you win. You win the opponent´s marbles by hitting them after putting your.
Lecture Coursework 2. Rectangle Game Look at proof of matchsticks Read thru the question. A rectangular board is divided into m columns by n rows. The.
Eternal Domination Chip Klostermeyer.
Understanding AI of 2 Player Games. Motivation Not much experience in AI (first AI project) and no specific interests/passion that I wanted to explore.
Hex: a Game of Connecting Faces. Player 1 Player 2 Players take turns placing blue chips (player 1) and red chips (player 2). Player 1 plays first. Player.
Name 8/29/17.
Monochrome Despite Himself
Defining Rules and Levels of Rules (Chs. 11 & 12)
Next Level Tic-Tac-Toe
What is the next line of the proof?
Pigeonhole Principle and Ramsey’s Theorem
Matt Baker The Dollar Game on a Graph (with 9 surprises!)
Discrete Mathematics and its Applications Lecture 8 – Cop-win Graphs
Calculus What is it about?.
3.0A.2 Breaking Numbers into Equal Groups is Division
Modelling and Searching Networks Lecture 8 – Cop-win Graphs
3.OA.1 Arrays and Multiplication Slideshow
Structure diagrams for lab 13
Presentation transcript:

The Clique Game Vít Jelínek, Jan Kára, Robert Šámal Mentor: Dr. József Beck

The Rules of the Game Two players take turns to color the edges of a complete graph on N vertices Each player wants to create a clique of size q with all its edges colored with his color If all the edges are colored and no monochromatic clique of size q exists, the game is a draw

Observations The second player can never have a winning strategy If q is fixed and N is large enough, draw is impossible (Ramsey theorem), so the first player has a winning strategy Problems: –How to find an explicit winning strategy? –What if the board is smaller than the corresponding Ramsey number? –What if the board is infinite?

Our Project We studied the K 4 game on the infinite board We found an explicit winning strategy for the first player The proof is based on backtracking through the variation tree, improved by some observations about the game

Basic Idea of the Strategy Step 1: make a triangle faster than your opponent (use our opening book) Step 2: try to create a rabbit (see next slide) by adding edges connected to your triangle Step 3: sooner or later, you reach a winning configuration (see next slide) and win

Winning Configurations

Pruning the Variation Tree

More Work to Do Formulate the strategy and the proof in a clear and concise way Try to further simplify the proof Calculate the exact number of moves and vertices needed in the worst case Write an article Try to generalize to some K n game, for n>4 (more ideas needed)