We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computational Complexity

New submissions

[ total of 3 entries: 1-3 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 7 Aug 20

[1]  arXiv:2008.02769 [pdf, other]
Title: Fine-Grained Complexity of Regular Expression Pattern Matching and Membership
Authors: Philipp Schepper
Comments: Full version of the paper accepted at ESA 2020
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

The currently fastest algorithm for regular expression pattern matching and membership improves the classical O(nm) time algorithm by a factor of about log^{3/2}n. Instead of focussing on general patterns we analyse homogeneous patterns of bounded depth in this work. For them a classification splitting the types in easy (strongly sub-quadratic) and hard (essentially quadratic time under SETH) is known. We take a very fine-grained look at the hard pattern types from this classification and show a dichotomy: few types allow super-poly-logarithmic improvements while the algorithms for the other pattern types can only be improved by a constant number of log-factors, assuming the Formula-SAT Hypothesis.

Cross-lists for Fri, 7 Aug 20

[2]  arXiv:2008.02753 (cross-list from cs.GT) [pdf, other]
Title: Competitive Allocation of a Mixed Manna
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Multiagent Systems (cs.MA)

We study the fair division problem of allocating a mixed manna under additively separable piecewise linear concave (SPLC) utilities. A mixed manna contains goods that everyone likes and bads that everyone dislikes, as well as items that some like and others dislike. The seminal work of Bogomolnaia et al. [Econometrica'17] argue why allocating a mixed manna is genuinely more complicated than a good or a bad manna, and why competitive equilibrium is the best mechanism. They also provide the existence of equilibrium and establish its peculiar properties (e.g., non-convex and disconnected set of equilibria even under linear utilities), but leave the problem of computing an equilibrium open. This problem remained unresolved even for only bad manna under linear utilities.
Our main result is a simplex-like algorithm based on Lemke's scheme for computing a competitive allocation of a mixed manna under SPLC utilities, a strict generalization of linear. Experimental results on randomly generated instances suggest that our algorithm will be fast in practice. The problem is known to be PPAD-hard for the case of good manna, and we also show a similar result for the case of bad manna. Given these PPAD-hardness results, designing such an algorithm is the only non-brute-force (non-enumerative) option known, e.g., the classic Lemke-Howson algorithm (1964) for computing a Nash equilibrium in a 2-player game is still one of the most widely used algorithms in practice.
Our algorithm also yields several new structural properties as simple corollaries. We obtain a (constructive) proof of existence for a far more general setting, membership of the problem in PPAD, rational-valued solution, and odd number of solutions property. The last property also settles the conjecture of Bogomolnaia et al. in the affirmative.

Replacements for Fri, 7 Aug 20

[3]  arXiv:1911.01973 (replaced) [pdf, other]
Title: On the Quantum Complexity of Closest Pair and Related Problems
Comments: 46 pages, 3 figures, presentation improved
Journal-ref: Proceedings of the 35th Computational Complexity Conference (CCC), pages 16:1--16:43, 2020
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[ total of 3 entries: 1-3 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2008, contact, help  (Access key information)