The Nature and Power of Fixed-Point Logic with Counting
The Nature and Power of Fixed-Point Logic with Counting
复制标题
具有计数功能的定点逻辑的本质和强大功能
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
N. Immerman
中科院分区：
文献类型：
--
作者：
N. Immerman
在20世纪80年代，Eric Lander，Jin-Yi Cai，Martin Fürer和我开始探索计数定点逻辑（FPC）的功能。这个自然的类是深刻的挑战，捕捉类的多项式时间图的属性和确定的复杂性图同构的问题，仍然是开放的。尽管如此，现在人们对FPC的非凡力量有了更多的了解。Anuj Dawar在以下可爱的调查中解释道。
In the 1980’s Eric Lander, Jin-Yi Cai, Martin Fürer and I began to explore the power of fixed point logic with counting (FPC). This natural class is deeply entwined with the challenge of capturing the class of polynomial-time graph properties and determining the complexity of graph isomorphism — problems that remain open. Despite that, so much more is now known about the remarkable power of FPC. Anuj Dawar explains in the following lovely survey.
带计数的定点逻辑中的最大匹配和线性规划
DOI：
10.1109/lics.2013.23
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Anderson M
通讯作者：
Anderson M
影响因子：
0.5
作者：
Anderson M
通讯作者：
Anderson M