There exist Boolean functions formula_5 for which depending upon the ordering of the variables we would end up getting a graph whose number of nodes would be linear (in "n") at the best and exponential at the worst case (e.g., a ripple carry adder).