多项式性质检验

IF 12.7 1区 计算机科学 Q1 COMPUTER SCIENCE, INFORMATION SYSTEMS
Lior Gishboliner , Asaf Shapira
{"title":"多项式性质检验","authors":"Lior Gishboliner ,&nbsp;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 ,&nbsp;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}
引用次数: 0

摘要

属性测试器是一种快速的、随机的“选举轮询”类型的算法,用于确定输入(例如,图或超图)是否具有某种属性,或者是否与该属性相距甚远。众所周知,可以用查询复杂度来测试许多属性,查询复杂度只依赖于错误参数(而不依赖于输入的大小),但是当前查询复杂度的界限作为1的函数增长得非常快。哪些属性可以有效地测试,即使用poly(1/ /)查询?本文介绍了对这一普遍问题的认识状况,重点介绍了性能测试的密集图模型。提出了几个关键的开放性问题。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Polynomial property testing
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 1ɛ. Which properties can be tested efficiently, i.e., with poly(1/ɛ) 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
Computer Science Review Computer Science-General Computer Science
CiteScore
32.70
自引率
0.00%
发文量
26
审稿时长
51 days
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信