<p>Let <i>d</i> be a (well-behaved) shortest-path metric defined on a path-connected subset of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^2\)</EquationSource> </InlineEquation> and let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="137" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}=\{D_1,\ldots,D_n\}\)</EquationSource> </InlineEquation> be a set of geodesic disks with respect to the metric&#xa0;<i>d</i>. We prove that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}^{\times }(\mathcal {D})\)</EquationSource> </InlineEquation>, the intersection graph of the disks in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {D}\)</EquationSource> </InlineEquation>, has a clique-based separator consisting of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(n^{3/4+\varepsilon })\)</EquationSource> </InlineEquation> cliques. This significantly extends the class of objects whose intersection graphs have small clique-based separators. Our clique-based separator yields an algorithm for <i>q</i>-<span>Coloring</span> that runs in time <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{O(n^{3/4+\varepsilon })}\)</EquationSource> </InlineEquation>, assuming the boundaries of the disks <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_i\)</EquationSource> </InlineEquation> can be computed in polynomial time. We also use our clique-based separator to obtain a simple, efficient, and almost exact distance oracle for intersection graphs of geodesic disks. Our distance oracle uses <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(n^{7/4+\varepsilon })\)</EquationSource> </InlineEquation> storage and can report the hop distance between any two nodes in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {G}^{\times }(\mathcal {D})\)</EquationSource> </InlineEquation> in <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1337_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(O(n^{3/4+\varepsilon })\)</EquationSource> </InlineEquation> time, up to an additive error of one. So far, distance oracles with an additive error of one that use subquadratic storage and sublinear query time were not known for such general graph classes.</p>

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

A Clique-Based Separator for Intersection Graphs of Geodesic Disks in \(\mathbb {R}^2\)

  • Boris Aronov,
  • Mark de Berg,
  • Leonidas Theocharous

摘要

Let d be a (well-behaved) shortest-path metric defined on a path-connected subset of \(\mathbb {R}^2\) and let \(\mathcal {D}=\{D_1,\ldots,D_n\}\) be a set of geodesic disks with respect to the metric d. We prove that \(\mathcal {G}^{\times }(\mathcal {D})\) , the intersection graph of the disks in \(\mathcal {D}\) , has a clique-based separator consisting of \(O(n^{3/4+\varepsilon })\) cliques. This significantly extends the class of objects whose intersection graphs have small clique-based separators. Our clique-based separator yields an algorithm for q-Coloring that runs in time \(2^{O(n^{3/4+\varepsilon })}\) , assuming the boundaries of the disks \(D_i\) can be computed in polynomial time. We also use our clique-based separator to obtain a simple, efficient, and almost exact distance oracle for intersection graphs of geodesic disks. Our distance oracle uses \(O(n^{7/4+\varepsilon })\) storage and can report the hop distance between any two nodes in \(\mathcal {G}^{\times }(\mathcal {D})\) in \(O(n^{3/4+\varepsilon })\) time, up to an additive error of one. So far, distance oracles with an additive error of one that use subquadratic storage and sublinear query time were not known for such general graph classes.