๐ฎ
๐ฎ
The Ethereal
Fast Computing the Algebraic Degree of Boolean Functions
May 21, 2019 ยท The Ethereal ยท ๐ Conference on Algebraic Informatics
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Valentin Bakoev
arXiv ID
1905.08649
Category
cs.DM: Discrete Mathematics
Cross-listed
cs.DS
Citations
2
Venue
Conference on Algebraic Informatics
Last Checked
2 months ago
Abstract
Here we consider an approach for fast computing the algebraic degree of Boolean functions. It combines fast computing the ANF (known as ANF transform) and thereafter the algebraic degree by using the weight-lexicographic order (WLO) of the vectors of the $n$-dimensional Boolean cube. Byte-wise and bitwise versions of a search based on the WLO and their implementations are discussed. They are compared with the usual exhaustive search applied in computing the algebraic degree. For Boolean functions of $n$ variables, the bitwise implementation of the search by WLO has total time complexity $O(n.2^n)$. When such a function is given by its truth table vector and its algebraic degree is computed by the bitwise versions of the algorithms discussed, the total time complexity is $ฮ((9n-2).2^{n-7})=ฮ(n.2^n)$. All algorithms discussed have time complexities of the same type, but with big differences in the constants hidden in the $ฮ$-notation. The experimental results after numerous tests confirm the theoretical results - the running times of the bitwise implementation are dozens of times better than the running times of the byte-wise algorithms.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Discrete Mathematics
๐ฎ
๐ฎ
The Ethereal
An Introduction to Temporal Graphs: An Algorithmic Perspective
๐ฎ
๐ฎ
The Ethereal
Guarantees for Greedy Maximization of Non-submodular Functions with Applications
๐ฎ
๐ฎ
The Ethereal
A note on the triangle inequality for the Jaccard distance
๐ฎ
๐ฎ
The Ethereal
Fast clique minor generation in Chimera qubit connectivity graphs
๐ฎ
๐ฎ
The Ethereal