|
|
f5b48bbafd
|
Update README
|
2023-03-08 22:40:25 +02:00 |
|
stefiosif
|
80f8a00a24
|
Only update the reachability tree of the vertex that is the center of insertions
|
2023-02-10 18:28:09 +02:00 |
|
stefiosif
|
3591c58f6d
|
Improve readability
|
2023-02-10 18:26:48 +02:00 |
|
stefiosif
|
2175ac0ca9
|
Add contains method for single vertex and hash function for SCCs
|
2023-02-10 18:20:00 +02:00 |
|
stefiosif
|
54eee41f7d
|
Reconstruct only the deconstructed SCC
|
2023-01-28 21:32:25 +02:00 |
|
stefiosif
|
c2a4a32c6d
|
Add benchmark
|
2022-12-05 23:45:10 +02:00 |
|
stefiosif
|
55efd8b816
|
Update tests
|
2022-12-05 23:44:55 +02:00 |
|
stefiosif
|
7c78bbd7ca
|
Remove "using namespace" from headers and make single param constructors explicit
|
2022-12-03 15:43:00 +02:00 |
|
stefiosif
|
d7e87e0956
|
Update README, missing benchmarks
|
2022-10-15 18:10:43 +03:00 |
|
stefiosif
|
c8c4afc64b
|
Add dynamic reachability benchmark for dags and general graphs
|
2022-10-15 18:10:27 +03:00 |
|
stefiosif
|
38641ac6f4
|
Update README
|
2022-10-15 11:55:42 +03:00 |
|
stefiosif
|
e7fd88f82c
|
Refactor: Change reachability interfaces to handle multiple removals/insertions
|
2022-10-15 10:40:08 +03:00 |
|
stefiosif
|
04ab33888e
|
Add random example
|
2022-10-14 18:38:40 +03:00 |
|
stefiosif
|
92cf8950c2
|
Move headers into include folder and add single header to include all reachability algorithms
|
2022-10-14 18:38:01 +03:00 |
|
stefiosif
|
dc7fa93a6a
|
Refactor: Replace std::map and std::set with unordered versions
|
2022-10-12 17:26:11 +03:00 |
|
stefiosif
|
c525aeaa43
|
Refactor: Rename adjMatrix to adjList
|
2022-10-12 16:57:48 +03:00 |
|
stefiosif
|
8b6d341d18
|
Move Graph::vertices to Digraph
|
2022-10-12 09:32:40 +03:00 |
|
stefiosif
|
3d9651c474
|
Fix HK::query for vertices in set S and tests
|
2022-10-12 09:31:58 +03:00 |
|
stefiosif
|
0847851536
|
Add HenzingerKing tests
|
2022-10-11 15:50:55 +03:00 |
|
stefiosif
|
285109277b
|
Upload README draft
|
2022-10-11 15:50:22 +03:00 |
|
stefiosif
|
70c7e2998c
|
Add Eext removal in frigioni and tests
|
2022-10-11 15:25:17 +03:00 |
|
stefiosif
|
b8f12e334a
|
Refactor: Remove unused method setGraph
|
2022-09-29 23:48:00 +03:00 |
|
stefiosif
|
a1f955ebb9
|
Refactor: Split remove into remove/repairTrees
|
2022-09-29 23:47:36 +03:00 |
|
stefiosif
|
371104a337
|
Complete RZ dynamic algorithm inspired by henzinger and king, TODO: finish frigioni
|
2022-09-29 23:34:42 +03:00 |
|
stefiosif
|
fee5b8d0ab
|
Add edge removal method and tree repair, TODO: handle Eext
|
2022-09-29 23:33:54 +03:00 |
|
stefiosif
|
9fd41bd85b
|
Create getter method for the SCC collection
|
2022-09-29 23:32:25 +03:00 |
|
stefiosif
|
f4acf57c88
|
Check if edge to be removed is part of the graph
|
2022-09-26 12:33:13 +03:00 |
|
stefiosif
|
cbaf50d401
|
Fix TC to update correctly, and move all to-hook children on the stack
|
2022-09-26 12:23:49 +03:00 |
|
stefiosif
|
14a61c92e9
|
Update decremental algorithms according to project structure changes
|
2022-09-25 17:42:00 +03:00 |
|
stefiosif
|
d63411672d
|
Add dynamic RZ algorithms inspired by King and Henzinger
|
2022-09-25 17:41:17 +03:00 |
|
stefiosif
|
fa65e54376
|
Rename decrementalscc to rodittyzwick as it is the core algorithm
|
2022-09-25 17:33:47 +03:00 |
|
stefiosif
|
95e7d56c1e
|
Refactor file names to better understand inheritance of the skeleton of RZ algorithms
|
2022-09-25 17:27:21 +03:00 |
|
stefiosif
|
ffc3ae4ec3
|
Complete Frigioni::query and Frigioni::init and tests
|
2022-09-21 19:35:23 +03:00 |
|
stefiosif
|
813c63a4ea
|
Add unit test for SCC::normalize
|
2022-09-21 19:32:57 +03:00 |
|
stefiosif
|
5f9b225609
|
Add method that identifies if a vertex is part of this component
|
2022-09-21 19:32:00 +03:00 |
|
stefiosif
|
7345a28945
|
Fix bug that would make ids connect to a different component
|
2022-09-21 19:30:26 +03:00 |
|
stefiosif
|
7d2d9fd82c
|
Finish italiano and tests
|
2022-09-20 13:41:15 +03:00 |
|
stefiosif
|
40f23c5bf8
|
Add method to access adjMatrix keys and add adjMatrix on seaching method
|
2022-09-19 22:04:45 +03:00 |
|
stefiosif
|
0b16ebc677
|
Update italiano::remove
|
2022-09-16 15:17:50 +03:00 |
|
stefiosif
|
037560949d
|
Update misc
|
2022-09-16 15:17:32 +03:00 |
|
stefiosif
|
ae193d5f69
|
Update italiano's query and remove methods
|
2022-09-14 19:41:33 +03:00 |
|
stefiosif
|
0ffc20496d
|
Add vertices without arcs into the BFTree
|
2022-09-14 19:41:08 +03:00 |
|
stefiosif
|
42f824a249
|
Update decremental scc algorithm
|
2022-09-12 00:08:45 +03:00 |
|
stefiosif
|
5c1b13b400
|
Add default param constructors, create bool query for bfs and tests
|
2022-09-09 18:12:38 +03:00 |
|
stefiosif
|
a4ddc3fbe7
|
Add operator<< for graph types, add contains query for digraph types and normalize scc
|
2022-09-09 17:50:28 +03:00 |
|
stefiosif
|
4d189f269c
|
Fix graph volume V()
|
2022-08-09 00:22:21 +03:00 |
|
stefiosif
|
3f3c58b0b8
|
Add italiano edge removal algorithm sketch
|
2022-08-09 00:21:03 +03:00 |
|
stefiosif
|
1a416794fc
|
Revert "Fix volume V()"
This reverts commit a40e42b964.
|
2022-08-09 00:15:47 +03:00 |
|
stefiosif
|
a40e42b964
|
Fix volume V()
|
2022-08-09 00:15:26 +03:00 |
|
stefiosif
|
433955e2cf
|
Minor project updates and add 2 example datasets
|
2022-08-08 22:22:52 +03:00 |
|
