Sunflowers and Testing Triangle-Freeness of Functions
如果不存在满足$x_1+x_2+x_3=0$和$f(x_1)=f(x_2)=f(x_3)=1$的$x_1,x_2,x_3 \in \mathbb{F}_2^n$，则函数$f: \mathbb{F}_2^n \rightarrow \{0,1\}$是无三角形的。在测试无三角形时，目标是以高概率将无三角形函数与那些$\varepsilon$函数区分开--远不是无三角形的。Green证明了问题的规范测试器的查询复杂度的上限是一个只依赖于$\varepsilon$的函数（GAFA，2005），然而最著名的上限是$1/\varepsilon$的塔型函数。规范测试程序的查询复杂度的最著名下限是$1/\varepsilon^{13.239}$（Fu and Kleinberg，RANDOM，2014）。在这项工作中，我们介绍了一种新的方法来证明三角形的查询复杂性的下界。我们将这个问题与组合问题的集合中的向量$\mathbb{Z}_D^n$和向日葵apricutures研究阿隆，Shpilka，和乌曼斯（COMPUT。很复杂，2013年）的报告。关系得出，弱向日葵猜想的反驳$\mathbb{Z}_4$意味着一个超多项式的查询复杂度的标准测试三角形自由的下界。我们的结果被扩展到测试$k$ -无圈的功能与域$\mathbb{F}_p^n$的每个$k \geq 3$和一个总理$p$。此外，我们通过推广由…
2014-11-17 cs.DS math.CO
Testing perfection is hard
一个图的性质P是强可测的，如果对于每个固定的ε>0，存在P的单侧ε-测试器，其查询复杂度由ε的函数限定。在强可测图性质的分类中，第一作者和Shapira证明了任何遗传图性质（如完美图族P）都是强可测的。如果一个属性是强可测试的，并且查询复杂度由ε^{-1}的多项式函数限制，则该属性是容易测试的，否则它是困难的。我们的一个主要结果表明，测试完美性是困难的。证明表明，测试完美性至少和测试无三角形性一样难，这是很难的。另一方面，我们证明了诱导P_3-freeness是容易检验的。这解决了两个例外图之一，另一个是C_4（及其补充），在第一作者和Shapira的图H的特征化中留下了空白，其中诱导H-自由度是容易测试的。
2011-10-13 cs.DM cs.DS math.CO
Testing Induced-Subgraph Freeness in Outerplanar Graphs under the Random-Neighbor Oracle
School of Computer Science and Technology, University of Science and Technology of China（中国科学技术大学计算机科学与技术学院）
本文证明在随机邻居模型下，外平面图的导出子图自由性测试仅需多项式于 1/ε 的查询，与顶点数无关，并指出双边误差的必要性。
2026-10-01 cs.DS
Distributed Testing of Excluded Subgraphs
我们研究的背景下，分布式计算的经典CONGEST模型下的属性测试。众所周知，测试一个图是否是无三角形的可以在一个恒定的回合数，其中常数取决于输入图是从三角形自由多远。我们证明了，对于每个连通的4-节点图H，测试一个图是否是H-自由也可以在一个常数轮数。该常数还取决于输入图距离无H有多远，并且该依赖性与测试三角形的情况相同。因此，特别地，测试一个图是否是K_4-free的，以及测试一个图是否是C_4-free的可以在常数轮数中完成（其中K_k表示k节点团，并且C_k表示k节点圈）。另一方面，我们证明了当k>4时，检验K_k-自由性和C_k-自由性似乎要困难得多。具体来说，我们研究了两种自然类型的通用算法测试H-自由，称为DFS测试仪和BFS测试仪。后者捕获了先前已知的算法来测试三角形的存在，而前者捕获了我们的通用算法来测试4节点图模式H的存在。我们证明了DFS和BFS测试器都不能测试K_k-自由度和C_k-自由度在一个常数轮数k>4。
2016-05-12 cs.DC cs.DS
Testing Triangle Freeness in the General Model in Graphs with Arboricity $O(\sqrt{n})$
研究了一般图模型下的三角形自由度检验问题。这个问题首先由Alon等人在一般图模型中研究（SIAM J. Discret. Math.2008），他提供了依赖于图的顶点数和平均度的下界和上界。仅当$d_{\rm max} = O(d)$和$\bar{d} \leq \sqrt{n}$或当$\bar{d} = Θ(1)$时，它们的边界是紧的，其中$d_{\rm max}$表示图的最大度，$\bar{d}$表示图的平均度。在本文中，我们提供的界限，依赖于荫度的图和平均度。正如Alon等人所述，我们的测试器的参数是顶点数$n$、边数$m$和邻近参数$ε$（图的荫度不是算法的参数）。我们的测试人员的查询复杂度是预期的$\tilde{O}(Γ/\bar{d} + Γ)\cdot poly(1/ε)$，其中$Γ$表示输入图的荫度（我们使用$\tilde{O}(\cdot)$来抑制$O(\log \log n)$因素）。我们表明，荫度$O(\sqrt{n})$的图的上界是紧在以下意义上。对于任何$Γ\in [s]$，其中$s= Θ(\sqrt{n})$，存在一族具有荫度$Γ$和平均度$\bar{d}$的图，使得需要$Ω(Γ/\bar{d} + Γ)$查询来测试这一族图上的三角形自由度。此外，这个下限适用于任何这样的$Γ$和一个大范围的可行的平均度。
2021-05-11 cs.DS
Testing H-freeness on sparse graphs, the case of bounded expansion
ENS de Lyon, CNRS, LIP（里昂高等师范学院，法国国家科学研究中心，计算机与语言实验室）；Université Clermont Auvergne, Clermont Auvergne INP, LIMOS, CNRS（克莱蒙奥弗涅大学，克莱蒙奥弗涅国立理工学院，信息与计算科学实验室，法国国家科学研究中心）；RWTH Aachen University（亚琛工业大学）；LaBRI, Université de Bordeaux（波尔多大学，计算机科学与研究实验室）；University Clermont Auvergne（克莱蒙奥弗涅大学）
本文针对稀疏图属性测试问题，利用稀疏性工具包给出更简洁证明，将常数查询复杂度的H-无关性测试结论从排除子式的图类推广到所有有界扩张图类。
2025-11-13 cs.DS math.CO
Testing Properties of Edge Distributions
Massachusetts Institute of Technology（麻省理工学院）
本文研究了图边分布的概率分布检验问题，提出了测试二分图性、三角形自由性和平方自由性近紧界，揭示了其样本复杂度与图结构的关系。
2026-08-14 cs.CC cs.DS
A subquadratic certification scheme for P5-free graphs
本文研究 P5-free 图的局部认证问题，证明了证书规模为 O(n^{3/2}) 的上界，首次将该性质的认证开销降至次二次级别。
2025-02-04 cs.DC cs.DM cs.DS
Strongly Sublinear Algorithms for Testing Pattern Freeness
本文研究排列模式自由性的性质测试问题，提出查询复杂度为 $\tilde{O}(n^{o(1)})$ 的自适应单侧误差测试算法，显著改进了此前 $O(n^{1-1/(k-1)})$ 的最佳上界。
2024-01-11 cs.DS
A Sublinear Tester for Outerplanarity (and Other Forbidden Minors) With One-Sided Error
我们考虑单侧误差性质测试的$\mathcal{F}$ -小自由度的有界度图的任何有限族的图形$\mathcal{F}$，包含一个小的$K_{2,k}$，$k$ -马戏团图，或$(k\times 2)$ -网格的任何$k\in\mathbb{N}$。这包括，例如，测试一个图是外平面图还是仙人掌图。我们的算法的查询复杂度在图中的顶点数，$n$，是$\tilde{O}(n^{2/3} / ε^5)$。Czumaj等人表明，循环自由度和$C_k$ -次要自由度可以通过使用随机游走来测试查询复杂度$\tilde{O}(\sqrt{n})$，并且测试包含循环的任何$H$的$H$ -次要自由度需要$Ω(\sqrt{n})$查询。与这些结果相反，我们分析了图的结构，并表明，我们可以找到一个子图的次线性大小，包括禁止未成年人$H$，或者我们可以找到一对不相交的顶点子集的边割是大的，这导致$H$ -未成年人。
2018-08-08 cs.DS
Tolerant Testers for Subgraph-Freeness
Efi Arazi School of Computer Science, Reichman University（Reichman大学 Efi Arazi计算机科学学院）
本文针对一般图模型和有界度模型，提出了容错测试H-无属性的算法，其查询复杂度为荫度或度界的多项式，改进了现有最优结果。
2026-10-16 cs.DS
Faster and Simpler Distributed Algorithms for Testing and Correcting Graph Properties in the CONGEST-Model
在本文中，我们提出了CONGEST模型中图属性的分布式测试算法[Censor-Hillel et al. 2016]。在一般图模型中，我们提出了单边误差测试算法。我们首先描述了一个通用的程序转换$ε$ -测试仪与若干轮$f(D)$，其中$D$表示直径的图形，以$O((\log n)/ε)+f((\log n)/ε)$轮，其中$n$是网络的处理器的数量。然后，我们应用这个过程来获得一个最佳测试器，根据$n$，用于测试二分性，其轮复杂度为$O(ε^{-1}\log n)$，它改进了Censor-Hillel等人的$poly(ε^{-1} \log n)$轮算法。（DISC 2016）。此外，对于无圈性，我们得到了一个局部修正图的\emph{corrector}，使得修正后的图是无圈的。请注意，与测试人员不同，校正人员需要在图形远离属性的情况下在许多地方修补图形。在本文的第二部分中，我们设计了算法来测试网络是否是$H$ -自由的任何连接的$H$的大小高达四轮复杂度为$O(ε^{-1})$。这改进了Censor-Hillel等人（DISC 2016）用于测试三角形自由度的$O(ε^{-2})$轮算法，以及Fraigniaud等人（DISC 2016）用于测试大小为$4$的排除图。在最后一部分中，我们将Iwama和Yoshida（ITCS 2014）测试$k$ -路径自由度的全局测试器推广到…
2017-05-13 cs.DC cs.DS
GSF-locality is not sufficient for proximity-oblivious testing
在属性测试中，邻近不经意测试器（POT）形成了一类特别简单的测试算法，其中基本测试被执行多次，这可能取决于邻近参数，但是基本测试本身与邻近参数无关。在他们的开创性工作中，Goldreich和Ron [STOC 2009; SICOMP 2011]表明，允许在有界度模型中进行常量查询邻近不经意测试的图形属性正是可以表示为满足非传播条件的广义子图自由度（GSF）属性的属性。它是左开放的非传播条件是否是必要的。事实上，调用属性可表示为广义子图自由度属性GSF局部属性，他们问是否所有GSF局部属性是非传播的。我们给出了一个否定的答案，表现出的性质，是GSF-本地和传播的图。因此，特别是，我们的财产不承认一个POT，尽管是GSF本地。我们通过利用作者最近的一项工作来证明我们的结果，该工作构建了一个不可测试的一阶（FO）属性[SODA 2021]，以及FO属性和GSF局部属性之间通过邻域配置文件的新联系。
2021-05-18 cs.CC cs.DM cs.DS
Testing forbidden order-pattern properties on hypergrids
本文系统研究高维网格上的模式自由性测试，提出三维排列的自适应测试器及下界，并给出单调模式的指数级分离，同时引入新的擦除弹性单调性测试器。
2025-10-26 cs.DS
Quantum property testing in sparse directed graphs
Université Paris Cité, CNRS, IRIF（巴黎西岱大学、法国国家科学研究中心、IRIF）；Centre for Quantum Technologies, National University of Singapore（新加坡国立大学量子技术中心）；Ruhr-Universität Bochum（波鸿鲁尔大学）
研究稀疏有向图中量子属性测试的效率，证明k-星形自由性在量子设置中具有二次优势，并探讨无向图3-着色问题在量子测试中的线性查询需求。
2025-11-26 cs.DS quant-ph
Improved Bounds for Testing Forbidden Order Patterns
序列$f\colon\{1,\dots,n\}\to\mathbb{R}$包含长度为$k$的置换$π$，如果存在$i_1<\dots<i_k$，使得对于所有$x,y$，$f(i_x)<f(i_y)$当且仅当$π(x)<π(y)$ ;否则，$f$被称为无$π$.在这项工作中，我们考虑的问题，测试$π$ -游离与单侧误差，继续调查[纽曼等人，SODA'17]。我们展示了一个令人惊讶的行为，非自适应测试与单侧错误：虽然一个平凡的基于采样的方法产生$π$ -freeness的$\varepsilon$ -测试，使$Θ(\varepsilon^{-1/k} n^{1-1/k})$查询，我们的下限意味着，这几乎是最佳的大多数排列！具体而言，对于长度为$k$的大多数排列$π$，任何非自适应单侧$\varepsilon$测试都需要$\varepsilon^{-1/(k-Θ(1))}n^{1-1/(k-Θ(1))}$查询;此外，最难测试的排列需要$Θ(\varepsilon^{-1/(k-1)}n^{1-1/(k-1)})$查询，这在$n$和$\varepsilon$中是紧密的。此外，我们在这里展示了两种分层行为。首先，对于任何$k$和$l\leq k-1$，存在一些长度为$k$的$π$，其需要$\tildeΘ_{\varepsilon}(n^{1-1/l})$非自适应查询。其次，我们证明了$π=(…
2017-10-29 cs.CC cs.DS math.CO
Fast Distributed Algorithms for Testing Graph Properties
我们开始一个彻底的研究\emph{distributed property testing} -生产算法的近似问题的属性测试的CONGEST模型。特别是，对于所谓的\emph{dense}测试模型，我们模拟顺序测试几乎所有的图形属性具有$1$边的测试，而在\emph{sparse}和\emph{general}模型，我们分别获得更快的测试三角自由和二分性。在大多数情况下，并行性的帮助下，分布式算法有一个更短的运行时间相比，他们的对手从传统的属性测试的顺序查询模型。最简单的属性测试算法允许相对平滑地过渡到分布式模型。对于更复杂的任务，我们开发了独立感兴趣的新机器。这包括用于多个随机游走的分布式维护的方法。
2016-05-02 cs.DC cs.DS
A Tight Meta-theorem for LOCAL Certification of MSO$_2$ Properties within Bounded Treewidth Graphs
Korteweg-de Vries Institute of Mathematics, University of Amsterdam（阿姆斯特丹大学科特维格-德弗里斯数学研究所）；School of Computing, KAIST（韩国科学技术院计算机学院）；CNRS（法国国家科学研究中心）；Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw（华沙大学数学、信息学和力学学院信息学研究所）
本文提出了一种针对有限树宽图的MSO₂性质的局部认证协议，通过O(log n)大小的证书实现高效验证，改进了现有相关研究。
2025-03-25 cs.DC cs.DM cs.DS
Testing Bipartitness in an Augmented VDF Bounded-Degree Graph Model
在最近的一项工作（ECCC，TR 18 -171，2018）中，我们介绍了测试图形属性的模型，其中，除了对通常的图形查询的答案外，测试人员还获得{根据任意分布$D$绘制的\em随机顶点}。需要这样的测试器来区分具有该属性的图和远离该属性的图，{ \em，其中图之间的距离基于未知顶点分布$D$来定义}。这些模型（“顶点分布自由”（VDF））推广了$D$假设在顶点集上是均匀分布的标准模型，并在稠密图模型和有界度图模型下进行了研究。上述工作的重点是测试人员，称为{ \sf strong}，其查询复杂度仅取决于邻近参数$ε$。不幸的是，在标准的有界度图模型中，一些自然属性（如二分性）没有强的测试者，而其他属性（如无环性）没有强的单侧错误测试者（而单侧错误是VDF模型固有的）。因此，建议研究一般性问题（即，非强）“次线性”复杂性的测试者。在这项工作中，我们追求上述建议，但这样做的模型，增强了上述工作中提出的模型。具体来说，我们为测试人员提供了一个未知分布$D$的评估oracle，以及$D$的样本和对测试图的oracle访问。我们的主要结果是测试的二分性和循环自由，在这个增强模型中，具有复杂性，几乎是线性的平方根的“有效支持大小”的$D$。
2019-06-05 cs.DS
An Optimal Separation between Two Property Testing Models for Bounded Degree Directed Graphs
本文研究了有界度有向图的双向与单向性质测试模型，证明了包含k个源分量的子图自由性在单向模型中需要$Ω(n^{1-1/k})$次查询，首次给出了两模型间查询复杂度的最优分离并解决了相关猜想。
2023-05-22 cs.DS
Testing properties of signed graphs
在图属性测试中，任务是区分一个图是否满足给定的属性或“远离”具有该属性，最好使用次线性查询和时间复杂度。在这项工作中，我们开始在签署的图，其中每一个边缘有一个积极的或一个消极的符号的性质测试的研究。我们发现，存在次线性算法测试三个关键属性的签署图：平衡（或2-clusterability），clusterability和签署三角形自由。我们既考虑稠密图模型，在那里我们可以查询一个有符号图的（有符号）邻接矩阵，也考虑有界度模型，在那里我们可以查询节点的邻居和连接边的符号。我们的算法使用各种工具，从图形属性测试，以及减少从一个设置到其他。我们的主要技术贡献是在有界度模型中测试聚类性的次线性算法。这与k-聚类性的属性形成对比，k-聚类性的属性不能用次线性数量的查询来测试。这个测试器建立在Goldreich和Ron的开创性工作之上，用于测试二分性。
2021-02-15 cs.DS
Finding Cycles and Trees in Sublinear Time
我们提出了次线性时间（随机）算法，找到简单的周期长度至少$k\geq 3$和树未成年人在有界度图。这些算法的复杂度与图距无$C_k$ -次要者的距离有关（分别地，不具有相应的树子）。特别地，如果图是远的（即，$Ω(1)$（远）{from}是无环的，即，如果必须删除边的恒定部分以使其无环，则该算法找到时间上的多对数长度的循环$\tildeO(\sqrt{N})$，其中$N$表示顶点的数量。这个时间复杂度对于多对数因子来说是最优的。上述结果是我们在有界度图模型中研究{ \em单侧误差}属性测试算法复杂性的结果。例如，我们证明了$N$顶点图的无圈性可以在时间复杂度$\tildeO(\poly(1/\e)\cdot\sqrt{N})$内用单侧误差进行测试。这与已知的$Ω(\sqrt{N})$查询下限相匹配，并且与以下事实形成对比：任何无次项属性都允许查询复杂性的{ \em双侧误差}测试器仅取决于邻近参数$\e$。对于任何常数$k\geq3$，我们将这个结果扩展到测试输入图是否具有长度至少为$k$的简单循环。另一方面，对于任何固定的树$T$，我们表明，$T$ -未成年人的自由度有一个单侧错误测试的查询复杂性，只依赖于接近参数$\e$。我们的算法在有界度图中找到循环扩展到一般的图形，距离测量相对于实际的边缘数。这样的扩展对于在$o(\sqrt{N})$复杂度中寻找树-子式是不可能的。
2012-04-03 cs.DM cs.DS
Deleting and Testing Forbidden Patterns in Multi-Dimensional Arrays
Tel Aviv University（特拉维夫大学）；University of California at Los-Angeles（加利福尼亚大学洛杉矶分校）；University of California at Berkeley（加利福尼亚大学伯克利分校）
理解结构化多维数据的局部行为是计算机科学各个领域的基本问题。由于数据量通常是巨大的，因此希望获得次线性时间算法，特别是属性测试器，以了解数据的局部属性。我们专注于测试模式自由度的自然局部问题：给定一个大的$d$维阵列$A$和一个固定的$d$维模式$P$在有限的字母表，我们说，$A$是$P$ -免费的，如果它不包含一个副本的禁止模式$P$作为一个连续的子阵列。$A$到$P$ -freeness的距离是$A$中需要修改以使其不含$P$的条目的分数。对于任何$ε\in [0,1]$和任何足够大的模式$P$在任何字母表，除了一个非常小的一组特殊的模式，我们设计了一个宽容的测试，区分的情况下，距离至少是$ε$和情况下，它是在最$a_d ε$，查询复杂性和运行时间$c_d ε^{-1}$，其中$a_d < 1$和$c_d$只依赖于$d$。为了分析测试者，我们建立了几个组合结果，包括以下$d$维修改引理，这可能是独立的兴趣：对于任何字母表上的任何足够大的模式$P$（不包括二进制情况的一小组例外模式），以及包含$P$的副本的任何数组$A$，可以通过修改其位置之一来删除该副本，而无需在$A$中创建新的$P$副本。我们的研究结果解决了一个悬而未决的问题，菲舍尔和纽曼，谁问是否存在有效的测试人员在多维结构化数据的紧密子结构相关的属性。它们是对多维数组局部性质的一般理解的第一步，因为任何这样的性质都可以由…
2017-03-26 cs.CV cs.DS
Private Graph Property Testing
Google Research（谷歌研究院）；The University of Sydney（悉尼大学）；Max Planck Institute for Security and Privacy（马克斯·普朗克安全与隐私研究所）
本研究系统研究差分隐私图性质测试，为多种图抽样过程开发隐私放大定理，并设计稠密与有界度图模型中的私有测试器，证明超有限图性质可私有测试，查询复杂度与非私有相当。
2026-09-15 cs.CR cs.DS
A characterization of graph properties testable for general planar graphs with one-sided error (It is all about forbidden subgraphs)
可测试图属性的特征化问题（可以用独立于输入大小的多个查询来测试的属性）是属性测试领域中的一个基本问题。虽然在稠密图模型中已经有一些广泛的先前研究表征了可测试图的属性，并且我们对有界度图模型有很好的理解，但对于没有度界的一般图，还没有类似的表征。在本文中，我们接受了这一重大挑战，并考虑了描述一般平面图中所有可测试图属性的问题。我们考虑的模型中，一个一般的平面图可以访问的随机邻居预言机，允许访问任何给定的顶点和访问一个给定顶点的随机邻居。我们表明，非正式地，一个图形属性$P$是可测试的一般平面图的单边错误，当且仅当测试$P$可以减少到测试有限家庭的有限禁止子图。虽然我们的演示文稿侧重于平面图，我们的方法很容易扩展到一般的小自由图。我们的分析的必要条件依赖于最近建设的随机邻居预言机模型，在这里适用于单侧误差模型测试平面图中的典型测试。在表征的充分条件减少了问题的任务测试$H$ -免费的平面图，是主要的和最具挑战性的技术贡献的文件：我们表明，平面图（任意度），性能是$H$ -免费的可测试的单侧错误，为每个有限图$H$，在随机邻居预言机模型。
2019-09-23 cs.DS
Testing classical properties from quantum data
University of Warwick（华威大学）；Freie Universität Berlin（柏林自由大学）；California Institute of Technology（加州理工学院）
本文研究了从量子数据测试布尔函数性质的量子算法，展示了量子方法在恢复经典测试速度优势方面的有效性，并揭示了量子数据与经典查询在测试任务中的不可比性。
2025-09-12 cs.CC cs.DS cs.LG
The complexity of testing all properties of planar graphs, and the role of isomorphism
本文研究有界度平面图所有性质的查询测试复杂度，给出 exp(O(ε^{-2})) 通用上界及固定图同构的匹配下界，并将类似结论推广到有界树宽图。
2021-08-25 cs.CC cs.DS
On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing
本文研究有界度图模型中一阶逻辑性质的可测试性，证明了 $\exists^*\forall^*$ 前缀性质可测试而 $\forall^*\exists^*$ 不可测试，并据此通过构造传播型广义子图无关性质，否定了近邻无关测试中非传播条件的必要性。
2023-04-07 cs.CC cs.DM cs.DS
Testable Properties in General Graphs and Random Order Streaming
我们提出了一个新的框架，紧密联系的属性测试和数据流算法的设置一般图的领域。最近已经证明（Monemizadeh et al. 2017），对于有界度图，任何恒定查询测试器都可以通过流算法在随机顺序流模型中进行仿真，该算法只使用存储恒定数量单词所需的空间。然而，在一个更自然的一般图的设置，没有限制的最大程度，没有这样的结果是已知的，因为我们缺乏了解的常量查询测试在一般的图和缺乏技术，适当地模仿流设置离线算法，允许许多高程度的顶点。在这项工作中，我们推进我们对这两个挑战的理解。首先，我们为一般图的所有常量查询测试器提供了规范测试器，包括单侧和双侧错误。这种规范化以前只在稠密图（Goldreich和Trevisan 2003）和有界度（di-）图（Goldreich和Ron 2011，Czumaj等人2016）的邻接矩阵模型中已知。使用规范测试的概念，然后，我们证明了每一个属性的一般图，这是恒定的查询可测试的单侧错误，也可以测试在恒定的空间中的随机顺序流模型的单侧错误。我们的研究结果意味着，除其他外，像$(s,t)$不连通性，$k$ -路径自由度等属性是恒定空间测试的随机顺序流。
2019-05-05 cs.DS
A sufficient condition for characterizing the one-sided testable properties of families of graphs in the Random Neighbour Oracle Model
Birkbeck, University of London（伦敦大学伯贝克学院）；University of Haifa（海法大学）
本文提出了一种图族H-可测试性的充分条件，并给出了多个图族的新刻画。
2025-11-24 cs.DS
