Skip to main content
Springer Nature Link
Log in

Is Computational Complexity a Barrier to Manipulation?

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6245))

Included in the following conference series:

  • 316 Accesses

Abstract

When agents are acting together, they may need a simple mechanism to decide on joint actions. One possibility is to have the agents express their preferences in the form of a ballot and use a voting rule to decide the winning action(s). Unfortunately, agents may try to manipulate such an election by mis-reporting their preferences. Fortunately, it has been shown that it is NP-hard to compute how to manipulate a number of different voting rules. However, NP-hardness only bounds the worst-case complexity. Recent theoretical results suggest that manipulation may often be easy in practice. To address this issue, I suggest studying empirically if computational complexity is in practice a barrier to manipulation. The basic tool used in my investigations is the identification of computational “phase transitions”. Such an approach has been fruitful in identifying hard instances of propositional satisfiability and other NP-hard problems. I show that phase transition behaviour gives insight into the hardness of manipulating voting rules, increasing concern that computational complexity is indeed any sort of barrier. Finally, I look at the problem of computing manipulation of other, related problems like stable marriage and tournament problems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bartholdi, J., Tovey, C., Trick, M.: The computational difficulty of manipulating an election. Social Choice and Welfare 6, 227–241 (1989)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bartholdi, J., Orlin, J.: Single transferable vote resists strategic voting. Social Choice and Welfare 8, 341–354 (1991)

    MATH  MathSciNet  Google Scholar 

  3. Conitzer, V., Sandholm, T., Lang, J.: When are elections with few candidates hard to manipulate. Journal of the Association for Computing Machinery 54 (2007)

    Google Scholar 

  4. Xia, L., Conitzer, V.: A sufficient condition for voting rules to be frequently manipulable. In: EC 2008: Proc. of the 9th ACM Conference on Electronic Commerce, pp. 99–108. ACM, New York (2008)

    Chapter  Google Scholar 

  5. Walsh, T.: Where are the really hard manipulation problems? The phase transition in manipulating the veto rule. In: Proc. of 21st IJCAI, Int. Joint Conf. on Artificial Intelligence, pp. 324–329 (2009)

    Google Scholar 

  6. Walsh, T.: An empirical study of the manipulability of single transferable voting. In: Proc. of the 19th ECAI. IOS Press, Amsterdam (2010)

    Google Scholar 

  7. Berg, S.: Paradox of voting under an urn model: the effect of homogeneity. Public Choice 47, 377–387 (1985)

    Article  Google Scholar 

  8. Gent, I., Walsh, T.: Phase transitions from real computational problems. In: Proc. of the 8th Int. Symposium on Artificial Intelligence, pp. 356–364 (1995)

    Google Scholar 

  9. Gent, I., Hoos, H., Prosser, P., Walsh, T.: Morphing: Combining structure and randomness. In: Proc. of the 16th National Conf. on AI. AAAI, Menlo Park (1999)

    Google Scholar 

  10. Cheeseman, P., Kanefsky, B., Taylor, W.: Where the really hard problems are. In: Proc. of the 12th IJCAI, Int. Joint Conf. on Artificial Intelligence, pp. 331–337 (1991)

    Google Scholar 

  11. Walsh, T.: The constrainedness knife-edge. In: Proc. of the 15th National Conf. on AI. AAAI, Menlo Park (1998)

    Google Scholar 

  12. Mitchell, D., Selman, B., Levesque, H.: Hard and Easy Distributions of SAT Problems. In: Proc. of the 10th National Conf. on AI, pp. 459–465. AAAI, Menlo Park (1992)

    Google Scholar 

  13. Walsh, T.: From P to NP: COL, XOR, NAE, 1-in-k, and Horn SAT. In: Proc. of the 17th National Conf. on AI. AAAI, Menlo Park (2002)

    Google Scholar 

  14. Roth, A.E.: The economics of matching: Stability and incentives. Mathematics of Operations Research 7, 617–628 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  15. Pini, M., Rossi, F., Venable, K., Walsh, T.: Manipulation and gender neutrality in stable marriage procedures. In: 8th Int. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009), pp. 665–672 (2009)

    Google Scholar 

  16. Russell, T., Walsh, T.: Manipulating tournaments in cup and round robin competitions. In: Rossi, F., Tsoukiàs, A. (eds.) Algorithmic Decision Theory, First Int. Conf. (ADT 2009), pp. 26–37 (2009)

    Google Scholar 

  17. Gent, I., Walsh, T.: The SAT phase transition. In: Cohn, A.G. (ed.) Proc. of 11th ECAI, pp. 105–109. John Wiley & Sons, Chichester (1994)

    Google Scholar 

  18. Gent, I., Walsh, T.: The satisfiability constraint gap. Artificial Intelligence 81 (1996)

    Google Scholar 

  19. Prosser, P.: Binary constraint satisfaction problems: Some are harder than others. In: Proc. of the 11th ECAI, pp. 95–99 (1994)

    Google Scholar 

  20. Smith, B.: The phase transition in constraint satisfaction problems: A closer look at the mushy region. In: Proc. of the 11th ECAI (1994)

    Google Scholar 

  21. Gent, I., MacIntyre, E., Prosser, P., Walsh, T.: Scaling effects in the CSP phase transition. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976, pp. 70–87. Springer, Heidelberg (1995)

    Google Scholar 

  22. Gent, I., MacIntyre, E., Prosser, P., Walsh, T.: The constrainedness of search. In: Proc. of the 13th National Conf. on AI, pp. 246–252. AAAI, Menlo Park (1996)

    Google Scholar 

  23. Gent, I., MacIntyre, E., Prosser, P., Smith, B., Walsh, T.: Random constraint satisfaction: Flaws and structure. Constraints 6, 345–372 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  24. Mertens, S.: A physicist’s approach to number partitioning. Theoretical Computer Science 265, 79–108 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  25. Gent, I., Walsh, T.: Phase transitions and annealed theories: Number partitioning as a case study. In: Proc. of 12th ECAI (1996)

    Google Scholar 

  26. Gent, I., Walsh, T.: Analysis of heuristics for number partitioning. Computational Intelligence 14, 430–451 (1998)

    Article  MathSciNet  Google Scholar 

  27. Frank, J., Gent, I., Walsh, T.: Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study. Information Processing Letters 66, 241–245 (1998)

    Article  MathSciNet  Google Scholar 

  28. Vandegriend, B., Culberson, J.: The Gn,m phase transition is not hard for the Hamiltonian Cycle problem. Journal of Artificial Intelligence Research 9, 219–245 (1998)

    MATH  Google Scholar 

  29. Gent, I., Walsh, T.: The TSP phase transition. Artificial Intelligence 88, 349–358 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  30. Zhang, W.: Phase transitions and backbones of the asymmetric traveling salesman problem. Journal of Artificial Intelligence Research 21, 471–497 (2004)

    MATH  MathSciNet  Google Scholar 

  31. Grant, S., Smith, B.: The phase transition behaviour of maintaining arc consistency. In: Wahlster, W. (ed.) Proc. of the 12th ECAI, pp. 175–179. Wiley, Chichester (1996)

    Google Scholar 

  32. Gent, I., MacIntyre, E., Prosser, P., Shaw, P., Walsh, T.: The constrainedness of arc consistency. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 327–340. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  33. Gent, I., Walsh, T.: Beyond NP: the QSAT phase transition. In: Proc. of the 16th National Conf. on AI. AAAI, Menlo Park (1999)

    Google Scholar 

  34. Bailey, D., Dalmau, V., Kolaitis, P.: Phase transitions of PP-complete satisfiability problems. In: Proc. of the 17th IJCAI, Int. Joint Conf. on Artificial Intelligence, pp. 183–189 (2001)

    Google Scholar 

  35. Slaney, J., Walsh, T.: Phase transition behavior: from decision to optimization. In: Proc. of the 5th Int. Symposium on the Theory and Applications of Satisfiability Testing, SAT 2002 (2002)

    Google Scholar 

  36. Larrosa, J., Meseguer, P.: Phase transition in MAX-CSP. In: Wahlster, W. (ed.) Proc. of the 12th ECAI, pp. 190–194. Wiley, Chichester (1996)

    Google Scholar 

  37. Walsh, T.: Search in a small world. In: Proc. of 16th IJCAI, Int. Joint Conf. on Artificial Intelligence (1999)

    Google Scholar 

  38. Walsh, T.: Search on high degree graphs. In: Proc. of 17th IJCAI, Int. Joint Conf. on Artificial Intelligence (2001)

    Google Scholar 

  39. Xia, L., Zuckerman, M., Procaccia, A., Conitzer, V., Rosenschein, J.: Complexity of unweighted coalitional manipulation under some common voting rules. In: Proc. of 21st IJCAI, Int. Joint Conf. on Artificial Intelligence, pp. 348–353 (2009)

    Google Scholar 

  40. Walsh, T.: Uncertainty in preference elicitation and aggregation. In: Proc. of the 22nd National Conf. on AI. AAAI, Menlo Park (2007)

    Google Scholar 

  41. Walsh, T.: Complexity of terminating preference elicitation. In: 7th Int. Joint Conf. on Autonomous Agents and Multiagent Systems, IFAAMAS (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NICTA and University of NSW, Sydney, Australia

    Toby Walsh

Authors
  1. Toby Walsh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  2. Departamento de Informática, Universidade Nova de Lisboa, Faculdade de Ciências de Tecnologia, 2829-516, Caparica, Portugal

    João Leite

  3. NICTA,, P.O. Box 6030, 4067, St Lucia, QLD, Australia

    Guido Governatori

  4. University of Luxembourg, Campus Kirchberg, 6, rue, Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Wojtek Jamroga

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Walsh, T. (2010). Is Computational Complexity a Barrier to Manipulation?. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2010. Lecture Notes in Computer Science(), vol 6245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14977-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14977-1_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14976-4

  • Online ISBN: 978-3-642-14977-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics