computation-theory相关内容

旅行商问题中的NP-难与NP-完全混淆

旅行商优化问题(TSP-OPT)是一个NP-Hard问题,而旅行商搜索(TSP)是NP-完全问题。然而,TSP-OPT可以归结为TSP,因为如果TSP可以在多项式时间内求解,那么TSP-OPT(1)也可以。我认为要将A简化为B,B必须和A一样难,如果不比A更难的话。正如我在下面的参考文献中看到的,TSP-OPT可以简化为TSP。TSP-OPT应该比TSP更难。我很困惑... 参考文献:(1) ..

阿姆达尔定律中的负加速?

阿姆达尔定律指出整个系统的加速是 an_old_time/a_new_time 其中 a_new_time 可以表示为 ( 1 - f ) + f/s',其中 f 是系统的分数这是通过一些修改增强的,s' 是系统的那部分增强的量.但是,在对s'求解这个方程后,似乎有很多情况s'是负数,这没有物理意义. 假设 s = 2(整个系统的速度提高 100%)和 f = 0.1(10% 的系统受到 ..

调试VBA,定位问题&故障排除方法

调试 VBA 代码有哪些方法? 特别是: 单步执行代码 断点和停止命令 Debug 命令 当地人和观察窗口 调用栈 解决方案 调试 VBA 代码 本页介绍了调试 VBA 代码的方法. 简介 调试程序是软件开发中最重要的步骤之一.了解 VBA 的调试工具可以使调试更轻松、更高效.本页介绍了在测试和调试应用程序时可以使用的几种 VBA 内置调试​​工具. ..
发布时间:2021-12-14 08:39:00 其他开发

正则表达式 0(0+1)*0+1(0+1)*1 的 DFA 是多少?

这是我画的 DFA- 正确吗? 我很困惑,因为 q4 状态对于相同的输入符号有 2 不同的转换,这违反了 DFA 的规则,但我想不出任何其他解决方案. 解决方案 您的 DFA 不正确. 您的 DFA 完全错误,所以我不发表评论 RE 的 DFA: 0(1 + 0)*0 + 1(1 + 0)*1 语言说明:如果字符串以0开头,则应该以0结尾,或者如果字符串以1开头它应该以 ..
发布时间:2021-09-07 18:30:22 其他开发

涉及多个变量的程序的时间复杂度

我最近被要求创建一个程序来查找文本片段中的最佳匹配.我已经成功地编写了这个程序,但我对它的时间复杂度有疑问. 问题定义如下. 给定一个查询,找到文档中出现的查询词并突出显示最佳标记. 我的程序花费的时间 O(m + n + p) 这里 m = 以字符为单位的文档长度 n = 查询的字符长度 p = 文档中匹配的总数 在这种情况下,最大的术语总是 ..
发布时间:2021-06-15 19:13:45 其他开发

否定阿姆达尔定律的速度会加快吗?

阿姆达尔定律指出,整个系统的速度提高了 an_old_time/a_new_time 其中 a_new_time 可以表示为(1-f)+ f/s',其中 f 是系统的一部分通过一些修改可以增强,而 s'是系统的这一部分得到增强的数量.但是,在解决了 s 的等式后,似乎在很多情况下 s 为负,这在物理上没有意义. 假设 s = 2 (整个系统的速度提高了100%)和 f = 0.1 ( ..

调试VBA,查找问题和解决方法故障排除方法

调试VBA代码有哪些方法? 具体是: 单步执行代码 断点和Stop命令 Debug 命令 本地人&看窗户 调用堆栈 解决方案 调试VBA代码 此页面介绍了调试VBA代码的方法. 简介 调试程序是软件开发中最重要的步骤之一.了解VBA的调试工具可以使调试更容易,更高效.本页介绍了一些VBA内置的调试工具,您可以在测试和调试应用程序时使用它们. 单步 ..
发布时间:2021-04-16 19:09:40 其他开发

大O表示法的细微差别使计算复杂性

我只是在处理LeetCode问题,罗马到整数,即转换罗马数字到整数,完成并比较解决方案后,我注意到在列出的解决方案如何描述其计算复杂度方面有一个非常有趣的细微差别. 我将解决方案描述为 O(n),它与输入元素的数量呈线性关系,因为我的解决方案是逐个字符地遍历罗马数字的元素.但是,官方解决方案描述了如何使用数字 I , V , X , L 和 C, D 和 M ,只能表示1到3999之间的数字 ..
发布时间:2021-04-15 19:29:47 其他开发

有人可以给出一个简单但不是玩具的上下文相关语法示例吗?

我正在尝试理解上下文相关的语法,并且理解为什么这样的语言 {ww | w是一个字符串} {a n b n c n | a,b,c是符号} 不是上下文无关的,但是我想知道一种类似于未类型化lambda演算的语言是否对上下文敏感.我想看一个简单但非玩具的示例(我考虑了上面的玩具示例),它是上下文相关语法的示例,对于某些生产规则,例如可以判断是否有一些符号字符串当前处于范围内(例如,在生成 ..

GPU着色器Turing是否已完成

我知道完整的GPU是计算的庞然大物-包括计算的每个步骤和内存.因此,很明显,GPU可以计算出我们想要的任何东西-它已经完成了Turing. 我的问题是关于各种GPU(“流处理器"/"CUDA核心")上的单个着色器: 图灵完成了吗? 我(理论上)可以使用单个着色器在任意输入上计算任意函数吗? 我试图了解计算着色器的“规模"是什么. 解决方案 您将着色器指的是用于计算着色的程序吗? ..
发布时间:2020-11-20 00:16:58 其他开发

非回文的上下文无关文法

我需要一个CFG来生成回文以外的字符串。已经提供了解决方案,如下所示。(计算理论简介-Sipser) R-> XRX | S S-> aTb | bTa T-> XTX | X | X->一个| b 我对这种语法的工作原理有一个大致的了解。它要求通过产生 S->插入一个子串,该子串的任一半上都有相应的不等字母。 aTb | bTa ,从而 ..
发布时间:2020-10-08 23:25:04 其他开发

给定以下语言,构造语法{a ^ n b ^ m | n,m = 0,1,2,...,n< = 2m}

我刚刚参加了期中考试,但是无法回答这个问题。 有人可以举几个例子,并为或 语言构造一个语法,至少告诉我如何我会去解决的吗? 也可以为 L 编写语法: L = {a n b m | n,m = 0,1,2,...,n 解决方案 如何为形式语言编写语法? 在阅读我的这篇文章之前答案,您应该先阅读: 用于创建无上下文语法的提示 。 ..

无上下文语言联盟

无上下文语言集合的联合是否总是无上下文关系?证明您的答案是正确的.... 我知道答案是肯定的,但是我怎么证明呢? 解决方案 要显示上下文无关语言的有限联合是上下文无关的,您只需要构建上下文无关的语法对于联合语言,就像您要证明两种无上下文语言的联合是无上下文的一样。 如果G1,...,GN是您拥有的N种无上下文语言的无上下文语法,请重命名每个语法中的所有符号(添加一个下标只是为了 ..

非线性,不确定性和不确定性CFL的示例?

在乔姆斯基形式语言的分类中,我需要一些Non-Linear, Unambiguous and also Non-Deterministic上下文无关语言(N-CFL)的示例? 线性语言:对于哪个线性语法可能(⊆CFG),例如 L 1 = {a n b n | n≥0} 确定性上下文无关语言(D-CFG):例如,对于确定性下推自动机(D-PDA)可能是可行的, L 2 = {a n ..

图灵机可以执行Quicksort吗?

据我所知,可以使Turing机器执行在Tape上编码的指令的循环或迭代.这可以通过识别行分隔符并使Turing机器返回直到达到特定数量的行分隔符(即在循环内部)来完成. 但是,图灵机还能执行递归程序吗? 有人可以描述这种图灵机的各种细节吗? 我想,如果可以通过Turing机器执行递归操作,那么还可以执行Quicksort吗? 解决方案 如果问题是图灵机是否可以执行排序算法,则答 ..

下推式自动机如何知道如何阅读回文?

例如,PDA如何知道如何以L = {a,b} *读取回文? 在{a,b} *上接受回文的PDA: 因此,根据我的PDA图纸: 它如何知道字符串的前半部分何时位于最后一个终端(字母字母)上,因此知道从状态0转到状态1(而且知道从栈中向后弹出字母) ,从而形成回文)? 解决方案 这是不确定的下推式自动机.您问题的答案是猜测,并且可以假定是正确猜测.如果可以沿 w 处理的任何路 ..
发布时间:2020-07-04 20:20:46 其他开发

将列表分为两个等份算法

相关问题: 划分列表的算法将数字分为2个相等的总和列表 将列表分为两部分他们的总和彼此最接近 让我们假设我有一个列表,其中完全包含2k元素.现在,我愿意将其分为两个部分,每个部分的长度为k,同时尝试使这些部分的总和尽可能相等. 快速示例: [3, 4, 4, 1, 2, 1]可能会拆分为[1, 4, 3] and [1, 2, 4],并且总和差将为1 现在-如果零件可以具 ..