OFFSET
0,1
COMMENTS
a(n) = c(Z^2,n) is the smallest k>0 such that for every collection of convex sets C_1, ..., C_m having n points of Z^2 in common, there exists a subset of this collection of at most k elements such that they still contain exactly n points of Z^2 in common.
c(Z^2,n) = g(Z^2,n) = A298562(n) for n = 0, 1, ..., 200, but it is not known whether they agree for every n or not.
LINKS
G. Averkov, B. González Merino, I. Paschke, M. Schymura, and S. Weltge, Tight bounds on discrete quantitative Helly numbers, arXiv:1602.07839 [math.CO], 2016. See Fig. 3 p. 5.
G. Averkov, B. González Merino, I. Paschke, M. Schymura, and S. Weltge, Tight bounds on discrete quantitative Helly numbers, Adv. in Appl. Math., 89 (2017), 76--101.
FORMULA
a(n) = max_{m=0..n} (A298562(m) + m - n). [Averkov et al.] - Andrey Zabolotskiy, Oct 02 2023
CROSSREFS
KEYWORD
nonn
AUTHOR
Bernardo González Merino, Jan 26 2018
EXTENSIONS
a(31) onwards from Andrey Zabolotskiy, Oct 02 2023
STATUS
approved