<p>We study upward pointset embeddings (<span>UPSE</span>s) of planar <i>st</i>-graphs. Let <i>G</i> be a planar <i>st</i>-graph and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(S \subset \mathbb {R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> be a pointset with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(|S|= |V(G)|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>S</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mo stretchy="false">|</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>. An <i>UPSE</i> of <i>G</i> on <i>S</i> is an upward planar straight-line drawing of <i>G</i> that maps the vertices of <i>G</i> to the points of <i>S</i>. We consider both the problem of testing the existence of an <span>UPSE</span> of <i>G</i> on <i>S</i> (<span>UPSE Testing</span>) and the problem of enumerating all <span>UPSE</span>s of <i>G</i> on <i>S</i>. We prove that <span>UPSE Testing</span> is <Emphasis FontCategory="SansSerif">NP</Emphasis>-complete even for <i>st</i>-graphs that consist of a set of directed <i>st</i>-paths sharing only <i>s</i> and <i>t</i>. On the other hand, if <i>G</i> is an <i>n</i>-vertex planar <i>st</i>-graph whose maximum <i>st</i>-cutset has size <i>k</i>, then <span>UPSE Testing</span> can be solved in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(n^{4k})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>4</mn> <mi>k</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> time with <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(n^{3k})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>3</mn> <mi>k</mi> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> space; also, all the <span>UPSE</span>s of <i>G</i> on <i>S</i> can be enumerated with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> worst-case delay, using <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(k n^{4k} \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mi>k</mi> <msup> <mi>n</mi> <mrow> <mn>4</mn> <mi>k</mi> </mrow> </msup> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> space, after <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(k n^{4k} \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mi>k</mi> <msup> <mi>n</mi> <mrow> <mn>4</mn> <mi>k</mi> </mrow> </msup> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> set-up time. Moreover, for an <i>n</i>-vertex <i>st</i>-graph whose underlying graph is a cycle, we provide a necessary and sufficient condition for the existence of an <span>UPSE</span> on a given pointset, which can be tested in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(n \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> time. Related to this result, we give an algorithm that, for a set <i>S</i> of <i>n</i> points, enumerates all the non-crossing monotone Hamiltonian cycles on <i>S</i> with <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> worst-case delay, using <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(n^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> space, after <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1302_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}(n^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> set-up time.</p>

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

Upward Pointset Embeddings of Planar st-Graphs

  • Carlos Alegrí­a,
  • Susanna Caroppo,
  • Giordano Da Lozzo,
  • Marco D’Elia,
  • Giuseppe Di Battista,
  • Fabrizio Frati,
  • Fabrizio Grosso,
  • Maurizio Patrignani

摘要

We study upward pointset embeddings (UPSEs) of planar st-graphs. Let G be a planar st-graph and let \(S \subset \mathbb {R}^2\) S R 2 be a pointset with \(|S|= |V(G)|\) | S | = | V ( G ) | . An UPSE of G on S is an upward planar straight-line drawing of G that maps the vertices of G to the points of S. We consider both the problem of testing the existence of an UPSE of G on S (UPSE Testing) and the problem of enumerating all UPSEs of G on S. We prove that UPSE Testing is NP-complete even for st-graphs that consist of a set of directed st-paths sharing only s and t. On the other hand, if G is an n-vertex planar st-graph whose maximum st-cutset has size k, then UPSE Testing can be solved in \(\mathcal {O}(n^{4k})\) O ( n 4 k ) time with \(\mathcal {O}(n^{3k})\) O ( n 3 k ) space; also, all the UPSEs of G on S can be enumerated with \(\mathcal {O}(n)\) O ( n ) worst-case delay, using \(\mathcal {O}(k n^{4k} \log n)\) O ( k n 4 k log n ) space, after \(\mathcal {O}(k n^{4k} \log n)\) O ( k n 4 k log n ) set-up time. Moreover, for an n-vertex st-graph whose underlying graph is a cycle, we provide a necessary and sufficient condition for the existence of an UPSE on a given pointset, which can be tested in \(\mathcal {O}(n \log n)\) O ( n log n ) time. Related to this result, we give an algorithm that, for a set S of n points, enumerates all the non-crossing monotone Hamiltonian cycles on S with \(\mathcal {O}(n)\) O ( n ) worst-case delay, using \(\mathcal {O}(n^2)\) O ( n 2 ) space, after \(\mathcal {O}(n^2)\) O ( n 2 ) set-up time.