计算机科学

一个Fibonnaci堆支持以下操作： insert(key, data) ：向数据结构添加一个新元素 find-min() ：使用最小键返回指向元素的指针 delete-min() ：用最小键删除元素 delete(node) ：删除由指向的元素 node decrease-key(node) ：减少由指向的元素的键 node 所有非删除操作均为（摊销）时间，删除操作为O （log n ）摊销时间。O(1)O(1)O(1)O(logn)O(log⁡n)O(\log n) 是否有increase-key(node)在（摊销）时间内也支持的优先级队列的任何实现？O(1)O(1)O(1)

11 data-structures  priority-queues 

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

11 terminology  security  stack-inspection 

我目前正在学习Lambda演算，并且想知道以下两种不同的书写Lambda术语的方法。 λ X ÿ。X ÿλXÿ。Xÿ\lambda xy.xy λ X 。λ ÿ。X ÿλX。λÿ。Xÿ\lambda x.\lambda y.xy 意思或应用beta减少的方式是否存在任何差异，或者仅是表达同一件事的两种方式？ 尤其是对创建的定义让我感到奇怪： 对 =λ X ÿ。λ p 。p X ÿλXÿ。λp。pXÿ\lambda xy.\lambda p.pxy

11 logic  lambda-calculus 

单纯形算法贪婪地走在多面体的角上，以找到线性规划问题的最佳解决方案。结果，答案永远是多面体的一角。内部点方法在多面体内部移动。结果，当多面体的整个平面最佳时（如果目标函数与该平面完全平行），我们可以在该平面的中间得到一个解。 假设我们要查找多面体的一个角。例如，如果我们想通过将其简化为线性编程来进行最大匹配，则我们不希望得到包含“该匹配包含0.34％的边缘XY和0.89％的边缘AB和...”的答案。我们想得到一个0和1的答案（由于所有角都由0和1组成，因此单纯形会给我们一个答案）。有没有办法使用内点方法来确保在多项式时间内找到精确的角点解？（例如，也许我们可以修改目标函数以偏向角落）

11 algorithms  optimization  linear-programming 

如果我理解正确，NFA具有与正则表达式相同的表达能力。通常，从NFA中读取等价的正则表达式很容易：您将循环转换为恒星，将交汇处转换为替代物，等等。但是在这种情况下该怎么做： [ 来源 ] 重叠的循环使得很难看到此自动机接受什么（就正则表达式而言）。有把戏吗？

11 algorithms  formal-languages  finite-automata  regular-expressions 

我有一段时间一直在做作业，我一直在努力，对此我将不胜感激。这是关于选择一个已知问题的，该问题的NP完全性得到证明，然后构造从该问题到下一个问题的归约关系，我将其称为DGD（有向图诊断）。 问题 DGD 一个实例由顶点V = I组成。∪ Ø 。∪乙，向边Ë和一个正整数ķ。共有三种类型的顶点：仅具有输入边I的顶点，仅具有输出边O的顶点和具有输入和输出边B的顶点。此外，令D ＝O × I。（五，E，k ）（V，Ë，ķ）(V,E,k)V= 我∪。Ø ∪。乙V=一世∪。Ø∪。乙V = I \overset{.}{\cup} O \overset{.}{\cup} BËËEķķk一世一世IØØO乙乙BD = O × 我d=Ø×一世D=O\times I 现在的问题是，我们是否可以覆盖最多D个元素的所有节点，即ķķkddD ∃小号⊆ d ，| 小号| ≤ķ。∀ v ∈ V。∃ （v1个，v2）∈ 小号。v 1个→∗v →∗v2∃小号⊆d，|小号|≤ķ。 ∀v∈V。 ∃（v1个，v2）∈小号。 v1个→∗v→∗v2\qquad \displaystyle \exists\,S\subseteq D, |S|\leq k.\ \forall\, v\in V.\ \exists\,(v_1,v_2) …

11 complexity-theory  np-hard  graph-theory 

重写系统是在的形式的一组规则 。如果我们将该规则应用于字符串我们更换任何子一在W¯¯与子乙，反之亦然。A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB 给定起始字符串AAABBAAABBAAABB，我们可以使用以下规则在系统中派生BAABBAABBAAB： A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow AABB AAA↔ABAAA↔ABAAA \leftrightarrow AB BA↔ABBA↔ABBA \leftrightarrow AB 是否有通用的算法？

11 computability  term-rewriting 

我有以下语言 {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} 我正在尝试确定它适合哪种Chomsky语言课。我可以看到如何使用上下文相关的语法实现它，因此我知道它至少是上下文相关的。似乎没有上下文无关的语法是不可能的，但是我在证明这一点上遇到了问题。 这似乎是通过了分叉抽取的引理，因为如果将全部放在任何单词的第三部分（包含所有uvwxyuvwxyuvwxy222 s的部分）中。它可以根据需要将和x泵抽多次，并且将保留该语言。如果我错了，你能告诉我为什么吗，如果我是对的，我仍然认为这种语言不是上下文无关的，那么我怎么证明呢？vvvxxx

