正则覆盖与最小函数依赖集的关系