leavrow的博客

欧拉图定义：设G是无孤立结点的图,若存在一条通路(回路),经过图中每边一次且仅一次, 则称此通路(回路)为该图的一条欧拉通路(回路)。具有欧拉回路的图称为欧拉图（平凡图为欧拉图）欧拉通路是经过图中所有边的通路中长度最短的通路。无向欧拉图的判定定理无向图G=< V,E>具有一条欧拉通路，当且仅当G是连通的，且仅有零个或两个奇度数结点。无向图G=< V,E>具有一...

连通而没有回路的无向图称为无向树，常用T表示。每个连通分支都是树的无向图称为森林，一棵单独的树也可以叫做森林。树的性质：设无向图G=<V,E>，|V|=n, |E|=m- G中连通而不含回路，且m = n-1;- 在任二结点之间增加一条新边，就得到唯一的一条基本回路。- 删除任一 一条边后便不连通。n>=2- 每一对结点之间有唯一一条基本通路。n>=2树的...

一个图是一个序偶<V ,E>，记为G = < V, E>，其中：V= {v1, v2,… , vn}是有限非空集合, V;称为结点(node) , V称为结点集。 E是有限集合,称为边集。E中的每个元素都有V中的结点对与之对应,称之为边(edge)。...

设R是非空集合A上的关系，如果R是自反的，对称的，传递的，则称R为A上的等价关系。设n为正整数，整数集合Z上以n为模的同余关系 R={<x,y> | n|(x-y)}，R是一个等价关系。- 有n|(x-x)，n能整除x-x, 所以<x,x>∈R，自反- n|(x-y)，因为x,y交换也能被整除，对称- 若<x,y>∈R，<y,z>...

由两个元素按照一定的次序组成的二元组称为序偶，记作<x,y>，其中x是第一元素，y是第二元素。两个序偶<a,b>=<c,d> ， 当且仅当a=b,c=d称集合AxB = {<x,y>|(x∈A)∧(y∈B)}为集合A与B的笛卡尔积。当集合A,B都是有限集时，|AxB|=|BxA| = |A|x|B|设A,B为两个非空集合，称AxB的任意子集...

公式G（无自由变元，或自由变元看成是常量符号）的每一个解释I由如下4个部分组成：- 非空的个体域集合D- G中的每个常量符号，指定D中的某个特定的元素- G中的每个n元函数符号，指定Dn到D中的某个特定的函数。- G中的每个n元谓词符号，指定Dn到{0，1}中的某个特定的谓词...

谓词个体词，分为个体常量和个体变量，均在个体域内取值。设D为非空的个体域，定义为Dn（表示n个个体都在个体域D上取值）上取值于{0,1}上的n元函数，称为n元命题函数或n元谓词，记为P(x1,x2…xn)。例，我和你是异父异母的兄弟。 P(x , y)：x和y是异父异母的兄弟。一般将没有任何个体变量的谓词称为0 元谓词，如F(a)，G(a , b) ,等，当F ，G为谓词常量时，...

所谓的命题变元与命题常元其实指命题中真值的确定性，常元等价于编程中的常量，是确定的。而变元是不确定的。命题变元或命题变元的否定称为文字有限个文字合取称为简单合取式（或短语）有限个文字析取称为简单析取式（或子句）有限个简单合取式的析取式称为析取范式有限个简单析取式（子句）的合取式称为合取范式。单个的文字是子句、短语、析取范式、合取范式。析取范式、合取范式仅含联结词集{}...

符号表集合设A,B两个集合有一种一一对应的关系ψ：A→B ， 则称A,B等势记做：A~B 。如果A=B ， 则A~B，反之不成立。凡与自然集合N等势的集合称之为可数集合 ， 该集合的基数记为（阿列夫零）开区间（0,1）称为不可数集合， 凡与开区间等势的集合称为不可数集合，称为阿列夫。命题一切没有判断内容的句子都不能作为命题，命题应该是一个陈述语句设p为任意命题，非p称为p...