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