<p>We present a deterministic <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_783_Article_IEq1.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(n^{2+o(1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>n</mi> <mrow> <mn>2</mn> <mo>+</mo> <mi>o</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>-time algorithm that approximates the crossing number of any graph <i>G</i> of order <i>n</i> up to an additive error of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_783_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(o(n^4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>o</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>4</mn> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We also provide a randomized polynomial-time algorithm that constructs a drawing of <i>G</i> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_783_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(\text {cr}(G)+o(n^4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">cr</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">G</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi mathvariant="normal">o</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="normal">n</mi> <mn>4</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> crossings. These results yield a <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="454_2025_783_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(1+o(1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>+</mo> <mi>o</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> approximation algorithm for the crossing number of dense graphs. Our work complements a paper of Fox, Pach and Súk [<CitationRef CitationID="CR20">20</CitationRef>], who obtained similar results for the rectilinear crossing number. The results in [<CitationRef CitationID="CR20">20</CitationRef>] and in this paper imply that the (normalized) crossing and rectilinear crossing numbers are estimable parameters. Motivated by this, we introduce two graphon parameters, the <i>crossing density</i> and the <i>rectilinear crossing density</i>, and we prove that, in a precise sense, these are the correct continuous analogs of the crossing and rectilinear crossing numbers of graphs.</p>

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

An Algorithm for Estimating the Crossing Number of Dense Graphs, and Continuous Analogs of the Crossing and Rectilinear Crossing Numbers

  • Oriol Solé-Pi

摘要

We present a deterministic \(n^{2+o(1)}\) n 2 + o ( 1 ) -time algorithm that approximates the crossing number of any graph G of order n up to an additive error of \(o(n^4)\) o ( n 4 ) . We also provide a randomized polynomial-time algorithm that constructs a drawing of G with \(\text {cr}(G)+o(n^4)\) cr ( G ) + o ( n 4 ) crossings. These results yield a \(1+o(1)\) 1 + o ( 1 ) approximation algorithm for the crossing number of dense graphs. Our work complements a paper of Fox, Pach and Súk [20], who obtained similar results for the rectilinear crossing number. The results in [20] and in this paper imply that the (normalized) crossing and rectilinear crossing numbers are estimable parameters. Motivated by this, we introduce two graphon parameters, the crossing density and the rectilinear crossing density, and we prove that, in a precise sense, these are the correct continuous analogs of the crossing and rectilinear crossing numbers of graphs.