Closed bvssvni closed 4 years ago
See https://github.com/advancedresearch/avatar_graph/issues/37
This check ensures that there are no contractible nodes in the assigned avatar distance, instead of using shortest path.
Graph::corify
However, if this check is not symmetric, then I think it should not be added and semi-contractibility should be allowed.
It is not symmetric in the Wagner graph.
Closing.
See https://github.com/advancedresearch/avatar_graph/issues/37
This check ensures that there are no contractible nodes in the assigned avatar distance, instead of using shortest path.
Graph::corify
for inductive/coinductive contractibility checkHowever, if this check is not symmetric, then I think it should not be added and semi-contractibility should be allowed.