复杂度 下界fine-grained条件