Representing polynomial of ST-CONNECTIVITY
We show that the coefficients of the representing polynomial of any monotone Boolean function are the values of the M\"obius function of an atomistic lattice related to this function. Using this we determine the representing polynomial of any Boolean function corresponding to a ST-CONNECTIVITY...
Uloženo v:
| Vydáno v: | Discrete mathematics and theoretical computer science Ročník 25:2; číslo Combinatorics |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Discrete Mathematics & Theoretical Computer Science
29.04.2024
|
| Témata: | |
| ISSN: | 1365-8050, 1365-8050 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | We show that the coefficients of the representing polynomial of any monotone
Boolean function are the values of the M\"obius function of an atomistic
lattice related to this function. Using this we determine the representing
polynomial of any Boolean function corresponding to a ST-CONNECTIVITY problem
in acyclic quivers (directed acyclic multigraphs). Only monomials corresponding
to unions of paths have non-zero coefficients which are $(-1)^D$ where $D$ is
an easily computable function of the quiver corresponding to the monomial (it
is the number of plane regions in the case of planar graphs). We determine that
the number of monomials with non-zero coefficients for the two-dimensional $n
\times n$ grid connectivity problem is $2^{\Omega(n^2)}$. |
|---|---|
| ISSN: | 1365-8050 1365-8050 |
| DOI: | 10.46298/dmtcs.9934 |