计算机科学

我试图绕过NP完整性证明，这似乎是围绕SAT / 3CNF-SAT。 也许是时候晚了，但恐怕我想不出一个无法满足的3CNF公式（我可能会遗漏一些明显的东西）。 能给我一个这样的公式的例子吗？

15 logic  satisfiability  3-sat 

据我了解，渐近紧边界表示它是按theta表示法从上至下绑定的。但是，渐近严格的上限对Big-O表示法意味着什么？

15 asymptotics 

团问题是公知的 -complete问题，其中所需要的集团的大小是输入的一部分。但是，k-clique问题具有简单的多项式时间算法（当k为常数时为O （n k））。当k为常数时，我对最著名的上限感兴趣。NPNPNPO(nk)O(nk)O(n^k)kkk 是否存在运行时间为？甲ø （Ñ ķ） -time算法也是可接受的。此外，这种算法的存在是否有复杂性理论的后果？O(nk−1)O(nk−1)O(n^{k-1})o(nk)o(nk)o(n^k)

15 complexity-theory  graph-theory 

半年前，我坐在一个数据结构课上，如果有人可以在不使用递归，堆栈，队列等（或任何其他类似数据结构）而仅使用几个指针的情况下遍历一棵树，教授将提供额外的荣誉。我想出了一个我认为是对这个问题的明显答案，最终被教授接受了。我和同一系的另一位教授坐在一门离散数学课上，他断言没有递归，堆栈，队列等就不可能遍历一棵树，而且我的解决方案无效。 那么，有可能还是不可能？为什么或者为什么不？ 编辑：为澄清起见，我在具有三个元素的二叉树上实现了这一点-每个节点上存储的数据和指向两个孩子的指针。我的解决方案仅需少量更改即可扩展到n元树。 我的数据结构老师没有对树的变异施加任何限制，实际上，后来我发现他自己的解决方案是使用子指针在回落的过程中指向树的后方。我的离散数学教授说，根据树的数学定义，树的任何突变都意味着它不再是树，他的定义还将排除指向父代的任何指针，这与我上面解决它的情况相符。

15 algorithms  trees  recursion 

两者之间有什么区别吗？根据Ullman的书，编译器将一种语言转换为另一种（通常是低级）语言，汇编器也是如此。两者有何不同？

15 terminology  compilers 

最有可能在问过这个问题。来自CLRS（第二版）问题6.5-8- 给出一个时间算法，将k个排序列表合并为一个排序列表，其中n是所有输入列表中元素的总数。（提示：请使用最小堆进行k向合并。）O(nlgk)O(nlg⁡k)O(n \lg k)kkknnnkkk 由于有排序的列表且总共有n个值，所以我们假设每个列表包含n个kkknnn数字，而且每个列表都严格按升序排序，结果也将按升序存储。nknk\frac{n}{k} 我的伪代码看起来像这样- list[k] ; k sorted lists heap[k] ; an auxiliary array to hold the min-heap result[n] ; array to store the sorted list for i := 1 to k ; O(k) do heap[i] := GET-MIN(list[i]) ; pick the first element ; and keeps track of …

15 algorithms  algorithm-analysis  heaps  priority-queues 

我的课程中曾经有一位资深人士，他创建了一种算法，可以建议烹饪食谱。首先，各种疯狂的食谱都会出现。然后，她将用真实的食谱训练烹饪算法，并最终提出非常好的食谱。 我相信她使用了与贝叶斯定理或聚类有关的东西，但是她早已不复存在，算法也是如此。我已经在互联网上搜索过，但是寻找烹饪食谱会产生任何结果，但不是我想要的结果。所以，我的问题是： 可以使用哪些技术来设计（随机地）提出可行配方的算法（不使用固定配方的数据库）？ 为什么我要寻找烹饪算法呢？好吧，这是真实世界中底层概念应用的一个很好的例子，这种算法在更接近真实世界的不同设置中很有用。

15 machine-learning  artificial-intelligence  modelling  recommendation-systems 

