Combinatorial and Algorithmic Properties of One Matrix Structure at Monotone Boolean Functions

02/16/2019
by   Valentin Bakoev, et al.
0

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them generates all monotone Boolean functions of n variables in lexicographic order. The second one determines the first (resp. the last) lexicographically minimal true (resp. maximal false) vector of an unknown monotone function f of n variables. The algorithm uses at most n membership queries and its running time is Θ(n). It serves the third algorithm, which identifies an unknown monotone Boolean function f of n variables by using membership queries only. The experimental results show that for 1≤ n≤ 6, the algorithm determines f by using at most m.n queries, where m is the combined size of the sets of minimal true and maximal false vectors of f.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/27/2018

A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries

When a relational database is queried, the result is normally a relation...
research
04/27/2023

Counting unate and balanced monotone Boolean functions

For n≤ 6, we provide the number of n-variable unate and monotone Boolean...
research
04/25/2022

Properly learning monotone functions via local reconstruction

We give a 2^Õ(√(n)/ε)-time algorithm for properly learning monotone Bool...
research
05/30/2021

Convergence of Datalog over (Pre-) Semirings

Recursive queries have been traditionally studied in the framework of da...
research
11/11/2018

About the ordinances of the vectors of the n-dimensional Boolean cube in accordance with their weights

The problem "Given a Boolean function f of n variables by its truth tabl...
research
04/16/2023

Towards a Switching-Algebraic Theory of Weighted Monotone Voting Systems: The Case of Banzhaf Voting Indices

This paper provides a serious attempt towards constructing a switching-a...
research
03/06/2021

Consensus Maximisation Using Influences of Monotone Boolean Functions

Consensus maximisation (MaxCon), which is widely used for robust fitting...

Please sign up or login with your details

Forgot password? Click here to reset