index
:
coursework-year3.git
geng-gen
master
nir
tectonic
ui
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Collapse
)
Author
2023-05-17
Added presentation from conference
Andrew Guschin
2023-04-19
Added maker.sh
Andrew Guschin
2023-04-19
Added theorems from Gould 2003
Andrew Guschin
2023-04-10
Added is_free_of, is_2_connected and thorem 3.1
Andrew Guschin
2023-04-09
Added bruteforce check for isomorphism
Andrew Guschin
2023-04-09
Added automatic derives and removed manual impl
Andrew Guschin
2023-04-09
Restructured project into multiple files
Andrew Guschin
2023-04-09
Changed structure of project and renamed binary
Andrew Guschin
2023-04-09
Final changes
Andrew Guschin
2022-06-08
Add intro and conclusion
Andrew Guschin
2022-06-08
Update documentclass and main definitions
Andrew Guschin
2022-06-08
Add new titlepage style
Andrew Guschin
2022-06-07
First version of report
Andrew Guschin
2022-05-19
Add report template
Andrew Guschin
2022-05-13
Add Dirac's, Ore's, Posa's theorems
Andrew Guschin
2022-05-13
Update toughness calculation to use binary search
Andrew Guschin
2022-05-13
Add functions for checking and calculating toughness
Andrew Guschin
2022-05-11
Refactored cutset code
Andrew Guschin
2022-05-11
Added algorithm for computing maximal independent cutset
Andrew Guschin
2022-05-11
Added function for getting minimal degree in graph
Andrew Guschin
2022-05-11
Added algorithms for counting components and iterating over all cutsets
Andrew Guschin
2022-05-10
Added function for calculating hamiltonian path
Andrew Guschin
2022-04-14
Added faster degree function and time measurement
Andrew Guschin
2022-04-07
Added check of Bondy - Chvatal theorem
Andrew Guschin
2022-04-06
Initial commit
Andrew Guschin