TadaoYamaoka https://blog.hatena.ne.jp/TadaoYamaoka/ TadaoYamaokaの開発日記 https://tadaoyamaoka.hatenablog.com/ コンピュータ将棋 局面Aが局面Bを優越する場合、Aの証明数はBの証明数以上になる性質がある。 そのことを利用すると、Aの証明数は、AとAに優越されるすべての局面の証明数の最大値をAの証明数とすることができる。 反証数についても同様に優越関係を利用できる。これをそのまま詰み探索に適用すると、かなりの局面で探索ノードが増えて遅くなってしまった。 原因は追究できていないが、探索ノードが多い局面ほど遅くなる傾向があるため、サイクルとDAGが関係していると疑っている。そこで、先端ノードのみでこの性質を利用して証明数と反証数を初期化するようにした。 速度比較 優越関係を利用して証明数と反証数の初期化を実装する前後で探索速度… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftadaoyamaoka.hatenablog.com%2Fentry%2F2018%2F06%2F01%2F001856" title="優越関係を利用した証明数と反証数の初期化 - TadaoYamaokaの開発日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-06-01 00:18:56 rich https://tadaoyamaoka.hatenablog.com/entry/2018/06/01/001856 1.0 100%