srcmini

2020-03-05半瓶木阅读(1619)评论(0)赞(0)

在有限的步骤中查找给定语句是否是重言式, 矛盾性或可满足性的问题称为决策问题。对于决策问题, 事实表的构建可能并不总是可行的。我们考虑一种替代方法, 称为归纳为正常形式。 有两种这样的形式： 析取范式（DNF） 合取范式 析取范式（DNF）...

2020-03-05半瓶木阅读(1441)评论(0)赞(0)

本文概述 多集运算 有序集 有序对 多重集是元素的无序集合, 其中元素的多重性可以是一个或多个或一个或零。元素的多重性是元素在多重集中重复的次数。换句话说, 我们可以说一个元素可以在集合中出现任意次数。 例： 多集运算 1.多集的并集：两个...

2020-03-05半瓶木阅读(1201)评论(0)赞(0)

定理：如果A和B是两个独立的事件, 则两者发生的概率等于其各自概率的乘积。 P（A∩B）= P（A）XP（B） 证明：让事件A可以发生n是1的p成功的B可以发生的事件n2可以q的成功的n的方式现在, 将A的成功事件与B的成功事件相结合。这样...

2020-03-05半瓶木阅读(1591)评论(0)赞(0)

建立涉及自然数的普通结果的有效性的过程是数学归纳法的原理。 工作规则 令n0为固定整数。假设P（n）是一个涉及自然数n的语句, 我们希望证明P（n）对于所有n≥n0都是正确的。 1.归纳法基础：P（n0）为真, 即, 对于n = n0, P...

2020-03-05半瓶木阅读(1144)评论(0)赞(0)

以下是计算机科学中广泛使用的功能。 1.底函数：任何实数x的底函数定义为f（x）是小于或等于x的最大整数1。用[x]表示。 示例：确定的值 （i）[3。 5]（ii）[-2.4]（iii）[3。 143]。 解： 2.上限函数：任何实数x的...

2020-03-05半瓶木阅读(1462)评论(0)赞(0)

如果递归关系的次数为1, 则称为线性关系。 具有常数系数的线性递归关系的一般形式为 C0 yn + r + C1 yn + r-1 + C2 yn + r-2 +⋯+ Cr yn = R（n） 其中C0, C1, C2 … Cn...

2020-03-05半瓶木阅读(1165)评论(0)赞(0)

JPEG是由“联合图像专家组”开发的图像压缩标准。 1992年, 它被接受为国际标准。 JPEG是一种有损图像压缩方法。 JPEG压缩使用DCT（离散余弦变换）方法进行编码转换。它允许在存储大小和压缩程度之间进行权衡。 以下是JPEG图像压...

2020-03-05半瓶木阅读(6180)评论(0)赞(1)

本文概述 同胚图 子图 跨度子图 考虑图G（V, E）和G *（V *, E *）是同构的, 如果存在一对一的对应关系, 即f：V→V *使得{u, v}是G的边当且仅当{f（u）, f（v）}是G *的边。 图（a）的顶点数必须等于图（b...