基于CDT的几乎同态问题探讨

Study of Almost_Homomorphism Based on CDT

范畴数据类型是基于范畴理论基础建立的,用于并行计算或框架结构设计中的并行操作。在链表上并行操作存在非同态问题,但有些功能可以转变为几乎同态来解决。文章对链表的几乎同态问题进行了深入的探讨,并得到了几乎同态定理,并通过事例在应用上加以论述。

Categorical Date Type （CDT） is built on category theory, which is equipped with parallel operations used to program in a data parallel or skeleton style. Some parallel operations are not homomorphism about lists, but some of these functions can be turned out to be almost homomorphism. In this paper, we discuss almost homomorphism in details and get the theorem of almost homomorphism on lists, simultaneously we use some examples to show the fact in application.