Premium
Two‐sided error proximity oblivious testing
Author(s) -
Goldreich Oded,
Shinkar Igor
Publication year - 2016
Publication title -
random structures and algorithms
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.314
H-Index - 69
eISSN - 1098-2418
pISSN - 1042-9832
DOI - 10.1002/rsa.20582
Subject(s) - property (philosophy) , computer science , property testing , function (biology) , algorithm , object (grammar) , constant (computer programming) , discrete mathematics , mathematics , theoretical computer science , artificial intelligence , programming language , philosophy , epistemology , evolutionary biology , biology
Abstract Loosely speaking, a proximity‐oblivious (property) tester is a randomized algorithm that makes a constant number of queries to a tested object and distinguishes objects that have a predetermined property from those that lack it. Specifically, for some threshold probability c , objects having the property are accepted with probability at least c , whereas objects that are ϵ ‐far from having the property are accepted with probability at most c − F ( ϵ ) , where F : (0,1] → (0,1] is some fixed monotone function. (We stress that, in contrast to standard testers, a proximity‐oblivious tester is not given the proximity parameter.) The foregoing notion, introduced by Goldreich and Ron (STOC 2009), was originally defined with respect to c = 1, which corresponds to one‐sided error (proximity‐oblivious) testing. Here we study the two‐sided error version of proximity‐oblivious testers; that is, the (general) case of arbitrary c ∊ (0,1]. We show that, in many natural cases, two‐sided error proximity‐oblivious testers are more powerful than one‐sided error proximity‐oblivious testers; that is, many natural properties that have no one‐sided error proximity‐oblivious testers do have a two‐sided error proximity‐oblivious tester. © 2014 Wiley Periodicals, Inc. Random Struct. Alg., 48, 341–383, 2016