ФР: Подграф

[EugeneSamokhval]

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

Описание

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

Понятия

• Граф
• Подграф
• Вершинно-порожденный подграф
• Реберно-порожденный подграф
• Линейный орграф подграфа
• Двуцветный подграф
• Изометрический подграф
• Линейный подграф орграфа
• Линейный подграф графа
• Порожденный подграф
• Остовный маршрут

Наброски

• Подграф nrel_subgraph.scs
• Вершинно-порожденный подграф nrel_vertex_indused_subgraph.scs
• Реберно-порожденный подграф[nrel_edge_induced _subgraph.scs] (https://github.com/ostis-apps/gt-knowledge-base/blob/9ead77b1ff20eb311212644537261fbba099ce3c/subject_areas/concepts_without_subject_area/relations/nrel/nrel_edge_induced%20_subgraph.scs)
• Линейный орграф подграфа nrel_linear_subgraph_graph.scs
• Двуцветный подграфnrel_bicoloured_subgraph.scs
• Изометрический подграф nrel_isometric_subgraph.scs
• Линейный подграф орграфа nrel_linear_subgraph_of_digraph.scs
• Линейный подграф графа nrel_linear_subgraph_of_graph.scs
• Порожденный подграф nrel_induced_subgraph.scs
• Остовный маршрут nrel_spanning_sequence.scs