Tolerant testers of image properties

Piotr Berman, Meiram Murzabulatov, Sofya Raskhodnikova

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Abstract

We initiate a systematic study of tolerant testers of image properties or, equivalently, algorithms that approximate the distance from a given image to the desired property (that is, the smallest fraction of pixels that need to change in the image to ensure that the image satisfies the desired property). Image processing is a particularly compelling area of applications for sublinear-time algorithms and, specifically, property testing. However, for testing algorithms to reach their full potential in image processing, they have to be tolerant, which allows them to be resilient to noise. Prior to this work, only one tolerant testing algorithm for an image property (image partitioning) has been published. We design efficient approximation algorithms for the following fundamental questions: What fraction of pixels have to be changed in an image so that it becomes a half-plane? a representation of a convex object? a representation of a connected object? More precisely, our algorithms approximate the distance to three basic properties (being a half-plane, convexity, and connectedness) within a small additive error ϵ, after reading a number of pixels polynomial in 1/- and independent of the size of the image. The running time of the testers for half-plane and convexity is also polynomial in 1/ϵ. Tolerant testers for these three properties were not investigated previously. For convexity and connectedness, even the existence of distance approximation algorithms with query complexity independent of the input size is not implied by previous work. (It does not follow from the VC-dimension bounds, since VC dimension of convexity and connectedness, even in two dimensions, depends on the input size. It also does not follow from the existence of non-tolerant testers.) Our algorithms require very simple access to the input: uniform random samples for the half-plane property and convexity, and samples from uniformly random blocks for connectedness. However, the analysis of the algorithms, especially for convexity, requires many geometric and combinatorial insights. For example, in the analysis of the algorithm for convexity, we define a set of reference polygons Pϵ such that (1) every convex image has a nearby polygon in Pϵ and (2) one can use dynamic programming to quickly compute the smallest empirical distance to a polygon in Pϵ. This construction might be of independent interest.

Original languageEnglish (US)
Title of host publication43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016
EditorsYuval Rabani, Ioannis Chatzigiannakis, Davide Sangiorgi, Michael Mitzenmacher
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770132
DOIs
StatePublished - Aug 1 2016
Event43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 - Rome, Italy
Duration: Jul 12 2016Jul 15 2016

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume55
ISSN (Print)1868-8969

Other

Other43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016
CountryItaly
CityRome
Period7/12/167/15/16

Fingerprint

Pixels
Approximation algorithms
Testing
Image processing
Polynomials
Dynamic programming

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Berman, P., Murzabulatov, M., & Raskhodnikova, S. (2016). Tolerant testers of image properties. In Y. Rabani, I. Chatzigiannakis, D. Sangiorgi, & M. Mitzenmacher (Eds.), 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 [90] (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 55). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2016.90
Berman, Piotr ; Murzabulatov, Meiram ; Raskhodnikova, Sofya. / Tolerant testers of image properties. 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016. editor / Yuval Rabani ; Ioannis Chatzigiannakis ; Davide Sangiorgi ; Michael Mitzenmacher. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. (Leibniz International Proceedings in Informatics, LIPIcs).
@inproceedings{be17b388505c4171a16b004b6d8ba3d9,
title = "Tolerant testers of image properties",
abstract = "We initiate a systematic study of tolerant testers of image properties or, equivalently, algorithms that approximate the distance from a given image to the desired property (that is, the smallest fraction of pixels that need to change in the image to ensure that the image satisfies the desired property). Image processing is a particularly compelling area of applications for sublinear-time algorithms and, specifically, property testing. However, for testing algorithms to reach their full potential in image processing, they have to be tolerant, which allows them to be resilient to noise. Prior to this work, only one tolerant testing algorithm for an image property (image partitioning) has been published. We design efficient approximation algorithms for the following fundamental questions: What fraction of pixels have to be changed in an image so that it becomes a half-plane? a representation of a convex object? a representation of a connected object? More precisely, our algorithms approximate the distance to three basic properties (being a half-plane, convexity, and connectedness) within a small additive error ϵ, after reading a number of pixels polynomial in 1/- and independent of the size of the image. The running time of the testers for half-plane and convexity is also polynomial in 1/ϵ. Tolerant testers for these three properties were not investigated previously. For convexity and connectedness, even the existence of distance approximation algorithms with query complexity independent of the input size is not implied by previous work. (It does not follow from the VC-dimension bounds, since VC dimension of convexity and connectedness, even in two dimensions, depends on the input size. It also does not follow from the existence of non-tolerant testers.) Our algorithms require very simple access to the input: uniform random samples for the half-plane property and convexity, and samples from uniformly random blocks for connectedness. However, the analysis of the algorithms, especially for convexity, requires many geometric and combinatorial insights. For example, in the analysis of the algorithm for convexity, we define a set of reference polygons Pϵ such that (1) every convex image has a nearby polygon in Pϵ and (2) one can use dynamic programming to quickly compute the smallest empirical distance to a polygon in Pϵ. This construction might be of independent interest.",
author = "Piotr Berman and Meiram Murzabulatov and Sofya Raskhodnikova",
year = "2016",
month = "8",
day = "1",
doi = "10.4230/LIPIcs.ICALP.2016.90",
language = "English (US)",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Yuval Rabani and Ioannis Chatzigiannakis and Davide Sangiorgi and Michael Mitzenmacher",
booktitle = "43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016",

}

