紧致性:有限子覆盖与全局控制 | 自在学