计算机科学 - 空宝网

Monadic二阶逻辑的解释

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

0个赞

更改图表上的最大权重独立设置?

更改图表上的最大权重独立设置?
假设我对任意图上的最大权重无关/稳定集问题有一个最优解。如果我要在其顶点的一个子集中引入一个集团(并且可能添加一些仅与诱导集团的节点相邻的其他节点),是否存在一种使用原始最优解的有效方式(即它的结构作为起始解决方案)在修改图中找到新的最优最大权重独立集? ……继续阅读 »

0个赞

新的子集和方法TC /结果

新的子集和方法TC /结果
我一直在研究子集求和求解器的新方法,当前状态提供了一个在O上运算的算法( n / 2 O (n / 2n / 4)O(n/2n/4)≈ 小号ù 米(小号)2≈sum(S)2≈ 小号ù 米(小号)4≈sum(S)4d≈1d≈1 O (2ñ2) ……继续阅读 »

0个赞

2D矩形着色问题是否存在常数因子近似算法?

2D矩形着色问题是否存在常数因子近似算法?
我们在这里考虑的问题是众所周知的区间着色问题的扩展。我们考虑的是具有与轴平行的边的矩形,而不是间隔。目标是使用最少数量的颜色为矩形着色,使得任何两个重叠的矩形被分配不同的颜色。 已知这个问题是NP难的。(近似框图上的最大独立集和最小顶点着色)给出了O(log n)近似值。有更好的近似算法吗? 我们知道,通过根据左端点考虑间隔,通过首次拟合算法在多项式时间内求……继续阅读 »

0个赞

K-best非完美二分匹配算法

K-best非完美二分匹配算法
它通过找到k个最佳分配而不仅仅是最佳分配来解决最大和分配问题的推广。但是,它只关注完美匹配。我对双方比赛特别感兴趣。 特别是,对于二分图,定理1 p。161使用匹配被认为是完美的事实。 如何解决一般二分图的k-最佳分配问题? ……继续阅读 »

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个赞