ФР: Связность графа

[KeKoParis]

Формализация раздела

Описание

Описание раздела и детали того, что необходимо формализовать.

Понятия

• Связность и компоненты графа

Наброски

• Связность гарфа graph_connectivity
• Компонента графа subject_areas/subject_area_graph_structures/relations/nrel/nrel_connected_component.scs
• Связность subject_areas/subject_area_of_connected_graph_structures/relations/nrel/nrel_vertex_connectivity.scssubject_areas/subject_area_of_connected_graph_structures/relations/nrel/nrel_edge_connectivity.scs
• Компонента связность connected_component nrel
• Компонента слабой связности subject_areas/subject_area_graph_structures_oriented_cords/relations/nrel/nrel_weakly_connected_component.scs
• Компонента сильной связности subject_areas/subject_area_graph_structures_oriented_cords/relations/nrel/nrel_strongly_connected_component.scs
• Мосты subject_areas/subject_area_graph_structures/concepts/concept_bridge.scs
• Блоки nrel_graph_block.scs
• Неразделимый граф concept_non-separable_graph.scs
• Разделимый граф concept_separable_graph.scs
• Тривиальный граф concept_trivial_graph.scs
• Граф блоков и точек сочленения concept_block_cutpoint_graph.scs
• Связный граф conncected_graph
• Несвязный граф disconnected_graph