Email Gateway (Dec 13 2021 at 03:24): Email Gateway (Dec 13 2021 at 03:24):From: Gerwin Klein <kleing@unsw.edu.au>
Simplicial Complexes and Boolean functions
by Jesús Aransay, Alejandro del Campo, and Julius Michaelis
In this work we formalise the isomorphism between simplicial complexes
of dimension $n$ and monotone Boolean functions in $n$ variables,
mainly following the definitions and results as introduced by N. A.
Scoville. We also take advantage of the AFP representation of ROBDD
(Reduced Ordered Binary Decision Diagrams) to compute the ROBDD
representation of a given simplicial complex (by means of the
isomorphism to Boolean functions). Some examples of simplicial
complexes and associated Boolean functions are also presented.
https://www.isa-afp.org/entries/Simplicial_complexes_and_boolean_functions.html
Enjoy!
Gerwin
Last updated: Jul 15 2022 at 23:21 UTC