论文标题
MSO 0-1法律递归随机树
MSO 0-1 law for recursive random trees
论文作者
论文摘要
我们证明了两种递归树模型的Monadic二阶0-1定律：均匀的附件树和优先附着树。我们还表明，第一阶0-1法律不适合非树统一附件模型。
We prove the monadic second order 0-1 law for two recursive tree models: uniform attachment tree and preferential attachment tree. We also show that the first order 0-1 law does not hold for non-tree uniform attachment models.
