<p>A disk graph is an intersection graph of disks in the Euclidean plane, where the disks correspond to the vertices of the graph and a pair of vertices are adjacent if and only if their corresponding disks intersect. The problem of determining the time complexity of computing a maximum clique in a disk graph is a long-standing open question that has been very well studied in the literature. In this paper, we obtain the following results. We first give an algorithm to compute a maximum clique in a unit disk graph in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(O(n^{7/3+o(1)})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>7</mn> <mo stretchy="false">/</mo> <mn>3</mn> <mo>+</mo> <mi>o</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-time, which improves the previously best-known running time of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(O(n^3\log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>3</mn> </msup> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We next extend a widely used ‘co-2-subdivision approach’ to prove that computing a maximum clique in a combination of unit disks and axis-parallel rectangles is NP-hard to approximate within 0.9997. The use of a ‘co-2-subdivision approach’ was previously thought to be unlikely in this setting. Our result improves the previously known inapproximability factor of 0.9999. Finally, we show that the parameter minimum lens width of the disk arrangement may be used to make progress in the case when disk radii are in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\([1,1+\varepsilon ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo>+</mo> <mi>ε</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. For example, if the minimum lens width is at least 0.265 and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( \varepsilon \le 0.0001\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>≤</mo> <mn>0.0001</mn> </mrow> </math></EquationSource> </InlineEquation>, then one can find a maximum clique in polynomial time.</p>

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

Finding a Maximum Clique in a Disk Graph

  • Jared Espenant,
  • J. Mark Keil,
  • Debajyoti Mondal

摘要

A disk graph is an intersection graph of disks in the Euclidean plane, where the disks correspond to the vertices of the graph and a pair of vertices are adjacent if and only if their corresponding disks intersect. The problem of determining the time complexity of computing a maximum clique in a disk graph is a long-standing open question that has been very well studied in the literature. In this paper, we obtain the following results. We first give an algorithm to compute a maximum clique in a unit disk graph in \(O(n^{7/3+o(1)})\) O ( n 7 / 3 + o ( 1 ) ) -time, which improves the previously best-known running time of \(O(n^3\log n)\) O ( n 3 log n ) . We next extend a widely used ‘co-2-subdivision approach’ to prove that computing a maximum clique in a combination of unit disks and axis-parallel rectangles is NP-hard to approximate within 0.9997. The use of a ‘co-2-subdivision approach’ was previously thought to be unlikely in this setting. Our result improves the previously known inapproximability factor of 0.9999. Finally, we show that the parameter minimum lens width of the disk arrangement may be used to make progress in the case when disk radii are in \([1,1+\varepsilon ]\) [ 1 , 1 + ε ] . For example, if the minimum lens width is at least 0.265 and \( \varepsilon \le 0.0001\) ε 0.0001 , then one can find a maximum clique in polynomial time.