顾明澈把那几张纸重新排了一次。

最先放到桌上的，是六月在长桌边画过的两个局部结构，后面多了好几页，几处连线被他挪到另外一侧，空出来的位置写着新想到的条件。

七月二十五日午后，江临按约到来，拉开椅子坐下，先将手机调成能够看见来电、又不让每条消息都响的状态。

他今天想把这段题完整听完。

顾明澈拿笔沿最上面那张图点了点，说自己原来算每一块最少需要多少观察，算到能够相互拼接的地方，发现只留下这个数，还不能告诉外面的人应该怎么选。

“同样少，留下来的东西不一样。”

他将两个大小相同的局部选择并排，沿它们各自没有分开的候选关系给江临看，再在外侧接上同一个小结构。

接法相同，原来在两块内部同样合算的选择，到了整体里，需要外面补的观察却不同。

江临从前面的定义看过去，找到这次拼接确实允许传过去的接口，问顾明澈有没有把局部内部始终没有分开的那一部分一同留下。

顾明澈从后面抽出另一页。

“留了，前一张为了好看，没全画。”

纸上的线顿时密了一些，江临把它拉到近处，先按朋友已经写好的对应读，再从旁边空白的位置重新画出接口。

顾明澈看他读到中间，将原来遮在手边的那一小段露出来，说自己最想往下做的是这里。

他想知道，怎样向外传递足够的信息，使外面的结构换过以后，仍然能从这份局部描述接出最少见证的比较，而不必每接一块，就把里面所有选择从头展开。

江临沿那几处接口看了一会儿，将已经允许整体重命名的部分合到一起，再把真正影响外部区分的关系留在纸面。

“你要传过去的，是这几种还分不开的关系。”

他说完，将两张图里各自保留的一部分对齐，让顾明澈看其中哪些名字可以一起换，哪些连接必须留住。

顾明澈拿过纸，沿这段继续画，将自己之前列的一组较大的选择拆成几类，再把外面那个小结构逐一接回去。

他们沿顾明澈已经限定的拼接方式，继续做眼前这几个例子。

其中一个例子接到最后，原来外侧多出的一处观察可以省下，顾明澈在原图旁边写下新的数，再将内部未分开的候选关系重新看了一遍。

江临坐在对面，手指压着朋友最先那张图，等他把这一段走完，才问如果外面换成另一种允许的连接，还能不能保有相同的对应。

顾明澈从包里拿出自己已经画过的一幅。

“我就是拿这个比的。”

他将图接到刚才那份局部描述外面，一处没有画完的关系露出来，两人各拿一支笔，在不同的纸上沿同一组定义往下走。

江临的手机这时亮了一下。

服务负责人发来消息，一处客户想把常用任务换到另一种来料位置，现场已按既定入口调整好，附上实际使用的画面，请他有空时看。

他看清是已经处理完的常规使用，回了收到，把手机放回桌角，继续读顾明澈手下那一段。

朋友抬头问是不是要出去接电话，江临说已经有人做完了，让他接着讲。

顾明澈把刚才停下的地方圈出来，沿接口指出，眼前两种局部代表对外的关系一致，换到另一个外部以后，还能从这一组对应把比较接过去。

江临让他把一一对应真正使用的条件写在前面，自己从另一侧推，看看这两幅具体结构怎样与外部的选择配合。

纸上逐渐出现了一段完整的推演。

在他们已经限定的拼接模型里，局部通过同样的接口留下同样的区分关系，外部再取相同的观察，能得到的区分便沿那份对应一起保留。

顾明澈又把那两种同样大小的局部选择拿了过来。

单看最少见证的数，它们写在纸上完全一样，他把各自还没有分开的候选对沿接口排好，江临从外面接入相同的一次观察，其中一张继续留下两种可能，另一张却已经能区分。

顾明澈将这两种结果留在原处，给自己最先的那个问题画了一条线，告诉江临，自己想找到的压缩方式，要把这种区别保下来。

“只交一个数，后面没法选。”

他沿联合的区分关系继续写，把单独看每个接口时会丢掉的联系保在同一份描述里，随后再将允许一起重命名的部分合并。

江临拿过其中一幅，在旁边另接一小块，沿朋友已经写出的对应比较，原来需要从内部重新展开的那一段，可以从当前留下的关系继续看。

他们把这几个小例子逐一写清，顾明澈翻出最早那页密密麻麻的枚举，把能够归到一起的部分圈住，剩下的继续放在外面。

纸上省出了不少重复的形状，真正需要研究的那几种关系反而显得清楚，他把它们挪到一张新纸，准备从这里继续往一般情形走。

顾明澈读到后面，将原来暂时搁在旁边的一种内部情况接回去，补进当前描述的同一层，随后拿另一张纸把整个过程从开头重写。

江临靠到椅背，等他写完，起身去接了两杯水。

回来时，顾明澈正在最后一行后面空出一小段，准备单独列自己接下来要问的事，见水放到旁边，先把纸往里移，才伸手端杯子。

“这一块能继续往下做。”

他喝了一口，将杯子放到远些的位置，又翻出自己早先那个计数下界，比较两条路究竟怎样接在一起。
本章未完，请翻下一页继续阅读.........