The double-zero parse-word conjecture for path trees

At least 15 years old · documented by

Let n≥4n \geq 4. A path tree is the path-tree object used in the paper, and a parse word is a word that parses a binary tree. Double-zero parse-word conjecture. Every pair of nn-leaf path trees parses a word of the form u00vu00v for some possibly empty words uu and vv. The statement has been explicitly verified for n≤12n \leq 12, while the source notes that it does not hold for general binary trees; no general proof is supplied.

References

Primary source

Bobbe Cooper, Eric Rowland and Doron Zeilberger, “Toward a language theoretic proof of the four color theorem”, arXiv:1006.1324 (2011).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.