Representing polynomial of CONNECTIVITY

Jānis Iraids,Juris Smotrovs

CoRR(2021)

引用 0|浏览0
暂无评分
摘要
We show that the coefficients of the representing polynomial of any monotone Boolean function are the values of a Moebius function of an atomistic lattice related to this function. Using this we determine the representing polynomial of any Boolean function corresponding to a direct acyclic graph connectivity problem. Only monomials corresponding to unions of paths have non-zero coefficients which are $(-1)^D$ where $D$ is an easily computable function of the graph corresponding to the monomial (it is the number of plane regions in the case of planar graphs). We estimate the number of monomials with non-zero coefficients for the two-dimensional grid connectivity problem as being between $\Omega(1.641^{2n^2})$ and $O(1.654^{2n^2})$.
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要