给定任意函数 $f:[N]\to[M]$，函数求逆问题要求预处理 $f$，使得在给定 $y\in[M]$ 时能够判断是否存在 $x\in[N]$ 使 $f(x)=y$，并在存在时返回一个这样的 $x$。Fiat‑Naor 的方案在理论计算机科学中引起广泛关注，帮助突破了若干关于元复杂度和 3SUM 的猜想。本文研究的自然扩展称为原像报告：不仅要返回一个满足 $f(x)=y$ 的 $x$，而是返回全部满足条件的集合 $f^{-1}(y)$。我们给出一种通用方法，将任意函数求逆方案转化为高效的原像报告方案。设 $\Delta$ 为 $f$ 的最大入度，则只要空间 $S$ 与查询时间 $T$ 满足 $TS^{2}=N^{2}\Delta$，即可实现原像报告，这与 Fiat‑Naor 为函数求逆得到的空间‑时间权衡的一个变体一致。该结果甚至在查询时间上优于对应的求逆方案，实现了查询时间与 $|f^{-1}(y)|$ 成反比的首次方案。基于此框架，我们还给出 $k$SUM‑indexing 与 Jumbled indexing 的报告版简洁解法。
点评：本文通过巧妙的转换将函数求逆的经典 trade‑off 延伸到完整原像报告，首次实现查询时间随原像大小逆比例增长，为相关索引问题提供了更灵活的工具。