11 formal-languages  context-free  formal-grammars  pumping-lemma 

饮料分配器要求用户插入硬币（），然后按三个按钮之一：要求喝杯茶，同上咖啡，要求退款（即机器退回硬币：）。可以通过以下CCS流程对分配器进行建模：c¯c¯\bar cd¯tead¯tea\bar d_{\text{tea}}eteaeteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar b M=defc.(dtea.e¯tea.M+dcoffee.e¯coffee.M+r.b¯.M)M=defc.(dtea.e¯tea.M+dcoffee.e¯coffee.M+r.b¯.M) M \stackrel{\mathrm{def}}= c.(d_{\text{tea}}.\bar e_{\text{tea}}.M + d_{\text{coffee}}.\bar e_{\text{coffee}}.M + r.\bar b.M) 内战将咖啡的价格提高到两枚硬币，而茶的价格仍然是一枚硬币。我们想要一台经过改进的机器，该机器仅在两枚硬币后才送出咖啡，并默认一枚或两枚硬币后才能退款。我们如何使用CCS流程对修改后的机器建模？

11 logic  concurrency  modelling  process-algebras  ccs 

这可能与计算认知科学有关，但是我对通用寻路算法（例如A *）所遵循的过程与人类在不同寻路情况下（给定相同信息）所使用的过程的比较感到好奇。这些过程是否相似？

11 algorithms  graphs  artificial-intelligence 

如何确定是否具有一些数字序列？ππ\pi启发我问以下看似无辜的变化是否可计算： F（n ）= { 10如果 n¯ 以π的十进制表示形式出现 除此以外f(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation of \(\pi\)} \\ 0 & \text{otherwise} \\ \end{cases} 其中是十进制表示ñ，没有前导零。ñ¯n¯\bar nñnn 如果的十进制扩展包含所有有限数字序列（我们称其为通用数字（以10为底）），则f为常数1。但这是一个开放的数学问题。如果π不是通用的，这是否意味着f不可计算？ππ\piFff1个11ππ\piFff

11 computability  real-numbers 

令，，，为无上下文语言的无限序列，每种语言通用字母Σ定义。令L为L_1，L_2，L_3，\ dots的无限联合；即L = L_1 \ cup L_2 \ cup L_3 \ cup \ dots。L1L1L_1L2L2L_2L3L3L_3……\dotsΣΣΣLLLL1L1L_1L2L2L_2L3L3L_3……\dots L=L1∪L2∪L3∪…L=L1∪L2∪L3∪…L = L_1 \cup L_2 \cup L_3 \cup \dots L是否始终LLL是上下文无关的语言？

11 formal-languages  context-free  closure-properties 

我观察到分支预测中有两种不同类型的状态。 在超标量执行中，分支预测非常重要，主要是执行延迟而不是获取延迟。 在指令流水线中，由于指令直到稍后才真正被执行，因此获取的问题更多。 其中哪一项非常重要（因为当今CPU中哪些真正重要）？如果两者都同等重要，或者如果第二个同等重要，那么为什么我们没有两个指令流水线（可能是一半的长度），然后根据分支，只选择其中一个，然后再次从分支开始填充开始？

11 cpu-pipelines  computer-architecture 

考虑针对某些嵌入式设备的文件系统，该文件系统只不过在分层目录结构中存储文件而已。该文件系统缺少您可能在诸如UNIX和Windows之类的系统中习惯的许多操作（例如，其访问权限完全不同，并且与存储在目录中的元数据无关）。该文件系统不允许任何类型的硬链接或软链接，因此每个文件在严格的树形结构中均具有唯一的名称。 将指向目录本身及其父目录的链接存储在代表目录的磁盘数据结构中有什么好处？ 大多数UNIX文件系统在磁盘上都有.和..条目。我不知道他们为什么不在VFS（通用文件系统驱动程序）层处理这些问题。这是历史文物吗？是否有一个很好的理由，如果是，那么恰恰是哪个理由，因此我可以确定它是否与我的嵌入式系统有关？

11 operating-systems  filesystems 

下列哪种说法是正确的？ 存在关于语言规则性的充分必要条件，但尚未发现。 语言的规则性没有充分和必要的条件。 抽动引理是语言不规则的必要条件。 抽动引理是语言不规则的充分条件。 我知道＃（4）是正确的，而＃（3）是错误的，因为“此陈述的反义词是不正确的：满足这些条件的语言可能仍然是不规则的”，但是关于（1）和（2）？

11 formal-languages  regular-languages