公式大小作为复杂性度量
逻辑
2012-08-24 v1 计算机科学中的逻辑
摘要
我们引入了一种对经典 Ehrenfeucht-Fra"{\i}ss\'e 博弈的改进。新博弈有助于我们做出比传统博弈更精细的区分。特别是，它可用于度量表达给定性质所需的公式大小。我们将给出该博弈的两个版本：第一个版本刻画了命题逻辑中公式的大小，第二个版本适用于一阶谓词逻辑。
引用
@article{arxiv.1208.4803,
title = {The size of a formula as a measure of complexity},
author = {Lauri Hella and Jouko Väänänen},
journal= {arXiv preprint arXiv:1208.4803},
year = {2012}
}
备注
25 pages