RUS  ENG
Full version
JOURNALS // Matematicheskie Voprosy Kriptografii [Mathematical Aspects of Cryptography] // Archive

Mat. Vopr. Kriptogr., 2024 Volume 15, Issue 4, Pages 91–112 (Mi mvk486)

On properties of a matroid connected with the construction of bijunctive consequences of Boolean equations systems

A. V. Tarasov

LLC «Sertification Research Center», Moscow

Abstract: The article is devoted to the study of linear dependencies in a set of Boolean functions represented by elementary conjunctions of length 2. Values of the number of minimal linearly dependent sets of a special type and lower estimates of the number of linearly independent sets of a given cardinality are obtained.

Key words: Boolean function, matroid, the matroid cycle.

UDC: 519.712.41

Received 21.V.2024

DOI: 10.4213/mvk486



© Steklov Math. Inst. of RAS, 2025