两个简单图G与H的半强积G·H是具有顶点集V（G）×V（H）的简单图,其中两个顶点（u,v）与（u＇,v＇）相邻当且仅当u=u＇且vv＇∈E（H）,或uu＇∈E（G）且vv＇∈E......