Simplicial Complexes and Boolean functions (Q7361164)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Simplicial_complexes_and_boolean_functions
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Simplicial Complexes and Boolean functions |
AFP entry Simplicial_complexes_and_boolean_functions |
Statements
29 November 2021
0 references
Jesús Aransay
0 references
Alejandro del Campo
0 references
Julius Michaelis
0 references
Simplicial Complexes and Boolean functions (English)
0 references
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.
0 references
