The double-zero parse-word conjecture for path trees
The double-zero parse-word conjecture for path trees
Let . 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 -leaf path trees parses a word of the form for some possibly empty words and . The statement has been explicitly verified for , 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.