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 条
  • [31] CONSTRUCTIONS OF GOLAY COMPLEMENTARY (ARRAY) SETS BASED ON EXTENDED BOOLEAN FUNCTIONS
    Liu, Chen
    Fan, Cuiling
    Su, Wei
    Yang, Meng
    ADVANCES IN MATHEMATICS OF COMMUNICATIONS, 2024,
  • [32] Combining Zonotopes and Support Functions for Efficient Reachability Analysis of Linear Systems
    Althoff, Matthias
    Frehse, Goran
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 7439 - 7446
  • [33] Minkowski and Lyapunov Functions in Contractive Sets Characterization for Discrete-Time Linear Systems
    Matcovschi, Mihaela-Hanako
    Apetrii, Marius
    Pastravanu, Octavian
    Voicu, Mihail
    2021 25TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2021, : 227 - 233
  • [34] UNIFORM COMPLETENESS OF SETS OF RECIPROCALS OF LINEAR FUNCTIONS
    PORCELLI, P
    DUKE MATHEMATICAL JOURNAL, 1953, 20 (02) : 185 - 193
  • [35] EFFICIENT CONSTRUCTIONS OF TEST SETS FOR REGULAR AND CONTEXT-FREE LANGUAGES
    KARHUMAKI, J
    RYTTER, W
    JAROMINEK, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 249 - 258
  • [36] EFFICIENT CONSTRUCTIONS OF TEST SETS FOR REGULAR AND CONTEXT-FREE LANGUAGES
    KARHUMAKI, J
    RYTTER, W
    JAROMINEK, S
    THEORETICAL COMPUTER SCIENCE, 1993, 116 (02) : 305 - 316
  • [37] Constructions for overlarge sets of disjoint pure directed triple systems
    Tian, Zihong
    Xu, Shencai
    JOURNAL OF APPLIED MATHEMATICS AND COMPUTING, 2011, 35 (1-2) : 407 - 416
  • [38] Doubling and tripling constructions for defining sets in Steiner triple systems
    Donovan, D
    Khodkar, A
    Street, AP
    GRAPHS AND COMBINATORICS, 2003, 19 (01) : 65 - 89
  • [39] Doubling and Tripling Constructions for Defining Sets in Steiner Triple Systems
    Diane Donovan
    Abdollah Khodkar
    Anne Penfold Street
    Graphs and Combinatorics, 2003, 19 : 65 - 89
  • [40] Constructions of Difference Systems of Sets From Finite Projective Geometry
    Fan, Cui-Ling
    Lei, Jian-Guo
    IEEE TRANSACTIONS ON INFORMATION THEORY, 2012, 58 (01) : 130 - 138