[论文解读] On the reconstructibility of totally symmetric functions and of other functions with a unique identification minor

Erkko Lehtonen|arXiv (Cornell University)|Aug 15, 2012

Mathematical Analysis and Transform Methods参考文献 19被引用 3

一句话总结

本文研究了从其识别极小化函数（通过合并两个变量形成的函数）重构布尔函数和多值函数的可能性。证明了足够高阶的完全对称函数是可重构的，且由首次出现顺序弱决定的函数（尤其是二元域上的函数）也是可重构的，为基于极小化的离散函数重构问题奠定了基础性结果。

ABSTRACT

We investigate the problem whether a function of several arguments can be reconstructed from its identification minors. We focus on functions with a unique identification minor, and we establish some positive and negative results on the reconstruction problem. In particular, we show that totally symmetric functions (of sufficiently large arity) are reconstructible and the class of functions weakly determined by the order of first occurrence (of sufficiently large arity) is weakly reconstructible.

研究动机与目标

• 确定函数是否可从其识别极小化函数重构，这是将图重构推广至离散函数的一般化问题。
• 研究具有唯一识别极小化函数的函数，重点关注使其可重构或不可重构的结构性质。
• 建立函数（尤其是对称函数与顺序依赖函数）可重构的充分条件。
• 探讨置换群与极小化关系在函数重构中的作用，将经典重构思想扩展至代数函数理论。

提出的方法

• 使用极小化关系定义识别极小化函数：通过满射映射将两个输入变量合并而得到的函数。
• 应用群论技术，特别是置换群作用与奇偶性论证（偶置换/奇置换），比较变量重标记下函数值的差异。
• 引入“首次出现顺序”（ofo）概念，以表征输出依赖于输入值首次出现顺序的函数。
• 提出弱可重构性的概念，即在变量置换等价意义下，函数可从其极小化函数中重构。
• 分析特定函数类，如由支撑集（supp）或奇支撑集（oddsupp）决定的函数，证明其在高阶情况下具有可重构性。
• 通过反例构造与情形分析（例如，借助表3）展示在某些对称情形下存在不可重构性，特别是当阶数较小时。

实验结果

研究问题

• RQ1 对于足够高阶的完全对称函数，能否从其识别极小化函数中重构？
• RQ2 由首次出现顺序弱决定的函数是否可重构，特别是在二元域上？
• RQ3 在何种条件下，具有唯一识别极小化函数的函数是可重构的？
• RQ4 能否从其极小化函数中重构由supp或oddsupp决定的函数？
• RQ5 当输入集大小k ≥ 3且阶数足够大时，所有由首次出现顺序决定的函数是否均可重构？

主要发现

• 当域大小为k且阶数n ≥ k+2（k ≥ 2）时，完全对称函数是可重构的。
• 由首次出现顺序弱决定的函数在阶数足够大时是弱可重构的，尤其在二元域上成立。
• 由supp或oddsupp（阶数足够大）决定的函数是可重构的，构成首次出现顺序函数的一个子类。
• 当k = 2时，由首次出现顺序弱决定的函数是可重构的，如推论6.3所示。
• 本文通过置换奇偶性构造显式反例，证明某些函数（如φ⁺ₖ和ψ⁺ₖ）尽管共享极小化函数，但彼此不等价，从而证明了特定情形下的不可重构性。
• 一个开放问题仍存在：当k ≡ 1,2 mod 4且n ≥ k+2，或k ≡ 0,3 mod 4且n ≥ k+3时，所有由首次出现顺序决定的函数是否均可重构？