推理时扩展性