On the Convergence of Probabilities of First-Order Sentences for Recursive Random Graph Models

被引:0
|
作者
Zhukovskii, M. E. [1 ,2 ,3 ]
Malyshkin, Yu A. [1 ,4 ]
机构
[1] Natl Res Univ, Moscow Inst Phys & Technol, Dolgoprudnyi 141701, Moscow Oblast, Russia
[2] Adyghe State Univ, Caucasus Math Ctr, Maykop 385000, Republic Of Ady, Russia
[3] Russian Presidential Acad, Natl Econ & Publ Adm, Moscow 119571, Russia
[4] Tver State Univ, Tver 170100, Russia
基金
俄罗斯基础研究基金会;
关键词
recursive random graphs; preferential attachment; first-order logic; zero-one laws;
D O I
10.1134/S1064562420050464
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We study first-order zero-one law and the first-order convergence law for two recursive random graph models, namely, the uniform and preferential attachment models. In the uniform attachment model, a new vertex with edges chosen uniformly is added at every moment, while, in the preferential attachment model, the distribution of second ends of these edges is not uniform, but rather the probabilities are proportional to the degrees of the respective vertices.
引用
收藏
页码:384 / 386
页数:3
相关论文
共 50 条
  • [41] Jamming as a random first-order percolation transition
    Piscitelli, Antonio
    Coniglio, Antonio
    Fierro, Annalisa
    Ciamarra, Massimo Pica
    PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2021, 569
  • [42] A first-order representation of stable models
    Eiter, T
    Lu, J
    Subrahmanian, VS
    AI COMMUNICATIONS, 1998, 11 (01) : 53 - 73
  • [43] Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
    Belle, Vaishak
    Lakemeyer, Gerhard
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 828 - 836
  • [44] PROBABILITIES IN FIRST-ORDER LOGIC OF A UNARY FUNCTION AND A BINARY RELATION
    TYSZKIEWICZ, J
    RANDOM STRUCTURES & ALGORITHMS, 1995, 6 (2-3) : 181 - 192
  • [45] Dynamic First-Order Modeling of Phase-Transition Probabilities
    Hoogendoorn, Sorge P.
    van Lint, Hans
    Knoop, Victor
    TRAFFIC AND GRANULAR FLOW '07, 2009, : 85 - 92
  • [46] First-Order Reasoning and Primitive Recursive Natural Number Notations
    Isles, David
    STUDIA LOGICA, 2010, 96 (01) : 49 - 64
  • [47] Error analysis for the first-order Gaussian recursive filter operator
    Galletti, Ardelio
    Giunta, Giulio
    PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2016, 8 : 673 - 678
  • [48] Full abstraction for first-order objects with recursive types and subtyping
    Viswanathan, R
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 380 - 391
  • [49] First-Order Reasoning and Primitive Recursive Natural Number Notations
    David Isles
    Studia Logica, 2010, 96 : 49 - 64
  • [50] Characteristics of Reverberation and Its Stabilization by First-order Recursive Filter
    Li, Tingting
    2016 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT HUMAN-MACHINE SYSTEMS AND CYBERNETICS (IHMSC), VOL. 2, 2016, : 43 - 46