Game tree

<h2 id="understanding-the-game-tree">Understanding the game tree</h2>
<p>To better understand the game tree, it can be thought of as a technique for analyzing adversarial games, which determine the actions that player takes to win the game. In game theory, a game tree is a directed graph whose nodes are positions in a game (e.g., the arrangement of the pieces in a board game) and whose edges are moves (e.g., to move pieces from one position on a board to another).<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a>
</p><p>The complete game tree for a game is the game tree starting at the initial position and containing all possible moves from each position; the complete tree is the same tree as that obtained from the <a href="/facts/Extensive-form_game/Yw9gQ7um">extensive-form game</a> representation. To be more specific, the complete game is a norm for the game in game theory. Which can clearly express many important aspects. For example, the sequence of actions that stakeholders may take, their choices at each decision point, information about actions taken by other stakeholders when each stakeholder makes a decision, and the benefits of all possible game results.<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a>
</p><p>The number of <a href="/facts/Leaf_node/RcXz9noF">leaf nodes</a> in the complete game tree is the number of possible different ways the game can be played. For example, the game tree for tic-tac-toe has 255,168 leaf nodes.
</p><p>Game trees are important in <a href="/facts/Artificial_intelligence/lJGauQwX">artificial intelligence</a> because one way to pick the best move in a game is to search the game tree using any of numerous <a href="/facts/Tree_search/Dkch34pz">tree search</a> algorithms, combined with <a href="/facts/Minimax/VMjmmzGE">minimax</a>-like rules to <a href="/facts/Decision_tree_pruning/6qouQTdV">prune the tree</a>. The game tree for tic-tac-toe is easily searchable, but the complete game trees for larger games like <a href="/facts/Chess/47ykvkHF">chess</a> are much too large to search. Instead, a <a href="/facts/Chess-playing_program/2wE8AU5d">chess-playing program</a> searches a partial game tree: typically as many plies from the current position as it can search in the time available. Except for the case of "pathological" game trees<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> (which seem to be quite rare in practice), increasing the search depth (i.e., the number of plies searched) generally improves the chance of picking the best move.
</p><p>Two-person games can also be represented as <a href="/facts/And-or_tree/F2NW5K6C">and-or trees</a>. For the first player to win a game, there must exist a winning move for all moves of the second player. This is represented in the and-or tree by using disjunction to represent the first player's alternative moves and using conjunction to represent all of the second player's moves.
</p>
<h2 id="solving-game-trees">Solving game trees</h2>
<h3>Deterministic algorithm version</h3>

<p>With a complete game tree, it is possible to "solve" the game – that is to say, find a sequence of moves that either the first or second player can follow that will guarantee the best possible outcome for that player (usually a win or a tie).  The <a href="/facts/Deterministic_algorithm/v8x4wz35">deterministic algorithm</a> (which is generally called <a href="/facts/Backward_induction/x4DwF49D">backward induction</a> or <a href="/facts/Retrograde_analysis/P4QhzkWF">retrograde analysis</a>) can be described recursively as follows.
</p>
<ol><li>Color the final ply of the game tree so that all wins for player 1 are colored one way (Blue in the diagram), all wins for player 2 are colored another way (Red in the diagram), and all ties are colored a third way (Grey in the diagram).</li>
<li>Look at the next ply up.  If there exists a node colored opposite as the current player, color this node for that player as well.  If all immediately lower nodes are colored for the same player, color this node for the same player as well.  Otherwise, color this node a tie.</li>
<li>Repeat for each ply, moving upwards, until all nodes are colored.  The color of the root node will determine the nature of the game.</li></ol>
<p>The diagram shows a game tree for an arbitrary game, colored using the above algorithm.
</p><p>It is usually possible to solve a game (in this technical sense of "solve") using only a subset of the game tree, since in many games a move need not be analyzed if there is another move that is better for the same player (for example <a href="/facts/Alpha-beta_pruning/TRI5u3GL">alpha-beta pruning</a> can be used in many deterministic games).
</p><p>Any subtree that can be used to solve the game is known as a decision tree, and the sizes of decision trees of various shapes are used as measures of <a href="/facts/Game_complexity/r5Gqrqy7">game complexity</a>.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a>
</p>
<h3>Randomized algorithms version</h3>
<p><a href="/facts/Randomized_algorithm/Fngl1zgk">Randomized algorithms</a> can be used in solving game trees. There are two main advantages in this type of implementation: speed and practicality. Whereas a deterministic version of solving game trees can be done in <i>Ο</i>(<i>n</i>), the following randomized algorithm has an expected run time of <i>θ</i>(<i>n</i>0.792) if every node in the game tree has degree 2. Moreover, it is practical because randomized algorithms are capable of "foiling an enemy", meaning an opponent cannot beat the system of game trees by knowing the algorithm used to solve the game tree because the order of solving is random.
</p><p>The following is an implementation of randomized game tree solution algorithm:<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a>
</p>
def gt_eval_rand(u) -> bool:
    """Returns True if this node evaluates to a win, otherwise False"""
    if u.leaf:
        return u.win
    else:
        random_children = (gt_eval_rand(child) for child in random_order(u.children))
        if u.op == "OR":
            return any(random_children)
        if u.op == "AND":
            return all(random_children)

