Computational Complexity
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Thu, 25 Apr 24
- [1] arXiv:2404.15613 [pdf, ps, other]
-
Title: A nearly-$4\log n$ depth lower bound for formulas with restriction on topAuthors: Hao WuSubjects: Computational Complexity (cs.CC)
One of the major open problems in complexity theory is to demonstrate an explicit function which requires super logarithmic depth, a.k.a, the $\mathbf{P}$ versus $\mathbf{NC^1}$ problem. The current best depth lower bound is $(3-o(1))\cdot \log n$, and it is widely open how to prove a super-$3\log n$ depth lower bound. Recently Mihajlin and Sofronova (CCC'22) show if considering formulas with restriction on top, we can break the $3\log n$ barrier. Formally, they prove there exist two functions $f:\{0,1\}^n \rightarrow \{0,1\},g:\{0,1\}^n \rightarrow \{0,1\}^n$, such that for any constant $0<\alpha<0.4$ and constant $0<\epsilon<\alpha/2$, their XOR composition $f(g(x)\oplus y)$ is not computable by an AND of $2^{(\alpha-\epsilon)n}$ formulas of size at most $2^{(1-\alpha/2-\epsilon)n}$. This implies a modified version of Andreev function is not computable by any circuit of depth $(3.2-\epsilon)\log n$ with the restriction that top $0.4-\epsilon$ layers only consist of AND gates for any small constant $\epsilon>0$. They ask whether the parameter $\alpha$ can be push up to nearly $1$ thus implying a nearly-$3.5\log n$ depth lower bound.
In this paper, we provide a stronger answer to their question. We show there exist two functions $f:\{0,1\}^n \rightarrow \{0,1\},g:\{0,1\}^n \rightarrow \{0,1\}^n$, such that for any constant $0<\alpha<2-o(1)$, their XOR composition $f(g(x)\oplus y)$ is not computable by an AND of $2^{\alpha n}$ formulas of size at most $2^{(1-\alpha/2-o(1))n}$. This implies a $(4-o(1))\log n$ depth lower bound with the restriction that top $2-o(1)$ layers only consist of AND gates. We prove it by observing that one crucial component in Mihajlin and Sofronova's work, called the well-mixed set of functions, can be significantly simplified thus improved. Then with this observation and a more careful analysis, we obtain these nearly tight results.
Cross-lists for Thu, 25 Apr 24
- [2] arXiv:2404.15467 (cross-list from cs.DC) [pdf, other]
-
Title: A Review on Message Complexity of the Algorithms for Clock Synchronization in Distributed SystemsComments: 9 pages, 1 figure, 1 tableSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC)
In this work, we present an extensive analysis of clock synchronization algorithms, with a specific focus on message complexity. We begin by introducing fundamental concepts in clock synchronization, such as the Byzantine generals problem and specific concepts like clock accuracy, precision, skew, offset, timestamping, and clock drift estimation. Describing the concept of logical clocks, their implementation in distributed systems is discussed, highlighting their significance and various approaches. The paper then examines four prominent clock synchronization algorithms: Lamport's Algorithm, Ricart-Agrawala Algorithm, Vector Clocks Algorithm, and Christian's Algorithm. Special attention is given to the analysis of message complexity, providing insights into the efficiency of each algorithm. Finally, we compare the message complexities of the discussed algorithms.
- [3] arXiv:2404.15986 (cross-list from cs.DS) [pdf, other]
-
Title: Seed Selection in the Heterogeneous Moran ProcessComments: Accepted for publication in IJCAI 2024Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Social and Information Networks (cs.SI); Populations and Evolution (q-bio.PE)
The Moran process is a classic stochastic process that models the rise and takeover of novel traits in network-structured populations. In biological terms, a set of mutants, each with fitness $m\in(0,\infty)$ invade a population of residents with fitness $1$. Each agent reproduces at a rate proportional to its fitness and each offspring replaces a random network neighbor. The process ends when the mutants either fixate (take over the whole population) or go extinct. The fixation probability measures the success of the invasion. To account for environmental heterogeneity, we study a generalization of the Standard process, called the Heterogeneous Moran process. Here, the fitness of each agent is determined both by its type (resident/mutant) and the node it occupies. We study the natural optimization problem of seed selection: given a budget $k$, which $k$ agents should initiate the mutant invasion to maximize the fixation probability? We show that the problem is strongly inapproximable: it is $\mathbf{NP}$-hard to distinguish between maximum fixation probability 0 and 1. We then focus on mutant-biased networks, where each node exhibits at least as large mutant fitness as resident fitness. We show that the problem remains $\mathbf{NP}$-hard, but the fixation probability becomes submodular, and thus the optimization problem admits a greedy $(1-1/e)$-approximation. An experimental evaluation of the greedy algorithm along with various heuristics on real-world data sets corroborates our results.
- [4] arXiv:2404.16024 (cross-list from math.DS) [pdf, other]
-
Title: On the Emergence of Ergodic Dynamics in Unique GamesSubjects: Dynamical Systems (math.DS); Computational Complexity (cs.CC); Numerical Analysis (math.NA)
The Unique Games Conjecture (UGC) constitutes a highly dynamic subarea within computational complexity theory, intricately linked to the outstanding P versus NP problem. Despite multiple insightful results in the past few years, a proof for the conjecture remains elusive. In this work, we construct a novel dynamical systems-based approach for studying unique games and, more generally, the field of computational complexity. We propose a family of dynamical systems whose equilibria correspond to solutions of unique games and prove that unsatisfiable instances lead to ergodic dynamics. Moreover, as the instance hardness increases, the weight of the invariant measure in the vicinity of the optimal assignments scales polynomially, sub-exponentially, or exponentially depending on the value gap. We numerically reproduce a previously hypothesized hardness plot associated with the UGC. Our results indicate that the UGC is likely true, subject to our proposed conjectures that link dynamical systems theory with computational complexity.
Replacements for Thu, 25 Apr 24
- [5] arXiv:2109.10333 (replaced) [pdf, other]
-
Title: Fine-grained Meta-Theorems for Vertex IntegrityComments: Presented in ISAAC 2021Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
- [6] arXiv:2203.06630 (replaced) [pdf, other]
-
Title: Maximum Cut on Interval Graphs of Interval Count Two is NP-completeSubjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
- [7] arXiv:2402.00133 (replaced) [pdf, ps, other]
-
Title: On the Constant-Depth Circuit Complexity of Generating QuasigroupsComments: Full version of paper to appear in ISSAC 2024Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Group Theory (math.GR)
- [8] arXiv:2305.01851 (replaced) [pdf, ps, other]
-
Title: Complexity and Enumeration in Models of Genome RearrangementAuthors: Lora Bailey, Heather Smith Blake, Garner Cochran, Nathan Fox, Michael Levet, Reem Mahmoud, Elizabeth Matson, Inne Singgih, Grace Stadnyk, Xinyi Wang, Alexander WiedemannComments: Full version of paper that appeared in COCOON 2023: this https URLSubjects: Genomics (q-bio.GN); Computational Complexity (cs.CC); Combinatorics (math.CO)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, recent, 2404, contact, help (Access key information)