<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> be an arrangement of Jordan curves in the plane, i.e., simple closed curves in the plane. For any curve <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\gamma \in \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation>, we denote the bounded region enclosed by <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\tilde{\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>γ</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation>. We say that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> is non-piercing if for any two curves <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\alpha , \beta \in \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>∈</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation>, both <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\tilde{\alpha } \,\setminus \, \tilde{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>α</mi> <mo stretchy="false">~</mo> </mover> <mspace width="0.166667em" /> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mspace width="0.166667em" /> <mover accent="true"> <mi>β</mi> <mo stretchy="false">~</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\tilde{\beta }\,\setminus \,\tilde{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>β</mi> <mo stretchy="false">~</mo> </mover> <mspace width="0.166667em" /> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mspace width="0.166667em" /> <mover accent="true"> <mi>β</mi> <mo stretchy="false">~</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> is connected. A non-piercing arrangement of curves generalizes a set of 2-intersecting curves in which each pair of curves intersect in at most two points. Snoeyink and Hershberger (“Sweeping Arrangements of Curves”, SoCG ’89) proved that if we are given an arrangement <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> of 2-intersecting curves and a <i>sweep</i> curve <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\gamma \in {\Gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation>, then the arrangement can be <i>swept</i> by <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> while always maintaining the 2-intersecting property of the curves in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>. We generalize the result of Snoeyink and Hershberger to the setting of non-piercing arrangements. Given an arrangement <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> of non-piercing curves, a sweep curve <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\gamma \in \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation>, and a point <i>P</i> in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\tilde{\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>γ</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation>, we show that we can continuously shrink <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> to <i>P</i> so that throughout the process, the arrangement remains non-piercing (except at a finite set of points in time where <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> crosses other curves), and <i>P</i> lies in <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\tilde{\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>γ</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation>. We show that our arguments can be modified if <i>P</i> lies outside <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\tilde{\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>γ</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation>, and we want to sweep <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> <i>outwards</i> so that <i>P</i> lies outside <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\tilde{\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>γ</mi> <mo stretchy="false">~</mo> </mover> </math></EquationSource> </InlineEquation>, and the arrangement remains non-piercing. We give several applications of our results to combinatorial and algorithmic questions including to the <i>multi-hitting set</i> problem involving points and non-piercing regions.</p>

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

Sweeping Arrangements of Non-Piercing Regions in the Plane

  • Suryendu Dalal,
  • Rahul Gangopadhyay,
  • Rajiv Raman,
  • Saurabh Ray

摘要

Let \(\Gamma \) Γ be an arrangement of Jordan curves in the plane, i.e., simple closed curves in the plane. For any curve \(\gamma \in \Gamma \) γ Γ , we denote the bounded region enclosed by \(\gamma \) γ as \(\tilde{\gamma }\) γ ~ . We say that \(\Gamma \) Γ is non-piercing if for any two curves \(\alpha , \beta \in \Gamma \) α , β Γ , both \(\tilde{\alpha } \,\setminus \, \tilde{\beta }\) α ~ \ β ~ and \(\tilde{\beta }\,\setminus \,\tilde{\beta }\) β ~ \ β ~ is connected. A non-piercing arrangement of curves generalizes a set of 2-intersecting curves in which each pair of curves intersect in at most two points. Snoeyink and Hershberger (“Sweeping Arrangements of Curves”, SoCG ’89) proved that if we are given an arrangement \(\Gamma \) Γ of 2-intersecting curves and a sweep curve \(\gamma \in {\Gamma }\) γ Γ , then the arrangement can be swept by \(\gamma \) γ while always maintaining the 2-intersecting property of the curves in \(\Gamma \) Γ . We generalize the result of Snoeyink and Hershberger to the setting of non-piercing arrangements. Given an arrangement \(\Gamma \) Γ of non-piercing curves, a sweep curve \(\gamma \in \Gamma \) γ Γ , and a point P in \(\tilde{\gamma }\) γ ~ , we show that we can continuously shrink \(\gamma \) γ to P so that throughout the process, the arrangement remains non-piercing (except at a finite set of points in time where \(\gamma \) γ crosses other curves), and P lies in \(\tilde{\gamma }\) γ ~ . We show that our arguments can be modified if P lies outside \(\tilde{\gamma }\) γ ~ , and we want to sweep \(\gamma \) γ outwards so that P lies outside \(\tilde{\gamma }\) γ ~ , and the arrangement remains non-piercing. We give several applications of our results to combinatorial and algorithmic questions including to the multi-hitting set problem involving points and non-piercing regions.