On limit points of spectra of the random graph first-order properties

被引：0
|
作者：
M. E. Zhukovskii
机构：
[1] Moscow Institute of Physics and Technology (State University),
来源：
Doklady Mathematics | 2015年 / 92卷
关键词：
Limit Point; Random Graph; DOKLADY Mathematic; Winning Strategy; Order Property;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
New bounds on the minimum and maximum limit points of spectra of first-order properties of the Erdös–Rényi random graph are obtained. These results are used to improve bounds on the minimal quantifier depths of first-order formulas with infinite spectra. Moreover, we prove that there are no limit points of the spectra in the interval (1–21–k, 1).
引用
收藏
页码：719 / 722
页数：3
相关论文
共 50 条
  • [41] The Effect of Sparsity on k-Dominating Set and Related First-Order Graph Properties
    Fischer, Nick
    Kuennemann, Marvin
    Redzic, Mirza
    PROCEEDINGS OF THE 2024 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA, 2024, : 4704 - 4727
  • [42] Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability
    Toda, Takahisa
    Ito, Takehiro
    Kawahara, Jun
    Soh, Takehide
    Suzuki, Akira
    Teruyama, Junichi
    2023 IEEE 35TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, ICTAI, 2023, : 294 - 302
  • [43] Logics for First-Order Team Properties
    Kontinen, Juha
    Yang, Fan
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 392 - 414
  • [44] SEPARZTION PROPERTIES FOR FIRST-ORDER LANGUAGES
    MYERS, DW
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (05): : 824 - &
  • [45] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [46] STOCHASTIC FIRST-ORDER METHODS WITH RANDOM CONSTRAINT PROJECTION
    Wang, Mengdi
    Bertsekas, Dimitri P.
    SIAM JOURNAL ON OPTIMIZATION, 2016, 26 (01) : 681 - 717
  • [47] First-Order Masking with Only Two Random Bits
    Gross, Hannes
    Stoffelen, Ko
    De Meyer, Lauren
    Krenn, Martin
    Mangard, Stefan
    TIS'19: PROCEEDINGS OF ACM WORKSHOP ON THEORY OF IMPLEMENTATION SECURITY WORKSHOP, 2019, : 10 - 23
  • [48] FIRST-ORDER RIGIDITY TRANSITION IN RANDOM ROD NETWORKS
    OBUKHOV, SP
    PHYSICAL REVIEW LETTERS, 1995, 74 (22) : 4472 - 4475
  • [49] First-order definability of trees and sparse random graphs
    Bohman, Tom
    Frieze, Alan
    Luczak, Tomasz
    Pikhurko, Oleg
    Smyth, Clifford
    Spencer, Joel
    Verbitsky, Oleg
    COMBINATORICS PROBABILITY & COMPUTING, 2007, 16 (03): : 375 - 400
  • [50] A random first-order transition theory for an active glass
    Nandi, Saroj Kumar
    Mandal, Rituparno
    Bhuyan, Pranab Jyoti
    Dasgupta, Chandan
    Rao, Madan
    Gov, Nir S.
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2018, 115 (30) : 7688 - 7693
12345