文件Open Access徽标

格中成员的局部测试

作者 卡提基安·钱德拉塞卡兰(Karthekeyan Chandrasekaran), 马赫迪·切拉赫奇, 文卡塔·甘迪科塔, 埃琳娜·格里戈雷斯库



PDF格式
缩略图PDF

文件

LIPIcs公司。FSTTCS.2016.46.pdf
  • 文件大小:473 kB
  • 14页

文件标识符

作者详细信息

卡提基安·钱德拉塞卡兰(Karthekeyan Chandrasekaran)
马赫迪·切拉赫奇
文卡塔·甘迪科塔
埃琳娜·格里戈雷斯库

引用为获取BibTex

卡塞基安·钱德拉塞卡兰、马赫迪·切拉赫奇、文卡塔·甘迪科塔和埃琳娜·格里戈雷斯库。格成员的局部测试。第36届IARCS软件技术和理论计算机科学基础年会(FSTTCS 2016)。莱布尼茨国际信息学论文集(LIPIcs),第65卷,第46:1-46:14页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2016)
https://doi.org/10.4230/LIPIcs.FSTTCS.2016.46

摘要

在格中测试成员关系具有实际意义,可应用于整数编程、基于格的通信和密码学中的错误检测。在这项工作中,我们对格成员的局部测试进行了系统的研究,补充和建立了关于局部可测试代码的大量工作。特别是,我们正式定义了格的局部测试的概念,并提出了以下内容:1.我们表明,为了实现低查询复杂度,设计单边非自适应规范测试就足够了。该结果类似于Ben-Sasson等人(SIAM J.Computing,35(1):1-21)提出的纠错码的类似结果,并基于该结果。2.我们证明了代码公式格中成员关系局部测试的查询复杂性的上下界。我们实例化了由Reed-Muller代码构造的代码公式格的结果,以获得测试此类格的查询复杂度的接近匹配的上下界。3.我们通过显示测试低维格的查询复杂度的下限,将格测试与代码测试进行了对比。这说明了背包格中测试成员关系的查询复杂度有很大的下限。另一方面,我们证明了当输入被保证在格的跨度内时,具有有界系数的背包格具有低查询测试者。
关键词
  • 格子
  • 性能测试
  • 本地可测试代码
  • 复杂性理论

韵律学

