On Nov 14, 2007 2:00 PM, John Tromp <[EMAIL PROTECTED]> wrote: > My solution doesn't make use of that, and satisfies the stronger property:
> 0 <= a_i <= 4 and sum a_i * n_i is in 1*nums union 2*nums union 3*nums > union 4*nums > => only one a_i is nonzero. that was not quite correct. it should say: let a_i be the number of adjacencies to a liberty at point i. if sum a_i <= 4, and sum (a_i * n_i) is in {1,2,3,4} * nums, then only one a_i is nonzero. regards, -John _______________________________________________ computer-go mailing list computer-go@computer-go.org http://www.computer-go.org/mailman/listinfo/computer-go/