超图的全称 Horn 类的可公理化性与困难性
组合数学
2022-06-23 v1 计算复杂性
离散数学
计算机科学中的逻辑
逻辑
摘要
我们刻画了由有限无环超图生成的全称 Horn 类的有限可公理化性以及判定其成员关系的难处理性。
引用
@article{arxiv.1704.02099,
title = {Axiomatisability and hardness for universal Horn classes of hypergraphs},
author = {Lucy Ham and Marcel Jackson},
journal= {arXiv preprint arXiv:1704.02099},
year = {2022}
}