Fiding forbidden minors in sublinear time: a O(n^1/2 + o(1))-query one-sided tester for minor closed properties on bounded degree graphs

05/21/2018
by   Akash Kumar, et al.
0

Let G be an undirected, bounded degree graph with n vertices. Fix a finite graph H, and suppose one must remove n edges from G to make it H-minor free (for some small constant > 0). We give an n^1/2+o(1)-time randomized procedure that, with high probability, finds an H-minor in such a graph. For an example application, suppose one must remove n edges from a bounded degree graph G to make it planar. This result implies an algorithm, with the same running time, that produces a K_3,3 or K_5 minor in G. No sublinear time bound was known for this problem, prior to this result. By the graph minor theorem, we get an analogous result for any minor-closed property. Up to n^o(1) factors, this resolves a conjecture of Benjamini-Schramm-Shapira (STOC 2008) on the existence of one-sided property testers for minor-closed properties. Furthermore, our algorithm is nearly optimal, by an Ω(√(n)) lower bound of Czumaj et al (RSA 2014). Prior to this work, the only graphs H for which non-trivial property testers were known for H-minor freeness are the following: H being a forest or a cycle (Czumaj et al, RSA 2014), K_2,k, (k× 2)-grid, and the k-circus (Fichtenberger et al, Arxiv 2017).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/21/2018

Finding forbidden minors in sublinear time: a n^1/2+o(1)-query one-sided tester for minor closed properties on bounded degree graphs

Let G be an undirected, bounded degree graph with n vertices. Fix a fini...
research
11/11/2018

Faster sublinear approximations of k-cliques for low arboricity graphs

Given query access to an undirected graph G, we consider the problem of ...
research
02/01/2022

Testability and local certification of monotone properties in minor-closed classes

The main problem in the area of property testing is to understand which ...
research
05/27/2018

Property Testing of Planarity in the CONGEST model

We give a distributed algorithm in the CONGEST model for property testi...
research
02/23/2021

Testing Hamiltonicity (and other problems) in Minor-Free Graphs

In this paper we provide sub-linear algorithms for several fundamental p...
research
08/07/2020

A 2^O(k)n algorithm for k-cycle in minor-closed graph families

Let 𝒞 be a proper minor-closed family of graphs. We present a randomized...
research
05/05/2019

Testable Properties in General Graphs and Random Order Streaming

We present a novel framework closely linking the areas of property testi...

Please sign up or login with your details

Forgot password? Click here to reset