等价关系格中的可计算性
计算复杂性
2017-04-20 v1
摘要
我们研究自然数上等价关系格中的可计算性。我们主要研究适当定义的子递归等价关系子集——例如所有多项式时间可判定等价关系的集合——是否构成该格的子格。
引用
@article{arxiv.1704.05587,
title = {Computability in the Lattice of Equivalence Relations},
author = {Jean-Yves Moyen and Jakob Grue Simonsen},
journal= {arXiv preprint arXiv:1704.05587},
year = {2017}
}
备注
In Proceedings DICE-FOPARA 2017, arXiv:1704.05169