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

Birgit van Dalen|ArXiv.org|Jun 23, 2008

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

一句话总结

本文通过引入一个衡量接近唯一重构程度的新参数 α，建立了从相同或不同水平与垂直投影重构出的二值图像之间对称差的上界。证明了当两个重构结果互不相交时，必须满足特定的投影约束，并通过唯一确定的邻域和基于阶梯结构的分析，提供了优于先前方法的紧致上界。

ABSTRACT

We consider the problem of reconstructing binary images from their horizontal and vertical projections. We present a condition that the projections must necessarily satisfy when there exist two disjoint reconstructions from those projections. More generally, we derive an upper bound on the symmetric difference of two reconstructions from the same projections. We also consider two reconstructions from two different sets of projections and prove an upper bound on the symmetric difference in this case.

研究动机与目标

• 确定从相同投影重构出的两个二值图像完全不相交的条件。
• 在现有行方向上界的基础上，推导出从相同投影重构出的两个图像之间对称差的上界。
• 将分析扩展到从不同投影集合重构出的两个图像的情形，提供其差值的统一上界。
• 通过唯一确定的邻域，刻画出与任一原始图像保证有较大交集的图像特征。
• 识别出在非唯一性存在的情况下，通过 α 参数使重构不确定性最小化的参数区域。

提出的方法

• 引入参数 α(F₁, F₂)，用于量化两个有限二值集合 F₁ 和 F₂ 之间行和与列和的总变差，作为重构模糊性的代理指标。
• 将给定图像 F₂ 的唯一确定邻域 F₁ 定义为具有相同行和且列和非递增的二值图像，利用 Ryser 定理确保唯一性。
• 应用先前工作中提出的基于阶梯的比较技术，通过将图像结构与线和变化关联，来界定对称差。
• 推导出定理 6，该定理基于行和列分布中的几何约束，利用 α 和图像大小来界定对称差 |F₁ △ F₁′| 的上界。
• 通过三角不等式类推，结合多个唯一确定邻域的界，推导出定理 7，该定理给出了具有不同投影的两个任意图像之间对称差的上界。
• 使用组合论证和极值构造（例如 n=7 的例 2）来验证理论界并评估其紧致性。

实验结果

研究问题

• RQ1 在何种行和列和条件下，从相同投影重构出的两个不同二值图像可以完全不相交？
• RQ2 如何根据其线和差异，对同一图像的两个重构结果之间的对称差进行界定？
• RQ3 从不同投影集合重构出的两个图像之间，对称差的最紧可能上界是什么？
• RQ4 是否可以构造出一个唯一确定的图像，使其与任一原始图像保证具有最小交集，即使重构不唯一？
• RQ5 理论上对称差的界在多大程度上可以改进，特别是通过减少当前界与已知极值例子之间的差距？

主要发现

• 当从相同投影重构出的两个图像互不相交时，其投影必须满足由 α 参数和唯一确定邻域结构导出的特定条件。
• 定理 6 提供了在某些极值配置下 |F₁ △ F₁′| ≤ 2n√(2n+1) − n 的上界，该界优于经典的行方向上界。
• 定理 7 给出了具有不同投影的两个图像之间对称差的一般上界：|F₂ △ F₃| ≤ α₂√(8|F₂|+1) − α₂ + α₃√(8|F₃|+1) − α₃ + 2α₁√(2α₁+1) − α₁，其中 α 参数衡量接近唯一重构的程度。
• 在 n=5 的例 3 中，理论界约为 4√2 n ≈ 14.14n，而实际对称差为 4n+1，表明该界仅比最优值小 √α 倍左右。
• 本文识别出理论界与极值例子之间存在持续的差距，表明若能加强引理 3 和定理 6，则所有界理论上均可改进 √α 倍。
• 该方法在多方向投影中依然适用，通过聚焦于两个方向；在某些情况下，该两方向界的误差仅比最优值小 √α 倍，尽管忽略了其他投影。