TY - GEN
T1 - Testers and their applications
AU - Bshouty, Nader H.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
KW - Combinatorial objects
KW - Cover-Free families
KW - D-Restriction problems
KW - Derandomization
KW - Hitting sets
KW - Perfect hash
KW - Polynomial identity testing (PIT)
KW - Polynomial restriction problems
KW - Separating hash functions
KW - Universal sets
UR - https://www.scopus.com/pages/publications/84893287741
U2 - 10.1145/2554797.2554828
DO - 10.1145/2554797.2554828
M3 - منشور من مؤتمر
SN - 9781450322430
T3 - ITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science
SP - 327
EP - 351
BT - ITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science
T2 - 2014 5th Conference on Innovations in Theoretical Computer Science, ITCS 2014
Y2 - 12 January 2014 through 14 January 2014
ER -