Improved bounds on the Hadwiger-Debrunner numbers

From MaRDI portal
Publication:1650467



Abstract: Let HDd(p,q) denote the minimal size of a transversal that can always be guaranteed for a family of compact convex sets in mathbbRd which satisfy the (p,q)-property (pgeqqgeqd+1). In a celebrated proof of the Hadwiger-Debrunner conjecture, Alon and Kleitman proved that HDd(p,q) exists for all pgeqqgeqd+1. Specifically, they prove that HDd(p,d+1) is ildeO(pd2+d). We present several improved bounds: (i) For any qgeqd+1, HDd(p,q)=ildeO(pdleft(fracq−1q−dight)). (ii) For qgeqlogp, HDd(p,q)=ildeO(p+(p/q)d). (iii) For every epsilon>0 there exists a p0=p0(epsilon) such that for every pgeqp0 and for every qgeqpfracd−1d+epsilon we have: p−q+1leqHDd(p,q)leqp−q+2. The latter is the first near tight estimate of HDd(p,q) for an extended range of values of (p,q) since the 1957 Hadwiger-Debrunner theorem. We also prove a (p,2)-theorem for families in mathbbR2 with union complexity below a specific quadratic bound. Based on this, we introduce a polynomial time constant factor approximation algorithm for MAX-CLIQUE of intersection graphs of convex sets satisfying this property.




Cites work









This page was built for publication: Improved bounds on the Hadwiger-Debrunner numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650467)