AlgoWikiAlgoWiki

  • Home
  • All pages
  • Categories
  • Help

This page


  • Edit
  • See history
  • See raw source
  • View on GitHub

Bisimilarity

  • Graph theory

Problems

  • Maze Reduction1236
  • TwistyPassages4
  • Driver Disagreement5
  • Structural Equivalence

See also

  • DFA equivalence
  • DFA minimization
  • Synchronizing word

External links

  • Bisimulation
  • Tarski's Fixed Point Theorem
  • 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. http://apps.topcoder.com/forums/?module=Thread&threadID=823018&start=0&mc=35↩
  5. https://community.topcoder.com/tc?module=Static&d1=match_editorials&d2=srm378↩
  6. https://www.youtube.com/watch?v=QeMVF4Yok7k↩
AlgoWikiCC-BY-SA 4.0| fork us on GitHub