在图属性测试中,一种算法查询目标图是否存在边缘,并且需要确定目标是否具有某个属性或是否具有 epsilon-远不具有该属性。(可以要求算法成功处理1面或2面错误。)如果没有\ epsilon \ binom {n} {2}边可以添加/减去来制作图形,则图形远不具有属性它具有属性。
如果可以按上述指定的方式在一个亚线性查询中测试一个属性,或者更好的是在一个独立于n的查询中(但不能),可以说该属性是可测试的。关于什么是属性的概念也可以形式化,但是应该清楚。
有许多结果说明了哪些特性是可测试的,其中包括许多自然可测试特性的示例。但是,我不知道许多已知的不可测试的自然属性(例如在一定数量的查询中)-我熟悉的一个自然属性是测试给定图的同构性。
因此,我的问题是:已知哪些自然图属性不可测试?
2
(1)澄清一下,您是否在相邻的矩阵模型中寻找此类属性?在邻接表模型(与您编写的表述不同)中,许多问题所需要的不仅仅是恒定数量的查询。(2)您可能知道这一点,但是Goldreich,Goldwasser和Ron(JACM 1998的命题10.2.3.2 )证明了NP中存在一个(不一定是自然的)图属性,该属性需要使用Ω(n ^ 2)查询。概率方法。
—
伊藤刚(Tsuyoshi Ito)2012年
谢谢-邻接矩阵模型很好。我知道它们的结果,但是我想要显式的自然属性,而不是某些属性的存在。
—
列夫·雷津
—
Dimitris