流言幺半群中的 NP-完全性
组合数学
2016-06-06 v1 环与代数
摘要
流言幺半群形成了一种具有排他性、瞬时连接的网络代数模型，其中节点在形成连接时交换所有已知信息。它们也在纯数学中自然出现，作为给定有限集上所有等价关系在关系复合下生成的幺半群。我们证明了这些幺半群的若干重要判定问题（包括成员资格问题，以及由此决定的在所述类型的网络中能否出现给定知识状态的问题）是 NP-完全的。这些结果不仅本身有趣，还揭示了确定流言幺半群基数这一问题的明显困难，该问题在过去几年中引起了一些关注。
引用
@article{arxiv.1606.01026,
title = {NP-completeness in the gossip monoid},
author = {Peter Fenner and Marianne Johnson and Mark Kambites},
journal= {arXiv preprint arXiv:1606.01026},
year = {2016}
}
备注
18 pages