布尔运河化 swMATH ID: 43763 软件作者： 迪米特洛娃，埃琳娜；布兰迪林·斯蒂格勒；卡德尔卡，克劳斯；大卫·默鲁加拉 描述： 揭示布尔函数的管道化结构：算法和应用。布尔函数可以用多种方式表示，包括逻辑形式、真值表和多项式。此外，布尔函数具有不同的规范表示，例如最小析取范式。另一种规范表示是基于布尔函数的多项式表示和管道化的生物学概念：任何布尔函数都可以写成管道化层的嵌套乘积和包含永远不会管道化的变量的多项式。本文研究了布尔函数渠化层的识别问题。首先，我们证明了找到管道化层的问题是NP-hard。其次，我们提出了几种查找管道化层的算法，讨论了它们的复杂性，并比较了它们的性能。第三，我们展示了如何使用管道化层格式为任何嵌套管道化函数找到析取范式。另一个应用程序处理具有指定分层格式的布尔网络的反向工程。Python和计算机代数系统Macaulay2中开发的算法的实现可以在https://github.com/ckadelka/BooleanCanalization网站（在新选项卡中打开）。 主页： https://arxiv.org/abs/2106.06580 源代码： https://github.com/ckadelka/BooleanCanalization网站 依赖项： 蟒蛇；麦考利2 关键词： 布尔函数；管道化层；NP-hard公司；析取范式；逆向工程 相关软件： 蟒蛇；麦考利2 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 揭示布尔函数的管道化结构：算法和应用。 Zbl 07616423号埃琳娜·迪米特洛娃；布兰迪林·斯蒂格勒；克劳斯·卡德尔卡；大卫·默鲁加拉 2022 全部的 前5名6位作者引用 2 克劳斯·卡德尔卡 1 埃琳娜·S·迪米特洛娃。 1 本杰明·凯尔蒂 1 莱因哈德·劳本巴赫（Reinhard C.Laubenbacher）。 1 大卫·默鲁加拉 1 布兰迪林·斯蒂格勒 2篇连载文章中引用 1 Automatica公司 1 应用数学进展 在1个字段中引用 2 信息与通信理论、电路（94-XX） 按年份列出的引文