{"title":"New bounds for the language compression problem","authors":"H. Buhrman, Sophie Laplante, Peter Bro Miltersen","doi":"10.1109/CCC.2000.856742","DOIUrl":null,"url":null,"abstract":"The CD complexity of a string x is the length of the shortest polynomial time program which accepts only the string x. The language compression problem consists of giving an upper bound on the CD(A/sup /spl les/n/) complexity of all strings x in some set A. The best known upper bound for this problem is 2log(/spl par/A/sup /spl les/n//spl par/)+O(log(n)), due to Buhrman and Fortnow. We show that the constant factor 2 in this bound is optimal. We also give new bounds for a certain kind of random sets R/spl sube/{0, 1}/sup n/, for which we show an upper bound of log (/spl par/R/sup /spl les/n//spl par/)+O(log(n)).","PeriodicalId":191679,"journal":{"name":"Proceedings 15th Annual IEEE Conference on Computational Complexity","volume":"68 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 15th Annual IEEE Conference on Computational Complexity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CCC.2000.856742","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 13
Abstract
The CD complexity of a string x is the length of the shortest polynomial time program which accepts only the string x. The language compression problem consists of giving an upper bound on the CD(A/sup /spl les/n/) complexity of all strings x in some set A. The best known upper bound for this problem is 2log(/spl par/A/sup /spl les/n//spl par/)+O(log(n)), due to Buhrman and Fortnow. We show that the constant factor 2 in this bound is optimal. We also give new bounds for a certain kind of random sets R/spl sube/{0, 1}/sup n/, for which we show an upper bound of log (/spl par/R/sup /spl les/n//spl par/)+O(log(n)).