包含于克隆中的阈值函数方程类的完全分类
环与代数
2016-11-22 v1 组合数学
摘要
阈值函数类已知可以通过函数方程或等价地通过关系对（称为关系约束）来刻画。Hellerstein表明，该类不能通过有限个这样的对象来刻画。在本文中，我们研究了作为所有阈值函数类与布尔函数克隆的交集而出现的阈值函数类，并提供了这些交集在是否具有有限刻画方面的完全分类。此外，我们为以这种方式出现的每个阈值函数类提供了一个特征性的关系约束集。
引用
@article{arxiv.1310.7041,
title = {A complete classification of equational classes of threshold functions included in clones},
author = {Miguel Couceiro and Erkko Lehtonen and Karsten Schölzel},
journal= {arXiv preprint arXiv:1310.7041},
year = {2016}
}
备注
22 pages