---
categories: Graph theory
---

## Problems
- [Maze Reduction](https://open.kattis.com/problems/maze) [^1] [^2] [^3] [^6]
- [TwistyPassages](http://community.topcoder.com/stat?c=problem_statement&pm=8282) [^4]
- [Driver Disagreement](https://archive.algo.is/icpc/nwerc/bapc/2018/problems/D.pdf) [^5]
- [Structural Equivalence](https://open.kattis.com/problems/structuralequivalence)

## See also
- [DFA equivalence]()
- [DFA minimization]()
- [Synchronizing word]()

## External links
- [Bisimulation](https://en.wikipedia.org/wiki/Bisimulation)
- [Tarski's Fixed Point Theorem](http://mathworld.wolfram.com/TarskisFixedPointTheorem.html)
- [Partition refinement](https://en.wikipedia.org/wiki/Partition_refinement)

[^1]: <http://blog.brucemerry.org.za/2014/06/acm-icpc-2014.html>
[^2]: <https://www.youtube.com/watch?v=kim8hBs0P2M>
[^3]: <https://people.ksp.sk/~misof/share/wf_pres_E.pdf>
[^4]: <https://community.topcoder.com/tc?module=Static&d1=match_editorials&d2=srm378>
[^5]: <https://www.youtube.com/watch?v=QeMVF4Yok7k>
[^6]: <http://apps.topcoder.com/forums/?module=Thread&threadID=823018&start=0&mc=35>