k-Core Decomposition
k-Core Decomposition is a graph-theoretic method that partitions the vertices of a network into a nested sequence of subgraphs called k-cores. A k-core is the maximal subgraph in which every vertex has at least k neighbors within that subgraph. Introduced by Stephen B. Seidman in 1983, the method assigns each vertex a coreness number that captures its structural centrality relative to the local connectivity of the graph.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.