<p>Given a set <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({P} \subset {\mathbb {R}}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> of <i>n</i> points, with diameter <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\Delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation>, and a parameter <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\delta } \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, it is known that there is a partition of <i>P</i> into sets <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({P}_1, \ldots , {P}_t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>P</mi> <mi>t</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, each of size <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(O(1/{\delta }^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">/</mo> <msup> <mrow> <mi>δ</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, such that their convex hulls all intersect a common ball of radius <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\delta } {\Delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mi mathvariant="normal">Δ</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove that a random partition, with a simple alteration step, yields the desired partition, resulting in a (randomized) linear time algorithm (i.e., <i>O</i>(<i>dn</i>)). We also provide a deterministic algorithm with running time <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(O( dn \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>d</mi> <mi>n</mi> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Previous proofs were either existential (i.e., at least exponential time), or required much bigger sets. In addition, the algorithm and its proof of correctness are significantly simpler than previous work, and the constants are slightly better. We also include a number of applications and extensions using the same central ideas. For example, we provide a linear time algorithm for computing a “fuzzy” centerpoint, and prove a no-dimensional weak <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ε</mi> </math></EquationSource> </InlineEquation>-net theorem with an improved constant.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

No-Dimensional Tverberg Partitions Revisited

  • Sariel Har-Peled,
  • Eliot W. Robson

摘要

Given a set \({P} \subset {\mathbb {R}}^d\) P R d of n points, with diameter \({\Delta }\) Δ , and a parameter \({\delta } \in (0,1)\) δ ( 0 , 1 ) , it is known that there is a partition of P into sets \({P}_1, \ldots , {P}_t\) P 1 , , P t , each of size \(O(1/{\delta }^2)\) O ( 1 / δ 2 ) , such that their convex hulls all intersect a common ball of radius \({\delta } {\Delta }\) δ Δ . We prove that a random partition, with a simple alteration step, yields the desired partition, resulting in a (randomized) linear time algorithm (i.e., O(dn)). We also provide a deterministic algorithm with running time \(O( dn \log n)\) O ( d n log n ) . Previous proofs were either existential (i.e., at least exponential time), or required much bigger sets. In addition, the algorithm and its proof of correctness are significantly simpler than previous work, and the constants are slightly better. We also include a number of applications and extensions using the same central ideas. For example, we provide a linear time algorithm for computing a “fuzzy” centerpoint, and prove a no-dimensional weak \(\varepsilon \) ε -net theorem with an improved constant.