<p>We study the complexity of determining a winning committee under the Chamberlin–Courant voting rule when voters’ preferences are single-crossing on a line, or, more generally, on a median graph (this class of graphs includes, e.g., trees and grids). For the line, Skowron et&#xa0;al. (<CitationRef CitationID="CR30">2015</CitationRef>) describe an <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\varvec{O}(\varvec{n}^{\varvec{2}}\varvec{mk})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">O</mi> </mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="bold-italic">n</mi> </mrow> <mrow> <mn mathvariant="bold">2</mn> </mrow> </msup> <mrow> <mi mathvariant="bold-italic">mk</mi> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> algorithm (where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varvec{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">n</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\varvec{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">m</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\varvec{k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">k</mi> </mrow> </math></EquationSource> </InlineEquation> are the number of voters, the number of candidates and the committee size, respectively); we show that a simple tweak improves the time complexity to <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varvec{O(nmk)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">O</mi> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">n</mi> <mi mathvariant="bold-italic">m</mi> <mi mathvariant="bold-italic">k</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We then improve this bound even further by reducing our problem to the <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\varvec{k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">k</mi> </mrow> </math></EquationSource> </InlineEquation>-link path problem for complete DAGs with Monge-concave weights, obtaining an <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varvec{O(n}^{\varvec{1 + o(1)}}\varvec{m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="bold-italic">O</mi> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">n</mi> </mrow> <mrow> <mn mathvariant="bold">1</mn> <mo mathvariant="bold">+</mo> <mi mathvariant="bold-italic">o</mi> <mo mathvariant="bold" stretchy="false">(</mo> <mn mathvariant="bold">1</mn> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> </msup> <mrow> <mrow> <mi mathvariant="bold-italic">m</mi> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> algorithm for arbitrary misrepresentation functions and a nearly linear algorithm for the Borda misrepresentation function. For trees, we point out an issue with the algorithm proposed by Clearwater et&#xa0;al. (<CitationRef CitationID="CR10">2015</CitationRef>), and develop an <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varvec{O(nmk)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">O</mi> <mo mathvariant="bold" stretchy="false">(</mo> <mi mathvariant="bold-italic">n</mi> <mi mathvariant="bold-italic">m</mi> <mi mathvariant="bold-italic">k</mi> <mo mathvariant="bold" stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> algorithm for this case as well. For grids, we formulate a conjecture about the structure of optimal solutions, and describe a polynomial-time algorithm that finds a winning committee if this conjecture is true; we also explain how to convert this algorithm into a bicriterial approximation algorithm whose correctness does not depend on the conjecture.</p>

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

Proportional representation under single-crossing preferences revisited

  • Andrei Constantinescu,
  • Edith Elkind

摘要

We study the complexity of determining a winning committee under the Chamberlin–Courant voting rule when voters’ preferences are single-crossing on a line, or, more generally, on a median graph (this class of graphs includes, e.g., trees and grids). For the line, Skowron et al. (2015) describe an \(\varvec{O}(\varvec{n}^{\varvec{2}}\varvec{mk})\) O ( n 2 mk ) algorithm (where \(\varvec{n}\) n , \(\varvec{m}\) m , \(\varvec{k}\) k are the number of voters, the number of candidates and the committee size, respectively); we show that a simple tweak improves the time complexity to \(\varvec{O(nmk)}\) O ( n m k ) . We then improve this bound even further by reducing our problem to the \(\varvec{k}\) k -link path problem for complete DAGs with Monge-concave weights, obtaining an \(\varvec{O(n}^{\varvec{1 + o(1)}}\varvec{m})\) O ( n 1 + o ( 1 ) m ) algorithm for arbitrary misrepresentation functions and a nearly linear algorithm for the Borda misrepresentation function. For trees, we point out an issue with the algorithm proposed by Clearwater et al. (2015), and develop an \(\varvec{O(nmk)}\) O ( n m k ) algorithm for this case as well. For grids, we formulate a conjecture about the structure of optimal solutions, and describe a polynomial-time algorithm that finds a winning committee if this conjecture is true; we also explain how to convert this algorithm into a bicriterial approximation algorithm whose correctness does not depend on the conjecture.