{"title":"np完全问题有一个难以近似的版本","authors":"David Zuckerman","doi":"10.1109/SCT.1993.336517","DOIUrl":null,"url":null,"abstract":"It is proved that all of R.M. Karp's (1972) 21 original NP-complete problems have a version that is hard to approximate. These versions are obtained from the original problems by adding essentially the same, simple constraint. It is further shown that these problems are absurdly hard to approximate. In fact, one cannot even approximate log/sup (k)/ of the magnitude of these problems to within a constant factor, where log/sup (k)/ denotes the iterated logarithm, unless NP is recognized by slightly superpolynomial randomized machines. It is also shown that it is even harder to approximate two counting problems: counting the number of satisfying assignments to a monotone 2-SAT formula and computing the permanent of -1, 0, 1 matrices.<<ETX>>","PeriodicalId":331616,"journal":{"name":"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference","volume":"325 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"97","resultStr":"{\"title\":\"NP-complete problems have a version that's hard to approximate\",\"authors\":\"David Zuckerman\",\"doi\":\"10.1109/SCT.1993.336517\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is proved that all of R.M. Karp's (1972) 21 original NP-complete problems have a version that is hard to approximate. These versions are obtained from the original problems by adding essentially the same, simple constraint. It is further shown that these problems are absurdly hard to approximate. In fact, one cannot even approximate log/sup (k)/ of the magnitude of these problems to within a constant factor, where log/sup (k)/ denotes the iterated logarithm, unless NP is recognized by slightly superpolynomial randomized machines. It is also shown that it is even harder to approximate two counting problems: counting the number of satisfying assignments to a monotone 2-SAT formula and computing the permanent of -1, 0, 1 matrices.<<ETX>>\",\"PeriodicalId\":331616,\"journal\":{\"name\":\"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference\",\"volume\":\"325 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-05-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"97\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SCT.1993.336517\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCT.1993.336517","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
NP-complete problems have a version that's hard to approximate
It is proved that all of R.M. Karp's (1972) 21 original NP-complete problems have a version that is hard to approximate. These versions are obtained from the original problems by adding essentially the same, simple constraint. It is further shown that these problems are absurdly hard to approximate. In fact, one cannot even approximate log/sup (k)/ of the magnitude of these problems to within a constant factor, where log/sup (k)/ denotes the iterated logarithm, unless NP is recognized by slightly superpolynomial randomized machines. It is also shown that it is even harder to approximate two counting problems: counting the number of satisfying assignments to a monotone 2-SAT formula and computing the permanent of -1, 0, 1 matrices.<>