通過樓宇自動化系統(tǒng)的屬性鄰接圖表示方法,空間拓撲與CPN拓撲不一致問題轉(zhuǎn)化為子圖同構(gòu)問題解決,下面三水智能化給出樓宇自動化系統(tǒng)圖同構(gòu)與子圖同構(gòu)的定義。
樓宇自動化系統(tǒng)建設(shè)算法定義1(圖同構(gòu)):給定一個查詢圖q=(V,E)和一個數(shù)據(jù)圖g=(V′,E′),如果存在映射函數(shù)M,使得V→V′,并且?(ui,uj)∈E,(M(ui),M(uj))∈E′,同時存在映射函數(shù)M,使得V′→V,并且?(ui,uj)∈E′,(M(ui),M(uj))∈E,那么q與g是同構(gòu)的。
樓宇自動化系統(tǒng)建設(shè)算法定義2(子圖同構(gòu)):給定一個查詢圖q=(V,E)和一個數(shù)據(jù)圖g=(V′,E′),如果存在映射函數(shù)M,使得V→V′,并且?(ui,uj)∈E,(M(ui),M(uj))∈E′,那么q與g的一個子圖是同構(gòu)的,記為q∈g。