discrete-mathematics 相关问题

注意:只有与离散数学相关的软件开发问题才是主题。离散数学是与离散现象有关的数学分支 - 与几何,实分析,物理等连续现象相反。典型的离散数学主题是离散概率,组合学,图论,算法和复杂性,还有矩阵,差分方程。 ,复发。

A上是否存在对称,反对称和反射的关系?

我不确定对称,反对称和反射的关系是否存在。我已经准备好进行测试,这个问题现在才出现在我身上!我以为只有...

回答 1 投票 0

为什么谓词和函数未在Prolog中明确分开?

考虑此Prolog程序:a(1)。 b(X):-X。这在SWI Prolog中有效。并且以下查询在没有任何警告的情况下给出了理想的(乍看之下)结果:?-b(a(1))。真?-b(a(2))。 ...

回答 1 投票 0

如何有效地在NumPy中找到光滑多维数组的局部最小值?

假设我在NumPy中有一个数组,其中包含连续微分函数的求值,我想找到局部最小值。没有噪音,因此每个点的值都小于值...

回答 2 投票 12

关于合取范式(CNF)的问题

这是一个作业问题。我们可以将以下内容视为CNF吗? (¬xy y)∧(x∨z)我认为这是CNF,就像A∧B,但我的朋友不同意。

回答 1 投票 -2

如何进行包含小数的平方根计算

当平方根的默认返回类型实际上是双精度值时,如何使用十进制输入来执行经济订单数量的平方根计算?我尝试使用...

回答 1 投票 0

关于合取范式(CNF)的问题。 (固定)

这是一个作业问题。我们可以将其视为CNF吗? (¬xy y)∧(x∨z)我认为这是CNF,就像A∧B,但我的朋友不同意。我们不能互相说服,有人可以给...

回答 1 投票 -2

如何用AND重写(P或Q)

我正在尝试用汇编语言编写XOR操作,但是我们唯一可以使用的操作是AND和NOT,不是OR,而且绝对不是XOR。我在网上到处都看过,似乎看不到...

回答 1 投票 -2


我需要一些帮助来使用Java启动离散数学。我完全不知所措

您的任务是生成从X = {a,b,c}到集合Y的所有可能函数。集合Y包含整数1,…,n,其中某个整数n≥1。 n的值由用户提供。要定义函数,您需要...

回答 1 投票 -2

证明每个不带2个二进制字符串1的集合S都有$ 2 ^(n-1)$字符串

证明每个集合S包含长度为n的二进制字符串,以使S中没有两个字符串在一个位置上完全不同,包含的字符串不超过$ 2 ^ {(n-1)} $个字符串。请注意,您必须执行...

回答 1 投票 0

使用K个字母查找大小为N的回文总数

使用K个字母查找长度为N的回文总数,以使长度2到N-1的任何前缀都不是回文。尝试过K *((K-1)^(Math.ceil((N-2)/ 2)))首位可以容纳K个字母。第二个...

回答 1 投票 3

如何使用pyplot和numpy绘制tan(x)

代码:将plt导入matplotlib.pyplot作为np x导入numpy = np.linspace(0,10000)plt.plot(x,np.tan(x))plt.show()预期结果:得到的结果:

回答 2 投票 1

解决课题的复发T(N)= T(N / 3)+ O(logn)时间+ N通过给予紧密结合的

是否确定解决复发的时候,像在这种情况下,我决定放弃了O(LOGN)跌落按照低。请原谅坏手写!这是我在解决复发的尝试:

回答 1 投票 1

如果f(n)的= 2 ^ 2,G(N)= 1.01 ^ N。为f(N)= O(G(N))?为f(N)=Ω(G(N))?

令f(n)的= 2 ^ 2,G(N)= 1.01 ^ N。为f(N)= O(G(N))?为f(N)=Ω(G(N))?证明与证明你的答案。

回答 1 投票 -4

在双向链表最后一个元素的复杂性缺失

如果你想删除一个节点,那么你必须遍历只有一个和复杂性在O(1)如果你想删除节点C,那么你必须遍历两次和复杂性将如果你想为O(n)...

回答 2 投票 0

一些所有分频器的除数的总和

下面的方法是在这里很好的解释。我无法写在这里,由于格式问题。 // C ++程序找到一个自然数的所有约数的约数的总和。 #...

回答 1 投票 1

给定数字中所有可能的数字排列

用户应该输入他的号码中有多少位数,然后他应该输入他的号码。然后代码应以所有可能的方式排列该数字,而不进行递归。例如数字......

回答 2 投票 -1

如何用Java计算整数中的log base 2?

我使用以下函数来计算整数的log base 2:public static int log2(int n){if(n <= 0)throw new IllegalArgumentException(); return 31 - Integer.numberOfLeadingZeros(...

回答 10 投票 128

如何在Coq中证明逻辑等价?

我想在Coq中证明以下逻辑等价。 (p-> q) - >(~q-> ~p)这是我尝试过的。我怎样才能解决这个问题?引理起作用:( forall p q:Prop,(p-> q) - >(~q-> ~p))。证明。介绍p q ....

回答 1 投票 0

如果循环x次,则计算列表项的传递次数的公式是什么

给定list = ['a','b','c']如何在列表循环x次时获取项目的访问次数。例如:#如果我们循环列表4次,输出将输出= [('a',2),('...

回答 5 投票 1

© www.soinside.com 2019 - 2024. All rights reserved.