设D是一个有向图，W={W1,W2…WK）是D的一个有序点子集，u足D中任意一点。我们把有序K元素组r（uW）=（d（u，W1），d（u，W2），…，d（u，Wk））称为点U对于w的（有向距离）表示。如果在D中，任意两个不同的点u和v对W的（有向距离）表示都不相同，则称W是有向图D的一个分解集。我们把D的最小分解集的基数称为有向图D的有向度量维数，并用dim（D）来表示。
数学研究
2012年1期
