public int Search(Color playerToMove, int maxPly, int depth, int alpha, int beta)
{
ZobristHash lZobristHash = Board.ZobristHash.Clone();
lZobristHash.Mark(playerToMove);
if (depth > 1)
{
TranspositionTable.Node lNode = TranspositionTable.Retrieve(lZobristHash);
if ((lNode.Flag != TranspositionTable.NodeType.Unknown) && ((maxPly - depth) <= lNode.Height))
{
switch (lNode.Flag)
{
case TranspositionTable.NodeType.Exact:
{
SearchComplete = false;
TranspositionTableHits++;
return(lNode.Value);
}
case TranspositionTable.NodeType.LowerBound:
{
alpha = (alpha > lNode.Value) ? alpha : lNode.Value;
break;
}
case TranspositionTable.NodeType.UpperBound:
{
beta = (beta < lNode.Value) ? beta : lNode.Value;
break;
}
}
if (alpha >= beta)
{
return(lNode.Value);
}
}
}
if ((depth == maxPly) || ((depth != 0) && (SearchInterface.IsGameOver())))
{
if (depth == maxPly)
{
SearchComplete = false;
}
NodesEvaluated++;
int lEval = SearchInterface.Evaluate(playerToMove);
TranspositionTable.Record(maxPly - depth, lEval, TranspositionTable.NodeType.Exact, lZobristHash);
return(lEval);
}
PrincipalVariation.SetPVLength(depth);
MoveList lMoves = SearchInterface.GetMoveList(playerToMove, SearchOptions.IncludeEndGameMoves);
SearchInterface.PruneMoveList(lMoves);
SearchInterface.PrioritizeMoves(lMoves, playerToMove);
if ((SearchOptions.UsePatterns) && (lMoves.Count != 0))
{
PatternMap lPatternMap = SearchOptions.PatternDetector.FindPatterns(Board, playerToMove, lMoves.AllMoves);
lPatternMap.UpdateMoveList(lMoves);
}
if (lMoves.Count == 0)
{
lMoves.Add(CoordinateSystem.PASS);
}
if ((lMoves.Count == 1) && (lMoves[0] == CoordinateSystem.PASS) && (Board.LastMove == CoordinateSystem.PASS))
{
PrincipalVariation.UpdatePV(depth, CoordinateSystem.PASS);
int lEval = SearchInterface.Evaluate(playerToMove);
TranspositionTable.Record(maxPly - depth, lEval, TranspositionTable.NodeType.Exact, lZobristHash);
return(lEval);
}
// follow the principle variation
if (FollowPV)
{
FollowPV = false;
int lPVMove = PrincipalVariation.GetMove(depth);
if (lPVMove != PrincipalVariation.NO_VALUE)
{
if (lMoves.Contains(lPVMove))
{
lMoves.SetValue(lPVMove, Int32.MaxValue);
FollowPV = true;
}
}
}
SearchInterface.SortMoveList(lMoves);
if (UpdateStatusFlag)
{
UpdateStatus();
}
if (StopThinkingFlag)
{
Stop();
}
int lSuperKoCount = 0;
TranspositionTable.NodeType lFlag = TranspositionTable.NodeType.UpperBound;
foreach (int lMove in lMoves)
{
NodesSearched++;
bool lPlayed = Board.PlayStone(lMove, playerToMove, true);
if (!lPlayed)
{
throw new ApplicationException("SearchMethodAB_ID_TT_PVS.cs: You hit a bug!");
}
if ((CheckSuperKo) && (Board.IsSuperKo()))
{
lSuperKoCount++;
Board.Undo();
}
else
{
int lScore = -Search(playerToMove.Opposite, maxPly, depth + 1, -beta, -alpha);
Board.Undo();
if (lScore > alpha)
{
if (lScore >= beta)
{
TranspositionTable.Record(maxPly - depth, alpha, TranspositionTable.NodeType.LowerBound, lZobristHash);
return(lScore);
}
alpha = lScore;
lFlag = TranspositionTable.NodeType.Exact;
PrincipalVariation.UpdatePV(depth, lMove);
}
}
}
if (lSuperKoCount == lMoves.Count)
{
return(SearchInterface.Evaluate(playerToMove));
}
TranspositionTable.Record(maxPly - depth, alpha, lFlag, lZobristHash);
return(alpha);
}
public int Search(Color playerToMove, int maxPly, int depth, int alpha, int beta)
{
ZobristHash lZobristHash = Board.ZobristHash.Clone();
lZobristHash.Mark(playerToMove);
int lTryMove = CoordinateSystem.PASS;
if (depth > 1)
{
TranspositionTablePlus.Node lNode = TranspositionTable.Retrieve(lZobristHash);
if ((lNode.Flag != TranspositionTablePlus.NodeType.Unknown) && (lNode.Height > 0))
{
if ((maxPly - depth) <= lNode.Height)
{
TranspositionTableHits++;
switch (lNode.Flag)
{
case TranspositionTablePlus.NodeType.Exact:
{
SearchComplete = false;
return(lNode.Value);
}
case TranspositionTablePlus.NodeType.LowerBound:
{
alpha = (alpha > lNode.Value) ? alpha : lNode.Value;
break;
}
case TranspositionTablePlus.NodeType.UpperBound:
{
beta = (beta < lNode.Value) ? beta : lNode.Value;
break;
}
}
if (alpha >= beta)
{
return(lNode.Value);
}
}
lTryMove = lNode.Move;
}
}
if ((depth == maxPly) || ((depth != 0) && (SearchInterface.IsGameOver())))
{
if (depth == maxPly)
{
SearchComplete = false;
}
NodesEvaluated++;
int lEval = SearchInterface.Evaluate(playerToMove);
if (lEval <= alpha)
{
TranspositionTable.Record(maxPly - depth, lEval, TranspositionTablePlus.NodeType.LowerBound, CoordinateSystem.PASS, lZobristHash);
}
else if (lEval >= beta)
{
TranspositionTable.Record(maxPly - depth, lEval, TranspositionTablePlus.NodeType.UpperBound, CoordinateSystem.PASS, lZobristHash);
}
else
{
TranspositionTable.Record(maxPly - depth, lEval, TranspositionTablePlus.NodeType.Exact, CoordinateSystem.PASS, lZobristHash);
}
return(lEval);
}
MoveList lMoves = SearchInterface.GetMoveList(playerToMove, SearchOptions.IncludeEndGameMoves);
SearchInterface.PruneMoveList(lMoves);
SearchInterface.PrioritizeMoves(lMoves, playerToMove);
if (lTryMove != CoordinateSystem.PASS)
{
if (lMoves.Contains(lTryMove))
{
lMoves.SetValue(lTryMove, Int32.MaxValue);
}
}
if ((SearchOptions.UsePatterns) && (lMoves.Count != 0))
{
PatternMap lPatternMap = SearchOptions.PatternDetector.FindPatterns(Board, playerToMove, lMoves.AllMoves);
lPatternMap.UpdateMoveList(lMoves);
}
if (lMoves.Count == 0)
{
lMoves.Add(CoordinateSystem.PASS);
}
if ((lMoves.Count == 1) && (lMoves[0] == CoordinateSystem.PASS) && (Board.LastMove == CoordinateSystem.PASS))
{
int lEval = SearchInterface.Evaluate(playerToMove);
//TranspositionTable.Record(maxPly - depth, lEval, TranspositionTablePlus.NodeType.Exact, CoordinateSystem.PASS, lZobristHash);
return(lEval);
}
if (Nag)
{
lock (this)
{
NagNode lNagNode = NagCoordinator.GetResult(depth);
if (lNagNode != null)
{
if (!lNagNode.IsNarrowed())
{
Console.Error.WriteLine("*** Pruning *** " + lNagNode.StartDepth.ToString() + "/" + lNagNode.Depth.ToString());
if (lNagNode.Depth == 1)
{
BestMove = lNagNode.BestMove;
NagCoordinator.Abort(depth);
return(lNagNode.Result);
}
SolvedDepth = lNagNode.StartDepth;
SolvedValue = lNagNode.Result;
NagCoordinator.Abort(depth);
return(alpha);
}
}
else
{
Nag = false;
}
}
}
SearchInterface.SortMoveList(lMoves);
if (UpdateStatusFlag)
{
UpdateStatus();
}
if (StopThinkingFlag)
{
Stop();
}
NagCoordinator.CreateNagPoints(Board, alpha, beta, playerToMove, depth, maxPly, lMoves.Count, 2);
int lSuperKoCount = 0;
TranspositionTablePlus.NodeType lFlag = TranspositionTablePlus.NodeType.UpperBound;
int lBestMove = lMoves[0];
foreach (int lMove in lMoves)
{
NodesSearched++;
bool lPlayed = Board.PlayStone(lMove, playerToMove, true);
if (!lPlayed)
{
throw new ApplicationException("SearchMethodAB_ID_TT.cs: You hit a bug!");
}
if ((CheckSuperKo) && (Board.IsSuperKo()))
{
lSuperKoCount++;
Board.Undo();
}
else
{
int lScore = -Search(playerToMove.Opposite, maxPly, depth + 1, -beta, -alpha);
Board.Undo();
if (SolvedDepth != -1)
{
if (SolvedDepth != depth)
{
return(alpha);
}
alpha = SolvedValue;
BestMove = lMove;
SolvedDepth = -1;
break;
}
if (lScore > alpha)
{
if (depth == 0)
{
BestMove = lMove;
}
if (lScore >= beta)
{
TranspositionTable.Record(maxPly - depth, alpha, TranspositionTablePlus.NodeType.LowerBound, lMove, lZobristHash);
NagCoordinator.Abort(depth);
return(beta);
}
alpha = lScore;
lFlag = TranspositionTablePlus.NodeType.Exact;
lBestMove = lMove;
}
}
}
if (lSuperKoCount == lMoves.Count)
{
NagCoordinator.Abort(depth);
return(SearchInterface.Evaluate(playerToMove));
}
TranspositionTable.Record(maxPly - depth, alpha, lFlag, lBestMove, lZobristHash);
NagCoordinator.Abort(depth);
return(alpha);
}
public int Search(Color playerToMove, int maxPly, int depth, int alpha, int beta)
{
if ((depth == maxPly) || ((depth != 0) && (SearchInterface.IsGameOver())))
{
if (depth == maxPly)
{
SearchComplete = false;
}
NodesEvaluated++;
return(SearchInterface.Evaluate(playerToMove));
}
PrincipalVariation.SetPVLength(depth);
MoveList lMoves = SearchInterface.GetMoveList(playerToMove, SearchOptions.IncludeEndGameMoves);
SearchInterface.PruneMoveList(lMoves);
SearchInterface.PrioritizeMoves(lMoves, playerToMove);
if ((SearchOptions.UsePatterns) && (lMoves.Count != 0))
{
PatternMap lPatternMap = SearchOptions.PatternDetector.FindPatterns(Board, playerToMove, MoveList.Randomize(lMoves.AllMoves, SearchOptions.Permutations, depth));
lPatternMap.UpdateMoveList(lMoves);
}
if (lMoves.Count == 0)
{
lMoves.Add(CoordinateSystem.PASS);
}
if ((lMoves.Count == 1) && (lMoves[0] == CoordinateSystem.PASS) && (Board.LastMove == CoordinateSystem.PASS))
{
PrincipalVariation.UpdatePV(depth, CoordinateSystem.PASS);
NodesEvaluated++;
return(SearchInterface.Evaluate(playerToMove));
}
// follow the principle variation
if (FollowPV)
{
FollowPV = false;
int lPVMove = PrincipalVariation.GetMove(depth);
if (lPVMove != PrincipalVariation.NO_VALUE)
{
if (lMoves.Contains(lPVMove))
{
lMoves.SetValue(lPVMove, Int32.MaxValue);
FollowPV = true;
}
}
}
SearchInterface.SortMoveList(lMoves);
if (UpdateStatusFlag)
{
UpdateStatus();
}
if (StopThinkingFlag)
{
Stop();
}
int lSuperKoCount = 0;
foreach (int lMove in lMoves)
{
NodesSearched++;
bool lPlayed = Board.PlayStone(lMove, playerToMove, true);
if (!lPlayed)
{
throw new ApplicationException("SearchMethodAB_ID_PVS.cs: You hit a bug!");
}
if ((CheckSuperKo) && (Board.IsSuperKo()))
{
lSuperKoCount++;
Board.Undo();
}
else
{
int lScore = -Search(playerToMove.Opposite, maxPly, depth + 1, -beta, -alpha);
Board.Undo();
if (lScore > alpha)
{
if (lScore >= beta)
{
return(lScore);
}
alpha = lScore;
PrincipalVariation.UpdatePV(depth, lMove);
}
}
}
if (lSuperKoCount == lMoves.Count)
{
return(SearchInterface.Evaluate(playerToMove));
}
return(alpha);
}