The Size of the Giant Component in Random Hypergraphs: a Short Proof.

Oliver Cooley Mihyun Kang Christoph Koch

Published in: Electron. J. Comb. (2019)

Keyphrases

randomly generated
small size
real time
computational complexity
theorem prover
space complexity
social networks
artificial neural networks
connected components
memory requirements
theorem proving