Conference paper
Non-linear time lower bound for Boolean branching programs
Miklos Ajtai
FOCS 1999
We present an algorithm which in n3 (log n)3 time constructs a 3-regular expander graph on n vertices. In each step we substitute a pair of edges of the graph by a new pair of edges so that the total number of cycles of length s=⌊clog n⌋ decreases (for some fixed absolute constant c). When we reach a local minimum in the number of cycles of length s the graph is an expander. © 1994 Akadémiai Kiadó.
Miklos Ajtai
FOCS 1999
Miklos Ajtai
STOC 1994
Miklos Ajtai, Cynthia Dwork
STOC 1997
Miklos Ajtai, R. Kumar, et al.
STOC 2001