arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0903.3848math.CO
收藏

并不可约布尔函数

Join-irreducible Boolean functions

Moncef Bouaziz, Miguel Couceiro, Maurice Pouzet

摘要:

本文研究布尔函数集合$Ω$上的一个拟序,即\emph{simple minor}拟序.我们看看由此产生的偏序集$\tildeΩ$的并不可约成员。利用布尔函数和超图之间的双向对应关系,并不可约性转化为超图的组合性质。我们发现在Steiner系统中,产生$\tildeΩ$的并不可约成员的是-2-单态Steiner系统.我们还描述了与$\tildeΩ$的并不可约成员相对应的图。

英文摘要:

This paper is a contribution to the study of a quasi-order on the set $Ω$ of Boolean functions, the \emph{simple minor} quasi-order. We look at the join-irreducible members of the resulting poset $\tildeΩ$. Using a two-way correspondence between Boolean functions and hypergraphs, join-irreducibility translates into a combinatorial property of hypergraphs. We observe that among Steiner systems, those which yield join-irreducible members of $\tildeΩ$ are the -2-monomorphic Steiner systems. We also describe the graphs which correspond to join-irreducible members of $\tildeΩ$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