这个二叉树的双射交换二叉树的左子树和右子树,但前提是它们中的任何一个是空的。如果左侧和右侧的树都不是空的,则修复树。
.A…B.C…D…….A…B.C…D。。。。。
..\./...\./.........\./...\./........................
…x…..x…--->…x…..x…….A…B…….B…A。
....\.../.............\.../.........\./..--->...\./..
……x…………x…………x…………x…………x。。。
………………………(A或B为(),则为叶)
这种自同构表明,不是每个子句都表示A089840号等于汤普森群V的某个元素(最小表示)。
|