![]() StartingPoints Paths Referenced by
|
General Eye Definition
Path: EyesCollection · Prev: EyeInTheBelly · Next: EyeLiberties
Keywords: Life & Death
Here is an attempt to give a general (not specific) definition of what is an eye (or sometimes called real eye). It is slightly modified from the 2/4 - 1/2 - 1/1 rule. A rigorous definition is attempted in the Eye Definition Discussion. If a group has two or more real eyes, then it is a living group. Note that the concept of miai is deliberately left out in this definition. Also see the two-headed dragon where a living group is formed using two false eyes. General Definition of an EyeTo qualify as an eye, the group must satisfy the following two conditions. If only the first condition is satisfied but not the second, then it is deemed as a false eye.
Confused: Here's an alternative wording for second condition which should work better:
Jasonred OOOH!!! I find that really brilliant, man! Not only is it brief, exact, and clear, but you can actually program it into a computer! Now you can explain eyes and two eyes easily. Dude, you might have just revolutionized Go programming! (well, it'll help if I want to make a go program anyhow, much easier than the these points for sides, these points for corners, etc. thing. (The properties described below will use black eyes, please switch the colours around if we are discussing white eyes.)
For an eye in the center, white stones must not be able to occupy at least three out of the four marked points. Scartol: Isn't it two?
For an eye at the side, white stones must not be able to occupy any of the marked points.
For an eye at the corner, white stones must not be able to occupy the marked point. Examples
This is a real eye. There is no need for Black to play at a to secure this eye.
This is a false eye because White occupied the two marked points.
This is an unsettled half eye. If Black plays at a, it is an eye. If White plays at a, it becomes a false eye.
This group has two real eyes. Note that White can never get to occupy the point a to make b a false eye, as this move is suicide. Similarly, playing at b is prohibited, so a is a real eye.
Two real eyes at a and b. Proof that a False Eye is not an EyeHere is a proof that a false eye is not an eye.
We consider this false eye.
Say White fills up external liberties by playing at the marked points. Now the three marked black stones are under atari.
If Black connects at 1, the first condition fails and so there is no eye here.
If Black allows White 1 to capture the three marked stones, there is obviously no eye here. Therefore, we proved that a false eye is not an eye. Proof that a "False" Eye might be an Eye after all
Matt Noonan: Constructive proofs are nice. :) Also, see Instant Eye Tester for a position in which Black has two living eyes, but all the diagonal points of those eyes are occupied by White. For some even simpler examples of the real eyes with points occupied:
Just don't ask me how these shapes came to occur though.... Contributors:
This page is part of the Eyes Collection. Path: EyesCollection · Prev: EyeInTheBelly · Next: EyeLiberties This is a copy of the living page "General Eye Definition" at Sensei's Library. ![]() |