Sparse Hard Sets for P: Resolution of a Conjecture of Hartmanis
@article{Cai1999SparseHS,
title={Sparse Hard Sets for P: Resolution of a Conjecture of Hartmanis},
author={Jin-Yi Cai and D. Sivakumar},
journal={J. Comput. Syst. Sci.},
year={1999},
volume={58},
pages={280-296}
}Building on a recent breakthrough by Ogihara, we resolve a conjecture made by Hartmanis in 1978 regarding the (non)existence of sparse sets complete for P under logspace many?one reductions. We show that if there exists a sparse hard set for P under logspace many?one reductions, then P=LOGSPACE. We further prove that if P has a sparse hard set under many?one reductions computable in NC1, then P collapses to NC1.
17 Citations
Sparse complete sets for coNP: Solution of the P versus NP problem
- Computer Science
- 2021
This paper proves there is a possible sparse language in coNP-complete and proves the complexity class P is equal to NP, which is a fundamental question in computer science.
Alternative Notions of Approximation and Space-Bounded Computations
- Mathematics, Computer Science
- 2003
It is proved that if one could eliminate even a single possibility for the value of an arithmetic circuit on a given input, then this would imply that the class P has fast (polygarithmic time) parallel solutions, which would constitute a proof that there are no inherently sequential problems in P, which is quite unlikely.
Holographic algorithm with matchgates is universal for planar #CSP over boolean domain
- Computer ScienceSTOC
- 2017
We prove a complexity classification theorem that classifies all counting constraint satisfaction problems (#CSP) over Boolean variables into exactly three classes: (1) Polynomial-time solvable; (2)…
Logics for complexity classes
- Computer ScienceLog. J. IGPL
- 2014
A new syntactic characterization of problems complete via Turing reductions through Turing reductions is presented, and a logic is developed to capture the complexity class NP \ coNP which very likely contains no complete problem.
Pure Pointer Programs and Tree Isomorphism
- Computer ScienceFoSSaCS
- 2013
It is shown that with counting, purple captures all of logspace on locally ordered graphs, and that without a local ordering, even with counting and nondeterminism, purple cannot solve tree isomorphism.
Structure vs. randomness for bilinear maps
- Mathematics, Computer ScienceSTOC
- 2021
It is proved that the slice rank of a 3-tensor, the analytic rank, and the geometric rank are all equivalent up to an absolute constant.
Complexity of Equations over Sets of Natural Numbers
- MathematicsTheory of Computing Systems
- 2009
The general membership problem for equations of the form Xi=φi (X1,…,Xn) (1≤i≤n) is proved to be EXPTIME-complete, and it is established that least solutions of all such systems are in EXPTime.
Dense Complete Set For NP
- Computer Science
- 2021
The complexity class of all dense languages on $m$ is called DENSE(m) and it is proved that there exists an $\textit{NP--complete}$ problem that belongs to $DENSE( m)$ for every possible value of $0 < m \leq 1$.
Complexity of solutions of equations over sets of natural numbers
- MathematicsSTACS
- 2008
The general membership problem for these equations is proved to be EXPTIME-complete and it is established that least solutions of all such systems are in EXPTime.
On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts
- MathematicsTheor. Comput. Sci.
- 2009
References
SHOWING 1-10 OF 44 REFERENCES
On the Existence of Hard Sparse Sets under Weak Reductions
- Computer ScienceSTACS
- 1996
It is shown that there is no sparse set that is hard for P under logspace many-one reductions, unless P=LOGSPACE, and the proof technique can be applied to resolve open questions about hard sparse sets for NP.
Sparse P-hard sets yield space-efficient algorithms
- Computer ScienceProceedings of IEEE 36th Annual Foundations of Computer Science
- 1995
It is shown that if P has sparse hard sets under logspace many-one reductions, then P/spl sube/DSPACE[log/sup 2/n].
Sparse Hard Sets for P Yield Space-Efficient Algorithms
- Computer Science, MathematicsChic. J. Theor. Comput. Sci.
- 1996
It is shown that if P has sparse hard sets under logspace many-one reductions, then P is a subset of DSPACE[log^2 n].
Sparse complete sets for NP: Solution of a conjecture of Berman and Hartmanis
- Mathematics, Computer Science21st Annual Symposium on Foundations of Computer Science (sfcs 1980)
- 1980
The main result is that if there is a sparse NP-complete set under many-one reductions, then P = NP, and it is shown that if the set is under Turing reduction, then the polynomial time hierarchy collapses to Δ2P.
A Note on Sparse Complete Sets
- Mathematics, Computer ScienceSIAM J. Comput.
- 1979
It is shown that the existence of an NP- complete set whose complement is sparse implies P = NP, and that if there is a polynomial time reduction with sparse range to a PTAPE-complete set, then P=PTAPE.
Reducing P to a Sparse Set using a Constant Number of Queries Collapses P to L
- Computer Science, MathematicsComputational Complexity Conference
- 1996
It is proved that there is no sparse hard set for P under logspace computable bounded truth-table reductions unless P=L, and parameterizing the sparseness condition, the space bound and the number of queries of the reduction is extended to two-sided error randomized reductions in the multiple access model.
How reductions to sparse sets collapse the polynomial-time hierarchy: a primer: Part II restricted polynomial-time reductions
- Computer Science, MathematicsSIGA
- 1992
It is proved that if SAT <1tt S for some sparse set S, then P = NP, a result which subsumed all earlier results on polynomial-time bounded-truth-table results on many-one reductions of SAT to sparse sets.
On polynomial time bounded truth-table reducibility of NP sets to sparse sets
- Computer Science, MathematicsSTOC '90
- 1990
It is proved that if P not=NP, then there exits a set in NP that is polynomial-time bounded truth-table reducible to no sparse set and intractability of several number theoretic decision problems is investigated.