[论文解读] Topological Representation of the Transit Sets of k-Point Crossover Operators

Manoj Changat, Prasanth G. Narasimha-Shenoi+5 more|arXiv (Cornell University)|Dec 25, 2017

Advanced Control Systems Optimization参考文献 33被引用 3

一句话总结

该论文证明了遗传算法中k点交叉算子生成的传递集的凸性结构与底层汉明图的测地线凸性一致，从而解决了Mulder提出的一个开放问题。此外，该研究进一步表明，这些传递集是VC维为k+1的均匀定向拟阵的顶点（topes），并可借助伪球面排列实现表示，尤其对k=2的情况，利用图论与拓扑工具进行了详细刻画。

ABSTRACT

$k$-point crossover operators and their recombination sets are studied from different perspectives. We show that transit functions of $k$-point crossover generate, for all $k>1$, the same convexity as the interval function of the underlying graph. This settles in the negative an open problem by Mulder about whether the geodesic convexity of a connected graph $G$ is uniquely determined by its interval function $I$. The conjecture of Gitchoff and Wagner that for each transit set $R_k(x,y)$ distinct from a hypercube there is a unique pair of parents from which it is generated is settled affirmatively. Along the way we characterize transit functions whose underlying graphs are Hamming graphs, and those with underlying partial cube graphs. For general values of $k$ it is shown that the transit sets of $k$-point crossover operators are the subsets with maximal Vapnik-Chervonenkis dimension. Moreover, the transit sets of $k$-point crossover on binary strings form topes of uniform oriented matroid of VC-dimension $k+1$. The Topological Representation Theorem for oriented matroids therefore implies that $k$-point crossover operators can be represented by pseudosphere arrangements. This provides the tools necessary to study the special case $k=2$ in detail.

研究动机与目标

• 为解决Mulder提出的开放问题：图的测地线凸性是否由区间函数唯一确定？
• 刻画k点交叉算子的传递函数及其底层图结构。
• 研究k点交叉传递集的拓扑与组合性质，特别是针对二进制字符串的情况。
• 判断Gitchoff与Wagner的猜想是否成立——即每个传递集（除超立方体外）是否均由唯一的一对亲本生成？
• 探索k点交叉与定向拟阵理论之间的联系，尤其关注VC维与伪球面表示方面。

提出的方法

• 通过最多k个断点的基于区间的重组定义k点交叉，确保亲本字符串包含在子代集合中。
• 利用传递函数公理（T1–T3）建模重组集合，与Mulder在图的凸性与中间性研究中的框架保持一致。
• 将k点交叉传递函数的底层图刻画为汉明图或部分立方体图。
• 证明在二进制字符串上，k点交叉的传递集正是VC维为k+1的均匀定向拟阵的顶点。
• 应用定向拟阵的拓扑表示定理，通过伪球面排列表示k点交叉。
• 利用图论工具（包括度分布与传递集图中的边计数）分析k=2的特殊情况。

实验结果

研究问题

• RQ1 连通图的区间函数是否唯一确定其测地线凸性？
• RQ2 k点交叉算子在二进制字符串上的传递集是否可实现为均匀定向拟阵的顶点？
• RQ3 当k > 1时，k点交叉传递集的VC维是否在所有传递函数中达到最大？
• RQ4 Gitchoff与Wagner的猜想是否成立——即每个传递集（除超立方体外）是否均由唯一的一对亲本生成？
• RQ5 k点交叉算子是否可借助伪球面排列实现拓扑表示，特别是对k=2的情况？

主要发现

• k点交叉算子（k > 1）的传递函数生成的凸性与底层汉明图的测地线区间函数一致，从而以否定方式解决了Mulder的开放问题。
• 当k > 1时，k点交叉在二进制字符串上的传递集恰好是VC维为k+1的均匀定向拟阵的顶点。
• 拓扑表示定理表明，k点交叉算子可通过伪球面排列实现表示，为重组过程提供了拓扑实现。
• 当k=2时，传递集图包含2t个度为3的顶点与t²−3t个度为4的顶点，其结果由基于握手引理的线性方程组推导得出。
• 证明k点交叉算子的传递集在所有传递函数中具有最大VC维，确认了其组合复杂性。
• 结果可直接推广至所有汉明图，因为k点交叉的结构仅依赖于汉明距离及亲本间字符串位置的差异。