Python NetworkX equivalence_classes用法及代碼示例

當應用於 iterable 時，返回 relation 的等價類。

等價類或塊由來自iterable 的對象組成，它們都是等價的。如果 relation 函數在傳遞該類的任意兩個對象時返回 True ，則它們被定義為等效，否則為 False 。要定義等價關係，函數必須是自反的、對稱的和傳遞的。

參數：

iterable：列表、元組或集合

元素/節點的可迭代。

relation：函數

一個布爾值函數，它在iterable 的元素上實現等價關係(自反、對稱、傳遞二元關係) - 它必須采用兩個元素，如果它們相關則返回 True ，否則返回 False 。

返回：

一組frozensets

一組表示由等價關係函數 relation 在 iterable 的元素上引起的分區的凍結集。返回集中的每個成員集代表分區的一個等價類或塊。

重複的元素將被忽略，因此 iterable 成為 set 是最有意義的。

注意：

此函數不檢查relation 是否表示等價關係。您可以使用 is_partition 檢查您的等價類是否提供了分區。

例子：

令 X 是從 0 到 9 的整數集合，並考慮 X 上的等價關係 R 同餘模 3 ：這意味著兩個整數 x 和 y 在X 在 R 下是等價的，如果它們在除以 3 時留下相同的餘數，即 (x - y) mod 3 = 0 。

該關係的等價類為 {0, 3, 6, 9} 、 {1, 4, 7} 、 {2, 5, 8} ： 0 、 3 、 6 、 9 均可被 3 整除，且餘數為零； 1、4、7 保留餘數1；而 2 、 5 和 8 留下餘數 2 。我們可以通過使用 X 調用 equivalence_classes 和 R 的函數實現來看到這一點。

>>> X = set(range(10))
>>> def mod3(x, y): return (x - y) % 3 == 0
>>> equivalence_classes(X, mod3)    
{frozenset({1, 4, 7}), frozenset({8, 2, 5}), frozenset({0, 9, 3, 6})}