← All problems
Unverified

Separating words problem

Given two words u,vu, v of length nn over {a,b}\{a, b\}. Does there always exist an automaton of size O(log⁡n)O(\log n) which distinguishes uu and vv. Or bigger, like O(n1/3)O(n^{1/3})? Best known bound is about O(n2/5log⁡(n))O(n^{2/5} \log(n)).

Coming soon

Organizer

Boyuan Wang portraitBoyuan Wang
Minghan Wang portraitMinghan Wang
Bochao Li portraitBochao Li
Hongwei Hu portraitHongwei Hu