×

识别覆盖函数。 (英语) Zbl 1329.68280号

摘要:地集\([m]\)上的覆盖函数\(f\)与加权元素和\(m\)集\(A_1,\dots,A_m\substeqU\)的宇宙\(U\)相关联,对于任何\(T\substeq[m]\),\(f(T)\)被定义为并集\(\bigcup_{j\in T}A_j\)中元素的总重量。覆盖函数是子模函数的一个重要特例,在许多应用中都有出现,例如,作为组合拍卖中代理人的一类效用函数。覆盖函数的朴素表示具有指数形式的大小,在算法应用程序中,假设可以访问值预言器。在本文中,我们询问是否可以识别给定的预言是否是覆盖函数的预言。我们证明了一种算法,该算法可以对覆盖函数的预言表进行(O(m|U|)查询并完全重建它。每当(|U|\)是多项式有界时,这就是多项式时间,这意味着该函数具有简洁的描述。为了补充上述结果,我们给出了一个否定的结果。我们证明了“非覆盖性”需要大的证书——存在一个不覆盖的函数,但是任何进行小于(2^{m-1})查询的算法都无法将该函数与某些覆盖函数区分开来。我们的正结果表明覆盖性的性质具有(O(m|U|)-查询近似遗忘测试,而我们的负结果显示了指数下界。我们相信我们的下限也适用于一般属性测试人员,并提供了一些相同的证据。

MSC公司:

68瓦20 随机算法
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
68周05 非数值算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] A.Badanidiyuru,{私人通信},2013年。
[2] A.Badanidiyuru、S.Dobzinski、H.Fu、R.Kleinberg、N.Nisan和T.Roughgarden,{绘制估价函数},《ACM-SIAM离散算法(SODA)研讨会》,SIAM,费城,2012年,第1025-1035页·Zbl 1422.91290
[3] M.Balcan和N.Harvey,{学习子模块函数},《计算理论研讨会(STOC)》,美国计算机学会,纽约,2011年,第793-802页·Zbl 1288.90068号
[4] D.Bertsimas和J.Tsitsiklis,《线性优化导论》,雅典娜科学出版社,马萨诸塞州贝尔蒙特,1997年。
[5] L.Blumrosen和N.Nisan,{组合拍卖},《算法博弈论》,剑桥大学出版社,2007年,第267-300页·兹比尔1152.91453
[6] D.Chakrabarty和Z.Huang,{测试覆盖函数},收录于《自动化、语言和编程》,施普林格,海德堡,2012年,第170-181页·Zbl 1272.90067号
[7] G.Cornuejols、M.Fisher和G.Nemhauser,{优化浮动的银行账户位置:精确和近似算法的分析研究},管理科学。,23(1977年),第789-810页·Zbl 0361.90034号
[8] S.Dughmi和J.Vondraák,{组合拍卖随机机制的局限性},收录于《计算机科学基础》(FOCS),IEEE计算机学会,加利福尼亚州洛斯阿拉米托斯,2011年,第502-511页·Zbl 1292.91082号
[9] S.Dughmi,T.Roughgarden,and Q.Yan,{从凸优化到随机机制:走向最优组合拍卖},《计算理论研讨会》,美国计算机学会,纽约,2011年,第149-158页·Zbl 1288.91103号
[10] S.Dughmi,{通过凸优化实现组合公共项目的真实随机机制},《第12届ACM电子商务会议论文集》,ACM,纽约,2011年,第263-272页。
[11] V.Feldman和P.Kothari,《学习报道功能和边缘语的私人发布》,学习理论会议,2014年,第679-702页。
[12] V.Feldman和J.Vondra∧k,{juntas}对子模函数和xos函数近似的最优界,《程序集》,FOCS,2013年·Zbl 1345.68251号
[13] O.Goldreich和D.Ron,《关于邻近遗忘测试》,载于《第41届计算理论年度研讨会论文集》,ACM,纽约,2009年,第141-150页·Zbl 1304.05134号
[14] O.Goldreich,{组合属性测试(一项调查)},算法设计中的随机方法。,43(1999),第45-59页·Zbl 0912.68071号
[15] O.Goldreich、S.Goldwasser和D.Ron,《属性测试及其与学习和近似的关系》,J.ACM,45(1998),第653-750页·Zbl 1065.68575号
[16] A.Krause、H.McMahan、C.Guestrin和A.Gupta,{稳健子模块观测选择},J.Mach。学习。第9号决议(2008年),第2761-2801页·Zbl 1225.90107号
[17] B.莱曼、D.莱曼和N.尼桑,《边际效用递减的组合拍卖》,《游戏经济》。行为。,55(2006),第270-296页·Zbl 1125.91043号
[18] K.Mahler,{(p)-Adic数及其函数简介},剑桥大学出版社,剑桥,1973年·Zbl 0249.12015号
[19] A.Robert,(p)-Adic Analysis课程,毕业。数学课文。198,施普林格出版社,纽约,2000年·Zbl 0947.11035号
[20] C.Seshadhri,{\it开放问题2:数据流、属性测试和相关主题中的开放问题},网址:http://www.cs.umass.edu/\(~\)mcgregor/papers/11-openproblems.pdf(2011)。
[21] C.Seshadhri和J.Vondra∧k,{\it Is submodularity testable?},Algorithmica,69(2014),第1-25页·Zbl 1307.68097号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。