super computer - nanjing university · extend forcing/forced pairs of moves white has an...

27
Super Computer Super Computer -----------------IBM Deep Blue Presented by: Yang Jing Wen Ye Tao Li Fei Nan

Upload: others

Post on 02-May-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Super ComputerSuper Computer

-----------------IBM Deep Blue

Presented by: Yang Jing WenYe TaoLi Fei Nan

Page 2: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

A Computer defeated human!A Computer defeated human!

On May 11, 1997, the machine won a six-game match by two wins to one with three draw against world champion Garry Kasparov

Page 3: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Super ComputerSuper Computer

� Definition(from wikipedia): A supercomputer is a computer at the frontline of current processing capacity, particularly speed of calculation.

� Supercomputers are used for highly calculation-intensive tasks

� Tasks like: weather forecasting, climate research, molecular modeling and physicssimulations.

Page 4: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

CrayCray--11

Page 5: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

AbstractAbstract

� A chess search engine

� A massively parallel system with multiple levels of parallelism

� A strong emphasis on search extensions

� A complex evaluation function

� Effective use of a Grandmaster game database.

Page 6: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

IntroductionIntroduction

� ChipTest and Deep Thought500,000 positions/s(ChipTest)700,000 positions/s(Deep Thought)

� Deep Thought 21.Medium-scale multiprocessing.2. Enhanced evaluation hardware.3. Improved search software.4. Extended book� Deep Blue I(Overall Search speed 50-100million positions/s)

� Deep Blue II

Page 7: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Deep Blue IIDeep Blue II

� Redesigned chess chip

1.Completely redesigned evaluation function

2.Added hardware repetition detection

3.Specialized move generation modes

� Double the number of chess chip

� Development of software tools to aid in debugging and match preparation

Page 8: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

The summary of systemThe summary of system

Page 9: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

System overviewSystem overview

� Deep blue is organized in three layers

1.One processor as master

2.The remainder as workers

3.Chess chip

Page 10: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

The Chess Chip The Chess Chip

� Move generation

� evaluation function

� Search control

� Extendability(provide access to a more complicated search control, and additional terms for the evaluation function)

Page 11: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Software SearchSoftware Search

dual credit with delayed extensions

1.Extend forcing/forced pairs of moves

2.Forced moves are expectation dependent

3.Fractional extensions

4.Delayed extensions

5.Dual credit

Page 12: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Extend forcing/forced pairs of movesExtend forcing/forced pairs of moves

� White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats, attacks on high valued pieces, etc.)

� White has a series of sacrifices and immediate threats, which eventually result in checkmate or the win of material greater than that sacrificed.

Page 13: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Forced moves are expectation Forced moves are expectation

dependentdependent

� A move may be forced for one level of expectation and not forced for another. A move that is “fail low”, i.e., below the current level of expectation, is never considered forced in the Deep Blue search.

Page 14: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Fractional extensionsFractional extensions

� It is not feasible to fully extend all the ffp’s without the search exploding.

� One method of addressing this problem is to allow fractional extensions, where an ffp does not get a full 2-ply extension, but rather some smaller amount, say 1.75 ply.

Page 15: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Delayed extensionsDelayed extensions

� Often an isolated ffp is meaningless

� allow ffp’s to accumulate “credit”, and only when sufficient credit is available can it be “cashed in” for an extension.

� By setting this threshold appropriately, extensions are delayed until multiple ffp’s occur in a given path.

Page 16: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Dual creditDual credit

� Separate and accumulate the credit for the two sides separately.

� If either side accumulates sufficient credit to cash in for an extension, the other side must give up an equal amount of credit.

Page 17: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Hardware SearchHardware Search

• take place on the chess chip

• fast but simple

• host processor

Page 18: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

� Once a hardware search is initiated, the host processor controlling that chip is free to do other work, including performing the software search and initiating hardware searches on other chips. The host polls the chips to determine when a hardware search has completed. The host can abort a hardware search if needed, e.g., if the search is taking too long, or is no longer relevant.

Page 19: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

PARALLEL SEARCHINGPARALLEL SEARCHING

Page 20: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Processor hierarchyProcessor hierarchy

Page 21: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Parallel search implementationParallel search implementation

1. Load balancing

2. Master overload

3. Sharing between nodes

Page 22: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

Parallel search performanceParallel search performance

Page 23: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

EVALUATION EVALUATION FUNCTIONFUNCTION

Page 24: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

OverviewOverview

Page 25: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,
Page 26: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,

1. Slow

2. Fast

Page 27: Super Computer - Nanjing University · Extend forcing/forced pairs of moves White has an unstoppable winning threat. Black has numerous delaying moves (e.g., checks, mate threats,