Questions tagged «enumeration»

我们了解了函数枚举的概念。实际上，它们对应于编程语言。 这位教授在一个通俗的评论中提到，所有总功能（即始终为每个输入终止的功能）的类别不可枚举。那将意味着我们不能设计一种编程语言来允许我们编写所有全部功能，而不能编写其他所有功能，这将是一件很高兴的事情！ 那么，如果我们想要体面的计算能力，我们（显然）如何不得不接受非终止的可能性呢？

29 computability  semi-decidability  enumeration 

我在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 

对我来说，这个问题看起来很有趣。它将在有向图中找到一个简单的循环（即没有重复节点的循环）。 我的解决方案是这样的，即此图是一个案例问题： 我知道图形中有一个循环，当您可以在深度优先搜索中找到“后边缘”时（在DFSTree的图片中虚线了），我可以确定几个循环，但不能确定所有，简单的周期。因为，有向植物非常重要，所以从一个周期开始，即（0123）！=（0321） 我正在考虑为每个具有后端的节点创建dfs，但是我不确定，目前尚不清楚。所以，我问你，如果你指导我。谢谢！。 这是我针对案例问题的简单循环计数。

15 algorithms  graphs  enumeration 

在Stack Overflow（此处）提出了一个问题： 给定一个整数，打印出的整数值的所有可能的组合和其中求解方程式。A ，B ，C D A 2 + B 2 + C 2 + D 2 = NñNNA ，B ，CA,B,CA,B,CdDD一个2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N 这个问题当然与Bachet的数论猜想有关（由于他的证明，有时也称为Lagrange的四平方定理）。有一些论文讨论了如何找到一个解决方案，但是我一直找不到任何关于我们能够以多快的速度找到特定所有解决方案的信息（即所有组合，而不是全部排列）。ñNN 我已经考虑了很多，在我看来，它可以在时空中求解，其中是所需的总和。但是，由于缺乏有关该主题的任何先验信息，我不确定这是否对我而言是重要的主张，还是仅是微不足道的，显而易见的或已知的结果。Nø （Ñ）O(N)O(N)ñNN 因此，问题是，对于给定的，我们能快找到所有四平方和？ñNN 好的，这是我正在考虑的（几乎）O（N）算法。前两个支持函数，最近的整数平方根函数： // the nearest integer whose square is less than or equal to N public int SquRt(int N) { …

12 complexity-theory  time-complexity  number-theory  enumeration 

考虑到 -路径枚举是一个#P完全问题，是否有有效的方法可以计算（或至少近似） -路径的平均长度而无需枚举它们？如果允许路径重新访问顶点怎么办？ssstttsssttt 特殊图形上的相关结果也可能会有所帮助。

11 algorithms  complexity-theory  graphs  approximation  enumeration 

为什么可计算的数字（按图灵的意义）是可枚举的？它必须非常明显，但是我目前还没有看到它。

9 computability  turing-machines  enumeration