通過(guò)樓宇自動(dòng)化系統(tǒng)的屬性鄰接圖表示方法，空間拓?fù)渑cCPN拓?fù)洳灰恢聠?wèn)題轉(zhuǎn)化為子圖同構(gòu)問(wèn)題解決，下面三水智能化給出樓宇自動(dòng)化系統(tǒng)圖同構(gòu)與子圖同構(gòu)的定義。

樓宇自動(dòng)化系統(tǒng)建設(shè)算法定義1(圖同構(gòu))：給定一個(gè)查詢(xún)圖q=(V，E)和一個(gè)數(shù)據(jù)圖g=(V′，E′)，如果存在映射函數(shù)M，使得V→V′，并且?(ui，uj)∈E，(M(ui)，M(uj))∈E′，同時(shí)存在映射函數(shù)M，使得V′→V，并且?(ui，uj)∈E′，(M(ui)，M(uj))∈E，那么q與g是同構(gòu)的。

樓宇自動(dòng)化系統(tǒng)建設(shè)算法定義2(子圖同構(gòu))：給定一個(gè)查詢(xún)圖q=(V，E)和一個(gè)數(shù)據(jù)圖g=(V′，E′)，如果存在映射函數(shù)M，使得V→V′，并且?(ui，uj)∈E，(M(ui)，M(uj))∈E′，那么q與g的一個(gè)子圖是同構(gòu)的，記為q∈g。