proof 相关问题

数学证明是证明数学陈述真实性的任何数学论证。非正式证据通常以自然语言呈现，并以协商一致方式保持真实;形式证明通常以符号形式呈现，并且可以机械地检查。 “证据”可以有效或无效;只有前者才能构成实际证明，而后者通常指的是证明有缺陷的尝试。

会员证明

我需要证明以下内容：引理“m = min_list（x＃xs）⟹m∈set（x＃xs）”用简单的英语，我需要证明“min_list（x＃xs）”的返回值总是（x＃xs）的成员我试过：...

isabelle proof

回答 1 投票 2

区块链拜占庭容错中的经过时间共识机制的证明是什么？

我正在研究普通PoW和PoS以外的共识机制，并找到了一种被称为经过时间证明的方案。我正在努力寻找任何研究或证据来证明这实际上是......

blockchain proof consensus hyperledger-sawtooth

回答 2 投票 1

证明NP的复杂性

我正在学习如何证明某些东西是NP。在托马斯科尔曼的算法书介绍中，如果给出某个问题的解决方案，他会说NP是一个东西，你可以在多项式时间内验证它是正确的。 ...

algorithm proof np

回答 3 投票 3

具体示例显示monad在组合下没有关闭（带证据）？

众所周知，应用函子在组合下是封闭的，但是monad不是。但是，我一直无法找到具体的反例，表明monad并不总是......

haskell monads composition proof

回答 5 投票 77

具有NP复杂度的最长路径问题的示例？

我在互联网上看到，找到最长的路径问题是NP-Complete问题。出于某种原因，我的老师告诉我，这不是NP完全问题。所以现在我正在寻找一个例子......

graph theory proof np longest-path

回答 1 投票 1

（get-unsat-core）Z3：不可用核心

这是我的程序，当图中存在一个循环时返回SAT，而当没有循环时返回UNSAT :( set-option：fixedpoint.engine datalog）（define-sort s（）Int）（declare-rel edge（ss））...

z3 proof z3py sat sat-solvers

回答 2 投票 1

证明一个函数的整体最多需要n个递归调用

假设我们正在编写一个lambda演算的实现，作为其中的一部分，我们希望能够选择一个新的非冲突名称：记录Ctx，其中构造函数MkCtx绑定：List ...

proof idris totality

回答 1 投票 1

如何证明关系交换参数的可判定性？亚瑟的回答

我有一种情况，我定义了归纳数据类型t和它的部分顺序（c.f. le_refl，le_trans和le_antisym）。订单在le_C情况下具有这种特殊性，即......的顺序

coq proof deterministic formal-verification partial-ordering

回答 2 投票 0

如何用`replace`完成这种交换性证明？

在这个文档中，提到了如何使用替换来完成证明，但它最终使用重写，这似乎是一个语法糖，为您编写替换。我对......感兴趣 ...

functional-programming proof agda idris

回答 1 投票 0

区分人工神经网络中的学习和记忆

是否有一个很好的资源可以清楚地解释人工神经网络的学习和记忆之间的区别 - 如果源包含数学解释和/或......

neural-network deep-learning artificial-intelligence proof

回答 1 投票 -1

这个证据与抽水引理（没有常规语言）好吗？

我需要证明给定的语言不规律，这可行吗？语言是M = {a ^ m a ^ l c b ^（m + 1）| m，l in N}，其中字母= {a，b，c}。证明：在N中任意但坚定。我们选择 ...

regular-language proof pumping-lemma

回答 1 投票 0

（广泛的问题）你怎么能确定一段代码是否正常工作？

一位采访者问我如何确保一段代码按预期工作。我说要通过所有可能的测试用例来测试代码。还有其他方法可以确定一块......

unit-testing testing proof

回答 1 投票 0

proof 相关问题

最新问题