Proof of an Intersection Theorem via Graph Homomorphisms.

Irit Dinur Ehud Friedgut

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

Keyphrases

graph theory
interactive theorem proving
random walk
directed graph
graph model
stable set
graph structure
graph representation
structured data
bipartite graph
directed acyclic graph
weighted graph
von neumann
minimum spanning tree
graph theoretic
neural network
connected components
genetic algorithm