Skip to content

Issues: qaip/gt

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

20 Open 6 Closed
20 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ФР: Свойства графов formalization Formalization of new section
#24 opened Mar 20, 2023 by KeKoParis
5 of 10 tasks
@KonstantinS343
ФР: Дерево formalization Formalization of new section
#22 opened Mar 20, 2023 by qaip 100+
@qaip
ФР: Связность графа formalization Formalization of new section
#21 opened Mar 20, 2023 by KeKoParis
13 of 15 tasks
@KeKoParis
ФР: Дерево квадрантов formalization Formalization of new section
#20 opened Mar 20, 2023 by qaip
8 tasks
@qaip
ФР: Базовые понятия formalization Formalization of new section
#19 opened Mar 20, 2023 by KeKoParis
27 of 28 tasks
@KeKoParis
ФР: Ориентированный граф formalization Formalization of new section
#18 opened Mar 20, 2023 by KonstantinS343
27 of 29 tasks
@KonstantinS343
ФР: Куча formalization Formalization of new section
#17 opened Mar 20, 2023 by qaip
16 tasks
@qaip
ФР: Обратный левый обход дерева formalization Formalization of new section
#15 opened Mar 20, 2023 by Vasilich563
2 tasks
@Vasilich563
ФР: Подграф formalization Formalization of new section
#14 opened Mar 20, 2023 by EugeneSamokhval
21 tasks
@EugeneSamokhval
ФР: Центрированный обход дерева formalization Formalization of new section
#13 opened Mar 20, 2023 by Vasilich563
2 tasks
@Vasilich563
ФР: Прямой левый обход дерева formalization Formalization of new section
#12 opened Mar 20, 2023 by Vasilich563
2 tasks
@Vasilich563
ФР: Нахождение кратчайшего пути (Алгоритм Дейкстры) formalization Formalization of new section
#11 opened Mar 20, 2023 by Vasilich563
2 tasks
@Vasilich563
ФР: Цикл formalization Formalization of new section
#10 opened Mar 20, 2023 by EugeneSamokhval
34 tasks
@EugeneSamokhval
ФР: Планарный граф formalization Formalization of new section
#9 opened Mar 20, 2023 by KonstantinS343
7 tasks done
@KonstantinS343
ФР: Поиск в глубину formalization Formalization of new section
#8 opened Mar 20, 2023 by Vasilich563
2 tasks
@Vasilich563
ФР: Поиск в ширину formalization Formalization of new section
#7 opened Mar 20, 2023 by Vasilich563
2 tasks
@Vasilich563
ФР: Цепь formalization Formalization of new section
#6 opened Mar 20, 2023 by EugeneSamokhval
16 tasks
@EugeneSamokhval
ФР: Путь formalization Formalization of new section
#5 opened Mar 20, 2023 by EugeneSamokhval
26 tasks
@EugeneSamokhval
ФР: Маршрут formalization Formalization of new section
#4 opened Mar 20, 2023 by EugeneSamokhval
18 tasks
@EugeneSamokhval
ФР: Двойственный граф formalization Formalization of new section
#3 opened Mar 20, 2023 by KonstantinS343
1 of 10 tasks
@KeKoParis
ProTip! Mix and match filters to narrow down what you’re looking for.