Mathematical Term Force
Table of contents |
Force
A player can force something if he, moving first in imagined alternating play, has at least one strategy that achieves it regardless of the opponent's replies.
A possible formal definition is shown in the Japanese 2003 Rules.
Example
Can Black force "a black two-eye-formation"? (Informal note: A two eye formation does not just mean a formation with two eyes. It means a formation with two one point eyes.)
Black succeeds in each variation. Whatever White tries (he does not have further alternatives), Black gets a black two-eye-formation. Hence Black can force a black two-eye-formation.
Note
By contrast, White cannot force Black to make two eyes in this sense of force, even though in informal sense, he can.
Play-Force
A player can play-force something if he can force it by making only plays (without passing).
Note: The opponent may play or pass whenever he likes.
Pass-Force
A player can pass-force something if he can force it by making at least one play and at least one pass.
Note: The opponent may play or pass whenever he likes.
Virtual-Force
Definition-like Wording
For a ko, a player can virtual-force something if he can force the something while exceptionally he may always make a ko-capture on this ko immediately after the opponent's ko-capture on this ko unless that ko-capture was preceded by the player's ko-capture on a different ko.
A slightly more formal definition is in the paper Types of Basic Ko.
Rules-like Wording
A player can virtual-force something if he can force the something while a ko is considered and he abides by the Released Ko Rule. The Released Ko Rule is applied to the considered ko and for him as the particular player.
Released Ko Rule: If a particular player has made a move that was not a ko-capture and if then the opponent has made a ko-capture in a ko, then during his next move the particular player may immediately recapture in that ko.
Notes: For virtual-force, the Released Ko Rule is applied to only one particular ko: the ko considered in the definition of virtual-force. - The Released Ko Rule overrides the given input ko rules used for the definition of virtual-force.
Example 1
Although Black cannot force winning the ko, Black can virtual-force winning the ko.
(For a player and a ko, the player wins the ko when the ko is no longer a ko and the player has got uncapturable life on what was previously the ko intersections.)
= pass
Virtual-force gives Black the right to recapture immediately with
.
Anonymous: Huh, what? That's an illegal move (immediate recapture of ko) and since black has no ko threats, I place 6 there myself.
RobertJasiek: It is a legal move since the definition of virtual-force overrides the basic ko rule by creating an exception to it with the text "[...] exceptionally he may always make a ko-capture on this ko immediately after the opponent's ko-capture on this ko [...]". It is not the purpose of virtual-force to reproduce ordinary go rules but to model behaviour under specifically defined circumstances. The model is an abbreviation of a simulation of a won ko fight even if the opponent has local ko threats or if the player has to make approach plays before he can win the ko.
Here, virtual-force simulates a ko fight that Black will win because of his arbitrary number of virtual ko threats. Thereby the local ko threat is insufficient for White to win the ko. (In other positions, Black can win a ko despite having to make approach plays.)
=
,
= pass,
=
This sequence illustrates another application of strategy where Black can virtual-force winning the ko. By the definition of virtual-force, can take back the ko immediately after
.
(Note that passing with is avoided here, otherwise
can also pass and depending in the input ruleset, the hypothetical sequence would have ended.)
Example 2
Suppose that the ko rules allow completion of a cycle, the left ko is studied, and White shall virtual-force a cycle or control the whole board.
Although virtual-force gives White extra rights in the left ko, may not be a ko-capture recapturing
immediately because the preceding move
has also been a ko-capture. To virtual-force a cycle, White needs to follow another plan:
White could virtual-force a cycle because Black was busy preventing White's control of the whole board.
Virtual-force does not give a player extra rights in a sequence of successive ko-captures.
History
The terminology was coined and defined by Robert Jasiek. Only later he noticed that the basic term "force" had been used also in particular types of logic theories, where it is defined differently but serves the same principal purpose.
See also
Page contents: RobertJasiek, Bill.