The fraction of large random trees representing a given Boolean function in implicational logic (Q2884007)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The fraction of large random trees representing a given Boolean function in implicational logic |
scientific article |
Statements
The fraction of large random trees representing a given Boolean function in implicational logic (English)
0 references
14 May 2012
0 references
Boolean functions
0 references
implicational formulas
0 references
complexity
0 references
limiting ratio
0 references
probability distribution
0 references
analytic combinatorics
0 references
read-once functions
0 references
branching processes
0 references
0 references
0 references
