<p>A non-crossing spanning tree of a set of points in the plane is a spanning tree whose edges pairwise do not cross. Avis and Fukuda in 1996 proved that there always exists a flip sequence of length at most <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(2n-4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> between any pair of non-crossing spanning trees (where <i>n</i> denotes the number of points). Hernando et al. proved that the length of a minimal flip sequence can be of length at least <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\frac{3}{2} n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Two recent results of Aichholzer et al. and Bousquet et al. improved the upper bound by Avis and Fukuda by proving that there always exists a flip sequence of length respectively at most <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(2n - \log n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mo>log</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2n - \sqrt{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>n</mi> <mo>-</mo> <msqrt> <mi>n</mi> </msqrt> </mrow> </math></EquationSource> </InlineEquation> when the points are in convex position. We pursue the investigation of the convex case by improving the upper bound by a linear factor for the first time in 30 years. We prove that there always exists a flip sequence between any pair of non-crossing spanning trees <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(T_1,T_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>T</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> of length at most <i>cn</i> where <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(c \approx 1.95\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>≈</mo> <mn>1.95</mn> </mrow> </math></EquationSource> </InlineEquation>. Our result is actually stronger since we prove that, for any two trees <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(T_1,T_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>T</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, there exists a flip sequence from <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(T_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(T_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> of length at most <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(c |T_1 \setminus T_2|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi>c</mi> <mo stretchy="false">|</mo> </mrow> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi>T</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We also improve the best lower bound in terms of the symmetric difference by proving that there exists a pair of trees <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(T_1,T_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>T</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> such that a minimal flip sequence has length <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\frac{5}{3} |T_1 \setminus T_2|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>5</mn> <mn>3</mn> </mfrac> <mrow> <mo stretchy="false">|</mo> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi>T</mi> <mn>2</mn> </msub> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, improving the lower bound of Hernando et al. by considering the symmetric difference instead of the number of vertices. We generalize this lower bound construction to non-crossing flips (where we close the gap between upper and lower bounds) and edge-rotations.</p>

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

Reconfiguration of Plane Trees in Convex Geometric Graphs

  • Nicolas Bousquet,
  • Lucas De Meyer,
  • Théo Pierron,
  • Alexandra Wesolek

摘要

A non-crossing spanning tree of a set of points in the plane is a spanning tree whose edges pairwise do not cross. Avis and Fukuda in 1996 proved that there always exists a flip sequence of length at most \(2n-4\) 2 n - 4 between any pair of non-crossing spanning trees (where n denotes the number of points). Hernando et al. proved that the length of a minimal flip sequence can be of length at least \(\frac{3}{2} n\) 3 2 n . Two recent results of Aichholzer et al. and Bousquet et al. improved the upper bound by Avis and Fukuda by proving that there always exists a flip sequence of length respectively at most \(2n - \log n\) 2 n - log n and \(2n - \sqrt{n}\) 2 n - n when the points are in convex position. We pursue the investigation of the convex case by improving the upper bound by a linear factor for the first time in 30 years. We prove that there always exists a flip sequence between any pair of non-crossing spanning trees \(T_1,T_2\) T 1 , T 2 of length at most cn where \(c \approx 1.95\) c 1.95 . Our result is actually stronger since we prove that, for any two trees \(T_1,T_2\) T 1 , T 2 , there exists a flip sequence from \(T_1\) T 1 to \(T_2\) T 2 of length at most \(c |T_1 \setminus T_2|\) c | T 1 \ T 2 | . We also improve the best lower bound in terms of the symmetric difference by proving that there exists a pair of trees \(T_1,T_2\) T 1 , T 2 such that a minimal flip sequence has length \(\frac{5}{3} |T_1 \setminus T_2|\) 5 3 | T 1 \ T 2 | , improving the lower bound of Hernando et al. by considering the symmetric difference instead of the number of vertices. We generalize this lower bound construction to non-crossing flips (where we close the gap between upper and lower bounds) and edge-rotations.