判定单变量多项式实根存在的另一种方法及 3-SAT 的多变量扩展
数值分析
2008-09-05 v5 离散数学
摘要
我们提出了关于单变量实多项式的六个定理，并据此开发了一种新算法，用于判定单变量整系数多项式是否至少存在一个实根。当且仅当给定多项式是某个具有正系数实多项式的因式时，我们的算法输出不存在正实根。接下来，我们定义了一种变换，当且仅当 3-SAT 实例不可满足时，该变换将任何 3-SAT 实例转化为具有正系数的多变量实多项式。
引用
@article{arxiv.0803.0018,
title = {Another approach to decide on real root existence for univariate Polynomials, and a multivariate extension for 3-SAT},
author = {Deepak Ponvel Chermakani},
journal= {arXiv preprint arXiv:0803.0018},
year = {2008}
}
备注
8 pages, 6 Theorems on Univariate Polynomials, 1 Theorem on Multivariate Polynomial for 3SAT, 2 Conjectures