变量 - 空宝网

标签:变量

计算机科学

Monadic二阶逻辑的解释

Monadic二阶逻辑的解释
MSO代表“monadic二阶”:二阶因为它不仅可以对(一阶)位置变量进行量化,还可以对(二阶)集变量进行量化。Monadic因为量化最多只允许一元(monadic)关系,即集合。 我有一个基本问题,位置变量如何成为一阶变量,以及如何设置变量二阶? ……继续阅读 »

0个赞

计算机科学

多项式/有理函数的最优评估

多项式/有理函数的最优评估
计算多项式值的常用方法是以Horner形式编写它。但是,这并不总是评估它的最快方式。抛开数值精度的关注,取多项式: P(x )= Σk = 0ñ( nķ) xķ P(x)=∑k=0n(nk)xk 与已知。一种技术是预先计算系数并使用Horner形式评估多项式。然而,这需要时间线性的n,而我们可能会观察到nnnn P(x)=(x+1)n P(x)=(x+1)n……继续阅读 »

0个赞

计算机科学

线性系统中的最小相关变量 – 加性近似

线性系统中的最小相关变量 – 加性近似
在该问题中的线性系统的最小相关变量(敏RVLS),输入是一个线性系统,例如: Ax=b Ax=b 并且目标是找到具有尽可能少的非零变量的解xx。 已知该问题是NP难的并且难以近似于恒定的乘法因子(有关详细信息,请参阅维基百科页面)。 我的问题是:有关加性近似的任何已知事项吗?特别是:找到最多具有OPT+dOPT+d非零变量的解决方案的复杂性是多少,其中OPT……继续阅读 »

0个赞