合取网络中的不动点与图收缩中的极大独立集
组合数学
2017-11-08 v2 离散数学
摘要
给定一个图（视为无环对称有向图），我们研究以为交互图的合取布尔网络中不动点的最大数量。我们证明，若无诱导，则该数量等于中极大独立集的数量，也等于通过收缩某些边从得到的所有图中极大独立集的最大数量。我们还证明，在一般情况下，即使有唯一诱导，判定这些等式之一是否成立是coNP困难的。
引用
@article{arxiv.1507.06141,
title = {Fixed points in conjunctive networks and maximal independent sets in graph contractions},
author = {Julio Aracena and Adrien Richard and Lilian Salinas},
journal= {arXiv preprint arXiv:1507.06141},
year = {2017}
}
备注
28 pages, 13 figures, accepted in Journal of Computer and System Sciences, 2017