自然,不可测试的图形属性


22

在图属性测试中,一种算法查询目标图是否存在边缘,并且需要确定目标是否具有某个属性或是否具有 epsilon-远不具有该属性。(可以要求算法成功处理1面或2面错误。)如果没有\ epsilon \ binom {n} {2}边可以添加/减去来制作图形,则图形远不具有属性它具有属性。ϵϵϵ(n2)

如果可以按上述指定的方式在一个亚线性查询中测试一个属性,或者更好的是在一个独立于n的查询中n(但不能ϵ),可以说该属性是可测试的。关于什么是属性的概念也可以形式化,但是应该清楚。

有许多结果说明了哪些特性是可测试的,其中包括许多自然可测试特性的示例。但是,我不知道许多已知的不可测试的自然属性(例如在一定数量的查询中)-我熟悉的一个自然属性是测试给定图的同构性。

因此,我的问题是:已知哪些自然图属性不可测试?


2
(1)澄清一下,您是否在相邻的矩阵模型中寻找此类属性?在邻接表模型(与您编写的表述不同)中,许多问题所需要的不仅仅是恒定数量的查询。(2)您可能知道这一点,但是Goldreich,Goldwasser和Ron(JACM 1998的命题10.2.3.2 )证明了NP中存在一个(不一定是自然的)图属性,该属性需要使用Ω(n ^ 2)查询。概率方法。
伊藤刚(Tsuyoshi Ito)2012年

1
谢谢-邻接矩阵模型很好。我知道它们的结果,但是我想要显式的自然属性,而不是某些属性的存在。
列夫·雷津

我不确定,因此不会列出答案,但是我认为\ Theta(G)图的Shannon容量Θ(G)不可测。mathworld.wolfram.com/ShannonCapacity.html
Dimitris

Answers:


11

在邻接矩阵模型中,测试顶点图是否由某些顶点图的两个同构副本组成时,查询复杂度存在的下限(请参阅测试图属性简介-Goldreich)进行调查)。Ω(n)nn/2

此外,对于存在单向错误的测试人员,有许多下限取决于,例如:测试 -Clique, -Cut和 -Bisection(请参阅属性测试及其与学习和近似的联系-Goldreich ,Goldwasser和Ronnρρρ

此外,在有界度图模型中,测试3色性需要查询,而测试2色性(即Bipartiteness)需要(请参阅有界度图中的属性测试-Goldreich,罗恩)。Ω(n)Ω(n)

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.