[论文解读] On the difference between solutions of discrete tomography problems II

Birgit van Dalen|ArXiv.org|Jun 26, 2009

Digital Image Processing Techniques参考文献 11被引用 5

一句话总结

本文建立了基于相同水平和垂直投影重建的任意两个不同二值图像之间对称差的紧下界。通过构造显式例子并证明最优性，表明最小对称差恰好为 $2\alpha + 2$，其中 $\alpha$ 衡量投影偏离唯一可重建性的程度。该结果补充了先前的上界结果，并完整刻画了离散层析成像中解的差异。

ABSTRACT

We consider the problem of reconstructing binary images from their horizontal and vertical projections. It is known that the projections do not necessarily determine the image uniquely. In a previous paper it was shown that the symmetric difference between two solutions (binary images that satisfy the projections) is at most 4A times the square root of 2N. Here N is the sum of the projections in one direction (i.e. the size of the image) and A is a parameter depending on the projections. In this paper we give a lower bound: for each set of projections that has at least two solutions, we construct two solutions that have a symmetric difference of at least 2A+2. We also show that this is the best possible.

研究动机与目标

• 确定具有相同行和列投影的两个不同二值图像之间可能的最小对称差。
• 弥合先前建立的上界与离散层析成像重建中实际可实现差异之间的差距。
• 证明 $2\alpha + 2$ 的下界是紧的，且对于任意具有多个解的投影集合均无法进一步改进。
• 提供实现该最小对称差的图像对显式构造，证明该界的紧致性。

提出的方法

• 定义 $\alpha = \frac{1}{2} \sum_{j=1}^{n} |c_j - v_j|$，其中 $v_j = \#\{l : r_l \geq j\}$，以衡量偏离唯一可重建性的程度。
• 通过系统性地在 $\mathcal{C}$ 与 $\mathcal{V}$ 之间的差异所导出的列对之间移动元素，构造两个解 $F_2$ 和 $F_3$。
• 采用逐步构造过程，确保每对列至少贡献 2 的对称差，利用行可用性与放置规则以保持投影一致性。
• 通过案例分析（情况 A 和情况 B）确保每次移动至少在一个列中使对称差增加 2。
• 通过构造一族例子（具体为 $m = n = \alpha + 1$ 且所有行和列和均为 1）证明最优性，此时对称差恰好达到 $2\alpha + 2$，表明该界是紧的。
• 通过一个具体例子说明构造过程：行和为 $(5,5,5,4,4,2,1,1)$，列和为 $(6,6,6,3,3,3)$，实现对称差为 14，超过下界 10，从而验证该界的正确性与实际相关性。

实验结果

研究问题

• RQ1 具有相同行和列投影的两个不同二值图像之间，可能的最小对称差是多少？
• RQ2 对于任意具有多个解的投影集合，该最小差异是否可被显式构造？
• RQ3 对称差的下界 $2\alpha + 2$ 是否为紧的，还是可以进一步改进？
• RQ4 投影序列的结构如何影响可实现的最小解差异？

主要发现

• 对于给定投影的任意两个不同解，其对称差至少为 $2\alpha + 2$，其中 $\alpha$ 是偏离唯一可重建性的偏差参数。
• 该下界 $2\alpha + 2$ 是最优的，无法改进，这通过一族例子得到证明，其中等号成立。
• 当所有行和列和均为 1 且 $m = n = \alpha + 1$ 时，两个解之间的对称差恰好为 $2\alpha + 2$，证明了该界的紧致性。
• 在行和为 $(5,5,5,4,4,2,1,1)$、列和为 $(6,6,6,3,3,3)$ 的具体例子中，构造得到的对称差为 14，超过下界 10，从而验证了该界的正确性与实际适用性。
• 该构造方法确保每对列至少为对称差贡献 2，且该过程保证生成的解均满足给定的投影条件。
• 即使当 $\alpha$ 相对于 $n$ 较大时，该界仍与实际最大可能差异保持在常数倍范围内，表明其在各类投影集合中均具有鲁棒性。