×
奥列格·皮库尔科;乔尔·斯宾塞;奥列格·维尔比茨基

没有量词交替的可分解图和定义。 （英文） Zbl 1124.03011号

Eur.J.库姆。 第8号第28页，2264-2283页（2007年）.
小结：设（D（G）为一阶句子（Phi）的最小量词深度，该句子定义了一个图（G）直到同构。设\（D_{0}（G）\）是\（D（G））的版本，其中在\（\Phi\）中不允许量词交替。定义\（q_{0}（n）\）为所有（n）阶图\（G\）上\（D_{0{（G）\）的最小值。
我们证明了\[\log^｛*｝n-\log^｛*｝\log^｛*｝n-2\leq q_｛0｝（n）\leq\log^｛*｝n+22，\]其中，\（\log^{*}n）等于使\（n）小于等于1所需的二进制对数的最小迭代次数。上界是通过构造具有很小深度的模分解的特殊图来获得的。

引用于1文件

MSC公司：

03C07号机组 一阶语言和结构的基本性质
05C70号 具有特殊属性的边子集（因子分解、匹配、分区、覆盖和打包等）
03C13号机组 有限结构模型理论

关键词：

图形分解;量词深度;一级判决;模块分解
PDF格式BibTeX公司 XML格式引用
\textit｛O.Pikhurko｝等人，《欧洲汇编》。28，第8号，2264--2283（2007；Zbl 1124.03011）
全文： 内政部

参考文献：

[1] Bohman，T。；弗里兹，A。；Łuczak，T。；O.Pikhurko。；Smyth，C。；斯宾塞，J.H。；Verbitsky，O.，树和稀疏随机结构的一阶可定义性，组合概率。计算。，16, 375-400 (2007) ·Zbl 1119.03025号
[2] Borie，R.B。；帕克·R·G。；Tovey，C.A.，递归构造图，（Gross，J.L.；Yellen，J.，图论手册（2004），CRC出版社），99-118
[3] A.Brandstädt，V.B.Le，J.P.Spinrad，《图形类：调查》，SIAM，1999年，SIAM Monogr。离散。数学。申请。；A.Brandstädt，V.B.Le，J.P.Spinrad，《图形类：调查》，SIAM，1999年，SIAM Monogr。离散。数学。申请·Zbl 0919.05001号
[4] 蔡建勇。；Fürer，M。；Immerman，N.，图识别变量数的最优下界，组合数学，12389-410（1992）·Zbl 0785.68043号
[5] 艾宾浩斯，H.D。；Flum，J.，有限模型理论（1999），Springer-Verlag·Zbl 0932.03032号
[6] Ehrenfeucht，A.，《博弈在形式化理论完备性问题中的应用》，基金。数学。，49, 129-141 (1961) ·Zbl 0096.24303号
[7] Fraíssé，R.，《社会关系系统分类》，Publ。科学。阿尔及利亚大学。，1, 35-182 (1954) ·兹比尔0068.24302
[8] Grädel，E.，《有限模型理论和描述复杂性》，（有限模型理论及其应用，有限模型理论及应用，理论计算机科学文本，EATCS系列（2005），Springer-Verlag）
[9] Kim，J.H。；O.Pikhurko。；斯宾塞，J。；一阶逻辑中的随机图有多复杂？，随机结构算法，26，119-145（2005）·Zbl 1060.05085号
[10] Nešetřil，J.，Ramsey理论（Graham，R.L.；Grötschel，M.；Lovász，L.，《组合数学手册》（1995），Elsevier Science B.V.），1331-1403·Zbl 0848.05065号
[11] O.Pikhurko。；斯宾塞，J。；Verbitsky，O.，《一阶图论中的简洁定义》，Ann.Pure Appl。逻辑，139，74-109（2006）·Zbl 1089.03023号
[12] O.Pikhurko。；维思，H。；图的一阶可定义性：量词深度的上界，离散应用。数学。，154, 2511-2529 (2006) ·Zbl 1109.03023号
[13] O.Pikhurko。；Verbitsky，O.，《有限结构的描述复杂性：保存量词秩》，《符号逻辑杂志》，70419-450（2005）·Zbl 1105.03029号
[14] Ramsey，F.P.，《关于形式逻辑问题》，Proc。伦敦数学。《社会学杂志》，30，264-286（1930）
[15] Spencer，J.，《随机图的奇怪逻辑》（2001），Springer-Verlag·Zbl 0976.05001号
[16] 斯宾塞，J。；St.John，K.，《随机有序结构的复杂性》，电子。注释Theor。计算。科学。，143, 197-206 (2006)
[17] Trakhtenbrot，B.，有限模型决策问题算法的不可能性，Dokl。阿卡德。Nauk SSSR，70，572-596（1950），AMS Transl中的英语翻译。序列号。23 (2) (1963) 1-6 ·Zbl 0038.15001号
[18] Verbitsky，O.，通过Ehrenfeucht游戏，带分隔符的图的一阶可定义性，Theoret。计算。科学。，343, 158-176 (2005) ·兹比尔1083.03039
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。