私はチェスエンジンを静止状態にしてアルファベット検索を実装しました。しかし、ほとんどのポジションでは、プロファイラーに示されているように、静止時間の検索は実行時間の80-90%を占めています。私の剪定にバグがありますか?チェス:静止している検索ランタイムを支配する
私はalpha-betaルーチンと休止ルーチンの両方を含んでいます。
私の静止の検索は、直接this pseudocodeに基づいています。
// Perform the alpha-beta search.
func ab(b *dragontoothmg.Board, alpha int16, beta int16, depth int8, halt chan bool, stop *bool) (int16, dragontoothmg.Move) {
nodeCount++
if *stop {
return alpha, 0
}
found, tableMove, tableEval, tableDepth, tableNodeType := transtable.Get(b)
if found && tableDepth >= depth {
if tableNodeType == transtable.Exact {
return tableEval, tableMove
} else if tableNodeType == transtable.LowerBound {
alpha = max(alpha, tableEval)
} else { // upperbound
beta = min(beta, tableEval)
}
if alpha >= beta {
return tableEval, tableMove
}
}
if depth == 0 {
//return eval.Evaluate(b), 0
return quiesce(b, alpha, beta, stop), 0
}
alpha0 := alpha
bestVal := int16(negInf)
moves := b.GenerateLegalMoves()
var bestMove dragontoothmg.Move
if len(moves) > 0 {
bestMove = moves[0] // randomly pick some move
}
for _, move := range moves {
unapply := b.Apply(move)
var score int16
score, _ = ab(b, -beta, -alpha, depth-1, halt, stop)
score = -score
unapply()
if score > bestVal {
bestMove = move
bestVal = score
}
alpha = max(alpha, score)
if alpha >= beta {
break
}
}
if *stop {
return bestVal, bestMove
}
var nodeType uint8
if bestVal <= alpha0 {
nodeType = transtable.UpperBound
} else if bestVal >= beta {
nodeType = transtable.LowerBound
} else {
nodeType = transtable.Exact
}
transtable.Put(b, bestMove, bestVal, depth, nodeType)
return bestVal, bestMove
}
func quiesce(b *dragontoothmg.Board, alpha int16, beta int16, stop *bool) int16 {
nodeCount++
if *stop {
return alpha
}
var standPat int16
found, _, evalresult, _, ntype := transtable.Get(b)
if found && ntype == transtable.Exact {
standPat = evalresult
} else {
standPat = eval.Evaluate(b)
transtable.Put(b, 0, standPat, 0, transtable.Exact)
}
if standPat >= beta {
return beta
}
if alpha < standPat {
alpha = standPat
}
moves := b.GenerateLegalMoves()
if len(moves) == 0 { // TODO(dylhunn): What about stalemate?
return negInf
}
for _, move := range moves {
if !isCapture(move, b) {
continue
}
unapply := b.Apply(move)
score := -quiesce(b, -beta, -alpha, stop)
unapply()
if score >= beta {
return beta
}
if score > alpha {
alpha = score
}
}
return alpha
}
func isCapture(m dragontoothmg.Move, b *dragontoothmg.Board) bool {
toBitboard := (uint64(1) << m.To())
return (toBitboard&b.White.All != 0) || (toBitboard&b.Black.All != 0)
}