Questions tagged «reference-request»

用于简化行的Ramer-Douglas-Peucker算法具有最坏情况的运行时间。对于适当分布的随机输入，它具有期望的运行时复杂度。在2D模式下，还有其他算法的运行时复杂度为最差，其计算结果与Ramer-Douglas-Peucker算法完全相同。由于这些算法基于“路径（凸）壳”数据结构，因此是否可以将其推广到4D线尚不清楚。O （n log n ）O （n log n ）Ø （ñ2）O(n2)O(n^2)Ø （ñ 日志n ）O(nlog⁡n)O(n \log n)Ø （ñ 日志n ）O(nlog⁡n)O(n \log n) 对于4D线，是否有一个（随机的）算法具有（预期的）运行时间（与输入无关）？您可以假设欧几里得距离和整体绝对公差。Ø （ñ 日志n ）O(nlog⁡n)O(n \log n)

19 reference-request  computational-geometry  randomized-algorithms 

持久数据结构是不可变的数据结构。对它们的操作将返回数据结构的新“副本”，但会被操作更改；尽管旧的数据结构保持不变。通常，通过共享一些基础数据并避免完全复制数据结构来实现效率。 问题： 是否存在关于可以使数据结构类别持久化（同时保持相同或非常相似的复杂性）的结果？ 是否可以使所有数据结构具有持久性（同时保持相同或非常相似的复杂性）？ 是否已知任何数据结构无法持久化（同时保持相同或非常相似的复杂性）？

19 reference-request  data-structures  functional-programming  persistent-data-structure 

我正在开始有关类型检查算法的个人书目研究，并需要一些技巧。最常用的类型检查算法，策略和通用技术是什么？ 我对以众所周知的强静态类型化语言（例如C ++，Java 5 +，Scala或其他语言）实现的复杂类型检查算法特别感兴趣。IE，由于基础语言的键入非常简单（例如Java 1.4及更低版本），因此类型检查算法不是很简单。 我本身对特定的语言X，Y或Z并不感兴趣。我对类型检查算法感兴趣，无论它们针对的是哪种语言。如果您提供诸如“您从未听说过的语言L是强类型且类型复杂的答案”，则可以使用类型检查算法，该算法通过使用算法Z检查X和Y来进行A，B和C运算，或者“用于Scala的策略X和Y以及用于C＃的A的变体Z都很酷，因为R，S和T功能以这种方式起作用”，那么答案就很好。

19 algorithms  programming-languages  reference-request  type-checking 

我有一点点的历史问题，即，正如标题所说，我在寻找早期使用的树木 （如数据结构，搜索树，等等）计算机科学。

18 data-structures  reference-request  trees  history 

据说，“ Eugene Goostman”是一种计算机程序，用于模拟一个13岁的男孩，成功说服了33％的法官是人类，并因此通过了图灵测试。 这个计算机程序，又名聊天机器人，假装是一个13岁的乌克兰男孩，而英语是第二语言，这确实是非常不同的。 对我来说，尤金听起来完全像一个平庸的聊天机器人：重复，无意义，而且杂乱无章。我不知道它是如何说服法官的（这似乎不专业）。 很多人都批评尤金，例如史蒂文·哈纳德教授，他说“这是胡说八道”，“我们还没有通过图灵测试。我们甚至还没有接近。” 意见不一，但我真的想知道它是否正式通过了测试？ 也有人说： 从未颁发过的两个一次性奖品。25K是为第一个聊天机器人提供的，该聊天机器人无法将法官与真实的人区分开，并且可以说服法官认为该人是计算机程序。100,000美元是对第一个聊天机器人的奖励，该聊天机器人在图灵测试中（包括解密和理解文本，视觉和听觉输入），无法与真实的人区分开。一旦实现，年度竞赛将结束。 这是否意味着Eugene赢得了$ 25,000？

18 reference-request  artificial-intelligence  history  turing-test 

