Applying property testing to an image partitioning problem

Igor Kleiner, Daniel Keren, Ilan Newman, Oren Ben-Zwi

Research output: Contribution to journalArticlepeer-review


Property testing is a rapidly growing field of research. Typically, a property testing algorithm proceeds by quickly determining whether an input can satisfy some condition, under the assumption that most inputs do not satisfy it. If the input is "far from satisfying the condition, the algorithm is guaranteed to reject it with high probability. Applying this paradigm to image detection is desirable since images are large objects and a lot of time can be saved by quickly rejecting images which are "far from satisfying a certain condition the user is interested in. Further, typically most inputs are, indeed, "far from the sought images. We demonstrate this by analyzing the problem of deciding whether a binary image can be partitioned according to a template represented by a rectangular grid, and introduce a quick "rejector, which tests an image extracted from the input image, but whose size, as well as the time required to construct it, are constants which are independent of the input image size. With high probability, the rejector dismisses the inputs which are "far from the template.

Original languageAmerican English
Article number5557888
Pages (from-to)256-265
Number of pages10
JournalIEEE Transactions on Pattern Analysis and Machine Intelligence
Issue number2
StatePublished - 2011


  • Property testing
  • image partitioning.

All Science Journal Classification (ASJC) codes

  • Software
  • Artificial Intelligence
  • Applied Mathematics
  • Computer Vision and Pattern Recognition
  • Computational Theory and Mathematics


Dive into the research topics of 'Applying property testing to an image partitioning problem'. Together they form a unique fingerprint.

Cite this