计算机科学

为学生，研究人员和计算机科学从业者提供的问答

2
如何在神经网络中将日期编码为输入？
我正在使用神经网络预测时间序列。我现在面临的问题是如何编码日期/时间/序列号。每个输入集合中的哪一个作为神经网络的输入？ 我应该按此处所述使用C编码中的一种（用于编码类别）吗？ 还是我应该只提供时间（自1970年1月1日以来的毫秒数）？ 还是只要按时间顺序提供其余数据，就没有必要提供时间吗？
2
coNP完整性是否暗示NP硬度？
coNP完整性是否暗示NP硬度？特别是，我有一个问题，证明我已经完成了coNP。我可以声称它是NP硬性的吗？我意识到我可以声称coNP困难，但是我不确定该术语是否标准。 我对这样的说法感到满意，即如果NP完全问题属于coNP，则NP = coNP。但是，这些讲义指出，如果NP难题属于coNP，则NP = coNP。然后，这表明我不能断言我的问题是NP难题（或者我已经证明coNP = NP，我对此表示高度怀疑）。 也许，我的想法有问题。我认为一个coNP完全问题是NP难题，因为： NP中的每个问题都可以简化为互补，即属于coNP。 coNP中的补数问题简化为我的coNP完全问题。 因此，我们从NP的每个问题都减少到我的coNP完全问题，所以我的问题是NP困难。
1
计算来自数组的连续子数组的和数
我们给出阵列与所有一个[ 我] > 0。a [ 1 … n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 现在我们需要找到可以从其子数组中形成多少个不同的总和（其中，子数组是该数组的连续范围，即，对于某些j ，k的，总和是所有子数组的元素）。例如，如果一个= [ 1 ，2 ，1 ]，则答案为4：我们可以形成1 ，2 ，3 ，4。a [ j … k ]a[j…k]a[j\ldots k]Ĵ ，ķj,kj,k一个= [ 1 ，2，1 ]a=[1,2,1]a=[1,2,1]1 ，2 ， 3 ，41,2,3,4 1,2,3,4 我知道如何计算时间中不同总和的数量。Ø （ñ2）O(n2)O(n^2) 此外，我已经意识到这与经典问题类似，在经典问题中，我们需要找到字符串的不同子字符串的数量。我正在考虑构造后缀数组并以类似的方式（以时间）解决它的可能性。但是我还无法弄清楚如何对其进行修改以在这里工作。例如，如果我们使用后缀数组为一个= [ 1 ，2 ，1 ]，我们将得到5案件代替的四个上可接受的那些。是否可以使用后缀数组来做到这一点，或者我在想错方向吗？Ø …
3
罗素类型理论与类型系统之间的关系
我最近意识到，例如在Haskell中发现的，Russellian类型理论与类型系统之间存在某种联系。实际上，Haskell中的一些类型表示法似乎是类型理论的先驱。但是，恕我直言，Russell在1908年的动机是避免Russell的悖论，我不确定这与计算机科学中的类型系统有何关系。 罗素的悖论是一种形式还是另一种形式，我们是否需要担心，例如，如果我们在给定的语言中没有好的类型系统？
2
是否有VCS和文件版本的正式CS定义？
我不知道这是不是在开玩笑，但是一旦我阅读了git，hg或svn等版本控制系统中所谓的文件正式定义，就可以了。这就像是一个同胚的数学对象。这是在开玩笑吗，或者真的有关于版本控制系统和VCS数学的计算机科学理论吗？
2
证明决定单调布尔公式可满足性的NP完备性
我正在努力解决这个问题，我真的很努力。 甲单调布尔公式是在命题逻辑式，所有的文字是正的。例如， （x1个∨ X2）∧ （x1个∨ X3）∧ （x3∨ X4∨ X5）(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) 是单调布尔函数。另一方面，类似 （x1个∨ X2∨ X3）∧ （¬ X1个∨ X3）∧ （¬ X1个∨ X5）(x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)\qquad (x_1 \lor x_2 \lor x_3) \land (\neg x_1 \lor x_3) \land (\neg x_1 \lor x_5) 不是单调布尔函数。 如何证明此问题的NP完整性： 如果变量或更少的变量设置为1，则确定单调布尔函数是否可满足？ķkk1个11 …
2
一棵树的线性时间标记算法？
我有一棵无向的树，我要标记其顶点。叶节点应标记为一个。然后，假设叶子被去除了。在剩下的树中，叶子应标记为两片。该过程将以显而易见的方式继续进行，直到所有顶点都具有标签为止。我这样做的原因是我想将顶点存储在队列中，并“先离开”浏览它们。有没有简单的方法可以执行此时间？O(n+m)O(n+m)O(n+m) 我可以通过在每个步骤上进行BFS来解决该问题。但是在最坏的情况下，在我经过每个顶点的每一步中，都精确地移去两片叶子并将它们排队。我相信这需要二次时间。 另一个想法是首先找到所有叶子，然后对每个叶子进行BFS。这没有给我想要的解决方案。例如，考虑下图所示的一种“皇冠图”。显示了所需的解决方案，但是从每个叶子启动BFS只会导致使用两个标签。 理想地，线性时间算法也将易于解释和实现。
12 algorithms  trees 
4
当输入为一元编码时，强NP难或完全问题的复杂性是否会改变？
是否强NP-硬或NP完全问题的难度（如如定义在这里）的变化时，其输入是一元的，而不是二进制编码？ 如果对强NP难问题的输入进行一元编码，会有什么区别？我的意思是，例如，以弱NP完全背包问题为例，二进制编码时是NP完全问题，而一进制编码时可以通过动态编程在多项式时间内求解。可能对多项式时间层次结构的较高级别的硬度有某些影响？ 强...硬的概念是否也适用于其他复杂度类别，例如多项式时间层次结构的更高类别？ 我之前在stackoverflow.com上问过这个问题，但有人指出，这里更合适。
2
用正方形平铺正交多边形
给定一个正交多边形（一个边与轴平行的多边形），我想找到最小的一组内部不相交的正方形，其并集等于该多边形。 我发现了一些对稍有不同的问题的引用，例如： 用正方形覆盖正交多边形-与我的问题类似，但是允许覆盖正方形重叠。这个问题具有多项式解（Aupperle，Conn，Keil和O'Rourke，1988； Bar-Yehuda和Ben-Hanoch，1996）。 将正交多边形平铺/分解/分割为矩形。这个问题具有多项式解（Keil，2000；Eppstein，2009）。 用矩形覆盖一个正交多边形-这个问题被称为是NP完全的（Culberson和Reckhow，1988）。 我找了最小的算法平铺与广场。
5
我的NP中的缺陷= CoNP证明？
对于NP = CoNP，我有一个非常简单的“证明”，我认为我在某处做错了什么，但我找不到错误所在。有人可以帮我吗？ 设A是NP中的问题，设M是A的决策者。设B是补数，即B在CoNP中。由于M是决定者，因此您也可以用它来决定B（只需翻转答案即可）。这不是说我们用相同的M解决NP和CoNP问题吗？ 更具体地说。 假设A是一些NP完全问题，而让M是A的决定者。请考虑CoNP中的任何问题B。我们考虑它的补码不是B，它在NP中，然后将多项式简化为A。然后运行决策器M并翻转答案。因此，我们获得了B的决策者。这意味着B也位于NP中。 我可以知道我的推理有什么问题吗？
4
机器学习与系统识别？
谁能给我解释一下机器学习和系统识别之间的区别和相似之处吗？这些只是同一事物的两个名称吗？在此页面中，他们说： 机器学习和系统识别社区面临着类似的问题，需要从有限或嘈杂的观察中构建模型。 我还阅读了Christopher M. Bishop着名的《模式识别与机器学习》一书的前几章。到目前为止，我的结论是，系统识别要解决的问题只是机器学习要解决的问题的一部分。
2
如果
比方说，L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*。那么我们如何证明L∗L∗L^*是正规的呢？ 如果LLL是规则的，那么当然L∗L∗L^*也是规则的。如果LLL是有限的，则它是规则的，而L∗L∗L^*也是规则的。另外我注意到，对于L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p \text{ is a prime}\}，LLL是不是正规，L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*和L∗L∗L^*是有规律的。 但如何显示此为任何子集LLL的{0}∗{0}∗\{0\}^*？
3
“森林砍伐”如何从程序中删除“树”？
我想了解森林砍伐如何消耗，并产生在同一时间列表（由折叠和展开功能- 看到代码审查这个很好的答案在这里），但是当我相比，随着对技术的维基百科条目也谈到了“删除程序中的树木。 我了解如何将程序解析为语法分析树（是吗？），但是对某种形式的程序进行简化（是吗？）时使用砍伐森林的含义是什么？我该如何对我的代码进行处理？
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.