切割问题是将某个大物体切割成几个小物体的问题。例如，假设你有一个工厂，与大的片材宽度的原始玻璃，作品和长度。有几个买家，每个买家都想要无限数量的小玻璃板。买方想要长为且宽度为纸张。您的目标是从大张纸上切下小张纸，以使总使用量最大化，浪费最小化（还有其他类型的切割和包装问题）。w ^w ^W大号大号L一世一世i升一世升一世l_iw一世w一世w_i 切割问题的一个普遍限制是，切割必须是断头台切割，即每个现有的矩形只能切割成两个较小的矩形；显然，具有断头台切割的最大使用面积可能小于没有限制的最大使用面积。 我的问题是：最佳断头台切割与最佳普通切割之间的比率是否有上限和下限？ 相关工作：Song等。（2009年）描述了一种使用限制型断头台切刀的算法- 两次断头台切刀。他们使用几何约束证明，最大两次断头台切工与最大断头台切工之间的比率受。我正在寻找关于最大断头台切割量与最大常规切割量之间的比率的可比结果。6767\frac{6}{7}

18 reference-request  computational-geometry  lower-bounds  packing 

我开始阅读越来越多的语言研究论文。我发现它非常有趣，并且是一种全面学习编程的好方法。然而，通常是一个部分，在那里我总是（就拿第三部分的奋斗此），因为我没有在计算机科学的理论背景：类型规则。 是否有任何好的书籍或在线资源可用于该领域的入门？维基百科含糊不清，对初学者没有任何帮助。

18 logic  reference-request  terminology  type-theory 

正如上一个问题所得出的那样，我一直在把里曼假设作为休闲数学问题。在此过程中，我进行了一次非常有趣的重现，并且对它的名称，它的减少以及它对于质数之间的可解性的可处理性感到好奇。 简而言之，我们可以将每个素数之间的间隔定义为先前候选素数的重复出现。例如，对于我们的基数p0= 2p0=2p_0 = 2，下一个质数将是： p1个= 最小{ x > p0∣ − cos（2 π（X + 1 ）/ p0）+ 1 = 0 ）}p1个=分{X>p0∣-cos⁡（2π（X+1个）/p0）+1个=0）}\qquad \displaystyle p_1 = \min \{ x > p_0 \mid -\cos(2\pi(x+1)/p_0) + 1 = 0) \} 或者，正如我们通过绘制此图所看到的：p1个= 3p1个=3p_1 = 3。 我们可以通过评估向前重复的每个候选素数来对素数重复该过程。假设我们要获得下一个质数。我们的候选函数变为：p 2ññnp2p2p_2 p2=min{x>p1∣fp1(x)+(⋅(−cos(2π(x+1)/p1)+1)(−cos(2π(x+2)/p1)+1))=0}p2=min{x>p1∣fp1(x)+((−cos⁡(2π(x+1)/p1)+1)⋅(−cos⁡(2π(x+2)/p1)+1))=0}\qquad \displaystyle \begin{align} p_2 = \min\{ x > …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

是否存在图灵机停止所有输入，但由于某种原因无法证明该属性？ 我想知道是否已经研究了这个问题。注意，“不可证明的”可能意味着“有限的”证明系统（从狭义上讲，答案肯定是肯定的）。我当然对最强有力的答案感兴趣，即，用ZFC集合论或任何其他方法都无法证明该答案不能停止。 在我看来，Ackermann函数可能确实如此，但我对细节不了解。维基百科似乎没有清楚地描述这方面。

17 computability  reference-request  turing-machines  halting-problem 

SAT求解器在解决大型实例方面越来越有效，并在各种情况下用作后端。每当有人想要使用它们来解决特定领域中的问题时，他/她都必须提出一种即席编码，该编码不仅具有正确的解决方案集，而且可以将约束（甚至是冗余的）形式化这有助于求解器的启发式算法更快地找到解决方案。 在我看来，许多这样的编码将是非常常见的，例如：断言将一组有限的节点链接为树或DAG，或者对列表进行排序... 是否有针对优化解决方案中常见问题的通用编码的存储库/食谱书？

17 reference-request  satisfiability  sat-solvers 

令为固定的时间可构造函数。fff TM的经典通用仿真结果（Hennie和Stearns，1966年）指出，有两个磁带TM 使得UUU 的描述中，TM ，和⟨M⟩⟨M⟩\langle M \rangle 输入字符串，xxx 运行步骤并在x上返回M的答案。和克可以采取以任何函数ω （˚F （Ñ ）LGg(|x|)g(|x|)g(|x|)MMMxxxggg。ω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n)) 我的问题是： 单个磁带TM上最著名的模拟结果是什么？上面的结果还成立吗？ [HS66]有什么改进吗？我们可以更快地在两带TM上模拟步的TM 吗？我们可以采取g ^ （ñ ）是在ω （˚F （ñ ））代替ω （˚F （ñ ）LG ˚F （ñ ））？f(n)f(n)f(n)g(n)g(n)g(n)ω(f(n))ω(f(n))\omega(f(n))ω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n))

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

