{"title":"多项式性质检验","authors":"Lior Gishboliner , Asaf Shapira","doi":"10.1016/j.cosrev.2025.100806","DOIUrl":null,"url":null,"abstract":"<div><div>Property testers are fast, randomized “election polling”-type algorithms that determine if an input (e.g., graph or hypergraph) has a certain property or is <span><math><mi>ɛ</mi></math></span>-far from the property. It is known that many properties can be tested with query complexity that depends only on the error parameter <span><math><mi>ɛ</mi></math></span> (and not on the size of the input), but the current bounds on the query complexity grow extremely quickly as a function of <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mi>ɛ</mi></mrow></mfrac></math></span>. Which properties can be tested <em>efficiently</em>, i.e., with <span><math><mrow><mtext>poly</mtext><mrow><mo>(</mo><mn>1</mn><mo>/</mo><mi>ɛ</mi><mo>)</mo></mrow></mrow></math></span> queries? This survey presents the state of knowledge on this general question, focusing on the dense graph model of property testing. Several key open problems are presented.</div></div>","PeriodicalId":48633,"journal":{"name":"Computer Science Review","volume":"58 ","pages":"Article 100806"},"PeriodicalIF":12.7000,"publicationDate":"2025-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Polynomial property testing\",\"authors\":\"Lior Gishboliner , Asaf Shapira\",\"doi\":\"10.1016/j.cosrev.2025.100806\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Property testers are fast, randomized “election polling”-type algorithms that determine if an input (e.g., graph or hypergraph) has a certain property or is <span><math><mi>ɛ</mi></math></span>-far from the property. It is known that many properties can be tested with query complexity that depends only on the error parameter <span><math><mi>ɛ</mi></math></span> (and not on the size of the input), but the current bounds on the query complexity grow extremely quickly as a function of <span><math><mfrac><mrow><mn>1</mn></mrow><mrow><mi>ɛ</mi></mrow></mfrac></math></span>. Which properties can be tested <em>efficiently</em>, i.e., with <span><math><mrow><mtext>poly</mtext><mrow><mo>(</mo><mn>1</mn><mo>/</mo><mi>ɛ</mi><mo>)</mo></mrow></mrow></math></span> queries? This survey presents the state of knowledge on this general question, focusing on the dense graph model of property testing. Several key open problems are presented.</div></div>\",\"PeriodicalId\":48633,\"journal\":{\"name\":\"Computer Science Review\",\"volume\":\"58 \",\"pages\":\"Article 100806\"},\"PeriodicalIF\":12.7000,\"publicationDate\":\"2025-08-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer Science Review\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1574013725000826\",\"RegionNum\":1,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Science Review","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1574013725000826","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
Property testers are fast, randomized “election polling”-type algorithms that determine if an input (e.g., graph or hypergraph) has a certain property or is -far from the property. It is known that many properties can be tested with query complexity that depends only on the error parameter (and not on the size of the input), but the current bounds on the query complexity grow extremely quickly as a function of . Which properties can be tested efficiently, i.e., with queries? This survey presents the state of knowledge on this general question, focusing on the dense graph model of property testing. Several key open problems are presented.
期刊介绍:
Computer Science Review, a publication dedicated to research surveys and expository overviews of open problems in computer science, targets a broad audience within the field seeking comprehensive insights into the latest developments. The journal welcomes articles from various fields as long as their content impacts the advancement of computer science. In particular, articles that review the application of well-known Computer Science methods to other areas are in scope only if these articles advance the fundamental understanding of those methods.