메뉴 건너뛰기




Volumn 1, Issue 2, 2009, Pages

Hardness of solving sparse overdetermined linear systems: A 3-Query PCP over Integers

Author keywords

Hardness of approximation; Linearity testing; Probabilistically checkable proofs; Sparse linear equations

Indexed keywords

FINITE FIELDS; HARDNESS OF APPROXIMATION; INTEGER COEFFICIENT; INTEGER VALUES; LINEARITY TESTING; NP-HARD; OVERDETERMINED SYSTEMS; PROBABILISTICALLY CHECKABLE PROOF; REAL VALUES; SPARSE LINEAR EQUATIONS; SYSTEM OF LINEAR EQUATIONS;

EID: 77955640314     PISSN: 19423454     EISSN: 19423462     Source Type: Journal    
DOI: 10.1145/1595391.1595393     Document Type: Article
Times cited : (3)

References (13)
  • 1
    • 0004493166 scopus 로고    scopus 로고
    • On the approximability of minimizing nonzero variables or unsatisfied relations in linear systems
    • AMALDI, E. AND KANN, V. 1998. On the approximability of minimizing nonzero variables or unsatisfied relations in linear systems. Theor. Comput. Sci. 109, 237-260.
    • (1998) Theor. Comput. Sci. , vol.109 , pp. 237-260
    • Amaldi, E.1    Kann, V.2
  • 2
    • 0031119485 scopus 로고    scopus 로고
    • The hardness of approximate optima in lattices, codes, and systems of linear equations
    • ARORA, S., BABAI, L., STERN, J., AND SWEEDYK, Z. 1997. The hardness of approximate optima in lattices, codes, and systems of linear equations. J. Comput. Syst. Sci. 54, 2, 317-331.
    • (1997) J. Comput. Syst. Sci. , vol.54 , Issue.2 , pp. 317-331
    • Arora, S.1    Babai, L.2    Stern, J.3    Sweedyk, Z.4
  • 3
    • 0032058198 scopus 로고    scopus 로고
    • Proof verification and hardness of approximation problems
    • ARORA, S., LUND, C.,MOTWANI, R., SUDAN, M., AND SZEGEDY, M. 1998. Proof verification and hardness of approximation problems. J. ACM 45, 3, 501-555.
    • (1998) J. ACM , vol.45 , Issue.3 , pp. 501-555
    • Arora, S.1    Lund, C.2    Motwani, R.3    Sudan, M.4    Szegedy, M.5
  • 4
    • 0542423500 scopus 로고    scopus 로고
    • Free bits, PCP and nonapproximability -towards tight results
    • BELLARE, M., GOLDREICH, O., AND SUDAN, M. 1998. Free bits, PCP and nonapproximability -towards tight results. SIAM J. Comput. 27, 3, 804-915.
    • (1998) SIAM J. Comput. , vol.27 , Issue.3 , pp. 804-915
    • Bellare, M.1    Goldreich, O.2    Sudan, M.3
  • 6
    • 0000619172 scopus 로고
    • Self-testing/correcting with applications to numerical problems
    • BLUM, M., LUBY, M., AND RUBINFELD, R. 1993. Self-testing/correcting with applications to numerical problems. J. Comput. Syst. Sci. 47, 3, 549-595.
    • (1993) J. Comput. Syst. Sci. , vol.47 , Issue.3 , pp. 549-595
    • Blum, M.1    Luby, M.2    Rubinfeld, R.3
  • 7
    • 27844531166 scopus 로고    scopus 로고
    • On the hardness of approximating Max-Satisfy
    • FEIGE, U. AND REICHMAN, D. 2006. On the hardness of approximating Max-Satisfy. Inform. Process. Lett. 97, 1, 31-35.
    • (2006) Inform. Process. Lett. , vol.97 , Issue.1 , pp. 31-35
    • Feige, U.1    Reichman, D.2
  • 10
    • 0002010884 scopus 로고    scopus 로고
    • Approximations of weighted indpendent set and hereditary subset problems
    • HALLDORSSON, M. 2000. Approximations of weighted indpendent set and hereditary subset problems. J. Gaph Algor. Appl. 4, 1.
    • (2000) J. Gaph Algor. Appl. , vol.4 , pp. 1
    • Halldorsson, M.1
  • 11
    • 0000844603 scopus 로고    scopus 로고
    • Some optimal inapproximability results
    • HÅSTAD, J. 2001. Some optimal inapproximability results. J. ACM 48, 4, 798-859.
    • (2001) J. ACM , vol.48 , Issue.4 , pp. 798-859
    • Håstad, J.1
  • 12
    • 33749025436 scopus 로고    scopus 로고
    • Inapproximability results via long-code-based PCPs
    • KHOT, S. 2005. Inapproximability results via long-code-based PCPs. SIGACT News 36, 2.
    • (2005) SIGACT News , vol.36 , pp. 2
    • Khot, S.1
  • 13
    • 0001226672 scopus 로고    scopus 로고
    • A parallel repetition theorem
    • RAZ, R. 1998. A parallel repetition theorem. SIAM J. Comput. 27, 3, 763-803.
    • (1998) SIAM J. Comput. , vol.27 , Issue.3 , pp. 763-803
    • Raz, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.