A Tight Bound for Testing Partition Properties

Asaf Shapira, Henrique Stagni

Research output: Contribution to conferencePaperpeer-review

Abstract

A partition property of order k asks if a graph can be partitioned into k vertex sets of prescribed sizes so that the densities between any pair of sets falls within a prescribed range. This family of properties has been extensively studied in various areas of research ranging from theoretical computer science to statistical physics. Our main result is that every partition property of order k is testable with query complexity poly(k/ε). We thus obtain an exponential improvement (in k) over the (Equation presented) bound obtained by Goldreich, Goldwasser and Ron in their seminal FOCS 1996 paper. We further prove that our bound is tight in the sense that it cannot be made sub-polynomial in either k or ε. Besides the intrinsic interest in obtaining a tight bound for the above well studied family of properties, our improved bound has several combinatorial and algorithmic implications, stemming from the fact that it remains polynomial even when testing partition properties of order k = poly(1/ε).

Original languageEnglish
Pages4305-4320
Number of pages16
DOIs
StatePublished - 2024
Event35th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2024 - Alexandria, United States
Duration: 7 Jan 202410 Jan 2024

Conference

Conference35th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2024
Country/TerritoryUnited States
CityAlexandria
Period7/01/2410/01/24

All Science Journal Classification (ASJC) codes

  • Software
  • General Mathematics

Fingerprint

Dive into the research topics of 'A Tight Bound for Testing Partition Properties'. Together they form a unique fingerprint.

Cite this