Abstract
We classify two problems: Exact-Four-Colorability and the winner problem for Young elections. Regarding the former problem, Wagner raised the question of whether it is DP-complete to determine if the chromatic number of a given graph is exactly four. We prove a general result that in particular solves Wagner’s question in the affirmative.
In 1977, Young proposed a voting scheme that extends the Condorcet Principle based on the fewest possible number of voters whose removal yields a Condorcet winner. We prove that both the winner and the ranking problem for Young elections is complete for P NP║ , the class of problems solvable in polynomial time by parallel access to NP. Analogous results for Lewis Carroll’s 1876 voting scheme were recently established by Hemaspaandra et al. In contrast, we prove that the winner and ranking problems in Fishburn’s homogeneous variant of Carroll’s voting scheme can be solved efficiently by linear programming.
Supported in part by grant NSF-INT-9815095/DAAD-315-PPP-gü-ab.
Chapter PDF
Similar content being viewed by others
References
K. Arrow. Social Choice and Individual Values. John Wiley and Sons, 1951 (revised editon 1963 ).
J. Bartholdi III, C. Tovey, and M. Trick. Voting schemes for which it can be difficult to tell who won the election. Social Choice and Welfare, 6: 157–165, 1989.
D. Black. The Theory of Committees and Elections. Cambridge University Press, 1958.
J. Cai, T. Gundermann, J. Hartmanis, L. Hemachandra, V. Sewelson, K. Wagner, and G. Wechsung. The boolean hierarchy I: Structural properties. SIAM Journal on Computing, 17 (6): 1232–1252, 1988.
J. Cai and G. Meyer. Graph minimal uncolorability is De-complete. SIAM Journal on Computing, 16 (2): 259–277, April 1987.
G. Chapman. The Complete Monty Python’s Flying Circus: All the Words. Pantheon Books, 1989.
M. J. A. N. de Caritat, Marquis de Condorcet. Essai sur l’application de l’analyse à la probabilité des décisions rendues à la pluraliste des voix. 1785. Facsimile reprint of original published in Paris, 1972, by the Imprimerie Royale. English translation appears in I. McLean and A. Urken, Classics of Social Choice, University of Michigan Press, 1995, pages 91–112.
C. Dodgson. A method of taking votes on more than two issues. Pamphlet printed by the Clarendon Press, Oxford, and headed “not yet published” (see the discussions in [21, 3], both of which reprint this paper), 1876.
P. Fishburn. Condorcet social choice functions. SIAM Journal on Applied Mathematics, 33: 469–489, 1977.
M. Garey and D. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, New York, 1979.
V. Guruswami and S. Khanna. On the hardness of 4-coloring a 3-colorable graph. In Proceedings of the 15th Annual IEEE Conference on Computational Complexity, pages 188–197. IEEE Computer Society Press, May 2000.
L. Hacijan. A polynomial algorithm in linear programming. Soviet Math. Dokl., 20: 191–194, 1979.
F. Hausdorff. Grundzüge der Mengenlehre. Walter de Gruyten and Co., 1914.
E. Hemaspaandra and L. Hemaspaandra. Computational politics: Electoral systems. In Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, pages 64–83. Springer-Verlag Lecture Notes in Computer Science 1893, 2000.
E. Hemaspaandra, L. Hemaspaandra, and J. Rothe. 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.
E. Hemaspaandra, J. Rothe, and H. Spakowski. Recognizing when heuristics can approximate minimum vertex covers is complete for parallel access to NP. In Proceedings of the 28th International Workshop on Graph-Theoretical Concepts in Computer Science (WG 2002), June 2002. To appear.
L. Hemaspaandra and J. Rothe. Unambiguous computation: Boolean hierarchies and sparse Turing-complete sets. SIAM Journal on Computing, 26 (3): 634–653, 1997.
N. Karmarkar. A new polynomial-time algorithm for linear programming. Cornbinatorica, 4 (4): 373–395, 1984.
S. Khanna, N. Linial, and S. Safra. On the hardness of approximating the chromatic number. Combinatorica, 20 (3): 393–415, 2000.
J. Köbler, U. Schöning, and K. Wagner. The difference and truth-table hierarchies for NP. R.A.LR.O. Informatique théorique et Applications, 21: 419–435, 1987.
I. McLean and A. Urken. Classics of Social Choice. University of Michigan Press, Ann Arbor, Michigan, 1995.
C. Papadimitriou and M. Yannakakis. The complexity of facets (and some facets of complexity). Journal of Computer and System Sciences, 28 (2): 244–259, 1984.
J. Rothe. Exact complexity of Exact-Four-Colorability. Technical Report cs.CC/0109018, Computing Research Repository (CoRR), September 2001. 5 pages. Available on-line at http://xxx.lanl.gov/abs/cs.CC/0109018.
J. Rothe, H. Spakowski, and J. Vogel. Exact complexity of the winner problem for Young elections. Technical Report cs.CC/0112021, Computing Research Repository (CoRR), December 2001. 10 pages. Available on-line at http://xxx.lanl.gov/abs/cs.CC/0112021.
H. Spakowski and J. Vogel. 02-completeness: A classical approach for new results. In Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science, pages 348–360. Springer-Verlag Lecture Notes in Computer Science 1974, December 2000.
H. Spakowski and J. Vogel. The complexity of Kemeny’s voting system. In Proceedings of the 5th Argentinian Workshop on Theoretical Computer Science, pages 157–168, 2001.
K. Wagner. More complicated questions about maxima and minima, and some closures of NP. Theoretical Computer Science, 51: 53–80, 1987.
K. Wagner. Bounded query classes. SIAM Journal on Computing, 19 (5): 833–846, 1990.
H. Young. Extending Condorcet’s rule. Journal of Economic Theory, 16: 335–353, 1977.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Rothe, J., Spakowski, H., Vogel, J. (2002). Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections. In: Baeza-Yates, R., Montanari, U., Santoro, N. (eds) Foundations of Information Technology in the Era of Network and Mobile Computing. IFIP — The International Federation for Information Processing, vol 96. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35608-2_26
Download citation
DOI: https://doi.org/10.1007/978-0-387-35608-2_26
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5275-5
Online ISBN: 978-0-387-35608-2
eBook Packages: Springer Book Archive