[Welcome to Sensei's Library!]

StartingPoints
ReferenceSection
About


Paths
EyesCollection

Referenced by
Eye
FalseEye
TwoCornersKillsTh...

 

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 Eye

To 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.

  • The group must surround at least one empty point.
  • The group must posess the following properties described below.

Confused: Here's an alternative wording for second condition which should work better:

  • No subset of the group can be captured without capturing the whole group.

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.)

[Diagram]
Diag.: An eye in the centre

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?

[Diagram]
Diag.: An eye at the side

For an eye at the side, white stones must not be able to occupy any of the marked points.


[Diagram]
Diag.: An eye at the corner

For an eye at the corner, white stones must not be able to occupy the marked point.



Examples

[Diagram]
Diag.: Real eye

This is a real eye. There is no need for Black to play at a to secure this eye.


[Diagram]
Diag.: False eye

This is a false eye because White occupied the two marked points.


[Diagram]
Diag.: Unsettled half eye

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.


[Diagram]
Diag.: Two real eyes

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.


[Diagram]
Diag.: Two real eyes

Two real eyes at a and b.



Proof that a False Eye is not an Eye

Here is a proof that a false eye is not an eye.

[Diagram]
Diag.: False eye

We consider this false eye.


[Diagram]
Diag.: External liberties filled up

Say White fills up external liberties by playing at the marked points. Now the three marked black stones are under atari.


[Diagram]
Diag.: Black connects

If Black connects at 1, the first condition fails and so there is no eye here.


[Diagram]
Diag.: White captures

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

[Diagram]
Diag.: Two False Eyes?

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:

[Diagram]
Diag.: Not false eye.

[Diagram]
Diag.: An eye at the corner

[Diagram]
Diag.: An eye at the side

Just don't ask me how these shapes came to occur though....



Contributors:

  • unkx80
  • (Add your name here.)

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.
(OC) 2003 the Authors, published under the OpenContent License V1.0.