EMSO(FO$^2$) 0-1 Law Fails for All Dense Random Graphs.

Margarita Akhmejanova Maksim Zhukovskii

Published in: SIAM J. Discret. Math. (2022)

Keyphrases

random graphs
graph theoretic
first order logic
transitive closure
learning curves
phase transition
small world
attributed graphs
reinforcement learning
dynamic programming