![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 54
magic_now
这个作者很懒,什么都没留下…
展开
-
一棵树有n2个结点度数为2,n3个结点度数为3……nk个结点度数为k,它有几个度数为1的结点?
一棵树有n2n_2n2个结点度数为2,n3n_3n3个结点度数为3……nkn_knk个结点度数为k,它有几个度数为1的结点?1.设度为1的节点的个数为XXX,则边数为n2+n3+n4+X−1n_2+n_3+n_4+X-1n2+n3+n4+X−1(结点数减1),2.故2∗n2+3∗n3+...+k∗nk+X=2(n2+n3+n4+X−1)2*n_2+3*n_3+...+k*n_k+X=2(n_2+n_3+n_4+X-1)2∗n2+3∗n3+...+k∗nk+X=2(n2+n3+n4原创 2021-04-01 11:27:43 · 3857 阅读 · 2 评论 -
已知命题公式(¬p→q)→(¬q∨p)
已知命题公式(¬p→q)→(¬q∨p)(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)(¬p→q)→(¬q∨p)构造真值表p,q(¬p→q)(\lnot p\rightarrow q)(¬p→q)(¬q∨p)(\lnot q \lor p)(¬q∨p)(¬p→q)→(¬q∨p)(\lnot p\rightarrow q)\rightarrow(\lnot q \lor p)(¬p→q)→(¬q∨p)0 ,00110,1原创 2021-03-15 16:42:36 · 4513 阅读 · 1 评论 -
已知<G,∗>是群,u∈G,定义“△”为a△b=a∗u−1∗b,∀a,b∈G,证明<G,△>为含幺半群
已知<G,∗><G,*><G,∗>是群,u∈Gu\in Gu∈G,定义“△\triangle△”为a△b=a∗u−1∗ba\triangle b=a*u^{-1}*ba△b=a∗u−1∗b,∀a,b∈G\forall a,b\in G∀a,b∈G,证明<G,△><G,\triangle><G,△>为含幺半群。∵\because∵<G,∗><G,*><G,∗>是群,u∈Gu\in Gu∈G∴\the原创 2021-03-15 14:17:45 · 348 阅读 · 0 评论 -
已知<G,∗>是群,u∈G,定义“△”为a△b=a∗u−1∗b,∀a,b∈G,证明<G,△>为含幺半群
已知<G,∗><G,*><G,∗>是群,u∈Gu\in Gu∈G,定义“△\triangle△”为a△b=a∗u−1∗ba\triangle b=a*u^{-1}*ba△b=a∗u−1∗b,∀a,b∈G\forall a,b\in G∀a,b∈G,证明<G,△><G,\triangle><G,△>为含幺半群。∵\because∵<G,∗><G,*><G,∗>是群,u∈Gu\in Gu∈G∴\the原创 2021-03-15 14:12:29 · 479 阅读 · 0 评论 -
求最小生成树的方法(Kruskal)
求最小生成树有许多方法,这里介绍避圈法(KruskaIKruskaIKruskaI算法)设图GGG有nnn个结点,以下算法产生最小生成树。(1) 选择最小权边e1e_1e1,如果有多条这样的边,选序号最小的边,置边数i←1i\leftarrow1i←1;(2) i=n−1i=n- 1i=n−1结束,否则转(3) ;(3) 设定已选定e1,e2,...,eie_1,e_2,... ,e_ie1,e2,...,ei, 在GGG中选取不同于e1,e2,..,eie_1,e_2,.. ,e_ie1原创 2021-03-13 15:59:17 · 2215 阅读 · 0 评论 -
用数学归纳法证明n阶无向树T有n-1边
用数学归纳法证明n阶无向树T有n-1边证明:当n=1时,因为树T没有回路,所以T的边数m=0,m=n-1成立。设n=k时成立。当n=k+1时,则T至少有两片树叶,设v是一片树叶,删除v以及与之相邻的边。这时的树有n-1个顶点,m-1条边,有归纳假设知(m−1)=(n−1)−1.(m-1)=(n-1)-1.(m−1)=(n−1)−1.即m=n−1m=n-1m=n−1.得证....原创 2021-03-13 12:49:14 · 3374 阅读 · 0 评论 -
离散数学关系的运算
设A={a,b,c},B={b,c,d},C={d,e,f},R1={<1,2>,<2,2>,<2,3>,<3,3>},R2={<2,2>,<2,3>,<3,4>}求设A=\{a,b,c\},B=\{b,c,d\},C=\{d,e,f\},R_1=\{<1,2>,<2,2>,<2,3>,<3,3>\},R_2=\{<2,2>,<2,3>,<3,4&原创 2021-03-12 11:07:34 · 2537 阅读 · 0 评论 -
证明¬ ∃ x ( F ( x ) ∧ H ( x ) ) , ∀ x ( G ( x ) → H ( x ) )
前提:¬∃x(F(x)∧H(x)),∀x(G(x)→H(x))\lnot \exist x(F(x)\land H(x)),\forall x(G(x)\rightarrow H(x))¬∃x(F(x)∧H(x)),∀x(G(x)→H(x))结论:∀x(G(x)→¬F(x))\forall x(G(x)\rightarrow \lnot F(x))∀x(G(x)→¬F(x))(1).∀x(G(x)→H(x))\forall x(G(x)\rightarrow H(x))∀x(G(x)→H(x))(.原创 2021-03-11 13:51:35 · 1350 阅读 · 0 评论 -
格、有界格、分配格
分配格是一种组合构形,它是满足下述条件的格:对于格的任意元素x,y和z,均有x∧(y∨z)=(x∧y)∨(x∧z)。由于格中结运算和交运算的对称性,上述条件等价于x∨\lor∨(y∧\land∧z)=(x∨y)∧(x∨z),当L为分配格时,交运算对于结运算满足分配律,而且反之亦真。布尔格、除数格、理想格、链等均为分配格。根据定义,只要格运算、∨\vee∨、∧\wedge∧ 满足分配率,则称<A,≼\preccurlyeq≼>为分配格. arcsina\arcsin aarcsinaα\.原创 2021-03-11 11:38:10 · 6543 阅读 · 3 评论