Questions tagged «notation»

我正在阅读卡尔·雷诺兹（Carl Reynolds）和保罗·泰曼（Paul Tymann）撰写的一本名为《计算机科学原理》的书（由Schaum的提纲出版）。 第二章以顺序搜索示例介绍算法，该搜索简单地循环访问名称列表，如果在列表中找到给定名称，则返回TRUE。 作者继续说（第17页）： 我们说顺序搜索算法的“增长顺序”是n。表示为T（n）。我们还说，增长顺序在T（n）的某个恒定因子之内的算法具有NLsay的theta。“顺序搜索的n为n。” 问题的大小为n，即要搜索的列表的长度。 我发现这确实很难遵循。这本书到处都是错误，所以我不确定是我遗漏了什么还是上面的段落中有错字。一般来说，我很少看到以“ ... say”结尾的句子。 我很困扰。 T代表什么？这本书没有解释。是时间还是Theta？ 如果“ NL的theta”表示“顺序搜索的n为n”。L代表什么？“线性”还是“长度”？ 我已写信给出版商，要求解释。他们说他们会将我的信息转发给作者。他们没有回答。我也尝试过查看其他资源，但仍然感到the惑，觉得我误会了一些东西，因此，在我对本段进行解码之前，请不要放松。 如果有人拥有该书的副本，并且已经理解该段落。然后，如果您能让我知道该段是否正确或用其他方式解释，将不胜感激。谢谢。

47 algorithms  algorithm-analysis  landau-notation  notation 

我完全理解大ØOO符号的含义。我的问题是，当我们说Ť（n ）= O （f（n ））T(n)=O(f(n))T(n)=O(f(n))，其中Ť（n ）T(n)T(n)是大小为ñnn输入上算法的运行时间。 我了解它的语义。但是Ť（n ）T(n)T(n)和Ø （˚F（n ））O(f(n))O(f(n))是两回事。 Ť（n ）T(n)T(n)是一个精确的数字，但是Ø （˚F（n ））O(f(n))O(f(n))不是一个产生数字的函数，因此从技术上讲我们不能说Ť（n ）T(n)T(n) 等于 Ø （˚F（n ））O(f(n))O(f(n))。您 O （f （n （）））的值是多少，答案是什么？没有答案。Ø （˚F（n ））O(f(n))O(f(n))

47 asymptotics  landau-notation  notation 

在论文“无冲突的JSON数据类型”中，我遇到了这种形式化定义“规则”的表示法： 这个符号叫什么？我该怎么读？ 例如： 该DOC规则的“分子”中没有任何内容-为什么不呢？ 在EXEC和GET规则似乎也行上述两个不同的术语，这是什么意思？ 该VAR规则也很引人注目，因为尽管许多其他规则在顶部使用某种箭头（我将其表示为“暗示”），但该规则似乎只是在说x是某物的元素。 几乎所有内容都以首字母开头，Ap,其文字描述为“副本p的状态由Ap描述，是有限的部分函数” –精明的读者怎么会倾向于“看到”每条规则的那一部分？ 该站点确实提出了一个相关的问题，该问题的注释看起来非常相似，在此问题上，smallB，s⟩->⟨B'，s'⟩作为关于小步长问题的初始规则的意义是什么？语义？—这被标记为“ 操作语义”，这似乎是一个强有力的线索。确实是我解释这些数字所依据的框架吗？您能否以“速成课程”形式轻松地概括一下这一点，以便即使我无法验证他们的证明的正确性，我也至少可以对他们在本节中所说的内容有更多的了解？

18 semantics  notation  formal-methods  operational-semantics 

在我的算法和数据结构课程中，教授，幻灯片和这本书（算法简介，第3版）都使用了这个词NIL来表示例如不存在的节点（在树中）的子代。 有一次，在一次演讲中NIL，我的同学没有说，而是null教授纠正了他，而我不明白为什么教授强调这个词。 人们为什么使用单词NIL代替null，或none或任何其他单词？是否NIL具有其他人没有的某些特定含义？有历史原因吗？ 请注意，我在网络上也看到了一些地方，例如，使用单词null代替NIL，但是通常使用最后一个。

17 algorithms  terminology  data-structures  notation 

我通常在空字符串（空词或空字符串）中使用符号。但是我知道有些人使用λ而不是ε。εε\varepsilonλλ\lambdaεε\varepsilon 我认为源自“空”一词。但是我不知道λ的起源。εε\varepsilonλλ\lambda 在自动机理论中，存在自动机的ε跃迁，也被称为lambda跃迁。例如，默认情况下，JFLAP软件使用作为epsilon过渡的标签。λλ\lambda 我在起源上进行了搜索，并搜索了cs.stackexchange，但找不到。有谁知道描述这个的参考？

14 formal-languages  automata  reference-request  notation  history 

例如，让我们说我正在做字符串处理，需要对两个字符串进行一些分析。我没有给出关于它们的长度可能最终是多少的信息，因此它们来自两个不同的家庭。将算法的复杂度称为或（取决于我们使用的是朴素算法还是优化算法）是否可以接受？O （n * m ）Ø（ñ∗米）O(n * m)O （n + m ）O(n+m)O(n + m) 同样，让我们​​假设我们选择的算法实际上需要两个阶段-第一个字符串的设置阶段，这使我们能够处理任意数量的其他字符串而不会产生初始成本。说它具有构造，再进行任意数量的计算，是否被认为合适？O （m ）O （n ）Ø（ñ）O(n)O （米）Ø（米）O(m) 因为两个计算都是线性的，所以仅将它们称为是否合适？O （n ）Ø（ñ）O(n)

11 time-complexity  asymptotics  landau-notation  notation 

我正在学习有利的点树，并且在阅读Peter Yianilos撰写的论文《一般度量空间中的最近邻居搜索的数据结构和算法》（SODA会议录，SIAM，第311-321页；PDF）时遇到了这个问题。以下伪代码出现在算法1中。 function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…function Make_vp_tree(S)if S=∅ then return ∅new(node);node↑.p:=Select_vp(S);node↑.mu:=Medians∈Sd(p,s);…\begin{align*} \hspace{2em}&\hspace{-2em} \textbf{function}\text{ Make_vp_tree(}S\text{)}\\ &\textbf{if }S=\emptyset\textbf{ then return }\emptyset\\ &\text{new(node);}\\ &\text{node}\!\uparrow\!\!\text{.p} := \text{Select_vp(}S\text{);}\\ &\text{node}\!\uparrow\!\!\text{.mu} := \text{Median}_{s\in S}\, d(p,s);\\ &\dotsc \end{align*} node是vp-tree的节点，所以我知道这node.p是什么意思，但是在这种情况下，向上箭头是什么意思？

9 notation