• DocumentCode
    2822171
  • Title

    Computing from partial solutions

  • Author

    Gál, Anna ; Halevi, Shai ; Lipton, Richard J. ; Petrank, Erez

  • Author_Institution
    Texas Univ., Austin, TX, USA
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    34
  • Lastpage
    45
  • Abstract
    We consider the question: Is finding just a part of a solution easier than finding the full solution? For example, is finding only an ε fraction of the bits in a satisfying assignment to a 3-CNF formula easier than computing the whole assignment? For several important problems in NP we show that obtaining only a small fraction of the solution is as hard as finding the full solution. This can be interpreted in two ways: On the positive side, it is enough to look for an efficient algorithm that only recovers a small part of the solution, in order to completely solve any of these problems. On the negative side, any partial solution to these problems may be hard to find Some of our results can also be interpreted as robust proofs of membership
  • Keywords
    computational complexity; 3-CNF formula; NP; partial solution; partial solutions; robust proofs of membership; Contracts; Fault tolerance; Lattices; Postal services; Resilience; Stress; Wrapping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Complexity, 1999. Proceedings. Fourteenth Annual IEEE Conference on
  • Conference_Location
    Atlanta, GA
  • ISSN
    1093-0159
  • Print_ISBN
    0-7695-0075-7
  • Type

    conf

  • DOI
    10.1109/CCC.1999.766260
  • Filename
    766260