Questions tagged «terminology»

当我们说算法渐近地比更有效时，这是什么意思？XXXÿÿY XXX对于所有输入，将是更好的选择。 XXX对于所有输入（小输入除外），都是更好的选择。 XXX对于大型输入以外的所有输入，都是更好的选择。 ÿÿY对于小输入，将是更好的选择。 这个问题的链接在这里。 http://quiz.geeksforgeeks.org/algorithms-analysis-of-algorithms-question-16/ 我以为，一种渐近有效的算法应该适用于所有输入，但是我没有明白“它适用于除小输入以外的所有输入”的原因。

12 algorithms  algorithm-analysis  terminology  asymptotics 

我正在查看构造演算及其在Lambda Cube中的位置。 如果我理解正确，则可以将多维数据集的每个轴都认为是向简单类型的演算添加了另一个涉及类型的操作。第一个轴添加类型到术语运算符，第二个类型到类型运算符和第三个从属类型或术语到类型运算符。CoC具有这三个要素。λ→λ→\lambda_\to 但是，CoC引入了一个术语，并根据推理规则指出，但未使用。我了解这是用于同义命题，但是逻辑命题并未以此为准。P - [R ø p ：Ť ÿ p ëPropPropPropProp:TypeProp:TypeProp : Type 您能否向我解释的用途，出现的时间/地点，并根据立方体的轴进行解释（如果确实可以这样做的话）？PropPropProp

11 terminology  lambda-calculus  type-theory  dependent-types 

我需要在面向对象的编程中（针对论文）对“对象的状态”进行简洁的定义。 在大约半天的时间里，我搜索了一篇可以引用该主题的论文，但找不到。我发现的所有论文大部分都是有关面向对象程序设计的常规论文，它们没有定义对象的状态。 我不确定，但是我的最佳猜测是： 对象的状态由对象的实例变量的状态定义。 我正在搜索对象状态的定义和/或关于主题的引用。 （顺便说一句，我可以将这个概念称为“对象状态”吗？还是不常见？）

11 terminology  reference-request  programming-languages  object-oriented 

“归纳式”和“递归式”的含义是否非常相似？ 例如，如果存在一种算法，该算法可以根据已确定的前k个成分确定其前k个+1个成分，并通过第一个成分进行初始化，从而确定n维矢量，那么您将其称为递归还是归纳工作？我一直在“递归地”使用，但是今天有人“归纳地”使用它。

11 algorithms  terminology  recursion  induction 

在工作中，我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套let表达式，如下所示： return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 由于我从一般类型信息开始，并试图推断出更具体的类型，因此自然的选择是精简类型。例如，条件运算符返回其真假分支类型的并集。在简单的情况下，它效果很好。 但是，在尝试推断以下类型时遇到了障碍： function …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

我想说明一下，将代数作为算法的输入是什么意思，而关于它的文献却很少。因此，首先我想问一问，您是否可以推荐一本书或一本涉及领域代数复杂性分析主题并明确定义决策问题的书或论文。 经过一番挖掘后，我发现了一些东西并想在这里分享，并进一步询问这些定义是否合理并符合文献（如果有）： 定义：设是一个领域，是有限生成的交换代数与添加剂基础。现在，我们要捕获代数的乘法结构，因此将基本元素的每个乘积写为所有基本元素的线性组合： 该被称为结构系数。我们直接得到： 甲˚F b 1，... ，b Ñ ∈ ˚F ∀ 1 ≤ 我，Ĵ ，ķ ≤ Ñ ：∃ 一个我Ĵ ķ：b 我b Ĵ = Ñ Σ ķ = 1一个我Ĵ ķ b ķ。一个我Ĵ ķ甲≅ ˚F [ b 1，... ，b ÑFF\mathbb F一种AAFF\mathbb Fb1个，… ，bñ∈ ˚Fb1,…,bn∈Fb_1,\ldots, b_n\in\mathbb F∀ 1 ≤ 我，Ĵ ，ķ ≤ …

11 computability  terminology  decision-problem 

这是我有关堆栈检查的其他更高级问题的先驱。 堆栈检查是JVM中引入的一种安全机制，用于处理源自具有不同信任级别的位置的运行代码。这个问题旨在寻找对其功能的简单描述。所以： 堆栈检查如何工作？

11 terminology  security  stack-inspection 

在深度优先的树中，有定义树的边（即遍历中使用的边）。 有一些剩余的边缘连接其他一些节点。交叉边缘和前边缘有什么区别？ 从维基百科： 基于此生成树，原始图的边缘可分为三类：前向边缘（从树的节点指向其后代之一），后边缘（从节点到其祖先之一），和交叉边缘，两者都不起作用。有时，属于生成树本身的树边缘与前边缘分开进行分类。如果原始图形是无向的，则其所有边缘均为树形边缘或后边缘。 从一个节点指向另一个节点的遍历中未使用的边线是否不建立父子关系？

11 algorithms  terminology  graphs  graph-traversal 

从维基百科： 计算问题的类型：最常用的问题是决策问题。但是，可以根据功能问题，计数问题，优化问题，承诺问题等来定义复杂性类。 我还看到NP-complete，NP-hard，NP ...的定义仅用于决策问题。我不知道为什么会这样吗？ 是因为其他任何问题都可以等效地转换为决策问题吗？

11 complexity-theory  terminology 

给您一个长度为的数组。数组的每个元素都属于K类之一。你应该重新排列使用交换操作的最小数量，以使阵列的所有元素从相同类总是组合在一起，即它们形成连续的子阵列。 例如： nnnKKK 剩下三个有效的安排。[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1].[2,1,3,3,2,2]⟶[2,2,2,1,3,3], or[2,1,3,3,2,2]⟶[1,2,2,2,3,3], or[2,1,3,3,2,2]⟶[3,3,2,2,2,1]. \begin{align*} &[2, 1, 3, 3, 2, 2] \longrightarrow [2, 2, 2, 1, 3, 3], \text{ or} \\ &[2, 1, 3, 3, 2, 2] \longrightarrow [1, 2, 2, 2, 3, 3], \text{ or} \\ &[2, 1, 3, 3, 2, 2] \longrightarrow [3, 3, …

10 terminology  reference-request  sorting  arrays 

大致来说，无向图与有向图非常相似，其中对于每个边（v，w），总会有一个边（w，v）。这表明将无向图视为有向图的子集是可以接受的（也许有一个附加限制，即添加/删除边只能在匹配对中完成）。 但是，教科书通常不遵循这种处理方式，而是更倾向于将无向图定义为一个单独的概念，而不是有向图的子类别。有什么理由吗？

10 graphs  terminology 

我不知道问这个问题的正确术语，所以我会用很多单词来描述它，请耐心等待。 背景，正好在同一页上：程序通常包含缓存-时间/内存的权衡。程序员的一个常见错误是在更改其上游源/先例之一后忘记更新缓存的值。但是数据流或FRP编程范例可以避免此类错误。如果我们有许多纯函数，并在有向依存关系图中将它们连接在一起，则节点可以缓存并重用其输出值，直到任何函数的输入发生变化。该系统体系结构在《基于数据流的环境中的缓存》一文中进行了描述，并且使用命令式语言或多或少地类似于记忆。 问题：当函数的输入之一确实发生变化时，我们仍然必须整体执行该函数，丢弃其缓存的输出并从头开始重新计算。在许多情况下，这对我来说似乎是浪费。考虑一个简单的示例，该示例生成一个“前5名”列表。输入数据是任何内容的未排序列表。它作为输入传递给输出排序列表的函数。依次输入到仅接受前5个项目的功能。用伪代码： input = [5, 20, 7, 2, 4, 9, 6, 13, 1, 45] intermediate = sort(input) final_output = substring(intermediate, 0, 5) 排序函数的复杂度为O（N log N）。但是请考虑在应用程序中使用此流程，在该应用程序中，输入仅通过添加1个元素而仅稍有变化。与其每次都从头开始重新排序，不如使用O（N）函数，它通过在正确位置插入新元素来更新旧的缓存排序列表，将更快。这只是一个示例-许多“从头开始”功能都具有这种“增量更新”功能。另外，也许新添加的元素甚至不会出现在final_output中，因为它位于第5位之后。 我的直觉表明，有可能以某种方式将这样的“增量更新”功能与现有的“从头开始”功能并排添加到数据流系统中。当然，从头开始重新计算所有内容必须始终具有与进行一系列增量更新相同的结果。系统应具有这样的特性：如果每个单独的原始FromScratch增量对总是给出相同的结果，然后由他们建造的大型复合功能也应该会自动给出相同的结果。 问题：是否可能有一个系统/体系结构/范式/元算法既可以支持FromScratch函数也可以支持它们的增量对等函数，并为提高效率而合作并组成大量流程？如果没有，为什么？如果有人已经研究了该范式并发布了它，那么它被称为什么，我能否简要了解它的工作原理？

10 terminology  reference-request  functional-programming  programming-paradigms 

根据彼得·塞林格（Peter Selinger）的观点，拉姆达微积分是代数（PDF）。在本文的开头，他说： 众所周知，lambda演算的组合解释是不完善的，因为它不满足：在这种解释下，并不意味着\ lambda xM = \ lambda xN（Barendregt，1984）。ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N 问题： 在这里意味着什么等价？ 给定等效性的定义，隐含的反例是什么？

10 terminology  lambda-calculus  combinatory-logic 

big-O表示法使用什么表示法来讨论函数系数？ 我有两个功能： F（x ）= 7 x2+ 4 x + 2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 G（x ）= 3 x2+ 5 x + 4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 显然，这两个函数都是，实际上是Θ （x 2），但这不允许进行进一步的比较。我如何讨论系数7和3。将系数减小到3不会改变渐近复杂度，但仍然对运行时/内存使用产生重大影响。Ø （X2）O(x2)O(x^2)Θ （x2）Θ(x2)\Theta(x^2) 是不是错说是Ø （7 X 2）和G ^是Ø （3 X 2）？是否还有其他考虑系数的符号？或讨论此事的最佳方法是什么？FffO （7 x2）O(7x2)O(7x^2)GggO （3 x2）O(3x2)O(3x^2)

10 terminology  asymptotics  landau-notation 

对于函数或计算，我们有以下术语： 确定性–确定性 纯净–纯净 现在，无副作用的正确对应名词是什么？ “副作用自由”？“副作用自由”？“偏方有效”？

10 terminology  programming-languages