2009/11/03 by Potechin, Aaron · 1 citation
#Computational Complexity (cs.CC) #F.1.1 #FOS: Computer and information sciences
paper · doi:10.48550/arxiv.0911.0664
We separate monotone analogues of L and NL by proving that any monotone switching network solving directed connectivity on n vertices must have size at least n^(Ω(\lg(n))).