Abstract
Given a binary dominance relation on a set of alternatives, a common thread in the social sciences is to identify subsets of alternatives that satisfy certain notions of stability. Examples can be found in areas as diverse as voting theory, game theory, and argumentation theory. Brandt and Fischer [1] proved that it is NP-hard to decide whether an alternative is contained in some inclusion-minimal unidirectional (i.e., either upward or downward) covering set. For both problems, we raise this lower bound to the \(\Theta_2^p\) level of the polynomial hierarchy and provide a \(\Sigma_2^p\) upper bound. Relatedly, we show that a variety of other natural problems regarding minimal or minimum-size unidirectional covering sets are hard or complete for either of NP, coNP, and \(\Theta_2^p\). An important consequence of our results is that neither minimal upward nor minimal downward covering sets (even when guaranteed to exist) can be computed in polynomial time unless P=NP. This sharply contrasts with Brandt and Fischer’s result that minimal bidirectional covering sets are polynomial-time computable.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brandt, F., Fischer, F.: Computing the minimal covering set. Mathematical Social Sciences 56(2), 254–268 (2008)
Laslier, J.: Tournament Solutions and Majority Voting. Springer, Heidelberg (1997)
McGarvey, D.: A theorem on the construction of voting paradoxes. Econometrica 21(4), 608–610 (1953)
Fishburn, P.: Condorcet social choice functions. SIAM Journal on Applied Mathematics 33(3), 469–489 (1977)
Miller, N.: A new solution set for tournaments and majority voting: Further graph-theoretical approaches to the theory of voting. American Journal of Political Science 24(1), 68–96 (1980)
Dutta, B.: Covering sets and a new Condorcet choice correspondence. Journal of Economic Theory 44, 63–80 (1988)
Chevaleyre, Y., Endriss, U., Lang, J., Maudet, N.: A short introduction to computational social choice. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 51–69. Springer, Heidelberg (2007)
Woeginger, G.: Banks winners in tournaments are difficult to recognize. Social Choice and Welfare 20, 523–528 (2003)
Alon, N.: Ranking tournaments. SIAM Journal on Discrete Mathematics 20(1), 137–142 (2006)
Conitzer, V.: Computing Slater rankings using similarities among candidates. In: Proceedings of the 21st National Conference on Artificial Intelligence, pp. 613–619. AAAI Press, Menlo Park (2006)
Brandt, F., Fischer, F., Harrenstein, P.: The computational complexity of choice sets. Mathematical Logic Quarterly 55(4), 444–459 (2009)
Brandt, F., Fischer, F., Harrenstein, P., Mair, M.: A computational analysis of the tournament equilibrium set. Social Choice and Welfare (Forthcoming)
Wagner, K.: More complicated questions about maxima and minima, and some closures of NP. Theoretical Computer Science 51, 53–80 (1987)
Bordes, G.: On the possibility of reasonable consistent majoritarian choice: Some positive results. Journal of Economic Theory 31, 122–132 (1983)
Papadimitriou, C.: Computational Complexity. Addison-Wesley, Reading (1994)
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New York (1979)
Papadimitriou, C., Zachos, S.: Two remarks on the power of counting. In: Cremers, A.B., Kriegel, H.-P. (eds.) GI-TCS 1983. LNCS, vol. 145, pp. 269–276. Springer, Heidelberg (1982)
Faliszewski, P., Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: A richer understanding of the complexity of election systems. In: Ravi, S., Shukla, S. (eds.) Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz, pp. 375–406. Springer, Heidelberg (2009)
Baumeister, D., Brandt, F., Fischer, F., Hoffmann, J., Rothe, J.: The complexity of computing minimal unidirectional covering sets. Technical Report arXiv:0901.3692v3 [cs.CC], ACM Computing Research Repository, CoRR (2009)
Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Raising NP lower bounds to parallel NP lower bounds. SIGACT News 28(2), 2–13 (1997)
Hemaspaandra, E., Hemaspaandra, L., Rothe, J.: Exact analysis of Dodgson elections: Lewis Carroll’s 1876 voting system is complete for parallel access to NP. Journal of the ACM 44(6), 806–825 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baumeister, D., Brandt, F., Fischer, F., Hoffmann, J., Rothe, J. (2010). The Complexity of Computing Minimal Unidirectional Covering Sets. In: Calamoneri, T., Diaz, J. (eds) Algorithms and Complexity. CIAC 2010. Lecture Notes in Computer Science, vol 6078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13073-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-13073-1_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13072-4
Online ISBN: 978-3-642-13073-1
eBook Packages: Computer ScienceComputer Science (R0)