Patrick Traill

PageType: HomePage    

My Gravatar
My Gravatar

I, Patrick Traill, registered here on 2018-01-28 when playing at about 7 kyu in [ext] Venlo, rusty after having been 5 kyu back in 1996 must try to get back to that and further! Also present in [ext] EGD (10433489) on [ext] Josekipedia/Go problems, [ext] Board & Card Games Stack Exchange & [ext] Wikimedia projects.

I have some awareness of and interest in CGT.

Table of contents Table of diagrams


Checking what is converted to hex in page source:

←→⇒ߖ αβπ  ≈
√⁰⁴⁵⁶⁷⁸⁹⁺ⁿ⁽⁾  ₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎ ∈ ≠ ≡ ⇐ ⇔ ⇒ π  ← → ↔ ↑↓ ◦‣∙
   sqrt ↑0..9+n() ↓etc.      elt neq implies pi ellipsis arrows bullets
≥ ≤ ≈

Greek ɑ



   ? !

 ⅓   ⅐ ⅑ ⅒ ⅓ ⅔ ⅕ ⅖ ⅗ ⅘ ⅙ ⅚ ⅛ ⅜ ⅝ ⅞ ⅟
ℕ Blackboard
⌊⌋⌈⌉ floor*2 ceil*2
  Smiley/grumpy (or vice versa)
 Masculine/feminine ordinal indicators
▲▼►◄ Black pointing triangles
   U+25CB ○ white circle (HTML ○)
   U+2686 ⚆ white circle with dot right (HTML ⚆)[94]
   U+2687 ⚇ white circle with two dots (HTML ⚇)
   U+25CF ● black circle (HTML ●)
   U+2688 ⚈ black circle with white dot right (HTML ⚈)
   U+2689 ⚉ black circle with two white dots (HTML ⚉)

Evidently it would not be a good idea to use Greek letters for diagram numbers beyond 9 or 10.


Perhaps I want to weigh in at formal definitions of eye, but for now I shall make a few notes here:


  • A definition should make sense of large eye, false eye.
  • The definition should be static as far as possible, i.e. not depend on formulations like all possible sequences of moves.
  • It should be true that having two (true) eyes means that a group is alive i.e. cannot be captured in any rule-set!
    • The converse is less clear.
  • The definition should be independent of the board graph, depending only on which points are connected.

2018-09-09 Same conclusions as Benson

Having reflected on the matter I came up with a definition; when I checked Benson's Definition of Unconditional Life I found mine was essentially the same, though of course my terminology was different. I was also thinking in terms of arbitrary graphs; while Benson only speaks of square grids (Pm x Pn) his work also appears general.

It seems fair to point out that, although I think Robert Jasiek says differently in formal definitions of eye, Benson's Definition is static, in the sense of not relying on analysing sequences of moves, with backtracking to cover the game tree. That is indeed the purpose of Benson's Theorem, to optimise the determination of pass-alive stones. He proves that his static analysis gives the same result, in Theorems 1 (...) & 2: Let X ⊆ B(x) be the set of all safe x-blocks. Then X is unconditionally alive.



To Do

Scratchpad / Sandbox / Try out / Suck it and see

Makes Firefox complain about mixed display content:


It seems does not support HTTPS:


One Point Area Scoring Swing

Patrick Traill last edited by PJTraill on June 13, 2023 - 00:30
RecentChanges · StartingPoints · About
Edit page ·Search · Related · Page info · Latest diff
[Welcome to Sensei's Library!]
Search position
Page history
Latest page diff
Partner sites:
Go Teaching Ladder
Login / Prefs
Sensei's Library