Questions tagged «terminology»

接受是否意味着TM将从当前正在读取的单元格中读取并识别一个字符？如果输入是可确定的，TM是否会停止？

10 terminology  turing-machines  undecidability 

我在Wikipedia上读到，统一是解决可满足性问题的过程。 同时，我知道这类求解器称为“ SAT求解器”或“ SMT求解器”。那么，对于同一件事，它们是否具有不同的名称？ 如果您说他们不同，请指出我的治疗有缺陷。

10 terminology  sat-solvers  unification 

关于二叉树的平均高度是否有正式定义？ 我有一个有关使用以下两种方法查找二叉树的平均高度的教程问题： 自然的解决方案可能是取从根到叶的所有可能路径的平均长度，即 Avh1个（T）= 1＃叶 ŧ＆CenterDot;＆＆Sigma;T的v 叶 深度（v ）Avh1个⁡（Ť）=1个＃留在 Ť⋅∑v 的叶 Ť深度⁡（v）\qquad \displaystyle \operatorname{avh}_1(T) = \frac{1}{\text{# leaves in } T} \cdot \sum_{v \text{ leaf of } T} \operatorname{depth}(v)。 另一种选择是递归定义它，即节点的平均高度是子树的平均高度加一的平均值，即 Avh2（N（l ，r ））= avh2（l ）+ avh2（r ）2+ 1Avh2⁡（ñ（升，[R））=Avh2⁡（升）+Avh2⁡（[R）2+1个\qquad \displaystyle \operatorname{avh}_2(N(l,r)) = \frac{\operatorname{avh}_2(l) + \operatorname{avh}_2(r)}{2} + 1 与对于叶子和为空时隙。l avh 2（_ ）= 0Avh2（l …

10 graph-theory  terminology  combinatorics  binary-trees 

我问了一下朗多的术语和的（种子）的问题之前，想判断滥用渐近性符号在算术，成败参半的危险。 现在，在这里，我们的循环专家JeffE基本上是这样的： ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) 尽管最终结果是正确的，但我认为这是错误的。为什么？如果我们加上所有隐含的常数（只有上限），我们有 ∑i=1nci⋅1i≤c⋅Hn∑i=1nci⋅1i≤c⋅Hn\qquad \displaystyle \sum_{i=1}^n c_i \cdot \frac{1}{i} \leq c \cdot H_n。 现在我们如何从c_1，\ dots，c_n计算？我相信答案是，我们不能：c必须绑定所有n，但是随着n的增长，我们会得到更多的c_i。我们对它们一无所知。c_i可能非常依赖于i，所以我们不能假设一个界限：有限的c可能不存在。cccc1,…,cnc1,…,cnc_1, \dots, c_ncccnnn cicic_innncicic_iiiiccc 此外，还有一个微妙的问题，即哪个变量在左侧变为无穷大iii或nnn？都？如果nnn（出于兼容性考虑），知道1 \ leq i \ leq n，则\ Theta（1 / i）是什么意思？它不仅意味着\ Theta（1）吗？如果是这样，我们就不能比\ Theta（n）更好地约束和。Θ(1/i)Θ(1/i)\Theta(1/i)1≤i≤n1≤i≤n1 \leq i \leq nΘ(1)Θ(1)\Theta(1)Θ(n)Θ(n)\Theta(n) 那么，那把我们留在哪里呢？这是公然的错误吗？一个微妙的？还是仅仅是惯常使用符号，我们不应该在上下文中查看===符号？我们是否可以制定（严格）正确的规则来评估（确定）Landau项的总和？ 我认为主要的问题是：什么是？如果我们认为这是不变（因为它是和的范围内），我们可以轻松地构建反例。如果不是恒定的，我不知道如何阅读。iii

10 terminology  asymptotics  landau-notation 

Whist阅读了一篇概述OO和函数式编程差异的文章，我遇到了函数指针。自从我完成计算机科学学位（2003年）以来已经有一段时间了，所以我查找了一些指针来刷新自己的记忆。 指针是包含对内存地址的引用的变量。如果存在，则可以认为它们指向该内存地址中包含的数据。或者，如本文中的情况一样，它们可能指示代码段的入口点，并可用于调用该代码。 为什么这不同于变量？变量是内存地址的符号名称，编译器会将名称替换为实际地址。这意味着变量包含对内存位置的引用，如果存在这样的数据，则可以认为变量指向该地址处的数据。 如果行为不同（也许不能在运行时重新分配指针，或者只能分配符号变量名称，不能分配其他任何值），这是否意味着它只是特定类型的变量，即指针类型？以相同的方式，声明为整数类型的变量在其用途上受到编译的限制。 我在这里想念什么？

10 terminology  programming-languages 

我发现很难清楚地区分多程序和多任务。 我的主要来源是Wikipedia，但WP文章似乎与一些较不知名的来源（例如我的大学教授）有点矛盾。 在我读WP时，通过在进程等待I / O时进行上下文切换，多编程是提高CPU吞吐量的基本方法。 多重编程不能保证程序会及时运行。实际上，第一个程序可以很好地运行数小时，而无需访问外围设备。 合作分时，与协作多任务同义，是对多程序的改进（不是同义的）。CPU定期进行上下文切换以给人以同时执行的印象，但是仍然需要进程来产生-设计不当的程序可能会使系统的其余部分枯竭。 抢占式多任务处理可以更主动地控制调度，将某些进程优先于其他进程，等等。 此概述正确吗？如果不是，那是因为WP不正确还是因为我读WP错误？ 为什么有些资料似乎将多程序和多任务混为一谈？

10 terminology  process-scheduling 

从渐近行为的角度来看，什么被视为“有效”算法？当时画线的标准/原因是什么？就我个人而言，我认为任何可能被我天真地称为“次多项式”的事物，例如例如都是有效的，而任何将是“无效的”。但是，我听说过任何多项式阶数都被称为有效的东西。这是什么原因？f(n)=o(n2)f(n)=o(n2)f(n) = o(n^2)n1+ϵn1+ϵn^{1+\epsilon}Ω(n2)Ω(n2)\Omega(n^2)

10 algorithms  terminology  asymptotics  landau-notation 

数学和CS论文中有时会使用令人眼花symbols乱的符号。然而，许多人假设基本的熟悉程度似乎很少在一个地方教授。我正在寻找类似以下内容的字典，尤其是从CS角度来看。 它将列出所有基本的数学符号并给出其含义和示例。它将讨论有时以等效方式使用的符号。它会指出常见的初学者错误。 它将讨论围绕单个符号的不同含义的微妙之处（很像字典中同一单词的多个定义）。 它不仅是每个符号的非常简洁的描述，例如像“子集”这样的单词描述。 它会显示符号有时是如何“过载”的。例如，(xy)(xy)\binom{x}{y}可以将zzz作为整数，但是有时zzz可以是具有此符号的集合，这意味着要从该集合中选择元素。[n][n][n]有时表示整数1…n1…n1 \ldots n，或者有时表示它是一个单元素的数组。 它可能会讨论如何用不同的符号或引用它们的等效方法（但更清楚）来描述各种不同的“对象”以及对这些对象可能的操作。换句话说，有点像数学对象的API。 即有时也将是一本针对如何呈现数学写作的不同细节的“风格手册”。对于任何人在数学堆栈交换中写问题的人来说，这都是非常有用的资源，因为许多问题由于不适合棘手的数学约定而无法理解。 一些书籍介绍具有许多这些功能。但是理想情况下将是单独的处理。另外，理想情况下当然是在线的。虽然有乳胶符号表，但它们并不能真正满足上述许多标准。 有没有人看过符合这些特征的“符号词典”？ （或者，如果不存在像这样的良好引用，这似乎是一个出色的Wiki或FAQ项目。）

10 terminology  reference-request  education 

二分图是平面的，如果它没有或。K3,3ķ3，3K_{3, 3}K5ķ5K_5 我正在寻找必要条件和/或充分条件，以允许没有边缘的平面图形“围绕”顶点集。这些是令人满意的图纸： 一部分的所有顶点都绘制在一条垂直线上。另一部分的顶点绘制在平行的顶点线上。 边仅在顶点处不相交。 边全部在点1的两条垂直线之间的无限条中。 例如，此处所有图形（右下角除外）均为非示例。可以通过交换Q和R的位置来重绘左下图以满足条件。不能重绘顶部的两个图满足条件。 前两个图是我可以找到的唯一障碍。我的问题是： 这个问题有名字吗？ 我错过了其他障碍吗？ 关于我如何证明这两个障碍（连同我遗漏的一切）的任何暗示，当然都是未成年人，都是必要和充分的。 注意，这与外部平面不同，是外部平面（可以绘制为正方形），但是不能满足我上面提到的条件。K2,2ķ2，2K_{2, 2}

9 graph-theory  terminology  graph-drawing 

我听到了几种可能的解释，所以我希望得到一些值得信赖的参考。 更新05.19：我对这个问题感兴趣，因为我的一位学生在论文中写道，该名称来自以下解释（1）。到目前为止，我认为/听说过它来自解释（2）。我既不愿在论文中提出错误的观点，又告诉他如果可能是正确的话，则将其删除，这将令我感到不快。 （1）考虑在区间搜索整数。我们可以通过找到它在步骤发问的二进制数的位数。Ñ 我我吨ħ[ 0 ，2n − 1][0,2n−1][0,2^{n-1}]ñnn一世ii一世Ť ^ hithi^{th} （2）如果我们有一个搜索空间元素，我们可以通过在多次分开的空间的剩余部分问题找到一个未知元素2。2ñ2n2^n 是的，我知道（2）可以提供与（1）相同的算法，但这不是重点。（2）也可以适用于更一般的问题。

9 terminology  reference-request  history 

有人可以向我解释什么是完全遗忘的RAM吗？ 我发现以下解释对我来说很清楚，但我想对技术方面有所了解： 加密并不总是足以确保隐私。如果攻击者可以观察到您对加密存储的访问方式，他们仍然可以了解有关您的应用程序运行情况的敏感信息。遗忘的RAM通过在访问内存时不断改组内存来解决此问题。从而完全隐藏正在访问的数据或什至是先前访问的时间。

9 terminology  computer-architecture  security  memory-hardware  memory-access 

我的一位前辈接受了工作面试，有人问他为什么称之为动态。他无法回答，他放弃了采访者后说，它没有任何动态，只是这样称呼它。我很难相信这一点。 它是否指的是子问题在运行时已解决并用于最终目标的事实？像在运行时发生的动态内存分配一样？ [回答] 在问这个问题之前，我应该读过这个 Wiki文章，对不起。

9 terminology  dynamic-programming 

我对TSP否认重复城市的可能性感到奇怪。这个旅行推销员的目标是尽可能快地走访所有城市，对吗？那么，如果经过您曾经去过的城市旅行更快，该怎么办？

9 terminology  traveling-salesman 

在《实用程序语言基础》的第1章中，作者提到抽象语法树与排序相关联。 直观上来说，排序就像类型，但是我想知道它们是否有精确的定义。如果也提供一些参考，我将感到高兴。

9 terminology  programming-languages  semantics 

我在知识表示中几乎没有定义困难，并寻求可靠的帮助来区分它们。我一直在Wikipedia和许多网站上搜索本体和语义网络之间的区别（不要与语义网络混淆）。虽然语义网络上的Wikipedia页面从不提及本体，但是它们看起来极为相似，并且在CS中具有相似的应用。 我的猜测是语义网络是一种适用于AI研究的本体。但是，我不知道两者之间的区别。所以我的问题很简单： 语义网络是本体吗？如果是这样，它们是同义词吗？或有什么区别？

9 terminology  knowledge-representation  ontologies