%I #66 Jul 07 2023 14:55:46
%S 0,1,2,4,7,9,14,18,23,29,36,44,52,61,71
%N Given an equilateral triangular grid with side n, containing n(n+1)/2 points, a(n) is the minimal number of points to be removed from the grid, so that, if 3 of the remaining points are chosen, they do not form an equilateral triangle with sides parallel to the grid.
%C This is the complementary problem to A227308.
%C Numbers found by an exhaustive computational search for all solutions (see history).
%H Heinrich Ludwig, <a href="/A227116/a227116.png">Illustration of a(2)..a(15)</a>
%H Ed Wynn, <a href="https://arxiv.org/abs/1810.12975">A comparison of encodings for cardinality constraints in a SAT solver</a>, arXiv:1810.12975 [cs.LO], 2018.
%F a(n) + A227308(n) = n(n+1)/2.
%e n = 11: at least a(11) = 36 points (.) out of the 66 have to be removed, leaving 30 (X) behind:
%e .
%e X X
%e X . X
%e X . . X
%e X . . . X
%e X . . . . X
%e . X X . X X .
%e . X . X X . X .
%e . . X X . X X . .
%e X . . . . . . . . X
%e . X X X . . . X X X .
%e There is no equilateral subtriangle with all vertices = X and sides parallel to the whole triangle.
%Y Cf. A227308, A152125, A227133
%K nonn,hard,more
%O 1,3
%A _Heinrich Ludwig_, Jul 01 2013
%E Added a(12), a(13), _Heinrich Ludwig_, Sep 02 2013
%E Added a(14), _Giovanni Resta_, Sep 19 2013
%E a(15) from _Heinrich Ludwig_, Oct 27 2013