关于部分K值逻辑Sheffer函数(Ⅳ)

根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*k的极大封闭集之最小覆盖中必须出现.     

求一类上模集函数最小值问题的近似算法及性能保证

给出了求解一类上模集函数最小值问题的一种近似算法,并讨论了所给算法的性能保证.