一些前沿问题：我是一名休闲计算机科学家和受雇的软件工程师。因此，请原谅，如果此提示似乎有点超出范围，我会无事可做时会例行数学模拟和开放式问题。 在研究黎曼假设时，我确定可以根据每个先前质数的倍数形成的所有n − 1个互补函数的交集，将质数差减少为递归关系（敏锐的观察者会注意到，这是对的埃拉托色尼的筛）。如果这对您完全没有意义，请不用担心-它仍然是最重要的。n−1n−1n-1 看到这些函数之间的关系，我意识到可以将每个素数的下一个实例简化为这些函数的第一个交集，然后无限重复地进行下去。但是，我无法确定这在多项时间和多项空间中是否易于处理。因此：我正在寻找的是一种可以确定多项式时间和空间中离散（如果适用的话，是单调）函数的第一个交点的算法。如果当前不存在或可能不存在这样的算法，则简短的证明或说明就足够了。nnn 到目前为止，我能找到的最接近的是Dykstra的投影算法（是的，这是RL Dykstra，而不是Edsger Dijkstra），我认为它可以解决整数编程的问题，因此是NP难的。类似地，如果对所有适用点进行传递集交集（因为它们目前被认为是有界的），由于当前弱界，我们仍必须将自己限制在指数空间以便递归任何实数素数（因此，每个素数空间）。ln(m)ln⁡(m)\ln(m)mmmenene^nnnn 在全球范围内，我想知道我对减少问题的理解是否是错误的。我不希望很快解决Riemann假设（或这个领域中任何深层，开放的问题）。相反，我正在尝试通过解决问题来了解更多信息，并且在研究中遇到了障碍。

16 algorithms  reference-request  discrete-mathematics 

我知道图形处理单元有一种叫做内存合并的东西。在阅读它时，我对该主题尚不清楚。这与内存级别并行性有什么关系吗？ 我已经在Google中搜索过，但无法获得满意的答案。 如果有人给出更全面，易于理解的解释，将会很有帮助。

16 terminology  reference-request  computer-architecture  memory-management 

最近，我对理解和证明（功能）编程语言的各个方面非常感兴趣。 但是，随着我的深入研究，如果没有适当的解释，演算，类别理论和指称语义之类的东西将有些难以理解。λλ\lambda 我读过SICP（相当有启发性的书），但我希望深入研究函数式编程理论。是否有书籍/博客/站点/您的名字可以从头开始讨论功能编程语言的理论？

16 reference-request  lambda-calculus  functional-programming  books 

我在Stack Overflow上阅读了一个问题，询问它是否是NP-很难在包含特定节点的图中列出所有简单循环，但我想到我想不出任何现有的复杂度类都非常适合谈论形式为“列出此问题的所有解决方案”的问题。从某种意义上说，NP类由一些问题组成，这些问题询问是否存在至少一个解决方案，FNP类要求产生一个单个的解决方案，而#P类则要求计算有多少个解决方案，但是这些都不涉及复杂性详尽列举所有可能的解决方案。 是否有用于描述给出一个多项式时间计算谓语形式”的问题复杂类和一个字符串，枚举所有针对是真受[插入一些适当的复杂性限制]？” 我知道，鉴于解决方案的数量可能比输入的大小成指数增长，但要限制这些限制可能很棘手，尽管这似乎并非不可克服。P（x ，y）P（X，ÿ）P(x, y)XXxÿÿyP（x ，y）P（X，ÿ）P(x, y)XXx

15 complexity-theory  reference-request  complexity-classes  enumeration