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 条
  • [1] LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure
    Zhao, Xiangfu
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2018, 72 : 327 - 339
  • [2] On sparse sets hitting linear forms
    Chung, F
    Erdös, P
    Graham, R
    NUMBER THEORY FOR THE MILLENNIUM I, 2002, : 257 - 272
  • [3] Fractional hitting sets for efficient multiset sketching
    Rouze, Timothe
    Martayan, Igor
    Marchet, Camille
    Limasset, Antoine
    ALGORITHMS FOR MOLECULAR BIOLOGY, 2025, 20 (01)
  • [4] CONSTRUCTIONS OF BENT FUNCTIONS AND DIFFERENCE SETS
    NYBERG, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 473 : 151 - 160
  • [5] CONSTRUCTIONS OF DETERMINANT SETS FOR ANALYTIC-FUNCTIONS
    CHMIELOWSKI, J
    STUDIA MATHEMATICA, 1976, 57 (02) : 141 - 146
  • [6] On linear co-positive Lyapunov functions for sets of linear positive systems
    Knorn, Florian
    Mason, Oliver
    Shorten, Robert
    AUTOMATICA, 2009, 45 (08) : 1943 - 1947
  • [7] Constructions of optimal difference systems of sets
    Fan CuiLing
    Lei JianGuo
    Shan XiuLing
    SCIENCE CHINA-MATHEMATICS, 2011, 54 (01) : 173 - 184
  • [8] Constructions of optimal difference systems of sets
    CuiLing Fan
    JianGuo Lei
    XiuLing Shan
    Science China Mathematics, 2011, 54 : 173 - 184
  • [9] Constructions of optimal difference systems of sets
    FAN CuiLing1
    2College of Mathematics and Information Science
    ScienceChina(Mathematics), 2011, 54 (01) : 173 - 184
  • [10] On linear and quadratic constructions of aggregation functions
    Kolesarova, Anna
    Mesiar, Radko
    FUZZY SETS AND SYSTEMS, 2015, 268 : 1 - 14