Computational Complexity
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Tue, 19 Mar 24
- [1] arXiv:2403.11941 [pdf, ps, other]
-
Title: Perfect Zero-Knowledge PCPs for #PSubjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)
We construct perfect zero-knowledge probabilistically checkable proofs (PZK-PCPs) for every language in #P. This is the first construction of a PZK-PCP for any language outside BPP. Furthermore, unlike previous constructions of (statistical) zero-knowledge PCPs, our construction simultaneously achieves non-adaptivity and zero knowledge against arbitrary (adaptive) polynomial-time malicious verifiers.
Our construction consists of a novel masked sumcheck PCP, which uses the combinatorial nullstellensatz to obtain antisymmetric structure within the hypercube and randomness outside of it. To prove zero knowledge, we introduce the notion of locally simulatable encodings: randomised encodings in which every local view of the encoding can be efficiently sampled given a local view of the message. We show that the code arising from the sumcheck protocol (the Reed-Muller code augmented with subcube sums) admits a locally simulatable encoding. This reduces the algebraic problem of simulating our masked sumcheck to a combinatorial property of antisymmetric functions.
Cross-lists for Tue, 19 Mar 24
- [2] arXiv:2403.11307 (cross-list from cs.NE) [pdf, ps, other]
-
Title: An upper bound of the mutation probability in the genetic algorithm for general 0-1 knapsack problemAuthors: Yang YangSubjects: Neural and Evolutionary Computing (cs.NE); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)
As an important part of genetic algorithms (GAs), mutation operators is widely used in evolutionary algorithms to solve $\mathcal{NP}$-hard problems because it can increase the population diversity of individual. Due to limitations in mathematical tools, the mutation probability of the mutation operator is primarily empirically set in practical applications.
In this paper, we propose a novel reduction method for the 0-1 knapsack problem(0-1 KP) and an improved mutation operator (IMO) based on the assumption $\mathcal{NP}\neq\mathcal{P}$, along with the utilization of linear relaxation techniques and a recent result by Dey et al. (Math. Prog., pp 569-587, 2022). We employ this method to calculate an upper bound of the mutation probability in general instances of the 0-1 KP, and construct an instance where the mutation probability does not tend towards 0 as the problem size increases. Finally, we prove that the probability of the IMO hitting the optimal solution within only a single iteration in large-scale instances is superior to that of the traditional mutation operator. - [3] arXiv:2403.11320 (cross-list from cs.DS) [pdf, ps, other]
-
Title: A constant time complexity algorithm for the unbounded knapsack problem with bounded coefficientsAuthors: Yang YangSubjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
Benchmark instances for the unbounded knapsack problem are typically generated according to specific criteria within a given constant range $R$, and these instances can be referred to as the unbounded knapsack problem with bounded coefficients (UKPB). In order to increase the difficulty of solving these instances, the knapsack capacity $C$ is usually set to a very large value. Therefore, an exact algorithm that neither time complexity nor space complexity includes the capacity coefficient $C$ is highly anticipated.
In this paper, we propose an exact algorithm with time complexity of $O(R^4)$ and space complexity of $O(R^3)$. The algorithm initially divides the multiset $N$ into two multisubsets, $N_1$ and $N_2$, based on the profit density of their types. For the multisubset $N_2$ composed of types with profit density lower than the maximum profit density type, we utilize a recent branch and bound (B\&B) result by Dey et al. (Math. Prog., pp 569-587, 2023) to determine the maximum selection number for types in $N_2$. We then employ the Unbounded-DP algorithm to exactly solve for the types in $N_2$. For the multisubset $N_1$ composed of the maximum profit density type and its counterparts with the same profit density, we transform it into a linear Diophantine equation and leverage relevant conclusions from the Frobenius problem to solve it efficiently. In particular, the proof techniques required by the algorithm are primarily covered in the first-year mathematics curriculum, which is convenient for subsequent researchers to grasp. - [4] arXiv:2403.11749 (cross-list from cs.CG) [pdf, other]
-
Title: Computing shortest closed curves on non-orientable surfacesComments: To appear at SoCG 2024Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Geometric Topology (math.GT)
We initiate the study of computing shortest non-separating simple closed curves with some given topological properties on non-orientable surfaces. While, for orientable surfaces, any two non-separating simple closed curves are related by a self-homeomorphism of the surface, and computing shortest such curves has been vastly studied, for non-orientable ones the classification of non-separating simple closed curves up to ambient homeomorphism is subtler, depending on whether the curve is one-sided or two-sided, and whether it is orienting or not (whether it cuts the surface into an orientable one).
We prove that computing a shortest orienting (weakly) simple closed curve on a non-orientable combinatorial surface is NP-hard but fixed-parameter tractable in the genus of the surface. In contrast, we can compute a shortest non-separating non-orienting (weakly) simple closed curve with given sidedness in $g^{O(1)}.n\log n$ time, where $g$ is the genus and $n$ the size of the surface.
For these algorithms, we develop tools that can be of independent interest, to compute a variation on canonical systems of loops for non-orientable surfaces based on the computation of an orienting curve, and some covering spaces that are essentially quotients of homology covers.
Replacements for Tue, 19 Mar 24
- [5] arXiv:2403.09134 (replaced) [pdf, ps, other]
-
Title: Local Enumeration and Majority Lower BoundsSubjects: Computational Complexity (cs.CC)
- [6] arXiv:2301.00995 (replaced) [pdf, ps, other]
-
Title: Unconditional Quantum Advantage for Sampling with Shallow CircuitsComments: 54 pages, 12 figures. The new version improves the result with proofs in the appendices, and includes a new proof overview in the introductionSubjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
- [7] arXiv:2310.14160 (replaced) [pdf, other]
-
Title: Gap Amplification for Reconfiguration ProblemsAuthors: Naoto OhsakaComments: 45 pages. A preliminary version of this paper appeared in Proc. 35th Annu. ACM-SIAM Symp. Discrete Algorithms (SODA 2024)Journal-ref: Proceedings of the 35th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1345--1366, 2024Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)
- [8] arXiv:2401.15456 (replaced) [pdf, ps, other]
-
Title: Product Mixing in Compact Lie GroupsComments: Further typos correctedSubjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Group Theory (math.GR); Probability (math.PR)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, recent, 2403, contact, help (Access key information)