1回答
克莱恩星无法分辨
、、、
我知道，如果L是可判定的，我们可以通过构造一个图灵机来证明L*也是可判定的，但是我很难解决这个问题:如果L是不可判定的，那么L*也是不可判定的。这句话是真的还是假的？
浏览 2提问于2017-10-03得票数 1
1回答
这句话使我难以理解教科书(第102页)：一种能够并将返回布尔值true或false值(而不是无限期循环)的算法。最后，仍然需要注意的是，启发式算法对于无法解决的问题没有性能优势，因为只有在搜索完完整的树之后，才能确定问题的不可解性。
见第102页。它说，在书的其他地方，启发式往往大
浏览 0提问于2015-02-15得票数 2
回答已采纳
我的问题:定义单词的两个集合P和q(即两个问题)：P是不可判定的和不半可的，q是不可判定的和半可判定的，P是⊂q的。
浏览 1提问于2015-02-22得票数 1
回答已采纳
1回答
为了证明一个问题是NP完全的，我们使用约简。我对此感到相当困惑。对于从ham循环到ham path的简化，我们采用向后的方式。请给我一个澄清，并指导我解决上述问题。
浏览 8提问于2012-11-19得票数 0
1回答
因此，PCP是半可判定的和不可判定的，停顿问题也是不可判定的。有没有可能为它们命名一个时间复杂度，比如NP或expTime？
那么空间复杂性呢:它们是在Pspace中吗？
浏览 12提问于2020-02-23得票数 0
回答已采纳
我试图证明输入x}的语言L= {w∈{0，1}∗Mw(x)↓是部分可判定的，但不是可判定的。Mw是M的编码，因此L语言使机器M的所有编码在某个输入x上停止。我有两个想法：
但是，我很难决定这两种方法中哪一种实际上是正确的，以及如何用正确的符号来写它。有人能给点提示吗？
浏览 2提问于2018-10-30得票数 1
1回答
SMT-LIB中的QF_NRA逻辑是可判定的吗？
我知道Tarski证明了非线性算法是可判定的，在实数中多项式系统是可判定的。然而，QF_NRA是否属于这一保护伞并不明显，因为QF_NRA包含除法。第一个问题是，QF_NRA中的除法是否包括分母可能为零的变量除法。，因为答案本身就足够困难了。如果零除法不是QF_NRA的一部分，那么QF_NRA中的除法就可以转换为乘法，这个问题将如Tarski所证明的那样是可判定的。如果QF_NRA中实际上包含了部门，那么我就不太确定了。我的感觉是，这个<
浏览 2提问于2016-10-21得票数 2
回答已采纳
1回答
一方面，我认为这可能是错误的，因为空话可能是一个条目，但在另一个，我认为这可能是一个难以确定的问题。3)回文的语言，无论是哪种语言，都是可判定的吗?对于这个问题，我几乎毫不怀疑它是错误的，因为用Rice定理，我们可以证明，这个问题是不可判定的。
浏览 8提问于2017-11-24得票数 1
回答已采纳
3回答
这是维基百科中可判定的定义。
递归集是可递归枚举集的子集。有一些递归枚举语言在递归集之外。那么，为什么递归枚举语言不能确定呢？
浏览 3提问于2012-02-26得票数 5
回答已采纳
1回答
在Z3 (Python)中，我解决了以下问题：univ = ForAll([x], (y1<y2+x*x))好吧，我知道NIA是semi-decidabl
浏览 8提问于2021-11-24得票数 2
回答已采纳
3回答
的可判定性
、、、
我有以下问题：
可以创建一个算法来找到答案，这样它就会始终停止。我对半可决定和可判定之间的区别感到很困惑。据我所知，如果我能够构建一个图灵机(算法)来接受问题的解决方案，并以其他方式拒绝，那么问题是可以判定的。然而，如果机器永远不会停止在输入不是解决方案的情况下，这意味着问题是半决定性的。
因此，我想说，上述问题</e
浏览 0提问于2018-07-07得票数 1
回答已采纳
3回答
多态判定问题
、、、
我有一个正在处理的问题。我的问题是，当在列表中存储也是ControlObjects调度的MapObject指针时，总是选择ControlObject函数。
浏览 0提问于2012-05-23得票数 0
回答已采纳
1回答
这种语言可以分辨吗？
、、、、
我在纠结于这是否是可判定的：我倾向于认为，这是可判定的，因为当输入图灵机时，它将永远不会达到接受状态和无限大的循环，除非它拒绝
浏览 12提问于2012-01-26得票数 3
然而，通过定义一种新的带计数器的Büchi自动机类，他们按照自动机理论方法建立了这种逻辑的可判定性。对于我来说，这听起来远不是我所理解的SMT求解器作为可判定理论与量词的决策过程所实现的经典量词消除。因此，我的问题是:如果一个理论可以像第1篇那样被证明是可判定的，那么Z3 (和其他求解者)是否实现了这些决策过程？换句话说，∀i . 0 ≤ i < n → a[i+1] = a[i]−1查询是用Z3中的终止决策过程来决定的，还是使用了更高效、但却是半可判定的启发式方法？如果他们使用终止过程，Z3 (和
浏览 8提问于2022-10-05得票数 0
回答已采纳
1回答
如何制作一个图灵机图形，它可以识别all words with an even number of a's，但它是not a decider而不是其他任何东西。另外，如何为相同的语言制作decider图灵机图形。
浏览 45提问于2020-06-28得票数 1
2回答
他们肯定是对的，因为TM试图决定一种无限的语言只会永远循环，这使得它成为一个识别器，而不是一个判定者。
谢谢你们。
浏览 4提问于2013-02-13得票数 0
3回答
我对不可判定问题和NP困难问题之间的关系感到有点困惑。NP难题是否是不可判定问题的子集，或者它们是相同和相等的，还是它们不具有可比性？对我来说，我一直在和我的朋友们争论，不可决定的问题是NP困难问题的超集。将会存在一些问题，这些问题不是NP困难的，但无法确定。但我发现这个论点是站不住脚的，而且有点困惑。是否存在无法确定的NP-完全问题？在NP hard中有什么问题是可以决定的吗？？
一些讨论会有很大
浏览 8提问于2012-05-08得票数 16
回答已采纳
1回答
一般来说，一阶逻辑是不可判定的。然而，一阶逻辑的一些片段如一元逻辑、BSR片段、分离片段是可判定的.
有一些工具可以作为Z3来解决SAT/SMT问题。是否有检验FOL公式可满足性的工具/语言？
浏览 13提问于2019-12-05得票数 1
回答已采纳
1回答
考虑一个程序来保存和报告保龄球俱乐部中保龄球运动员和球队的信息。每周都有一场比赛。每名球员，在4人的队伍中，有3场比赛。球队根据他们在锦标赛中击败的球队的数量积累积分，并且追踪球员的平均水平。列出类和类的责任。以下是我到目前为止所上的课程：
TeamW
浏览 2提问于2012-11-26得票数 0
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号