<p>The algorithm makes use of the idea of "<a href="/facts/Short-circuit_evaluation/GYhompFd">short-circuiting</a>": if the root node is considered an "OR" operator, then once one True is found, the root is classified as True; conversely, if the root node is considered an "AND" operator then once one False is found, the root is classified as False.
</p>
<p><a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a></p>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Alpha-beta_pruning/TRI5u3GL">Alpha-beta pruning</a></li>
<li><a href="/facts/Extensive_form_game/Yw9gQ7um">Extensive form game</a></li>
<li><a href="/facts/Shannon_number/Jo99YgCH">Shannon number</a></li>
<li><a href="/facts/Game_complexity/r5Gqrqy7">Game complexity</a></li></ul>

<h2 id="further-reading">Further reading</h2>
<ul><li>Hu, Te Chiang; Shing, Man-tak (2002). <a href="https://books.google.com/books?id=BF5_bCN72EUC"><i>Combinatorial Algorithms</i></a>. Courier Dover Publications. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-486-41962-2. Retrieved 2007-04-02.</li>
<li><a href="/facts/Judea_Pearl/J2JUSAfe">Judea Pearl</a>, <i>Heuristics</i>, Addison-Wesley, 1984</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Zuckerman, Inon; Wilson, Brandon; Nau, Dana S. (2018). "Avoiding game-tree pathology in 2-player adversarial search". Computational Intelligence. 34 (2): 542–561. doi:10.1111/coin.12162. ISSN 1467-8640. S2CID 46926187. <a href="https://onlinelibrary.wiley.com/doi/abs/10.1111/coin.12162" target="_blank">https://onlinelibrary.wiley.com/doi/abs/10.1111/coin.12162</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>Huang, Zishuo; Yu, Hang; Chu, Xiangyang; Peng, Zhenwei (2018-05-01). "A novel optimization model based on game tree for multi-energy conversion systems". Energy. 150: 109–121. Bibcode:2018Ene...150..109H. doi:10.1016/j.energy.2018.02.091. ISSN 0360-5442. <a href="https://www.sciencedirect.com/science/article/abs/pii/S0360544218303190" target="_blank">https://www.sciencedirect.com/science/article/abs/pii/S0360544218303190</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Nau, Dana (1982). "An investigation of the causes of pathology in games". Artificial Intelligence. 19 (3): 257–278. doi:10.1016/0004-3702(82)90002-9. <a href="/wiki/Doi_(identifier)" target="_blank">/wiki/Doi_(identifier)</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Victor Allis (1994). Searching for Solutions in Games and Artificial Intelligence (PDF). Ph.D. Thesis, University of Limburg, Maastricht, The Netherlands. ISBN 90-900748-8-0. <a href="90-900748-8-0" target="_blank">90-900748-8-0</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
<li id="fn:5"><p>Daniel Roche (2013). SI486D: Randomness in Computing, Game Trees Unit. United States Naval Academy, Computer Science Department. Archived from the original on 2021-05-08. Retrieved 2013-04-29. <a href="/wiki/Daniel_Roche" target="_blank">/wiki/Daniel_Roche</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li>
<li id="fn:6"><p>Pekař, Libor; Matušů, Radek; Andrla, Jiří; Litschmannová, Martina (September 2020). "Review of Kalah Game Research and the Proposition of a Novel Heuristic–Deterministic Algorithm Compared to Tree-Search Solutions and Human Decision-Making". Informatics. 7 (3): 34. doi:10.3390/informatics7030034. hdl:10084/142398. <a href="https://doi.org/10.3390%2Finformatics7030034" target="_blank">https://doi.org/10.3390%2Finformatics7030034</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li>
</ol>

Game tree open-in-new

Game tree