[论文解读] A Lemma and a Conjecture on the Cost of Rearrangements

Alberto Bressan|ArXiv.org|Feb 19, 2003

Genome Rearrangement Algorithms被引用 63

一句话总结

本文建立了通过初等对换重新排列黑白书籍混合配置的成本的对数下界，证明当初始排列在尺度ε下充分混合时，最小成本随|log ε|增长。此外，本文进一步提出一个连续类比：对于环面上的混合向量场，为实现类似的混合效果，向量场的总变差也必须随ε对数增长。

ABSTRACT

Consider a stack of books, containing both white and black books. Suppose that we want to sort them out, putting the white books on the right, and the black books on the left (fig.~1). This will be done by a finite sequence of elementary transpositions. In other words, if we have a stack of all black books of length $a$ followed by a stack of all white books of length $b$, we are allowed to reverse their order at the cost of $a+b$. We are interested in a lower bound on the total cost of the rearrangement.

研究动机与目标

• 建立使用初等对换重新排列高度混合的黑白书籍配置的严格成本下界。
• 形式化高度混合初始配置需要大量努力才能整理的概念，以混合尺度ε的对数成本进行量化。
• 将离散的书籍整理问题推广到涉及紧致流形上混合向量场的连续设定。
• 推测为在压缩性和混合性条件下，将集合混合至尺度ε所需的向量场总变差，其增长也与ε呈对数关系。
• 探讨组合重排成本与动力系统中混合的正则性或强度之间的联系。

提出的方法

• 将书籍排列建模为从[0,1]到{0,1}的分段常数函数f，其中1表示黑书，0表示白书。
• 将初等对换定义为相邻黑书与白书块的反转，其成本等于这些块的总长度。
• 通过条件定义‘在尺度ε内充分混合’：每个长度为ε的区间内至少包含κε本黑书和κε本白书。
• 引入递归成本函数V(s)以表示形成长度为s的连续白书块的最小成本，推导出涉及κ和ε的递归不等式。
• 应用归纳法并估计满足(1 + nκ²)κ/2 ≥ 2^{n+1}ε的递归步数n(ε)，从而推导出对数下界。
• 将离散结果推广至关于连续混合的猜想，将f的总变差与环面上集合重排的对数成本联系起来。

实验结果

研究问题

• RQ1 通过初等对换重新排列高度混合的黑白书籍配置，所需的最小成本是多少？
• RQ2 当配置在所有尺度上均匀混合至ε时，随着混合尺度ε → 0，成本如何变化？
• RQ3 离散书籍整理问题能否推广至由向量场生成的流动的连续设定？
• RQ4 在紧致流面上将集合混合至尺度ε，所需的向量场最小总变差是多少？
• RQ5 在不可压缩性和混合性条件下，是否存在与离散情况类似的对数成本下界？

主要发现

• 任何对在尺度ε内充分混合的函数f的重排，其成本下界为Cκ|log ε|，其中Cκ是仅依赖于κ的常数。
• 该下界通过递归成本函数V(s)推导得出，该函数估计形成长度为s的连续白书块的最小成本。
• 对于s > ε，递归不等式V(s) ≥ min₀<σ<s [V(s−σ) + V(σ) + κ²s + (1−κ²)σ] 捕捉了形成并连接两个白书块的成本。
• 满足(1 + nκ²)κ/2 ≥ 2^{n+1}ε的递归步数n(ε)被证明以C′κ|log ε|增长，从而导出对数下界。
• 引理表明，即使在最有利的重排策略下，成本也至少随ε的减小而对数增长。
• 本文猜想，对于光滑且近似不可压缩的向量场，若其将集合混合至尺度ε，则总变差∫∫|∇ₓf| dx dt也必须以C|log ε|增长。