关于图子的可计算性
逻辑
2018-02-01 v1 计算机科学中的逻辑
组合数学
概率论
摘要
我们研究了当可交换二元关系数据以图上不变测度的分布、或以 或切割距离下的图子表示时，其相对可计算性。我们建立了基本的可计算等价关系，并表明 表示包含比其他表示根本上更多的可计算信息，但 足以在可计算的此类表示之间转换。我们表明 在一般情况下是必要的，但在无随机图子的情况下，不需要任何预言机。我们还提供了一个 -可计算的无随机图子，它弱同构于任何具有几乎处处连续版本的图子。
引用
@article{arxiv.1801.10387,
title = {On the computability of graphons},
author = {Nathanael L. Ackerman and Jeremy Avigad and Cameron E. Freer and Daniel M. Roy and Jason M. Rute},
journal= {arXiv preprint arXiv:1801.10387},
year = {2018}
}
备注
24 pages, 1 figure