Two Choices Are Enough for P-LCPs, USOs, and Colorful Tangents

Authors Michaela Borzechowski, John Fearnley , Spencer Gordon, Rahul Savani , Patrick Schnider , Simon Weber



PDF
Thumbnail PDF

File

LIPIcs.ICALP.2024.32.pdf
  • Filesize: 0.86 MB
  • 18 pages

Document Identifiers

Author Details

Michaela Borzechowski
  • Department of Mathematics and Computer Science, Freie Universität Berlin, Germany
John Fearnley
  • Department of Computer Science, University of Liverpool, UK
Spencer Gordon
  • Department of Computer Science, University of Liverpool, UK
Rahul Savani
  • The Alan Turing Institute, London, UK
  • and Department of Computer Science, University of Liverpool, UK
Patrick Schnider
  • Department of Computer Science, ETH Zürich, Switzerland
Simon Weber
  • Department of Computer Science, ETH Zürich, Switzerland

Acknowledgements

We wish to thank Bernd Gärtner for introducing the authors to each other.

Cite AsGet BibTex

Michaela Borzechowski, John Fearnley, Spencer Gordon, Rahul Savani, Patrick Schnider, and Simon Weber. Two Choices Are Enough for P-LCPs, USOs, and Colorful Tangents. In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 297, pp. 32:1-32:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ICALP.2024.32

Abstract

We provide polynomial-time reductions between three search problems from three distinct areas: the P-matrix linear complementarity problem (P-LCP), finding the sink of a unique sink orientation (USO), and a variant of the α-Ham Sandwich problem. For all three settings, we show that "two choices are enough", meaning that the general non-binary version of the problem can be reduced in polynomial time to the binary version. This specifically means that generalized P-LCPs are equivalent to P-LCPs, and grid USOs are equivalent to cube USOs. These results are obtained by showing that both the P-LCP and our α-Ham Sandwich variant are equivalent to a new problem we introduce, P-Lin-Bellman. This problem can be seen as a new tool for formulating problems as P-LCPs.

Subject Classification

ACM Subject Classification
  • Theory of computation → Problems, reductions and completeness
  • Theory of computation → Continuous optimization
  • Mathematics of computing → Combinatoric problems
  • Theory of computation → Computational geometry
