The double-zero parse-word conjecture for path trees

Let n4n \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 n12n \leq 12, while the source notes that it does not hold for general binary trees; no general proof is supplied.

Sources & referencesView supporting material

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.