moving24-CSDN博客

原创离散数学特殊图的知识点

二分图是指图中的顶点被分为两个互不相交的集合，顶点集合被标记为A和B，满足其中每个集合内的顶点之间没有边相连，每个集合内的顶点只能连接到另一个集合中的顶点。例如，以下图为例，图中的顶点可以划分为 {A, C, D} 和 {B, E, F} 两个集合，该图是一个二分图。在普通图的基础上，特殊图是指顶点或者边集具有特殊性质的图，如完全图、二分图、树等。二分图在实际应用中有很多用途，如在社交网络中可以用于建立用户之间的关系，以及在资源调配中可以用于确定资源和需求之间的匹配情况。每个节点的高度为它到根节点的边数。

2023-06-12 23:00:00 1951

原创离散数学图的知识点

深度优先搜索算法是从起点开始遍历，先访问起点的一个邻接节点，然后再继续访问这个邻接节点的邻接节点，以此类推，直到走到一个已经被访问过的节点，则返回上一级节点，重新访问未被访问的节点。稠密图是指节点之间有很多边的图，而稀疏图是指节点之间只有很少的边的图，它们通常是由节点数n和边数m的比例来区分的。有向图是指图中的边有方向性，用有向边表示，从一点到另一点的边是双向的，可以是单向的。最短路径算法是指在具有权值边的图中，找到一个点到另一个点的最短路径的算法，最常用的算法是Dijkstra算法和Floyd算法。

2023-06-12 22:00:00 639

原创离散数学特殊关系的知识点

在离散数学中，函数的定义为一个有序对 (X, Y, f)，其中X和Y都是集合，f是X到Y的映射关系。等价关系是指具有自反、对称和传递性的关系。单射函数是指自变量的不同值对应的因变量的值都不相同的函数，满射函数是指对于所有的y∈Y都存在至少一个x∈X，使得f(x)=y，双射函数是指即是单射函数又是满射函数的函数。例如，在集合{1，2，3}上，R={(1,1)，(2,2)，(3,3)，(1,2)，(2,1)，(2,3)，(3,2)}构成一个等价关系。当x=1时，f(x)=2，当x=2时，f(x)=4。

2023-06-12 21:00:00 910

原创离散数学二元关系的知识点

具体来说，如果一个二元关系是R，集合是S，那么R可以看作是S x S上的一个子集。例如，如果R表示“小于”关系，S表示自然数集合，则(2, 3)∈R，(3, 3)∉R，(4, 3)∉R。例如，如果R表示“父亲”，那么S表示“祖先”，因为祖先关系是最小的传递关系，至少包括所有的祖先。对于一个关系R和R的子集S，S是R的传递闭包，当且仅当S是最小的传递关系，其中基本关系在S中。因此，有向图可以看作是节点和边的二元关系。例如，如果R表示“不超过”关系，那么自反闭包表示“不小于”关系，即如果aRb，则a≤b。

2023-06-12 20:00:00 1674

原创离散数学谓词逻辑的知识点

在本篇博客中，我们将讨论什么是谓词逻辑，如何使用谓词逻辑来描述关系和性质，以及它在算法和计算机科学中的应用。这个例子中，我们使用P(x)表示x是一个人，F(x, y)表示x喜欢y这部电影，K(x, y)表示x了解y这部电影的情节。在谓词逻辑中，P(x)是一个命题。定义谓词∃x,y (P(x) ∧ P(y) ∧ F(x, z) ∧ F(y, z))，其中z是一部电影。定义谓词∀x,y (F(x, z) ∧ F(y, z) → K(x, y))，其中z是一部电影。定义谓词P(x)为x是人。

2023-06-12 19:00:00 727

原创离散数学命题逻辑的知识点

命题逻辑是离散数学中的一个基本领域，它研究命题和它们之间的逻辑关系，是解决计算机科学问题中的基础。分配律： P ∧ (Q ∨ R) = (P ∧ Q) ∨ (P ∧ R)，P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R)例如， P → Q 表示“如果P成立，则Q也成立”，即P蕴含Q。例如， P ∧ Q 表示“P与Q”，即命题P和Q的合取。例如， P ∨ Q 表示“P或Q”，即命题P和Q的析取。例如， ¬ P 表示“非P”，即命题P的否定。拒斥式推理：如果P或者¬P成立，则P成立的前提无效。

2023-06-12 17:30:00 1080

原创离散数学集合的知识点

例如，如果 A = {1, 2, 3}，而全集 U = {1, 2, 3, 4, 5}，则 A' = {4, 5}。例如，集合 A = {1, 2}，B = {1, 2, 3}，则 A 是 B 的子集，记作 A ⊆ B。例如，如果 A = {1, 2, 3}，B = {2, 3, 4}，则 A ∩ B = {2, 3}。例如，如果 A = {1, 2, 3}，B = {2, 3, 4}，则 A ∪ B = {1, 2, 3, 4}。交换律：A ∪ B = B ∪ A，A ∩ B = B ∩ A。

2023-06-12 13:04:35 1909

moving24的博客