[论文解读] Reconstructing 3-colored grids from horizontal and vertical projections is NP-hard

Christoph Dürr, Flavio Guíñez+1 more|ArXiv.org|Apr 21, 2009

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

一句话总结

本文证明了从给定的水平和垂直投影重建一个三色网格是 NP-难问题，解决了离散层析成像中长期存在的复杂性缺口。作者通过一种包含三种不同瓦片类型的铺砌构造，从一个已知的 NP-难问题进行归约，表明即使只有三种颜色，该问题依然计算上不可解，从而将先前关于四色或更多颜色时 NP-难性的结果扩展至三色情形。

ABSTRACT

We consider the problem of coloring a grid using k colors with the restriction that in each row and each column has an specific number of cells of each color. In an already classical result, Ryser obtained a necessary and sufficient condition for the existence of such a coloring when two colors are considered. This characterization yields a linear time algorithm for constructing such a coloring when it exists. Gardner et al. showed that for k>=7 the problem is NP-hard. Afterward Chrobak and Durr improved this result, by proving that it remains NP-hard for k>=4. We solve the gap by showing that for 3 colors the problem is already NP-hard. Besides we also give some results on tiling tomography problems.

研究动机与目标

• 通过证明三色网格重建问题在三色情况下的 NP-难性，填补该问题在复杂性分类中的空白，完成 k-色层析成像问题的分类。
• 将先前关于 k ≥ 4 和 k ≥ 7 时 NP-难性的结果扩展至 k = 3 的情形。
• 确立三色层析成像问题在计算上是不可解的，尽管两色情形存在多项式时间算法。
• 通过使用具有特定模约束的铺砌图案，提供一种构造性归约，以模拟所需的投影。

提出的方法

• 使用一种基于块的铺砌方案，包含三种不同的瓦片类型 T₁、T₂、T₃，从一个已知的 NP-难问题构造到三色网格重建问题的归约。
• 定义瓦片的放置规则，使得每种瓦片 T_c 仅被放置在满足 i ≡ 1 (mod p_c) 且 j ≡ 1 (mod q_c) 的位置 (i,j)，从而确保投影仅在特定行和列上非零。
• 利用共轭向量概念和优势排序（r ≼ s*）来刻画可行的两色解，并通过块分解将该框架扩展至三色情形。
• 应用引理 6 表明，任何解必须恰好由三种块类型组成：M̄ᴿ（红色）、M̄ᴳ（绿色）和 M̄ʸ（黄色），这是基于投影约束和模放置规则。
• 利用垂直或水平瓦片间分隔只能发生在两种瓦片均满足模条件的位置这一事实，从而在块之间强制实现结构一致性。
• 证明唯一可行的解是三种预定义的铺砌方式（M̄ᴿ、M̄ᴳ、M̄ʸ），从而确保归约保持可行性与正确性。

实验结果

研究问题

• RQ1 从行和列投影重建三色网格的问题是否为 NP-难？
• RQ2 k-色层析成像的 NP-难性是否可扩展至 k = 3，从而弥合 k = 2（多项式时间）与 k ≥ 4（NP-难）之间的差距？
• RQ3 能否构造一种基于铺砌的归约，使得仅三种特定的块配置满足投影约束？
• RQ4 对瓦片放置的何种结构约束可确保唯一可行的解为预定义的铺砌方式？

主要发现

• 从水平和垂直投影重建三色网格的问题是 NP-难的，解决了 k = 3 的开放情况。
• 该证明表明，即使只有三种颜色，除非 P = NP，否则不存在多项式时间算法。
• 归约使用一种包含三种瓦片类型 T₁、T₂、T₃ 的铺砌构造，每种瓦片仅被放置在满足特定模条件（i ≡ 1 mod p_c，j ≡ 1 mod q_c）的位置。
• 任何解必须恰好由三种块类型组成：M̄ᴿ（用 T₁ 和 T₂ 铺砌）、M̄ᴳ（用 T₂ 和 T₃ 铺砌）和 M̄ʸ（完全用 T₃ 铺砌），这是基于投影约束。
• 模放置规则确保瓦片之间的转换只能发生在有效位置，从而强制三种铺砌配置的唯一性。
• 该构造证明了原始的三色层析成像实例可行，当且仅当铺砌实例有解，从而确立了归约的正确性。