最小函数依赖集怎么求