Dynamic Decomposition Search for the One-Eye Problem Akihiro Kishimoto

Slides:



Advertisements
Similar presentations
Development of the Best Tsume-Go Solver
Advertisements

Algorithms Analysis Lecture 6 Quicksort. Quick Sort Divide and Conquer.
Games & Adversarial Search Chapter 5. Games vs. search problems "Unpredictable" opponent  specifying a move for every possible opponent’s reply. Time.
Dynamic Programming.
Quick Sort, Shell Sort, Counting Sort, Radix Sort AND Bucket Sort
Divide and Conquer. Recall Complexity Analysis – Comparison of algorithm – Big O Simplification From source code – Recursive.
Divide and Conquer. Divide and Conquer is a technique for designing the algorithms that consists of decomposing the instance to be solved into a number.
Artifact and Textured region Detection - Vishal Bangard.
Incidences and Many Faces via cuttings Sivanne Goldfarb
Nattee Niparnan. Recall  Complexity Analysis  Comparison of Two Algos  Big O  Simplification  From source code  Recursive.
An ILP-based Automatic Bus Planner for Dense PCBs P. C. Wu, Q. Ma and M. D. F. Wong Department of Electrical and Computer Engineering, University of Illinois.
Abstract Proof Search Studied by Tristan Cazenave Surveyed by Akihiro Kishimoto.
Life in the Game of Go David B. Benson Surveyed by Akihiro Kishimoto.
Search for Transitive Connections Ling Zhao University of Alberta October 27, 2003 Author: T. Cazenave and B. Helmstetter published in JCIS'03.
Combining Tactical Search and Monte-Carlo in the Game of Go Presenter: Ling Zhao University of Alberta November 1, 2005 by Tristan Cazenave & Bernard Helmstetter.
Df-pn: Depth-first Proof Number Search
Generalized Threats Search Paper Review Paper Author: T. Cazenave Review by: A. Botea.
Constraint Satisfaction Problems
An Adversarial Planning Approach to Go Paper Authors: S. Willmott, J. Richardson, A. Bundy, J. Levine Presentation Author: A. Botea.
1 An Improved Safety Solver for Computer Go Presented by: Xiaozhen Niu Date: 2004/02/24.
Using a “Memetic” Evolutionary Algorithm to Solve a Form of The Maximum Clique Problem By Ian Baird November 20 th, 2003.
1 Solving Ponnuki-Go on Small Board Paper: Solving Ponnuki-Go on small board Authors: Erik van der Werf, Jos Uiterwijk, Jaap van den Herik Presented by:
A Heuristic Search Algorithm for Capturing Problems in Go Authors: Keh-Hsun Chen and Peigang Zhang Presenter: Ling Zhao August 8, 2006.
Monte Carlo Go Has a Way to Go Haruhiro Yoshimoto (*1) Kazuki Yoshizoe (*1) Tomoyuki Kaneko (*1) Akihiro Kishimoto (*2) Kenjiro Taura (*1) (*1)University.
Applying proof numbers to Life and Death: First Result Akihiro Kishimoto
Workspace-based Connectivity Oracle An Adaptive Sampling Strategy for PRM Planning Hanna Kurniawati and David Hsu Presented by Nicolas Lee and Stephen.
Triangle-based approach to the detection of human face March 2001 PATTERN RECOGNITION Speaker Jing. AIP Lab.
Recent Progress on the One-eye Solver Akihiro Kishimoto
Constrained Pattern Assignment for Standard Cell Based Triple Patterning Lithography H. Tian, Y. Du, H. Zhang, Z. Xiao, M. D.F. Wong Department of ECE,
Hsiu-Yu Lai Ting-Chi Wang A TPL-Friendly Legalizer for Standard Cell Based Design SASIMI ‘15.
1 Recognizing safe territories Presented by: Xiaozhen Niu Date: 2003/09/22.
1 An Open Boundary Safety-of- Territory Solver for the Game of Go Author: Xiaozhen Niu, Martin Mueller Dept of Computing Science University of Alberta.
Tools for Planar Networks Grigorios Prasinos and Christos Zaroliagis CTI/University of Patras 3 rd Amore Research Seminar – Oegstgeest, The Netherlands,
An One-eye Solver Based on Proof and Disproof Numbers Akihiro Kishimoto
A Solution to the GHI Problem for Best-First Search D. M. Breuker, H. J. van den Herik, J. W. H. M. Uiterwijk, and L. V. Allis Surveyed by Akihiro Kishimoto.
Clustering Vertices of 3D Animated Meshes
Junjun Pan 1, Xiaosong Yang 1, Xin Xie 1, Philip Willis 2, Jian J Zhang 1
5th Grade Module 2 – Lesson 23
Computer Go : A Go player Rohit Gurjar CS365 Project Proposal, IIT Kanpur Guided By – Prof. Amitabha Mukerjee.
 Summary  How to Play Go  Project Details  Demo  Results  Conclusions.
