OFFSET
1,3
COMMENTS
That is, the points are chosen from the n points on one side of the n X n lattice. It appears that a(n) = ceiling((n+1)/3) for n > 8.
LINKS
Eric Weisstein's World of Mathematics, Visible Point
FORMULA
Conjectures from Chai Wah Wu, Aug 05 2022: (Start)
a(n) = a(n-1) + a(n-3) - a(n-4) for n > 12.
G.f.: x*(x^11 - x^9 - x^7 + x^6 - x^5 + x^4 - x^3 + x^2 + 1)/(x^4 - x^3 - x + 1). (End)
EXAMPLE
a(3) = 2 because all 9 points are visible from (1,1) and (1,2).
a(5) = 3 because all 25 points are visible from (1,1), (1,2), and (1,4).
a(7) = 4 because all 49 points are visible from (1,1), (1,2), (1,3), and (1,6).
a(12)= 5 because all 144 points are visible from (1,1), (1,3), (1,6), (1,8), and (1,11).
MATHEMATICA
Join[{1}, Table[hidden=Table[{}, {n^2}]; edgePts={}; Do[pt1=(c-1)*n+d; If[c==1, AppendTo[edgePts, pt1]; lst={}; Do[pt2=(a-1)*n+b; If[GCD[c-a, d-b]>1, AppendTo[lst, pt2]], {a, n}, {b, n}]; hidden[[pt1]]=lst], {c, n}, {d, n}]; edgePts=Sort[edgePts]; done=False; k=0; done=False; k=0; While[ !done, k++; len=Binomial[n, k]; i=0; While[i<len, i++; s=Subsets[edgePts, {k}, {i}][[1]]; If[Intersection@@hidden[[s]]=={}, done=True; Break[]]]]; k, {n, 2, 11}]]
CROSSREFS
KEYWORD
hard,nonn
AUTHOR
T. D. Noe, Mar 06 2009
EXTENSIONS
More terms from Lars Blomberg, Nov 06 2014
STATUS
approved