[論文レビュー] 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つの異なる二値画像間の対称差の下界をタイトに確立する。明示的な例の構築と最適性の証明により、最小対称差が正確に $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つの異なる二値画像間の最小対称差を特定すること。
• 離散トモグラフィー再構成における以前に確立された上界と実際の達成可能な差の間のギャップを埋めること。
• 下界 $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}$ の差に由来する列ペアに対応する列間で要素を体系的に移動させることで、2つの解 $F_2$ と $F_3$ を構築する。
• 対称差が少なくとも1列ペアあたり2以上になるように、段階的な構成プロセスを用い、行の利用可能性と配置ルールを活用して投影の一貫性を保つ。
• 各移動が少なくとも1つの列で対称差を2以上増加させることを保証するため、ケース分析（ケースAおよびケースB）を適用する。
• 最適性を証明するため、$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 同じ行および列の投影を満たす2つの異なる二値画像間の最小対称差は何か？
• RQ2 複数の解をもつ与えられた投影セットに対して、この最小差を構成的に達成できるか？
• RQ3 対称差の下界 $2\alpha + 2$ はタイトか、それ以上改善可能か？
• RQ4 投影列の構造は、最小達成可能差にどのように影響するか？

主な発見

• 与えられた投影を持つ離散トモグラフィー問題の2つの異なる解の間の対称差は、常に $2\alpha + 2$ 以上である。ここで $\alpha$ は一意再構成可能性からの逸脱パラメータである。
• この下界 $2\alpha + 2$ は最適であり、等号が達成される例の族により、改善不可能であることが示された。
• すべての行および列の和が1で $m = n = \alpha + 1$ の場合、2つの解間の対称差は正確に $2\alpha + 2$ であり、タイト性が証明された。
• 行和 $(5,5,5,4,4,2,1,1)$ および列和 $(6,6,6,3,3,3)$ を用いた具体的な例では、構成により対称差14が得られ、下界10を上回り、境界の妥当性と実用的関連性を確認した。
• 構成法により、各列ペアが対称差に少なくとも2を寄与することが保証され、与えられた投影を保持する有効な解が保証される。
• $\alpha$ が $n$ に対して大きくても、境界は実際の最大可能差の定数倍の範囲に留まり、多様な投影セットにわたり強固であることが示された。