The duplicate-leaf parse-word conjecture for binary trees
Let and be -leaf binary trees. Let , and let and be the -leaf trees obtained from and by duplicating leaf . A parse word is a word that parses both trees according to the paper's labeling rule. Duplicate-leaf parse-word conjecture. There exists a parse word of and such that . This would reduce the search for parse words by showing that duplicated leaves can receive the same letter, but the supplied text gives no resolution.
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.