The Nonapproximability of Non-Boolean Predicates
β Scribed by Engebretsen, Lars
- Book ID
- 118199523
- Publisher
- Society for Industrial and Applied Mathematics
- Year
- 2004
- Tongue
- English
- Weight
- 217 KB
- Volume
- 18
- Category
- Article
- ISSN
- 0895-4801
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We show simple constant-round interactive proof systems for problems capturing the approximability, to within a factor ofn, of optimization problems in integer lattices, specifically, the closest vector problem (CVP) and the shortest vector problem (SVP). These interactive proofs are for the coNP di
Cancellations are known to be helpful in e cient algebraic computation of polynomials over ΓΏelds. We deΓΏne a notion of cancellation in Boolean circuits and deΓΏne Boolean circuits that do not use cancellation to be non-cancellative. Non-cancellative Boolean circuits are a natural generalization of mo