Relations between threshold and k-interval Boolean functions

被引:0
作者
David Kronus
机构
[1] Charles University,Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics
来源
Annals of Operations Research | 2011年 / 188卷
关键词
Boolean function; Interval representation; Threshold function; Knowledge compression;
D O I
暂无
中图分类号
学科分类号
摘要
Every k-interval Boolean function f can be represented by at most k intervals of integers such that vector x is a truepoint of f if and only if the integer represented by x belongs to one of these k (disjoint) intervals. Since the correspondence of Boolean vectors and integers depends on the order of bits an interval representation is also specified with respect to an order of variables of the represented function. Interval representation can be useful as an efficient representation for special classes of Boolean functions which can be represented by a small number of intervals. In this paper we study inclusion relations between the classes of threshold and k-interval Boolean functions. We show that positive 2-interval functions constitute a (proper) subclass of positive threshold functions and that such inclusion does not hold for any k>2. We also prove that threshold functions do not constitute a subclass of k-interval functions, for any k.
引用
收藏
页码:263 / 278
页数:15
相关论文
共 11 条
  • [1] Boros E.(1998)Horn minimization by iterative decomposition Annals of Mathematics and Artificial Intelligence 23 321-343
  • [2] Čepek O.(2008)Recognition of interval boolean functions Annals of Mathematics and Artificial Intelligence 52 1-24
  • [3] Kogan A.(1993)Optimal compression of propositional horn knowledge bases: complexity and approximation Artificial Intelligence 64 131-145
  • [4] Čepek O.(2005)Computing the minimum DNF representation of boolean functions defined by intervals Discrete Applied Mathematics 149 154-173
  • [5] Kronus D.(undefined)undefined undefined undefined undefined-undefined
  • [6] Kučera P.(undefined)undefined undefined undefined undefined-undefined
  • [7] Hammer P. L.(undefined)undefined undefined undefined undefined-undefined
  • [8] Kogan A.(undefined)undefined undefined undefined undefined-undefined
  • [9] Schieber B.(undefined)undefined undefined undefined undefined-undefined
  • [10] Geist D.(undefined)undefined undefined undefined undefined-undefined