工具书类

  1. 多里特·阿哈罗诺夫和奥德·雷格夫。NPcoNP中的格问题。美国医学杂志,52(5):749-7652005。谷歌学者
  2. Sanjeev Arora、Carsten Lund、Rajeev Motwani、Madhu Sudan和Mario Szegedy。证明验证和近似问题的难度。美国医学杂志,45(3):501-5551998年。谷歌学者
  3. Sanjeev Arora和Shmuel Safra。《证据的概率检验:NP的一个新特征》,《美国医学杂志》,45(1):70-1221998年。谷歌学者
  4. E.Ben-Sasson、P.Harsha和S.Raskhodnikova。一些3CNF特性很难测试。SIAM计算机期刊,35(1):1-212005。STOC'03早期版本。谷歌学者
  5. 彼得罗·伯曼(Piotr Berman)、索菲亚·拉斯霍德尼科娃(Sofya Raskhodnikova)和格里戈里·雅罗斯拉夫采夫(Grigory Yaroslavtsev)。L_p测试。2014年5月31日至6月3日在美国纽约州纽约市举行的STOC 2014计算理论研讨会,第164-173页。谷歌学者
  6. Arnab Bhattacharyya、Swastik Kopparty、Grant Schoenebeck、Madhu Sudan和David Zuckerman。Reed-Muller码的优化测试。2010年10月23日至26日,美国内华达州拉斯维加斯,第51届IEEE计算机科学基础年会,FOCS 2010,第488-497页。谷歌学者
  7. M.Blum、M.Luby和R.Rubinfeld。应用于数值问题的自我测试/修正。《计算机与系统科学杂志》,47:549-5951993年。谷歌学者
  8. 卡塞基安·钱德拉塞卡兰、马赫迪·切拉赫奇、文卡塔·甘迪科塔和埃琳娜·格里戈雷斯库。格中成员的本地测试。arXiv预印arXiv:1608.001802016。谷歌学者
  9. J.Conway、N.J.A.Sloane和E.Bannai。球体填料、格子和组。数学方面的一系列综合性学习。斯普林格,1999年。谷歌学者
  10. 弗里德里希·艾森布兰德。固定维快速整数编程。2003年9月16日至19日在匈牙利布达佩斯举行的第11届欧洲年会《算法-欧空局2003》,会议记录,第196-207页,2003年。谷歌学者
  11. 乌里·埃雷斯(Uri Erez)、西蒙·利特森(Simon Litsyn)和拉姆·扎米尔(Ram Zamir)。对(几乎)所有东西都有好处的格子。IEEE信息理论汇刊,51(10):3401-34161005。谷歌学者
  12. G.D.Forney。陪集码-I:引言和几何分类。IEEE信息理论汇刊,34(5):1123-11511988。谷歌学者
  13. K.Friedl和M.Sudan。对低度测试的一些改进。1995年第三届以色列理论与计算系统年度研讨会论文集。谷歌学者
  14. 菲利普·加博利特(Philippe Gaborit)和吉尔斯·泽莫尔(Gilles Zémor)。关于具有给定自同构群的稠密格的构造。《傅里叶学会年鉴》,57(4):1051-10622007。谷歌学者
  15. 奥德·戈尔德雷奇(Oded Goldreich)。简短的局部可测试代码和证明:分两部分进行的调查。《房地产测试-当前研究和调查》,第65-104页,2010年。谷歌学者
  16. 文卡特桑·古鲁斯瓦米和阿特里·鲁德拉。容忍本地可测试代码。在2005年《随机程序集》/APPROX,第306-317页。谷歌学者
  17. 拉维·坎南。Minkowski凸体定理与整数规划。数学。操作。研究,12(3):415-4401987年8月。谷歌学者
  18. 理查德·卡普(Richard M.Karp)。组合问题之间的可还原性。《计算机计算复杂性研讨会论文集》,第85-1031972页。谷歌学者
  19. T·考夫曼和M·苏丹。代数性质测试:不变性的作用。STOC,第403-412页,2008年。谷歌学者
  20. Swastik Kopparty和Shubhangi Saraf。公差线性测试和本地可测试代码。《随机学报》,第601-614页,2009年。谷歌学者
  21. Wittawat Kositwatanarerk和Frédérique E.Oggier。结构D和晶格相关结构之间的连接。设计。密码术,73(2):441-4552014。谷歌学者
  22. 约翰·利奇和N.J.A.斯隆。球体填料和纠错代码。加拿大。《数学杂志》,23(4):718-7451971年。谷歌学者
  23. H.W.Lenstra Jr.变量数固定的整数编程。运筹学数学,8(4):538-5481983。谷歌学者
  24. 刘一凯(Yi-Kai Liu)、瓦迪姆·柳巴舍夫斯基(Vadim Lyubashevsky)和丹尼尔·米恰尼西奥(Daniele Micciancio)。关于一般格的有界距离译码。《随机学报》,第450-461页,2006年。谷歌学者
  25. 拉尔夫·C·梅尔克和马丁·E·赫尔曼。将信息和签名隐藏在活动门背包中。IEEE信息理论汇刊,24(5):525-5301978。谷歌学者
  26. 丹尼尔·米奇安西奥(Daniele Micciancio)。《LLL算法:调查与应用》,第427-452页,最坏情况复杂性假设的加密函数一章。信息安全和加密。施普林格,2009年12月。初稿。程序中的版本。LLL252007年。谷歌学者
  27. 丹尼尔·米奇安西奥(Daniele Micciancio)。关于格算法和应用的课堂讲稿,2012年冬季,第二讲,2012年。谷歌学者
  28. 丹尼尔·米奇安西奥(Daniele Micciancio)和沙菲·戈德瓦瑟(Shafi Goldwasser)。格问题的复杂性:密码学观点,《Kluwer工程与计算机科学国际丛书》第671卷。Kluwer学术出版社,马萨诸塞州波士顿,2002年3月。谷歌学者
  29. 安德鲁·奥德利斯科(Andrew M.Odlyzko)。背包密码系统的兴衰。密码学和计算数论,42:75-881990年。谷歌学者
  30. M.Parnas、D.Ron和R.Rubinfeld。容错性能测试和距离近似。计算机与系统科学杂志,72(6):1012–10422006。谷歌学者
  31. 奥德·雷格夫。基于格的加密。2006年8月20日至24日在美国加利福尼亚州圣巴巴拉举行的第26届国际密码学年会《密码学进展-2006》,《会议记录》,第131-141页,2006年。谷歌学者
  32. 奥德·雷格夫。错误学习问题(邀请调查)。IEEE计算复杂性会议,第191-204页,2010年。谷歌学者
  33. R.Rubinfeld和M.Sudan。多项式的稳健特征及其在程序测试中的应用。SIAM计算机杂志,25:252-2711996年。谷歌学者
  34. 阿迪·沙米尔。破译基本merkle-hellman密码系统的多项式时间算法。《密码学进展》,第279-288页。斯普林格,1983年。谷歌学者
  35. 劳伦斯·A·沃尔西(Laurence A.Wolsey)和乔治·L·奈姆豪斯(George L.Nemhauser)。整数和组合优化。约翰·威利父子公司,2014年。谷歌学者
问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件