本书主要介绍了代数系统恒等式组独立性和流形在子流行栅格中的分布的有关算法问题的研究成果，并对流行相对覆盖性和独立性可拆分恒等式组进行了研究。本书共分为两章，第一章为相对可覆盖性，包括半群的相对可覆盖性识别、半群的有限相对可覆盖性识别；第二章为独立可拆分恒等式系统，包括泛代数拟簇举例等。本书广义上属于应用数学范畴，它是半群在计算机算法中的应用。