[论文解读] Faster Real Feasibility via Circuit Discriminants

Frédéric Bihan, J. Maurice Rojas+1 more|arXiv (Cornell University)|Jan 28, 2009

Algorithms and Data Compression被引用 13

一句话总结

本文提出了一种多项式时间算法，用于检测具有整数系数和指数的 $n$-变量 $(n+2)$-项式实根，该方法利用电路判别式和对数线性形式的丢番图逼近。关键贡献在于证明了对于任意固定的 $n$，此类稀疏多项式的实可行性问题属于 P 类，从而解决了此前在稀疏编码下复杂度界为指数级的长期悬而未决的复杂度差距问题。

ABSTRACT

We show that detecting real roots for honestly n-variate (n+2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any fixed n. The best previous complexity bounds were exponential in the sparse encoding, even for n fixed. We then give a characterization of those functions k(n) such that the complexity of detecting real roots for n-variate (n+k(n))-nomials transitions from P to NP-hardness as n tends to infinity. Our proofs follow in large part from a new complexity threshold for deciding the vanishing of A-discriminants of n-variate (n+k(n))-nomials. Diophantine approximation, through linear forms in logarithms, also arises as a key tool.

研究动机与目标

• 解决稀疏多项式实可行性中的复杂度差距问题，此前即使对于固定的 $n$，其复杂度界也呈指数级增长。
• 刻画当 $n \to \infty$ 时，实可行性从 P 转变为 NP-难的阈值函数 $k(n)$。
• 为任意固定的 $n$ 建立检测 $n$-变量 $(n+2)$-项式实根的多项式时间算法。
• 基于 $n$-变量 $(n+k(n))$-项式 $Δ$-判别式消失的条件，建立复杂度阈值。
• 应用丢番图逼近工具，特别是对数线性形式，分析基于判别式的可行性准则中的符号条件。

提出的方法

• 该方法依赖于将 $n$-变量 $(n+2)$-项式的支撑集表征为电路，利用凸包和子电路相对内部等几何性质。
• 通过引理 2.13 使用子电路凸包的带符号体积，判断给定系数向量是否导致非空实零点集。
• 算法检查系数的符号模式，并利用定理 2.18 和 2.19 推导出的乘积不等式来判断可行性。
• 将问题约化为计算对数线性组合的符号，该问题通过丢番图逼近技术处理。
• 可行性判断基于体积向量中唯一的负坐标是否对应于唯一的负系数，以及关键乘积不等式是否成立。
• 对于固定的 $n$，该算法在多项式时间内运行，其复杂度由带符号体积和对数比较的高效计算所界定。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，对于哪些函数 $k(n)$，$n$-变量 $(n+k(n))$-项式实根检测的复杂度从 P 转变为 NP-难？
• RQ2 对于任意固定的 $n$，$n$-变量 $(n+2)$-项式实可行性是否可在多项式时间内判定？
• RQ3 $\mathcal{A}$-判别式在确定稀疏多项式系统实可行性复杂度阈值中的作用是什么？
• RQ4 如何利用对数线性形式的丢番图逼近来判定基于判别式的可行性准则中的符号条件？
• RQ5 哪些几何与代数不变量（如电路结构、带符号体积）可用于刻画稀疏多项式实零点集？

主要发现

• 对于任意固定的 $n$，$n$-变量 $(n+2)$-项式实可行性属于 P 类，解决了稀疏多项式复杂度中的一个重大缺口。
• 问题 ${\mathbf{FEAS}}_{+}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+1})$ 和 ${\mathbf{FEAS}}_{\mathbb{R}}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+1})$ 属于 $\mathbf{NC}^1$，表明其电路复杂度极低。
• 对于任意 $\varepsilon > 0$，可行性问题 ${\mathbf{FEAS}}_{+}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+n^{\varepsilon}})$ 和 ${\mathbf{FEAS}}_{\mathbb{R}}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+n^{\varepsilon}})$ 属于 $\mathbf{NP}$-难。
• 该算法通过检查由电路判别式导出的对数线性组合的符号来正确判定可行性，利用了丢番图逼近。
• 对于固定的 $n$，该算法在多项式时间内运行，其复杂度由带符号体积和电路结构中乘积比较的高效计算所界定。
• 对 $\mathcal{A}$-判别式消失的刻画提供了稀疏多项式实可行性从 P 到 NP-难复杂度转变的精确阈值。