バーンシュタインは、使用するラベルの数や局所的近傍に含まれるノードの数がいくつであっても、常にラベルを割り当てる方法が存在することを証明した。コンピューター科学のアルゴリズムを集合論へ問題なく拡張できることを示したのだ。「コンピューター科学の側でグラ ...