A very sharp threshold for first order logic distinguishability of random graphs
A very sharp threshold for first order logic distinguishability of random graphs, Discrete Analysis 2025:6, 17 pp. Let $G_1$ and $G_2$ be two independent random graphs with $n$ vertices. The probability that they are isomorphic is very small, but they nevertheless share many important properties: t...
Saved in:
| Main Authors: | Itai Benjamini, Maksim Zhukovskii |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Diamond Open Access Journals
2025-07-01
|
| Series: | Discrete Analysis |
| Online Access: | https://doi.org/10.19086/da.138190 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Sharp Bounds of First Zagreb Coindex for F-Sum Graphs
by: Muhammad Javaid, et al.
Published: (2021-01-01) -
Explaining the undecidability of first-order logic
by: Timm Lampert, et al.
Published: (2024-12-01) -
All Graphs of Order n with Distinguishing Number n−1 or n − 2
by: Andi Pujo Rahadi, et al.
Published: (2025-05-01) -
Graphs with distinguishing sets of size k
by: Muhammad Naeem Azhar, et al.
Published: (2024-01-01) -
Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic
by: Jihong Han, et al.
Published: (2009-01-01)