|
34d19fcf46
|
measure parsing and solve time
|
2023-11-08 14:04:48 +01:00 |
|
|
8de09bb38d
|
remove unneeded output
|
2023-11-06 22:25:21 +01:00 |
|
|
e336686ddb
|
fix check
|
2023-11-06 22:24:44 +01:00 |
|
|
6418c17413
|
better integrity check
|
2023-11-06 22:03:48 +01:00 |
|
|
497d601ffc
|
use union-find structure for rho
|
2023-11-06 21:55:27 +01:00 |
|
|
1d75066eea
|
fix: typo
|
2023-11-06 13:53:02 +01:00 |
|
|
4e316ade73
|
add integrity checks
|
2023-11-06 13:47:16 +01:00 |
|
|
bd1de9ef03
|
remove redundant methods: use vector access
|
2023-11-06 13:45:57 +01:00 |
|
|
65aa75bc46
|
refactor: store attributes in own vectors to improve data locality
|
2023-11-06 13:39:10 +01:00 |
|
|
391e0761a9
|
further splitup
|
2023-11-06 12:44:21 +01:00 |
|
|
47437f5a2f
|
further method splitup for profiling
|
2023-11-06 12:41:35 +01:00 |
|
|
f3240b7f6b
|
split into separate methods and use noinline attribute to profile
|
2023-11-06 12:28:57 +01:00 |
|
|
03f9afa67b
|
remove unneeded method
|
2023-11-05 21:25:10 +01:00 |
|
|
4fee5333a2
|
use stack to maintain unscanned vertices
|
2023-11-05 21:14:48 +01:00 |
|
|
5674dff7a6
|
add greedy heuristic for initialization
|
2023-11-05 19:43:29 +01:00 |
|
|
d5f01f5c70
|
remove checkes
|
2023-11-05 19:00:56 +01:00 |
|
|
a102845ba5
|
update ρ correctly: include verticse that were contracted to paths
|
2023-11-05 18:37:29 +01:00 |
|
|
249877af7e
|
fix updating φ in blossom step
|
2023-11-05 17:54:52 +01:00 |
|
|
7c36caa505
|
more checks
|
2023-11-05 17:38:43 +01:00 |
|
|
c972fc309c
|
rename functions
|
2023-11-05 17:09:06 +01:00 |
|
|
da3b25f295
|
add some debug checks
|
2023-11-05 17:08:00 +01:00 |
|
|
57ed5cf593
|
fix: recursive calls and return
|
2023-11-05 13:46:29 +01:00 |
|
|
eb1e7e8dc8
|
fix: output matching, not whole graph
|
2023-11-05 13:16:16 +01:00 |
|
|
354d96774d
|
fix main: run on correct graphs
|
2023-11-05 13:11:59 +01:00 |
|
|
1b9f930adf
|
ensure all outer vertices are scanned
|
2023-11-05 13:06:50 +01:00 |
|
|
3482e3b2d5
|
separate src folder
|
2023-11-05 12:52:03 +01:00 |
|