|
|
|
|
|
|
|
|
|
|
• |
While
we search the tree, we
|
|
|
|
can
keep track of guaranteed
|
|
|
|
maximum/minimum
utilities if
|
|
|
|
play
proceeds to each node.
|
|
|
• |
When
we see a contradiction in
|
|
|
|
guarantees,
we can prune
|
|
|
|
remaining
children from further
|
|
|
consideration,
because we've
|
|
|
|
proven
a rational player will
|
|
|
|
never
reach that node.
|
|