Efficient constructions of Hitting sets for systems of linear functions

被引:0
|
作者
Andreev, AE [1 ]
Clementi, AEF
Rolim, JDP
机构
[1] Moscow MV Lomonosov State Univ, Dept Math, Moscow 117234, Russia
[2] Univ Rome La Sapienza, Dipartimento Sci Informaz, Rome, Italy
[3] Univ Geneva, Ctr Informat, CH-1211 Geneva 4, Switzerland
关键词
RANDOMNESS;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Given a positive number delta is an element of (0, 1), a subset H subset of or equal to {0, 1}(n) is a delta-Hitting Set for a class R of boolean functions with n inputs if, for any function f is an element of R such that Pr (f = 1) greater than or equal to delta, there exists an element h is an element of H such that f(h) = 1. Our paper presents a new deterministic method to efficiently construct delta-Hitting Set for the class of systems (i.e. logical conjunctions) of boolean linear functions. Systems of boolean linear functions can be considered as the algebraic generalization of boolean combinatorial rectangular functions, the only significative example for which an efficient deterministic construction of Hitting Sets were previously known. In the restricted case of boolean rectangular functions, our method (even though completely different) achieves equivalent results to those obtained in [11]. Our results also gives an upper bound on the minimum cardinality of solution covers for the class of systems of linear equations defined over a finite field. Furthermore, as preliminary result, we show a new upper bound on the circuit complexity of integer monotone functions generalizing previous results obtained in [12].
引用
收藏
页码:387 / 398
页数:12
相关论文
共 50 条
  • [41] Recursive constructions for large sets of resolvable hybrid triple systems
    Zhou, Junling
    AUSTRALASIAN JOURNAL OF COMBINATORICS, 2006, 36 : 113 - 122
  • [42] Independent Sets and Hitting Sets of Bicolored Rectangular Families
    Soto, Jose A.
    Telha, Claudio
    ALGORITHMICA, 2021, 83 (06) : 1918 - 1952
  • [43] Independent Sets and Hitting Sets of Bicolored Rectangular Families
    José A. Soto
    Claudio Telha
    Algorithmica, 2021, 83 : 1918 - 1952
  • [44] On efficient computation of low-complexity controlled invariant sets for uncertain linear systems
    Blanco, Toni Barjas
    Cannon, Mark
    De Moor, Bart
    INTERNATIONAL JOURNAL OF CONTROL, 2010, 83 (07) : 1339 - 1346
  • [46] Dynamical Systems on Sets of Holomorphic Functions
    Kondratiev, Yuri
    Kozitsky, Yuri
    Shoikhet, David
    COMPLEX ANALYSIS AND DYNAMICAL SYSTEMS IV, PT 1: FUNCTION THEORY AND OPTIMIZATION, 2011, 553 : 139 - +
  • [47] SYSTEMS OF SETS WITH SET-FUNCTIONS
    KHAFIZOV, MK
    MATHEMATICAL NOTES, 1979, 26 (5-6) : 872 - 878
  • [48] Constructions of complete sets
    Papini, Pier Luigi
    Wu, Senlin
    ADVANCES IN GEOMETRY, 2015, 15 (04) : 485 - 498
  • [49] SEPARABLE LYAPUNOV FUNCTIONS FOR MONOTONE SYSTEMS: CONSTRUCTIONS AND LIMITATIONS
    Dirr, Gunther
    Ito, Hiroshi
    Rantzer, Anders
    Rueffer, Bjoern S.
    DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2015, 20 (08): : 2497 - 2526
  • [50] Linear time-variant systems: Lyapunov functions and invariant sets defined by Holder norms
    Pastravanu, Octavian
    Matcovschi, Mihaela-Hanako
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2010, 347 (03): : 627 - 640