Timeline for Symmetric group acting on the set of boolean functions
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2017 at 3:21 | comment | added | Keith Kearnes | I think Ashot means "Boolean functions in n variables". Such a thing, $f(x_1,\ldots,x_n)$, accepts inputs $x_i\in \{0,1\}$ and produces an output in $\{0,1\}$. That is, it is a function from $\{0,1\}^n$ to $\{0,1\}$. There are $2^{2^n}$ such things. | |
| Feb 5, 2017 at 20:26 | comment | added | Ehud Meir | So you mean "boolean functions on boolean functions on $n$ elements"? | |
| Feb 5, 2017 at 20:24 | comment | added | Ashot | $2^{2^n}$ is the number of boolean functions of $n$ arguments. The group acts on that set. | |
| Feb 5, 2017 at 20:09 | comment | added | Ehud Meir | Why do you have $2^{2^n}$ and not just $2^n$ in the approximation? In any case, it really seems that this is the same as the action of $S_n$ on subsets of $\{1,\ldots, n\}$, and the number of orbits is just $n+1$. | |
| Feb 5, 2017 at 20:03 | vote | accept | Ashot | ||
| Feb 5, 2017 at 19:46 | history | edited | Ben McKay | CC BY-SA 3.0 |
spelling, grammar
|
| Feb 5, 2017 at 19:30 | answer | added | Richard Stanley | timeline score: 5 | |
| Feb 5, 2017 at 18:35 | history | asked | Ashot | CC BY-SA 3.0 |