weixin_45126622的博客

名词定义树不含圈林连通的无圈图

Euler 图与 Hamilton 图Euler 图Hamilton 图中国邮路问题Euler 图欧拉图\textcolor{red}{欧拉图}欧拉图：1.经过所有边2.边不重复3.起点、终点重合\textcolor{blue}{1. 经过所有边\\2. 边不重复\\3. 起点、终点重合}1.经过所有边2.边不重复3.起点、终点重合充要条件\textcolor{red}{充要条件}充要条件：1.没有奇点2.可表为边不相交的圈之并图3.每个边割都由偶数条边组成4.每条边都在总共奇数个圈上5..

图的基本概念图的表示图的同构路与连通性有向图图的表示 集合表示 无序积 X◦Y(x,y) 有序积 X×Y<x,y> 图形表示 代数表示 图的同构路与连通性有向图...

关系序偶与笛卡儿积关系的概念、性质及运算关系的概念关系的表示关系的性质关系的复合运算关系的逆运算关系的闭包运算特殊关系等价关系相容关系偏序关系全序关系序偶与笛卡儿积两个具有固定次序的元素 a，b 组成一个有序对被称为序偶\textcolor{red}{序偶}序偶，记作 <a，b>\textcolor{red}{<a，b>}<a，b>，其中 a 称作第一个元素，b 称作第二个元素任意给定两个集合 A 和 B ，所有第一元素属于 A，第二元素属于 B 的序偶所组成

命题逻辑谓词逻辑给定集合A，以A的所有子集为元素组成的集合，称为集合A的幂集\Large \textcolor{red}{幂集}幂集，记作P(A)\Large \textcolor{red}{P(A)}P(A)，或2A.2^A.2A.设集合A有n个元素，则A的幂集P(A)有2n\Large \textcolor{red}{2^n}2n个元素.设A，B是任意两个集合，所有属于A而不属于...

命题逻辑谓词逻辑量词量词否定等值式量词辖域收缩与扩张等值式量词分配等值式消去量词量词全称量词∀后跟蕴涵式→存在量词∃后跟合取式∧量词否定等值式¬∀xA(x)⇔∃x¬A(x)¬∃xA(x)⇔∀x¬A(x)¬∀xA(x)⇔∃x¬A(x)\\¬∃xA(x)⇔∀x¬A(x)¬∀xA(x)⇔∃x¬A(x)¬∃xA(x)⇔∀x¬A(x)量词辖域收缩与扩张等值式...

命题逻辑命题联结词基本等值式范式推理定律推理规则命题联结词命题联结词符号判断替换否定¬0 11 0合取∧11 1析取∨00 0p∨q\color{blue}{p∨q}p∨q⇔\color{red}{⇔}⇔¬(¬p∧¬q)蕴涵→10 0A→B\color{blue}{A→B}A→B⇔\color{red}{⇔}⇔¬A∨B等价...