可以说大多数用来描述日常问题的语言都是上下文相关的。另一方面，有可能并且不难找到一些不是递归的，甚至不是递归可枚举的语言。 在这两种类型之间是递归的非上下文敏感语言。维基百科在这里举了一个例子： 不依赖上下文的递归语言的一个示例是其决策是EXPSPACE难题的任何递归语言，例如具有幂运算的一对等价正则表达式对。 那么问题就来了：还有哪些其他问题是可以确定的，但对上下文不敏感？这类问题是否与可判定的EXPSPACE-hard相同？

15 formal-languages  complexity-theory  formal-grammars 

给定一个语言LLL，定义长度集的LLL作为设定中的单词长度的LLL： LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} 哪些整数集可以是常规语言的长度集？

15 formal-languages  computability  regular-languages  finite-automata 

有人告诉我，如果图是稀疏的，我们将使用列表；如果图是密集的，将使用矩阵。对我来说，这只是一个原始定义。我没有看到更多。您能否澄清何时才是最自然的选择？ 提前致谢！

15 graphs  data-structures  lists  adjacency-matrix 

伪多项式时间算法是对输入值（幅度）具有多项式运行时间，而对输入大小（位数）具有指数运行时间的算法。 例如，测试数字是否为质数，需要循环从2到数字，并检查 mod是否为零。如果mod花费O（1）时间，则总时间复杂度将为O（n）。n - 1 n innnn−1n−1n-1nnn iii 但是，如果让为写入输入所需的位数，则（二进制），因此，问题的运行时间将是指数的O（）。x = 日志n n = 2 x 2 xxxxx=lognx=log⁡nx = \log nn=2xn=2xn = 2^x2x2x2^x 我的问题是，如果我们考虑输入的一元表示形式，则始终为，则伪多项式时间将等于多项式时间复杂度。那么为什么我们从不这样做呢？x = nnnnx=nx=nx=n 此外，由于存在背包的伪多项式时间算法，因此通过取，背包将成为多项式，结果P = NPx=nx=nx=n

15 complexity-theory  algorithm-analysis  time-complexity  polynomial-time  pseudo-polynomial 

我一直在阅读《线性代数及其应用》以帮助理解计算机科学材料（主要是机器学习），但我担心很多信息对CS毫无用处。例如，除非您尝试编写新的方程式求解器，否则了解如何有效地求解线性方程式系统似乎没有什么用。此外，这本书还讨论了跨度，线性相关性和独立性（矩阵有逆的时候）以及它们之间的关系，但是我想不出它在CS中的任何应用。那么，CS中使用线性代数的哪些部分？

15 education  linear-algebra  didactics  mathematical-foundations 

我进行了动态编程练习，发现了Floyd-Warshall算法。显然，它找到了图的所有对最短路径，其权重边可能为负，但没有负周期。 所以，我想知道负重边的现实意义是什么？简单的英语解释会有所帮助。

15 algorithms  graph-theory 

我正在为我的课程《随机算法》读这本书。在这本特定的书中，有一整章专门介绍了使用随机选择来查找数组的中值，从而导致了更有效的算法。现在，我想知道除理论上的改进外，该算法在计算机科学领域是否还有实际应用。是否需要找到数组中位数的算法或数据结构？

14 runtime-analysis  randomized-algorithms 

一个ññn通过每一个项目比较它的邻居作为排序-Item列表可以验证。在我的应用程序中，我将无法将每个项目与其相邻项目进行比较：相反，有时会在遥远的元素之间进行比较。鉴于列表包含三个以上的项目，并且比较是唯一受支持的操作，因此是否存在一个比较“网络”，以证明列表已排序，但至少缺少一个直接的邻居比较？ 形式上，对于元素Ë一世Ë一世e_i的序列，我有一组索引对（ j ，k ）（Ĵ，ķ）(j,k)对于这些索引，我知道ËĴ&gt; eķËĴ&gt;Ëķe_j > e_k，ËĴ= eķËĴ=Ëķe_j = e_k还是ËĴ&lt; eķËĴ&lt;Ëķe_j < e_k。存在一对（l ，l + 1 ）（升，升+1个）(l,l+1)，这对比较集中缺少该对。那么，是否有可能证明序列已排序？

14 sorting