1 Solving problems by searching This Lecture Chapters 3.1 to 3.4 Next Lecture Chapter 3.5 to 3.7 (Please read lecture topic material before and after each.
Nattee Niparnan. Recall  Complexity Analysis  Comparison of Two Algos  Big O  Simplification  From source code  Recursive.
1 Summary: Design Methods for Algorithms Andreas Klappenecker.
Scientific Method i.e. How we go about solving problems.
Honors Track: Competitive Programming & Problem Solving Optimization Problems Kevin Verbeek.
PYIWIT'021 Threat Analysis to Reduce the Effects of the Horizon Problem in Shogi Reijer Grimbergen Department of Information Science Saga University.
Graphing Quadratic Functions – Standard Form It is assumed that you have already viewed the previous slide show titled Graphing Quadratic Functions – Concept.
Isolating Objects From Image Stack Presented By: Md. Amjad Hossain and Raja Naresh.
Shibo He 、 Jiming Chen 、 Xu Li 、, Xuemin (Sherman) Shen and Youxian Sun State Key Laboratory of Industrial Control Technology, Zhejiang University, China.
Solving Tsumego on Computers M2 Hirokazu Ishii Chikayama & Taura Lab.
Finding Optimal Solutions to Cooperative Pathfinding Problems Trevor Standley Computer Science Department University of California, Los Angeles
Adversarial Search 2 (Game Playing)
Kernelized Value Function Approximation for Reinforcement Learning Gavin Taylor and Ronald Parr Duke University.
1 Double-Patterning Aware DSA Template Guided Cut Redistribution for Advanced 1-D Gridded Designs Zhi-Wen Lin and Yao-Wen Chang National Taiwan University.
The Chinese University of Hong Kong Learning Larger Margin Machine Locally and Globally Dept. of Computer Science and Engineering The Chinese University.
By Kevin Madison and Emma Drobina
Fast Hamiltonicity Checking via Bases of Perfect Matchings
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
Divide and Conquer.
Stepping stones for systematic problem solving.
Greedy Algorithms / Interval Scheduling Yin Tat Lee
Goal-driven Mechanism in Interim.2 Go Program
Combating Tag Cloning with COTS RFID Devices
Artificial Intelligence
Analysis of Algorithms CS 477/677
COMP108 Algorithmic Foundations Dynamic Programming
Design and Analysis of Algorithms
PN, PN2 and PN* in Lines of Action
Extendible Hashing Example
Efficient Aggregation over Objects with Extent
Presentation transcript:

Dynamic Decomposition Search for the One-Eye Problem Akihiro Kishimoto

Outline Motivations Our decomposition search algorithm Current experimental results Conclusions

Motivation of this research Solving tsume-Go is hard –Large number of moves –Deep search to detect alive/dead Successful research on decomposition search [Mueller:IJCAI’99] –Applicable to endgames –Assume positions are already decomposed Can we apply divide and conquer approach to life and death/one-eye problems?

Basic Idea of Dynamic Decomposition Search Example Divide and Conquer –Try to make an eye in left or right region –Reduce branching factor and search depth Issues –How to decompose positions? –Which region must be chosen?

Dynamic Decomposition Search Algorithm (1 / 6) Example Undivided positions –Generate all moves

Dynamic Decomposition Search Algorithm (2 / 6) Divided into sub- positions by: –Attacker’s connections to safe stones –Defender’s crucial stones Example

Dynamic Decomposition Search Algorithm (3 / 6) Narrowing region –Defender’s choice to determine working region –Use move ordering by search algorithms Proof and disproof numbers Example

Dynamic Decomposition Search Algorithm (4 / 6) Attacker plays in sub- region –Reduce branching factor and search depth Example

Dynamic Decomposition Search Algorithm (5 / 6) Region extension –Occurs when defender plays at boundary of connections –Attacker generates all moves in extended region Example

Dynamic Decomposition Search Algorithm (6 / 6) Narrowing region –Region narrowed again if attacker connects –Attacker’s choice to/not to connect Move ordering by search algorithm Example

Current Result (1 / 5) Athlon 2800MP MB TT 140 test positions Time limit: 5minites per position # of problems solved: –With dynamic decomposition search: 137 –Without DDS :136

Position Solved only by Dynamic Decomposition Search White to live Look impressive?

Current Results (2 / 5)

Current Results (3 / 5)

Current Results (4 / 5)

Current Results (5 / 5)

Conclusions and Future Work Successfully achieved higher performance by dynamically decomposing positions? –Need more problems for fair comparison! Still room for improvement Need to consider the case of tsume-Go problem