区间图的FO模型检验第条作者：Robert Ganian
; 彼得·赫利内尼; 丹尼尔·克莱尔; 扬·奥布德扎勒克（Jan Obdrzalek）；Jarett Schwartz；雅库布·特斯卡
0000-0002-7762-8045##0000-0003-2125-1514##0000-0001-8680-0890##空##空
罗伯特·加尼安；Petr Hlineny；丹尼尔·克莱尔（Daniel Kral）；扬·奥布德扎勒克（Jan Obdrzalek）；贾雷特·施瓦茨（Jarett Schwartz）；雅库布·特斯卡
我们研究了FO模型检查问题的计算复杂性区间图，即实线上区间的交集图。这个主要的积极结果是FO模型检查和后续的变FO模型n点区间图的检查可以在时间O（n log n）内解决仅包含从指定的有限区间开始的长度的区间的表示设置。我们通过证明如果长度限制为开放子集中稠密的任何集合，例如设置$（1,1+\varepsilon）$。
第11卷第4期
发布日期：2015年12月14日
提交日期：2015年3月3日
关键词：计算机科学-离散数学，计算机科学-计算机科学中的逻辑
基金： 来源：OpenAIRE Graph- 组合对象类：从结构到算法; 出资人：欧洲委员会；代码：259385
- 推理问题的参数化复杂性; 出资人：欧洲委员会；代码：239962
- 开发新型固定参数牵引结构（X-TRACT）; 资助者：奥地利科学基金（FWF）；代码：P 26696
