{"title":"缺失信息的确切数量使得找到可能的赢家变得困难","authors":"Palash Dey , Neeldhara Misra","doi":"10.1016/j.jcss.2023.02.003","DOIUrl":null,"url":null,"abstract":"<div><p>In the <em>possible winner</em> problem, we need to compute if a set of partial votes can be completed such that a given candidate wins the election under some specific voting rule. In this paper, we determine the smallest number of undetermined pairs per partial vote for which the <span>Possible Winner</span> problem is <span><math><mi>NP</mi></math></span>-complete. In particular, we find the exact values of <em>t</em> for which the <span>Possible Winner</span> problem transitions to being <span><math><mi>NP</mi></math></span>-complete from being in <span><math><mi>P</mi></math></span>, where <em>t</em> is the maximum number of undetermined pairs in every vote. We demonstrate tight results for a broad class of scoring rules, Copeland<sup><em>α</em></sup> for every <span><math><mi>α</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></math></span>, maximin, and Bucklin voting rules. A somewhat surprising aspect of our results is that for many of these rules, the <span>Possible Winner</span> problem turns out to be hard even if every vote has at most one undetermined pair of candidates.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"135 ","pages":"Pages 32-54"},"PeriodicalIF":1.1000,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the exact amount of missing information that makes finding possible winners hard\",\"authors\":\"Palash Dey , Neeldhara Misra\",\"doi\":\"10.1016/j.jcss.2023.02.003\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>In the <em>possible winner</em> problem, we need to compute if a set of partial votes can be completed such that a given candidate wins the election under some specific voting rule. In this paper, we determine the smallest number of undetermined pairs per partial vote for which the <span>Possible Winner</span> problem is <span><math><mi>NP</mi></math></span>-complete. In particular, we find the exact values of <em>t</em> for which the <span>Possible Winner</span> problem transitions to being <span><math><mi>NP</mi></math></span>-complete from being in <span><math><mi>P</mi></math></span>, where <em>t</em> is the maximum number of undetermined pairs in every vote. We demonstrate tight results for a broad class of scoring rules, Copeland<sup><em>α</em></sup> for every <span><math><mi>α</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>]</mo></math></span>, maximin, and Bucklin voting rules. A somewhat surprising aspect of our results is that for many of these rules, the <span>Possible Winner</span> problem turns out to be hard even if every vote has at most one undetermined pair of candidates.</p></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"135 \",\"pages\":\"Pages 32-54\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2023-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Computer and System Sciences\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0022000023000168\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"BUSINESS, FINANCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022000023000168","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
On the exact amount of missing information that makes finding possible winners hard
In the possible winner problem, we need to compute if a set of partial votes can be completed such that a given candidate wins the election under some specific voting rule. In this paper, we determine the smallest number of undetermined pairs per partial vote for which the Possible Winner problem is -complete. In particular, we find the exact values of t for which the Possible Winner problem transitions to being -complete from being in , where t is the maximum number of undetermined pairs in every vote. We demonstrate tight results for a broad class of scoring rules, Copelandα for every , maximin, and Bucklin voting rules. A somewhat surprising aspect of our results is that for many of these rules, the Possible Winner problem turns out to be hard even if every vote has at most one undetermined pair of candidates.
期刊介绍:
The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.
Research areas include traditional subjects such as:
• Theory of algorithms and computability
• Formal languages
• Automata theory
Contemporary subjects such as:
• Complexity theory
• Algorithmic Complexity
• Parallel & distributed computing
• Computer networks
• Neural networks
• Computational learning theory
• Database theory & practice
• Computer modeling of complex systems
• Security and Privacy.