<p>In an instance of the weighted Nash Social Welfare problem, we are given a set of <i>m</i> indivisible items, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">G</mi> </math></EquationSource> </InlineEquation>, and <i>n</i> agents, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>, where each agent <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(i \in \mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> </mrow> </math></EquationSource> </InlineEquation> has a valuation <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(v_{ij}\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>v</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for each item <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(j\in \mathcal {G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>j</mi> <mo>∈</mo> <mi mathvariant="script">G</mi> </mrow> </math></EquationSource> </InlineEquation>. In addition, every agent <i>i</i> has a non-negative weight <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(w_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>w</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> such that the weights collectively sum up to 1. The goal is to find an assignment <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\sigma :\mathcal {G}\rightarrow \mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>:</mo> <mi mathvariant="script">G</mi> <mo stretchy="false">→</mo> <mi mathvariant="script">A</mi> </mrow> </math></EquationSource> </InlineEquation> that maximizes <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\prod _{i\in \mathcal {A}} \left( \sum _{j\in \sigma ^{-1}(i)} v_{ij}\right) ^{w_i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∏</mo> <mrow> <mi>i</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> </mrow> </msub> <msup> <mfenced close=")" open="("> <msub> <mo>∑</mo> <mrow> <mi>j</mi> <mo>∈</mo> <msup> <mi>σ</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <msub> <mi>v</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> </mfenced> <msub> <mi>w</mi> <mi>i</mi> </msub> </msup> </mrow> </math></EquationSource> </InlineEquation>, the product of the weighted valuations of the players. When all the weights equal <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\frac{1}{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mn>1</mn> <mi>n</mi> </mfrac> </math></EquationSource> </InlineEquation>, the problem reduces to the classical Nash Social Welfare problem, which has recently received much attention. In this work, we present a <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(5\cdot \exp \left( 2\cdot D_{\textrm{KL}}(\textbf{w}\, ||\, \frac{\vec {\textbf{1}}}{n})\right) = 5\cdot \exp \left( 2\log {n} + 2\sum _{i=1}^n w_i \log {w_i}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>5</mn> <mo>·</mo> <mo>exp</mo> <mfenced close=")" open="("> <mn>2</mn> <mo>·</mo> <msub> <mi>D</mi> <mtext>KL</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">w</mi> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> </mrow> <mfrac> <mover accent="true"> <mn mathvariant="bold">1</mn> <mo stretchy="false">→</mo> </mover> <mi>n</mi> </mfrac> <mrow> <mo stretchy="false">)</mo> </mrow> </mfenced> <mo>=</mo> <mn>5</mn> <mo>·</mo> <mo>exp</mo> <mfenced close=")" open="("> <mn>2</mn> <mo>log</mo> <mi>n</mi> <mo>+</mo> <mn>2</mn> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>n</mi> </msubsup> <msub> <mi>w</mi> <mi>i</mi> </msub> <mo>log</mo> <msub> <mi>w</mi> <mi>i</mi> </msub> </mfenced> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm for the weighted Nash Social Welfare problem, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(D_{\textrm{KL}}(\textbf{w}\, ||\, \frac{\vec {\textbf{1}}}{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>D</mi> <mtext>KL</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">w</mi> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> </mrow> <mfrac> <mover accent="true"> <mn mathvariant="bold">1</mn> <mo stretchy="false">→</mo> </mover> <mi>n</mi> </mfrac> <mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes the KL-divergence between the distribution induced by <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\textbf{w}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">w</mi> </math></EquationSource> </InlineEquation> and the uniform distribution on [<i>n</i>]. We show a novel connection between the convex programming relaxations for the unweighted variant of Nash Social Welfare presented in [<CitationRef CitationID="CR1">1</CitationRef>, <CitationRef CitationID="CR10">10</CitationRef>], and generalize the programs to two different mathematical programs for the weighted case. The first program is convex and is necessary for computational efficiency, while the second program is a non-convex relaxation that can be rounded efficiently. The approximation factor derives from the difference in the objective values of the convex and non-convex relaxation.</p>

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

Approximation Algorithms for the Weighted Nash Social Welfare via Convex and Non-Convex Programs

  • Adam Brown,
  • Aditi Laddha,
  • Madhusudhan Pittu,
  • Mohit Singh

摘要

In an instance of the weighted Nash Social Welfare problem, we are given a set of m indivisible items, \(\mathcal {G}\) G , and n agents, \(\mathcal {A}\) A , where each agent \(i \in \mathcal {A}\) i A has a valuation \(v_{ij}\ge 0\) v ij 0 for each item \(j\in \mathcal {G}\) j G . In addition, every agent i has a non-negative weight \(w_i\) w i such that the weights collectively sum up to 1. The goal is to find an assignment \(\sigma :\mathcal {G}\rightarrow \mathcal {A}\) σ : G A that maximizes \(\prod _{i\in \mathcal {A}} \left( \sum _{j\in \sigma ^{-1}(i)} v_{ij}\right) ^{w_i}\) i A j σ - 1 ( i ) v ij w i , the product of the weighted valuations of the players. When all the weights equal \(\frac{1}{n}\) 1 n , the problem reduces to the classical Nash Social Welfare problem, which has recently received much attention. In this work, we present a \(5\cdot \exp \left( 2\cdot D_{\textrm{KL}}(\textbf{w}\, ||\, \frac{\vec {\textbf{1}}}{n})\right) = 5\cdot \exp \left( 2\log {n} + 2\sum _{i=1}^n w_i \log {w_i}\right) \) 5 · exp 2 · D KL ( w | | 1 n ) = 5 · exp 2 log n + 2 i = 1 n w i log w i -approximation algorithm for the weighted Nash Social Welfare problem, where \(D_{\textrm{KL}}(\textbf{w}\, ||\, \frac{\vec {\textbf{1}}}{n})\) D KL ( w | | 1 n ) denotes the KL-divergence between the distribution induced by \(\textbf{w}\) w and the uniform distribution on [n]. We show a novel connection between the convex programming relaxations for the unweighted variant of Nash Social Welfare presented in [1, 10], and generalize the programs to two different mathematical programs for the weighted case. The first program is convex and is necessary for computational efficiency, while the second program is a non-convex relaxation that can be rounded efficiently. The approximation factor derives from the difference in the objective values of the convex and non-convex relaxation.