我的问题:定义单词的两个集合P和q(即两个问题)：P是不可判定的和不半可的，q是不可判定的和半可判定的，P是⊂q的。
浏览 1提问于2015-02-22得票数 1
回答已采纳
2回答
最近，我被要求检查一行代码中的数组是否为空。int[] array = new int[5];你能帮我找一个单行代码来检查它是空的还是不空的？
浏览 1提问于2016-04-01得票数 1
1回答
一阶逻辑的有效命题片段通常被定义为∃X.∀Y.Φ(X,Y)形式的企业家量化公式集，其中X和Y是(可能是空的)变量序列。量化的顺序，即∃*∀*，是否关系到EPR的可判定性？如果转换量化顺序，我们是否失去了决策能力？
特别是，我对在可判定逻辑中捕获集一元绑定操作的语义感兴趣。然而，当我在Z3上使用这样的公式时，我从来没有遇到过超时问题，我不知道上面的公式是否确实处于某种可判定的片段中(同时也承认在实践中的可解性并不意味着理论上的可判定性)
浏览 5提问于2017-09-12得票数 3
回答已采纳
1回答
我正在尝试确定一条连接多个点的直线是否为凸的。这些点可以在x，y坐标上绘制。除了将每个点连接到其他点并查看所有这些线是否都位于曲线上方之外，是否可以通过其他方式完成此操作？谢谢!
浏览 3提问于2015-04-29得票数 0
1回答
这是令人惊讶的，因为我一直在研究一阶理论，据我所知，LIA是可判定的，而NIA则不是(在理性主义中也是如此)。结果是[]，顺便说一句：有效。也就是说，我们一直在列举所有可能的作业，并测试它们是否满足这个公式。这与试图通过运行程序和检查程序在给定步骤后是否终止而试图解决停止问题没有多大区别。在()中:G del证明了(NIA)是一个不可判定的问题。那么，NIA是不可判定的还是半可判定
浏览 8提问于2021-11-24得票数 2
回答已采纳
给定一个非空字符串 s 和一个包含非空单词的列表 wordDict，判定 s 是否可以被空格拆分为一个或多个在字典中出现的单词。说明：拆分时可以重复使用字典中的单词。你可以假设字典中没有重复的单词。
浏览 78提问于2021-10-15
1回答
L= {M \M是图灵机描述，并且存在一个长度为k的输入x，使得M最多在k步之后停止。
我想是的，但我无法证明。我试着想办法从停下来的问题上减少一点。
浏览 1提问于2011-07-10得票数 6
回答已采纳
1回答
这种语言可以分辨吗？
、、、、
我在纠结于这是否是可判定的：我倾向于认为，这是可判定的，因为当输入图灵机时，它将永远不会达到接受状态和无限大的循环，除非它拒绝
浏览 12提问于2012-01-26得票数 3
是否有可能为Idris中的接口创建可判定的属性，这些属性可以在接口本身中使用？例如，假设我们有一个简单的接口Foo和一个数据类型FooTypeEmpty，表示给定foo对象是‘空’的语句(定义为‘由两个零索引’)： MkFooTypeEmpty : (Foo foo) => (f : foo 0 0 a) -> FooTypeEmpty f
是否</e
浏览 0提问于2018-06-28得票数 1
回答已采纳
1回答
我希望这两个复选框的默认值为false，如果选中它们，则返回true。我想我的问题是，当我使用序列化程序时，如果两个复选框未选中，我无法从这两个复选框中获得值。= models.BooleanField(default=False)如果复选框处于未选中状态，是否可以拥有序列化程序的现有值
浏览 1提问于2017-08-12得票数 0
1回答
我想找出一个多项式时间算法，它以图G和整数K的形式输入，并确定G是否是K-顶点连通的。我认为这可能会利用深度优先搜索。相反，在输入时给出了一个数字k，我希望检查这个图是否是k连通的。它不会产生一个给出图的连通性的答案，只是一个是或不是。
浏览 4提问于2012-04-11得票数 3
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
云直播
腾讯会议活动推荐
腾讯云开发者
