Computational Complexity

New submissions

• New submissions
• Cross-lists
• Replacements

New submissions for Fri, 26 May 23

[1]  arXiv:2305.15917 [pdf, ps, other]

Title: A Fast Algorithm for Consistency Checking Partially Ordered Time

Authors: Leif Eriksson, Victor Lagerkvist

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

Partially ordered models of time occur naturally in applications where agents or processes cannot perfectly communicate with each other, and can be traced back to the seminal work of Lamport. In this paper we consider the problem of deciding if a (likely incomplete) description of a system of events is consistent, the network consistency problem for the point algebra of partially ordered time (POT). While the classical complexity of this problem has been fully settled, comparably little is known of the fine-grained complexity of POT except that it can be solved in $O^*((0.368n)^n)$ time by enumerating ordered partitions. We construct a much faster algorithm with a run-time bounded by $O^*((0.26n)^n)$. This is achieved by a sophisticated enumeration of structures similar to total orders, which are then greedily expanded toward a solution. While similar ideas have been explored earlier for related problems it turns out that the analysis for POT is non-trivial and requires significant new ideas.

[2]  arXiv:2305.15950 [pdf, ps, other]

Title: Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning

Authors: Leif Eriksson, Victor Lagerkvist

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

Allen's interval algebra is one of the most well-known calculi in qualitative temporal reasoning with numerous applications in artificial intelligence. Recently, there has been a surge of improvements in the fine-grained complexity of NP-hard reasoning tasks, improving the running time from the naive $2^{O(n^2)}$ to $O^*((1.0615n)^{n})$, with even faster algorithms for unit intervals a bounded number of overlapping intervals (the $O^*(\cdot)$ notation suppresses polynomial factors). Despite these improvements the best known lower bound is still only $2^{o(n)}$ (under the exponential-time hypothesis) and major improvements in either direction seemingly require fundamental advances in computational complexity. In this paper we propose a novel framework for solving NP-hard qualitative reasoning problems which we refer to as dynamic programming with sublinear partitioning. Using this technique we obtain a major improvement of $O^*((\frac{cn}{\log{n}})^{n})$ for Allen's interval algebra. To demonstrate that the technique is applicable to more domains we apply it to a problem in qualitative spatial reasoning, the cardinal direction point algebra, and solve it in $O^*((\frac{cn}{\log{n}})^{2n/3})$ time. Hence, not only do we significantly advance the state-of-the-art for NP-hard qualitative reasoning problems, but obtain a novel algorithmic technique that is likely applicable to many problems where $2^{O(n)}$ time algorithms are unlikely.

Cross-lists for Fri, 26 May 23

[3]  arXiv:2305.15804 (cross-list from cs.DS) [pdf, ps, other]

Title: Smoothed Complexity of SWAP in Local Graph Partitioning

Authors: Xi Chen, Chenghao Guo, Emmanouil-Vasileios Vlatakis-Gkaragkounis, Mihalis Yannakakis

Comments: 46 pages, 7 figures

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

We give the first quasipolynomial upper bound $\phi n^{\text{polylog}(n)}$ for the smoothed complexity of the SWAP algorithm for local Graph Partitioning (also known as Bisection Width), where $n$ is the number of nodes in the graph and $\phi$ is a parameter that measures the magnitude of perturbations applied on its edge weights. More generally, we show that the same quasipolynomial upper bound holds for the smoothed complexity of the 2-FLIP algorithm for any binary Maximum Constraint Satisfaction Problem, including local Max-Cut, for which similar bounds were only known for $1$-FLIP. Our results are based on an analysis of cycles formed in long sequences of double flips, showing that it is unlikely for every move in a long sequence to incur a positive but small improvement in the cut weight.

[4]  arXiv:2305.15861 (cross-list from math.CO) [pdf, ps, other]

Title: On the Weisfeiler-Leman dimension of permutation graphs

Authors: Jin Guo, Alexander L. Gavrilyuk, Ilia Ponomarenko

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

It is proved that the Weisfeiler-Leman dimension of the class of permutation graphs is at most 18. Previously it was only known that this dimension is finite (Gru{\ss}ien, 2017).

Replacements for Fri, 26 May 23

[5]  arXiv:1711.09428 (replaced) [pdf, ps, other]

Title: Sparse juntas on the biased hypercube

Authors: Irit Dinur, Yuval Filmus, Prahladh Harsha

Comments: 33 pages

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)

[6]  arXiv:2207.07557 (replaced) [pdf, other]

Title: The Computational Complexity of Multi-player Concave Games and Kakutani Fixed Points

Authors: Christos H. Papadimitriou, Emmanouil-Vasileios Vlatakis-Gkaragkounis, Manolis Zampetakis

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); General Topology (math.GN); Optimization and Control (math.OC)

[7]  arXiv:2210.02671 (replaced) [pdf, other]

Title: A Logic for Expressing Log-Precision Transformers

Authors: William Merrill, Ashish Sabharwal

Comments: May 24, 2023: Restructured version of old preprint

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC)

• New submissions
• Cross-lists
• Replacements