Issues

• ФР: Свойства графов

  formalization
  qaip/gt#24 · Filter by author KeKoParis opened on Mar 20, 2023
  

• ФР: Дерево

  formalization
  qaip/gt#22 · Filter by author qaip opened on Mar 20, 2023
  

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

  formalization
  qaip/gt#21 · Filter by author KeKoParis opened on Mar 20, 2023
  

• ФР: Дерево квадрантов

  formalization
  qaip/gt#20 · Filter by author qaip opened on Mar 20, 2023
  

• ФР: Базовые понятия

  formalization
  qaip/gt#19 · Filter by author KeKoParis opened on Mar 20, 2023
  

• ФР: Ориентированный граф

  formalization
  qaip/gt#18 · Filter by author KonstantinS343 opened on Mar 20, 2023
  

• ФР: Куча

  formalization
  qaip/gt#17 · Filter by author qaip opened on Mar 20, 2023
  

• ФР: Обратный левый обход дерева

  formalization
  qaip/gt#15 · Filter by author Vasilich563 opened on Mar 20, 2023
  

• ФР: Подграф

  formalization
  qaip/gt#14 · Filter by author EugeneSamokhval opened on Mar 20, 2023
  

• ФР: Центрированный обход дерева

  formalization
  qaip/gt#13 · Filter by author Vasilich563 opened on Mar 20, 2023
  

• ФР: Прямой левый обход дерева

  formalization
  qaip/gt#12 · Filter by author Vasilich563 opened on Mar 20, 2023
  

• ФР: Нахождение кратчайшего пути (Алгоритм Дейкстры)

  formalization
  qaip/gt#11 · Filter by author Vasilich563 opened on Mar 20, 2023
  

• ФР: Цикл

  formalization
  qaip/gt#10 · Filter by author EugeneSamokhval opened on Mar 20, 2023
  

• ФР: Планарный граф

  formalization
  qaip/gt#9 · Filter by author KonstantinS343 opened on Mar 20, 2023
  

• ФР: Поиск в глубину

  formalization
  qaip/gt#8 · Filter by author Vasilich563 opened on Mar 20, 2023
  

• ФР: Поиск в ширину

  formalization
  qaip/gt#7 · Filter by author Vasilich563 opened on Mar 20, 2023
  

• ФР: Цепь

  formalization
  qaip/gt#6 · Filter by author EugeneSamokhval opened on Mar 20, 2023
  

• ФР: Путь

  formalization
  qaip/gt#5 · Filter by author EugeneSamokhval opened on Mar 20, 2023
  

• ФР: Маршрут

  formalization
  qaip/gt#4 · Filter by author EugeneSamokhval opened on Mar 20, 2023
  

• ФР: Двойственный граф

  formalization
  qaip/gt#3 · Filter by author KonstantinS343 opened on Mar 20, 2023