Untitled Document

　　
　　可以把立方体之间的锐积运算推广到立方体与覆盖、覆盖与覆盖之间的锐积运算．设覆盖A和覆盖B表示为：
　　　　A={a¹,a²,…,aⁱ,a^m}
　　　　B={b¹,b²,…,bⁱ,b^w}
　　其中aⁱ是覆盖A中的元素，是立方体；bⁱ是覆盖B中的立方体。于是：
　　　　A # b =(a¹# b)∪(a² # b)∪(a³ # b)…∪(a^m # b)
　　　　　　　=

(aⁱ # b)
　　　　a # B ={[(a # b¹)]#…# b^w}
　　　　A # B =

(aⁱ # B)
　　为了减少覆盖中的元素的数量，在上述运算中每作一次锐积，都应作一次吸收运算。

　　不相交锐积(disjoint sharp product)
　　现以单个输出变量的情况介绍不相交锐积，其运算符为

。设有两个立方体a和b，令：
　　　　C = a # b
　　　　D = a

b
　　

积和 # 积相同之处是：
　　　(1) C和D都是立方体集合。
　　　(2) C和D包含的顶点相同。
　　

积和 # 积不同之处是：
　　　(1) D中各立方体互不相交，即每一顶点只被一个立方体覆盖一次。
　　　(2) C中每一立方体都是维数尽可能大的立方体，D无此性质。
　　

积和 # 积的运算规则只有少许差别，具体如下(同样用到表4.10)：
　　　(1) 当a和b不相交时，a

b = a
　　　(2) 当a

b时，a

b =

　　　(3) 不满足以上两个条件时，若有：
　　　　　　a_i

b_i = α_i ∈ { 0,1 }
　　则对应于一个立方体 fⁱ：
　　　　fⁱ=(a₁∩b₁)(a₂∩b₂) …(a_i-1∩b_i-1)…α_i(a_i+1)…a_n
　　于是： a

b =

{fⁱ}
　　即：a

b =

{(a₁∩b₁)(a₂∩b₂) …(a_i-1∩b_i-1)…α_i(a_i+1)…a_n}