请教gh中两个任意的树型数据究竟是按什么原则匹配运算并按什么原则进行保存的?

你要是一开始就将问题讲清楚,就不至于浪费回答者的时间了。你说是吗?
至少你应该“保存路径”这样的自己发明创造的描述,在图上给圈出来
我到现在才明白过来你的问题说的是什么地方。

看起来问题一点都不幼稚

我只能说尽可能给你提供一些信息和我个人的理解,不敢保证100%准确回答你的问题
尽量不用那么不切实际的路径去测试和考察软件底层内核的原理。毕竟软件是工具,而不是博士论文。针对你这个情况,说真的我也无法理解第二个的0;2;4和0;2;5怎么来的
只能说是推测在找不到匹配路径的时候,将末位数做一个简单的累加。
GH没有你想象的那么严谨,有整套的理论体系,我也比较反对你通过看书(这本书很老了)的方式去研究他背后的东西,因为极有可能他就是作者并没有非常在意的一些细枝末节,以他自己理解能用的方式先处理了。他也不会想到有用户会用那么极端的情况去测试他的逻辑。就好比你学过的语文课拼命揣测作者当时写某句话的用意,但其实作者当时可能就是:“噢。我随便写的“,当然我并不是说David Rutton是一个随便的人,而是GH涉及到的细枝末节太多了,要考虑到的各种情况也太多了
你把他当作绝对严谨的数学模型,试图用奇怪的特例想要摸清他最底层的逻辑
确实是挺浪费时间的