<p>We study the following natural variant of the budgeted maximum coverage problem: We are given a budget <i>B</i> and a hypergraph <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G = (V, E)\)</EquationSource> </InlineEquation>, where each vertex has a non-negative cost and a non-negative profit. The goal is to select a set of hyperedges <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(T \subseteq E\)</EquationSource> </InlineEquation> such that the total cost of the vertices covered by <i>T</i> is at most <i>B</i> and the total profit of all covered vertices is maximized. This is a natural generalization of the maximum coverage problem. Our interest in this problem stems from its application to bid optimization in sponsored search auctions. It is easily seen that this problem is at least as hard as budgeted maximum coverage (where the costs are associated with the selected hyperedges instead of the covered vertices). This implies <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((1-1/e+\epsilon )\)</EquationSource> </InlineEquation>-inapproximability for any <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\epsilon&gt; 0\)</EquationSource> </InlineEquation>. Furthermore, standard greedy approaches do not yield constant factor approximations for our variant of the problem. In fact, through a reduction from Densest <i>k</i>-Subgraph, it can be established that our problem is inapproximable up to a constant factor, conditional on the exponential time hypothesis. Our main results are as follows: (i.) We obtain a <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((1 - 1/\sqrt{e})/2\)</EquationSource> </InlineEquation>-approximation algorithm for graphs. (ii.) We derive a fully polynomial-time approximation scheme (FPTAS) if the incidence graph of the hypergraph is a forest (i.e., the hypergraph is <i>Berge-acyclic</i>). We extend this result to incidence graphs with a fixed-size feedback hyperedge node set. (iii.) We give a <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((1-\varepsilon )/(2d^2)\)</EquationSource> </InlineEquation>-approximation algorithm for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varepsilon&gt; 0\)</EquationSource> </InlineEquation>, where <i>d</i> is the maximum vertex degree.</p>

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

The Ground-Set-Cost Budgeted Maximum Coverage Problem

  • Irving van Heuven van Staereling,
  • Bart de Keijzer,
  • Guido Schäfer

摘要

We study the following natural variant of the budgeted maximum coverage problem: We are given a budget B and a hypergraph \(G = (V, E)\) , where each vertex has a non-negative cost and a non-negative profit. The goal is to select a set of hyperedges \(T \subseteq E\) such that the total cost of the vertices covered by T is at most B and the total profit of all covered vertices is maximized. This is a natural generalization of the maximum coverage problem. Our interest in this problem stems from its application to bid optimization in sponsored search auctions. It is easily seen that this problem is at least as hard as budgeted maximum coverage (where the costs are associated with the selected hyperedges instead of the covered vertices). This implies \((1-1/e+\epsilon )\) -inapproximability for any \(\epsilon> 0\) . Furthermore, standard greedy approaches do not yield constant factor approximations for our variant of the problem. In fact, through a reduction from Densest k-Subgraph, it can be established that our problem is inapproximable up to a constant factor, conditional on the exponential time hypothesis. Our main results are as follows: (i.) We obtain a \((1 - 1/\sqrt{e})/2\) -approximation algorithm for graphs. (ii.) We derive a fully polynomial-time approximation scheme (FPTAS) if the incidence graph of the hypergraph is a forest (i.e., the hypergraph is Berge-acyclic). We extend this result to incidence graphs with a fixed-size feedback hyperedge node set. (iii.) We give a \((1-\varepsilon )/(2d^2)\) -approximation algorithm for all \(\varepsilon> 0\) , where d is the maximum vertex degree.