a[x[i-1]][x[j]]!=finity && (clength+a[x[i-1]][x[j]]<bestlength || bestlength ==finity代码解析

该段代码用于判断当前节点能否到达下一个节点，以及是否需要搜索下一个节点。具体来说，代码中的 a[x[i-1]][x[j]] 表示当前节点与下一个节点之间的距离，如果这个距离不为无穷大，则说明当前节点可以到达下一个节点。而 (clength+a[x[i-1]][x[j]]<bestlength || bestlength ==finity) 则表示将下一个节点加入路径后的路径长度是否小于当前的最优路径长度。如果小于，则需要继续搜索下一个节点；如果大于或等于，则可以剪枝，不用继续搜索。

需要注意的是，代码中的 x[i-1] 表示当前路径中的上一个节点，x[j] 则表示当前节点。而 finity 表示无穷大，用于表示两个节点之间不存在连通路径的情况。