计算机科学

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

2
减少卡普是否等于减少莱文
定义：减少卡普 甲语言是卡普还原为一个语言如果有一个多项式时间计算函数，使得对于每个，当且仅当。乙˚F ：{ 0 ，1 } * → { 0 ，1 } * X X ∈ 甲˚F （X ）∈ 乙一个AA乙BBF：{ 0 ，1 }∗→ { 0 ，1 }∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*XxxX ∈ 一x∈Ax\in AF（X ）∈ 乙f(x)∈Bf(x)\in B 定义：减少莱文 一个搜索问题是莱还原为一个搜索问题如果有多项式时间函数该卡普降低至和有多项式时间可计算函数和使得V B f L （V A）L （V B）g hV一个VAV_AV乙VBV_BFff大号（V一个）L(VA)L(V_A)大号（V乙）L(VB)L(V_B)GggHhh ⟨ X ，ÿ⟩ ＆Element; V一个⟹⟨ ˚F（x ），g（x …
2
常规和非常规语言的相交和并集
令为常规，常规，为非常规。证明不规则或反例。L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 我试过了：看。这是正常的。我可以构造为这样的有限自动机：是规则的，是规则的，因此消除对所有的路径（有限量）从用于路径的有限量。因此，整个过程只剩下有限的路径。这个东西与不相交，但是我如何证明（正则）和（非正则）的并集不是正则？L1∖(L2∩L1)L1∖(L2∩L1)L_1 \setminus (L_2 \cap L_1)L1L1L_1L2∩L1L2∩L1L_2 \cap L_1L1∩L2L1∩L2L_1 \cap L_2L1L1L_1L2L2L_2L1∖(L1∩L2)L1∖(L1∩L2)L_1 \setminus (L_1 \cap L_2)L2L2L_2
2
从度分布重构图
给定度数分布，我们可以按照给定的度数分布构建图形的速度有多快？链接或算法草图会很好。如果无法构造任何图形，并且如果可以构造多个图形，则该算法应报告“ no”。
2
正则表达式语言是否需要下推自动机进行解析？
我想将用户输入的正则表达式转换为NFA，以便随后可以对字符串运行NFA以进行匹配。可用于解析正则表达式的最低机器是什么？ 我认为它必须是下推式自动机，因为方括号的含义意味着需要计数，而DFA / NFA不能执行任意计数。这个假设正确吗？例如，表达式a（bc *）d需要使用PDA，以便正确处理括号中的子表达式。
1
什么是复杂度类
复杂度类是什么意思？我知道是包含语言的复杂度类，对于该语言，存在多项式时间不确定的Turing机器，使得如果机器在输入上的接受状态数是奇数。⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx 但是是什么意思？我只是不能跟随它的实际作用:)⊕P⊕P⊕P⊕P\oplus P^{\oplus P} 这种复杂性类别的实际后果是什么？如何证明？⊕P⊕P=⊕P⊕P⊕P=⊕P\oplus P^{\oplus P} = \oplus P
2
一个将NP与coNP分开的神谕
如何证明？我只是在寻找这样的Oracle TM和适用的递归语言。NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L 我所知道的证据，你表明，有一个Oracle这样和Oracle这样。我暗示我应该通过扩展的证明来找到这样的甲骨文，但是无论我在哪里搜索和阅读，它在任何地方都是“显而易见的”或“直截了当的”我只是根本看不出如何证明这一点。AAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^AAAAPA=NPAPA=NPA\mathsf{P}^A = \mathsf{NP}^AAAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^A
4
不确定语言类别未关闭的操作
是否存在不确定的语言，使得它们的联合/交叉/连接语言是可确定的？这种示例的物理解释是什么，因为通常在这些操作下不会关闭不确定的语言？ 我们能说些什么呢？我们也有例子吗？即，可以否决一种不确定的语言？ 另外，我们可以归纳此类不确定的类吗？
1
关于Codd的约简算法
Codd的算法将元组关系演算中的表达式转换为关系代数。 该算法有标准实现吗？ 此算法可在任何地方使用吗？（似乎行业只需要SQL和变体，我不确定学术界的数据库理论家。） 减少的复杂性是什么？ 这是一年多以前在SO上发布的，但是没有收到很好的答案。
2
wifi密码如何使用WEP和WPA加密数据？
我们输入（连接到无线网络）的密码如何加密无线网络上的数据？ 通过阅读，我不确定我们输入的密码是否与密码相同。如果正确，那么密码短语如何生成四个WEP密钥？ 我了解这四个密钥在WEP中如何工作以及它们如何加密数据。另外，我知道WPA的密钥如何加密数据，但是我唯一需要知道的是： 输入用于访问网络的密码的好处是什么，该密码如何帮助加密数据？
2
是否可以有效确定所有无上下文和常规语言？
我碰到了该图，该图表明无上下文和常规语言是有效问题（假设为）的（适当）子集。我完全理解有效的问题是所有可确定问题的子集，因为我们可以解决它们，但可能需要很长时间。PP\mathrm{P} 为什么所有无上下文和常规语言都可以有效地确定？这是否意味着解决它们将不会花费很长的时间（我的意思是我们无需更多上下文即可知道）？
1
在加权的单路径图中查找最短路径
有向图被认为是unipathic如果对于任意两个顶点和在曲线图G =（V，E） ，存在在从最简单的一个路径Ú到v。uuuvvvu vG=(V,E)G=(V,E)G=(V,E)uuuvvv 假设给我一个单感图GGG，使得每个边的权重为正或为负，但不包含负的权重周期。 由此，我想找到一种O(|V|)O(|V|)O(|V|)算法，该算法找到从源节点s到所有节点的所有最短路径sss。 我不确定如何解决这个问题。我正在尝试看看我如何利用它不包含负权重循环，并且当然在任何节点uuu到v之间最多只有一条简单路径这一事实vvv。
5
私钥加密协议中的密钥如何交换？
Windows NT使用点对点协议，在该协议中，客户端可以使用流密码对带有某些密钥的消息数组进行加密，从而与服务器“安全”地通信。服务器还使用相同的密钥加密其响应。但是，它如何知道此键？kkkkkk 更笼统：如果Alice和Bob使用在同一私钥上运行的某种加密/解密算法，那么交换此密钥的安全方法是什么？（不使用其他课程重点）kkk 在研究私钥密码学时，我总是问自己这个问题。
1
smn定理和curring是相同的概念吗？
我正在研究smn定理，这个概念使我想起了弯曲。 来自维基百科有关smn定理的文章： 定理说，对于给定的编程语言以及正整数m和n，存在一种特定的算法，该算法接受具有m + n个自由变量以及m个值的程序的源代码作为输入。该算法生成的源代码可以有效地替换前m个自由变量的值，而其余变量则保持自由。 从有关currying的文章中： 凭直觉，柯里说：“如果修复一些参数，您将得到其余参数的函数” 对我来说似乎是相同的想法。我不确定的唯一原因是，我在smn上遇到的材料没有提及currying（反之亦然），因此我想咨询一下以确保我确实得到它。
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.