Keywords
  • P-LCP
  • Unique Sink Orientation
  • α-Ham Sandwich
  • search complexity
  • TFNP
  • UEOPL

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Michaela Borzechowski. The complexity class unique end of potential line. Master’s thesis, Freie Universität Berlin, 2021. Google Scholar
  2. Michaela Borzechowski and Wolfgang Mulzer. Unique sink orientations of grids is in unique end of potential line, 2022. URL: https://doi.org/10.48550/arXiv.2209.02101.
  3. Man-Kwun Chiu, Aruni Choudhary, and Wolfgang Mulzer. Computational Complexity of the α-Ham-Sandwich Problem. In Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), volume 168 of Leibniz International Proceedings in Informatics (LIPIcs), pages 31:1-31:18, Dagstuhl, Germany, 2020. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.ICALP.2020.31.
  4. Richard W. Cottle and George B. Dantzig. A generalization of the linear complementarity problem. Journal of Combinatorial Theory, 8(1):79-90, 1970. Google Scholar
  5. Richard W. Cottle, Jong-Shi Pang, and Richard E. Stone. The Linear Complementarity Problem. Society for Industrial and Applied Mathematics (SIAM), 2009. Google Scholar
  6. Aniekan A. Ebiefung. Existence theory and Q-matrix characterization for the generalized linear complementarity problem. Linear Algebra and its Applications, 223-224:155-169, 1995. Honoring Miroslav Fiedler and Vlastimil Ptak. URL: https://doi.org/10.1016/0024-3795(95)00091-5.
  7. Aniekan A. Ebiefung. Existence theory and Q-matrix characterization for the generalized linear complementarity problem: Revisited. Journal of Mathematical Analysis and Applications, 329(2):1421-1429, 2007. URL: https://doi.org/10.1016/j.jmaa.2006.07.036.
  8. Herbert Edelsbrunner. Algorithms in combinatorial geometry. In A. Salomaa W. Brauer, G. Rozenberg, editor, EATCS Monographs on Theoretical Computer Science, volume 10. Springer Berlin Heidelberg, 1987. URL: https://doi.org/10.1007/978-3-642-61568-9.
  9. John Fearnley, Spencer Gordon, Ruta Mehta, and Rahul Savani. Unique end of potential line. Journal of Computer and System Sciences, 114:1-35, 2020. URL: https://doi.org/10.1016/j.jcss.2020.05.007.
  10. Bernd Gärtner, Walter D. Morris jr., and Leo Rüst. Unique sink orientations of grids. Algorithmica, 51(2):200-235, 2008. URL: https://doi.org/10.1007/s00453-007-9090-x.
  11. Bernd Gärtner and Leo Rüst. Simple stochastic games and P-matrix generalized linear complementarity problems. In Maciej Liśkiewicz and Rüdiger Reischuk, editors, Fundamentals of Computation Theory, pages 209-220. Springer Berlin Heidelberg, 2005. URL: https://doi.org/10.1007/11537311_19.
  12. Bernd Gärtner and Ingo Schurr. Linear programming and unique sink orientations. In Proc. 17th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 749-757, 2006. URL: https://doi.org/10.5555/1109557.1109639.
  13. Bernd Gärtner and Antonis Thomas. The complexity of recognizing unique sink orientations. In Ernst W. Mayr and Nicolas Ollinger, editors, 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), volume 30 of Leibniz International Proceedings in Informatics (LIPIcs), pages 341-353, Dagstuhl, Germany, 2015. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.STACS.2015.341.
  14. Mika Göös, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, and Ran Tao. Separations in proof complexity and tfnp. In 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), pages 1150-1161, 2022. URL: https://doi.org/10.1109/FOCS54457.2022.00111.
  15. George J. Habetler and Bohdan P. Szanc. Existence and uniqueness of solutions for the generalized linear complementarity problem. Journal of Optimization Theory and Applications, 84(1):103-116, January 1995. URL: https://doi.org/10.1007/BF02191738.
  16. Thomas Dueholm Hansen and Rasmus Ibsen-Jensen. The complexity of interior point methods for solving discounted turn-based stochastic games. In Proc. of CiE, volume 7921, pages 252-262. Springer, 2013. Google Scholar
  17. Marcin Jurdzinski and Rahul Savani. A simple P-matrix linear complementarity problem for discounted games. In Proc. of Conference on Computability in Europe (CiE), pages 283-293, 2008. URL: https://doi.org/10.1007/978-3-540-69407-6_32.
  18. Nimrod Megiddo. A note on the complexity of P-matrix LCP and computing an equilibrium. Technical report, IBM Research, 1988. Google Scholar
  19. Katta G. Murty. On the number of solutions to the complementarity problem and spanning properties of complementary cones. Linear Algebra and its Applications, 5(1):65-108, 1972. URL: https://doi.org/10.1016/0024-3795(72)90019-5.
  20. Katta G. Murty and Feng-Tien Yu. Linear complementarity, linear and nonlinear programming. Heldermann, 1988. Google Scholar
  21. William Steiger and Jihui Zhao. Generalized ham-sandwich cuts. Discrete & Computational Geometry, 44(3):535-545, 2010. URL: https://doi.org/10.1007/s00454-009-9225-8.
  22. Alan Stickney and Layne Watson. Digraph models of Bard-type algorithms for the linear complementarity problem. Mathematics of Operations Research, 3(4):322-333, 1978. URL: https://www.jstor.org/stable/3689630.
  23. Ola Svensson and Sergei G. Vorobyov. Linear complementarity and P-matrices for stochastic games. In Irina B. Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, volume 4378, pages 409-423, 2006. Google Scholar
  24. Tibor Szabó and Emo Welzl. Unique sink orientations of cubes. In Proceedings of the 42nd IEEE Symposium on Foundations of Computer Science, pages 547-555, 2001. URL: https://doi.org/10.1109/SFCS.2001.959931.