Berman, P, Murzabulatov, M & Raskhodnikova, S 2016, Tolerant testers of image properties. in Y Rabani, I Chatzigiannakis, D Sangiorgi & M Mitzenmacher (eds), 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016., 90, Leibniz International Proceedings in Informatics, LIPIcs, vol. 55, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, Rome, Italy, 7/12/16. https://doi.org/10.4230/LIPIcs.ICALP.2016.90

Tolerant testers of image properties. / Berman, Piotr; Murzabulatov, Meiram; Raskhodnikova, Sofya.

43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016. ed. / Yuval Rabani; Ioannis Chatzigiannakis; Davide Sangiorgi; Michael Mitzenmacher. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. 90 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 55).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Tolerant testers of image properties

AU - Berman, Piotr

AU - Murzabulatov, Meiram

AU - Raskhodnikova, Sofya

PY - 2016/8/1

Y1 - 2016/8/1

N2 - We initiate a systematic study of tolerant testers of image properties or, equivalently, algorithms that approximate the distance from a given image to the desired property (that is, the smallest fraction of pixels that need to change in the image to ensure that the image satisfies the desired property). Image processing is a particularly compelling area of applications for sublinear-time algorithms and, specifically, property testing. However, for testing algorithms to reach their full potential in image processing, they have to be tolerant, which allows them to be resilient to noise. Prior to this work, only one tolerant testing algorithm for an image property (image partitioning) has been published. We design efficient approximation algorithms for the following fundamental questions: What fraction of pixels have to be changed in an image so that it becomes a half-plane? a representation of a convex object? a representation of a connected object? More precisely, our algorithms approximate the distance to three basic properties (being a half-plane, convexity, and connectedness) within a small additive error ϵ, after reading a number of pixels polynomial in 1/- and independent of the size of the image. The running time of the testers for half-plane and convexity is also polynomial in 1/ϵ. Tolerant testers for these three properties were not investigated previously. For convexity and connectedness, even the existence of distance approximation algorithms with query complexity independent of the input size is not implied by previous work. (It does not follow from the VC-dimension bounds, since VC dimension of convexity and connectedness, even in two dimensions, depends on the input size. It also does not follow from the existence of non-tolerant testers.) Our algorithms require very simple access to the input: uniform random samples for the half-plane property and convexity, and samples from uniformly random blocks for connectedness. However, the analysis of the algorithms, especially for convexity, requires many geometric and combinatorial insights. For example, in the analysis of the algorithm for convexity, we define a set of reference polygons Pϵ such that (1) every convex image has a nearby polygon in Pϵ and (2) one can use dynamic programming to quickly compute the smallest empirical distance to a polygon in Pϵ. This construction might be of independent interest.

AB - We initiate a systematic study of tolerant testers of image properties or, equivalently, algorithms that approximate the distance from a given image to the desired property (that is, the smallest fraction of pixels that need to change in the image to ensure that the image satisfies the desired property). Image processing is a particularly compelling area of applications for sublinear-time algorithms and, specifically, property testing. However, for testing algorithms to reach their full potential in image processing, they have to be tolerant, which allows them to be resilient to noise. Prior to this work, only one tolerant testing algorithm for an image property (image partitioning) has been published. We design efficient approximation algorithms for the following fundamental questions: What fraction of pixels have to be changed in an image so that it becomes a half-plane? a representation of a convex object? a representation of a connected object? More precisely, our algorithms approximate the distance to three basic properties (being a half-plane, convexity, and connectedness) within a small additive error ϵ, after reading a number of pixels polynomial in 1/- and independent of the size of the image. The running time of the testers for half-plane and convexity is also polynomial in 1/ϵ. Tolerant testers for these three properties were not investigated previously. For convexity and connectedness, even the existence of distance approximation algorithms with query complexity independent of the input size is not implied by previous work. (It does not follow from the VC-dimension bounds, since VC dimension of convexity and connectedness, even in two dimensions, depends on the input size. It also does not follow from the existence of non-tolerant testers.) Our algorithms require very simple access to the input: uniform random samples for the half-plane property and convexity, and samples from uniformly random blocks for connectedness. However, the analysis of the algorithms, especially for convexity, requires many geometric and combinatorial insights. For example, in the analysis of the algorithm for convexity, we define a set of reference polygons Pϵ such that (1) every convex image has a nearby polygon in Pϵ and (2) one can use dynamic programming to quickly compute the smallest empirical distance to a polygon in Pϵ. This construction might be of independent interest.

UR - http://www.scopus.com/inward/record.url?scp=85012909214&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85012909214&partnerID=8YFLogxK

U2 - 10.4230/LIPIcs.ICALP.2016.90

DO - 10.4230/LIPIcs.ICALP.2016.90

M3 - Conference contribution

AN - SCOPUS:85012909214

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016

A2 - Rabani, Yuval

A2 - Chatzigiannakis, Ioannis

A2 - Sangiorgi, Davide

A2 - Mitzenmacher, Michael

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -

Berman P, Murzabulatov M, Raskhodnikova S. Tolerant testers of image properties. In Rabani Y, Chatzigiannakis I, Sangiorgi D, Mitzenmacher M, editors, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2016. 90. (Leibniz International Proceedings in Informatics, LIPIcs). https://doi.org/10.4230/LIPIcs.ICALP.2016.90