Skip to main navigation Skip to search Skip to main content

Testers and their applications

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We develop a new notion called tester of a class M of functions f: A → C that maps the elements α ∈ A in the domain A of the function to a finite number (the size of the tester) of elements b1,⋯, bt in a smaller sub-domain B ⊂ A where the property f(a) ≠ 0 is preserved for all f ∈ M. I.e., for all f ∈ M and α ∈ A if f(a) ≠ 0 then f(bi) ≠ 0 for some i. We use tools from elementary algebra and algebraic function fields to construct testers of almost optimal size in deterministic polynomial time in the size of the tester. We then apply testers to deterministically construct new set of objects with some combinatorial and algebraic properties that can be used to derandomize some algorithms. We show that those new constructions are almost optimal and for many of them meet the union bound of the problem. Constructions include, d-restriction problems, perfect hash, universal sets, cover-free families, separating hash functions, polynomial restriction problems, black box polynomial identity testing for polynomials and circuits over small fields and hitting sets.

Original languageEnglish
Title of host publicationITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science
Pages327-351
Number of pages25
DOIs
StatePublished - 2014
Event2014 5th Conference on Innovations in Theoretical Computer Science, ITCS 2014 - Princeton, NJ, United States
Duration: 12 Jan 201414 Jan 2014

Publication series

NameITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science

Conference

Conference2014 5th Conference on Innovations in Theoretical Computer Science, ITCS 2014
Country/TerritoryUnited States
CityPrinceton, NJ
Period12/01/1414/01/14

Keywords

  • Combinatorial objects
  • Cover-Free families
  • D-Restriction problems
  • Derandomization
  • Hitting sets
  • Perfect hash
  • Polynomial identity testing (PIT)
  • Polynomial restriction problems
  • Separating hash functions
  • Universal sets

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'Testers and their applications'. Together they form a unique fingerprint.

Cite this