如何将 3COLOR 降低为 3SAT？
我们知道3SAT ≤p 3COLOR（即3SAT 是多项式时间可简化为3COLOR）。 谁能简短地论证一下为什么 3COLOR ≤p 3SAT？ 并给出实际的库克减少，表明 3COLOR …
我可以减少这段 JavaScript 代码吗？
我可以减少 function n() { var a; if(a = document.getElementById('fb0')) { a.onclick = i0; document.getElementById('fb1').onclick = i1; } } …
OpenMP：同一编译指示上的 nowait 和归约子句
我正在研究OpenMP，并遇到以下示例： #pragma omp parallel shared(n,a,b,c,d,sum) private(i) { #pragma omp for nowait for (i=0; i
lambda 演算中的按值调用
我正在研究类型和编程语言，以及 Pierce，用于按值缩减策略调用，给出术语id(id(λz.id z))的示例。内部 redex id (λz.id z) 被简化为 λz.id z。首…
证明问题的 NP 完备性
我们给定一个集合 A = {a1,a2,...,an} 给定 A 的子集 B1，B2，...，Bm。如果名为 H 的 A 子集与所有给定的 B 都有交集，我们将 H 称为“覆盖子集”。…
如何简化这个Xpath表达式？
我有以下 XML 代码： foo bar 我想要将 l_desc 节点与 a 或 b 节点作为父节点进行匹配。 现在，我使用这个 xpath 表达式： //a/l_desc/.. | //b/l_des…
比较 2D 数组上的 Matlab 与 CUDA 相关性和简化
我正在尝试比较使用 FFT 与使用加窗方法的互相关。 我的 Matlab 代码是： isize = 20; n = 7; for i = 1:n %%7x7 xcorr for j = 1:n xcout(i,j) = sum…
Haskell“源减少”
我正在复习即将到来的 Haskell 考试，但我不明白过去试卷上的一个问题。 Google 出现 没什么用 fst(x, y) = x square i = i * i i) 源reduce，使用Has…
如何减少 (x,y) 数据中的点数
我有一组数据点： (x1, y1) (x2, y2) (x3, y3) ... (xn, yn) 样本点的数量可以是数千个。我想用最少的（假设 30 个）点集尽可能准确地表示相同的曲线…
在 Visual Studio 2008 中执行表达式求值/归约
是否可以让 Visual Studio 进行数学表达式评估/简化？ 例如，如果我输入“-0.005 + -0.345”，如何让 Visual Studio 减少该值（即用减少值替换它）？ …
查看 Haskell 中的缩减步骤
有没有办法查看haskell中的减少步骤，即跟踪所做的递归函数调用？ 例如，chez 方案为我们提供了trace-lambda。 Haskell 中有等效的形式吗？…
- 共 1 页
- 1
