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 条
  • [21] Near-Linear Algorithms for Geometric Hitting Sets and Set Covers
    Pankaj K. Agarwal
    Jiangwei Pan
    Discrete & Computational Geometry, 2020, 63 : 460 - 482
  • [22] On Linear and Quadratic Constructions of Fuzzy Implication Functions
    Massanet, Sebastia
    Vicente Riera, Juan
    Torrens, Joan
    INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN KNOWLEDGE-BASED SYSTEMS: THEORY AND FOUNDATIONS, IPMU 2018, PT I, 2018, 853 : 623 - 635
  • [23] The efficient computation of polyhedral invariant sets for linear systems with polytopic uncertainty
    Pluymers, B
    Rossiter, JA
    Suykens, JAK
    De Moor, B
    ACC: Proceedings of the 2005 American Control Conference, Vols 1-7, 2005, : 804 - 809
  • [24] The Constructions for Large Sets and Overlarge Sets of Resolvable Hybrid Triple Systems
    Meihui CHENG
    Zhifen GUO
    JournalofMathematicalResearchwithApplications, 2015, 35 (01) : 19 - 38
  • [25] Classifications and constructions of minimum size linear sets on the projective line
    Napolitano, Vito
    Polverino, Olga
    Santonastaso, Paolo
    Zullo, Ferdinando
    FINITE FIELDS AND THEIR APPLICATIONS, 2023, 92
  • [26] LINEAR PICARD SETS FOR ENTIRE FUNCTIONS
    BAKER, IN
    MATHEMATISCHE NACHRICHTEN, 1974, 64 : 263 - 276
  • [27] Direct constructions of large sets of Kirkman triple systems
    Hao Zheng
    Yanxun Chang
    Junling Zhou
    Designs, Codes and Cryptography, 2017, 83 : 23 - 32
  • [28] Constructions of difference systems of sets and disjoint difference families
    Fan, Cui-Ling
    Lei, Jian-Guo
    Chang, Yan-Xun
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2008, 54 (07) : 3195 - 3201
  • [29] Direct constructions of large sets of Kirkman triple systems
    Zheng, Hao
    Chang, Yanxun
    Zhou, Junling
    DESIGNS CODES AND CRYPTOGRAPHY, 2017, 83 (01) : 23 - 32
  • [30] Efficient computation of reachable sets of linear time-invariant systems with inputs
    Girard, Antoine
    Le Guernic, Colas
    Maler, Oded
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 257 - 271