细粒度复杂性（fine-grained complexity）的核心方法论是条件性下界：先假设某个基础问题具有某个时间下界，然后通过细粒度归约证明其他问题也具有相应的下界。