Formalizing Perfect Information Extensive Form Games: Game Theory Course: Jackson, Leyton-Brown & Shoham
Formalizing Perfect Information Extensive Form Games: Game Theory Course: Jackson, Leyton-Brown & Shoham
Formalizing Perfect Information Extensive Form Games: Game Theory Course: Jackson, Leyton-Brown & Shoham
Introduction
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N is a set of n players
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N
Actions: A is a (single) set of actions
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N
Actions: A
Choice nodes and labels for these nodes:
Choice nodes: H is a set of non-terminal choice nodes
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N
Actions: A
Choice nodes and labels for these nodes:
Choice nodes: H
Action function: : H 7 2A assigns to each choice node a set of
possible actions
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N
Actions: A
Choice nodes and labels for these nodes:
Choice nodes: H
Action function: : H 7 2A
Player function: : H 7 N assigns to each non-terminal node h a
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N
Actions: A
Choice nodes and labels for these nodes:
Choice nodes: H
Action function: : H 7 2A
Player function: : H 7 N
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N
Actions: A
Choice nodes and labels for these nodes:
Choice nodes: H
Action function: : H 7 2A
Player function: : H 7 N
Terminal nodes: Z
Successor function: : H A 7 H Z maps a choice node
Definition
A (finite) perfect-information game (in extensive form) is defined by
the tuple (N, A, H, Z, , , , u), where:
Players: N
Actions: A
Choice nodes and labels for these nodes:
Choice nodes: H
Action function: : H 7 2A
Player function: : H 7 N
Terminal nodes: Z
Successor function: : H A 7 H Z
Utility function: u = (u1 , . . . , un ); ui : Z 7 R is a utility
1
H
HH
20
11 HHH
02
H
HH
H 2
2
2
A
A
A
A
A
no
no
no AA yes
A yes
A yes
A
A
A
A
A
A
q
(0,0)
(2,0)
(0,0)
(1,1)
(0,0)
(0,2)