<p>In a minimum <i>p</i> union problem (Min<i>p</i>U), given a hypergraph <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(G=(V,E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and an integer <i>p</i>, the goal is to find a set of <i>p</i> hyperedges <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(E'\subseteq E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>E</mi> <mo>′</mo> </msup> <mo>⊆</mo> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation> such that the number of vertices covered by <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(E'\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>E</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> (that is <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(|\bigcup _{e\in E'}e|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mo>⋃</mo> <mrow> <mi>e</mi> <mo>∈</mo> <msup> <mi>E</mi> <mo>′</mo> </msup> </mrow> </msub> <mrow> <mi>e</mi> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>) is minimized. It was known that Min<i>p</i>U is at least as hard as the densest <i>k</i>-subgraph problem. A question is: how about the problem in some geometric settings? In this paper, we consider the unit square Min<i>p</i>U problem (Min<i>p</i>U-US) in which <i>V</i> is a set of points on the plane, and each hyperedge of <i>E</i> consists of a set of points in a unit square, the goal of the Min<i>p</i>U-US problem is to select <i>p</i> squares such that the number of points covered by the union of these <i>p</i> squares is as small as possible. A <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((\frac{1}{1+\varepsilon },4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mrow> <mn>1</mn> <mo>+</mo> <mi>ε</mi> </mrow> </mfrac> <mo>,</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-bicriteria approximation algorithm is presented, that is, the algorithm finds at least <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\frac{p}{1+\varepsilon }\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mi>p</mi> <mrow> <mn>1</mn> <mo>+</mo> <mi>ε</mi> </mrow> </mfrac> </math></EquationSource> </InlineEquation> unit squares covering at most <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(4\,opt\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>4</mn> <mspace width="0.166667em" /> <mi>o</mi> <mi>p</mi> <mi>t</mi> </mrow> </math></EquationSource> </InlineEquation> points, where <i>opt</i> is the optimal value for the Min<i>p</i>U-US instance (the minimum number of points that can be covered by <i>p</i> unit squares).</p>

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

Approximation Algorithm for Minimum p Union under a Geometric Setting

  • Ying-Li Ran,
  • Zhao Zhang

摘要

In a minimum p union problem (MinpU), given a hypergraph \(G=(V,E)\) G = ( V , E ) and an integer p, the goal is to find a set of p hyperedges \(E'\subseteq E\) E E such that the number of vertices covered by \(E'\) E (that is \(|\bigcup _{e\in E'}e|\) | e E e | ) is minimized. It was known that MinpU is at least as hard as the densest k-subgraph problem. A question is: how about the problem in some geometric settings? In this paper, we consider the unit square MinpU problem (MinpU-US) in which V is a set of points on the plane, and each hyperedge of E consists of a set of points in a unit square, the goal of the MinpU-US problem is to select p squares such that the number of points covered by the union of these p squares is as small as possible. A \((\frac{1}{1+\varepsilon },4)\) ( 1 1 + ε , 4 ) -bicriteria approximation algorithm is presented, that is, the algorithm finds at least \(\frac{p}{1+\varepsilon }\) p 1 + ε unit squares covering at most \(4\,opt\) 4 o p t points, where opt is the optimal value for the MinpU-US instance (the minimum number of points that can be covered by p unit squares).