极小函数依赖集怎么求