My Project
|
一般用詰み探索: 先手後手の詰みを別々に管理 More...
#include <dualDfpn.h>
Public Member Functions | |
DualDfpn (uint64_t ignored=std::numeric_limits< uint64_t >::max()) | |
DualDfpn (const DualDfpn &src) | |
~DualDfpn () | |
void | setRootPlayer (Player) |
template<Player P> | |
ProofDisproof | findProof (int node_limit, const NumEffectState &state, const HashKey &key, const PathEncoding &path, Move &best_move, Move last_move=Move::INVALID()) |
template<Player P> | |
bool | isWinningState (int node_limit, const NumEffectState &state, const HashKey &key, const PathEncoding &path, Move &best_move, Move last_move=Move::INVALID()) |
詰みを発見. | |
bool | isWinningState (int node_limit, const NumEffectState &state, const HashKey &key, const PathEncoding &path, Move &best_move, Move last_move=Move::INVALID()) |
ProofDisproof | findProof (int node_limit, const NumEffectState &state, const HashKey &key, const PathEncoding &path, Move &best_move, Move last_move=Move::INVALID()) |
template<Player P> | |
bool | isLosingState (int node_limit, const NumEffectState &state, const HashKey &key, const PathEncoding &path, Move last_move=Move::INVALID()) |
bool | isLosingState (int node_limit, const NumEffectState &state, const HashKey &key, const PathEncoding &path, Move last_move=Move::INVALID()) |
void | runGC (bool verbose=false, size_t memory_use_ratio_1000=0) |
void | setVerbose (int level=1) |
int | distance (Player attack, const HashKey &key) |
size_t | mainNodeCount () const |
size_t | totalNodeCount () const |
void | writeRootHistory (const RepetitionCounter &counter, const MoveStack &moves, const SimpleState &state, Player attack) |
const DfpnTable & | table (Player) const |
template<osl::Player P> | |
osl::ProofDisproof | findProof (int node_limit, const NumEffectState &state, const HashKey &key, const PathEncoding &path, Move &best_move, Move last_move) |
Private Member Functions | |
Dfpn & | prepareDfpn (Player attack) |
Dfpn & | prepareDfpnSmall (Player attack) |
Private Attributes | |
std::shared_ptr< Shared > | shared |
std::unique_ptr< Local > | local |
一般用詰み探索: 先手後手の詰みを別々に管理
Definition at line 28 of file dualDfpn.h.
|
explicit |
Definition at line 263 of file dualDfpn.cc.
osl::checkmate::DualDfpn::DualDfpn | ( | const DualDfpn & | src | ) |
Definition at line 269 of file dualDfpn.cc.
osl::checkmate::DualDfpn::~DualDfpn | ( | ) |
Definition at line 275 of file dualDfpn.cc.
Definition at line 613 of file dualDfpn.cc.
osl::ProofDisproof osl::checkmate::DualDfpn::findProof | ( | int | node_limit, |
const NumEffectState & | state, | ||
const HashKey & | key, | ||
const PathEncoding & | path, | ||
Move & | best_move, | ||
Move | last_move | ||
) |
Definition at line 377 of file dualDfpn.cc.
References osl::stat::Ratio::add(), osl::BLACK, osl::hash::HashKey128::blackStand(), osl::checkmate::Dfpn::hasCheckmateMove(), osl::NumEffectState::inCheck(), osl::checkmate::ProofDisproof::isCheckmateSuccess(), osl::checkmate::ProofDisproof::isFinal(), osl::checkmate::ProofDisproof::isLoopDetection(), osl::Move::isNormal(), osl::PieceStand::isSuperiorOrEqualTo(), local_table_growth_limit, osl::checkmate::ProofDisproof::LoopDetection(), osl::checkmate::Dfpn::nodeCount(), SCOPED_LOCK, osl::checkmate::Dfpn::tryProof(), osl::checkmate::Dfpn::tryProofLight(), osl::SimpleState::turn(), and osl::WHITE.
ProofDisproof osl::checkmate::DualDfpn::findProof | ( | int | node_limit, |
const NumEffectState & | state, | ||
const HashKey & | key, | ||
const PathEncoding & | path, | ||
Move & | best_move, | ||
Move | last_move = Move::INVALID() |
||
) |
Referenced by isWinningState().
template ProofDisproof osl::checkmate::DualDfpn::findProof< WHITE > | ( | int | node_limit, |
const NumEffectState & | state, | ||
const HashKey & | key, | ||
const PathEncoding & | path, | ||
Move & | best_move, | ||
Move | last_move = Move::INVALID() |
||
) |
Definition at line 479 of file dualDfpn.cc.
References osl::BLACK, and osl::SimpleState::turn().
bool osl::checkmate::DualDfpn::isLosingState | ( | int | node_limit, |
const NumEffectState & | state, | ||
const HashKey & | key, | ||
const PathEncoding & | path, | ||
Move | last_move = Move::INVALID() |
||
) |
Definition at line 550 of file dualDfpn.cc.
References osl::alt(), osl::checkmate::Dfpn::hasEscapeMove(), osl::checkmate::ProofDisproof::isCheckmateSuccess(), osl::checkmate::Dfpn::nodeCount(), and osl::SimpleState::turn().
template bool osl::checkmate::DualDfpn::isLosingState< WHITE > | ( | int | node_limit, |
const NumEffectState & | state, | ||
const HashKey & | key, | ||
const PathEncoding & | path, | ||
Move | last_move = Move::INVALID() |
||
) |
Definition at line 565 of file dualDfpn.cc.
References osl::BLACK, and osl::SimpleState::turn().
|
inline |
詰みを発見.
別々のスレッドから呼び出し可能
Definition at line 51 of file dualDfpn.h.
References findProof(), and osl::checkmate::ProofDisproof::isCheckmateSuccess().
bool osl::checkmate::DualDfpn::isWinningState | ( | int | node_limit, |
const NumEffectState & | state, | ||
const HashKey & | key, | ||
const PathEncoding & | path, | ||
Move & | best_move, | ||
Move | last_move = Move::INVALID() |
||
) |
Definition at line 490 of file dualDfpn.cc.
size_t osl::checkmate::DualDfpn::mainNodeCount | ( | ) | const |
Definition at line 620 of file dualDfpn.cc.
|
private |
Definition at line 280 of file dualDfpn.cc.
References osl::checkmate::Dfpn::setTable().
|
private |
Definition at line 292 of file dualDfpn.cc.
References osl::checkmate::Dfpn::setTable().
void osl::checkmate::DualDfpn::runGC | ( | bool | verbose = false , |
size_t | memory_use_ratio_1000 = 0 |
||
) |
Definition at line 300 of file dualDfpn.cc.
References osl::BLACK, local_table_growth_limit, osl::OslConfig::memoryUseLimit(), and osl::WHITE.
void osl::checkmate::DualDfpn::setRootPlayer | ( | Player | root | ) |
Definition at line 601 of file dualDfpn.cc.
References osl::alt().
void osl::checkmate::DualDfpn::setVerbose | ( | int | level = 1 | ) |
Definition at line 608 of file dualDfpn.cc.
const osl::checkmate::DfpnTable & osl::checkmate::DualDfpn::table | ( | Player | attack | ) | const |
Definition at line 639 of file dualDfpn.cc.
References osl::checkmate::DfpnTable::table.
size_t osl::checkmate::DualDfpn::totalNodeCount | ( | ) | const |
Definition at line 630 of file dualDfpn.cc.
void osl::checkmate::DualDfpn::writeRootHistory | ( | const RepetitionCounter & | counter, |
const MoveStack & | moves, | ||
const SimpleState & | state, | ||
Player | attack | ||
) |
Definition at line 576 of file dualDfpn.cc.
References osl::RepetitionCounter::checkCount(), osl::container::MoveStack::hasLastMove(), osl::RepetitionCounter::history(), osl::Move::isNormal(), osl::container::MoveStack::lastMove(), osl::PieceStand::previousStand(), osl::checkmate::Dfpn::setIllegal(), osl::hash::HashKeyStack::top(), and osl::WHITE.
|
private |
Definition at line 34 of file dualDfpn.h.
|
private |
Definition at line 33 of file dualDfpn.h.