Diskrete Mathematik
1.Aussagenlogik
1.1 Gleichwertiges Kalkül

1.2 Normalform
Einfache Disjunktion besteht aus Disjunktion endlicher Aussagensvariable order deren Negation
Einfache Konjunktion besteht aus Konjunktion endlicher Aussagensvariable oder deren Negation
Disjunktive Normalform besteht aus Disjunktion endlicher einfache Konjunktion
Konjunktive Normalform besteht aus Konjunktion endlicher einfache Disjunktion
Als Minimale Aritikel bezeichnen wir einfache Konjunktion

2.Menge
2.1 Das Begriff der Menge
Eine Menge ist ein Verbund, eine Zusammenfassung von einzelnen Elementen
N Tupel Menge hat 2n Teilmenge
2.2 Grundlegend Rechnung der Menge
Menge Berechnungsformel:

3.Binäre Beziehung
3.1 Kartesisches Produkt
Kartesisches Produkt:Wir setzen A,B als Menge voraus,wir benutzen A als erstes Element,B als zweites Element,dann sie setzen geordenetes Paar zusammen.Als A×B werden wir verzeichnen
A×B = {<x,y>|x∈A∩y∈B}
Beispiel:A={a,b},B={0,1,2}
Ergebnis der A×B ist
A×B={<a,0>,<a,1>,<a,2>,<b,0>,<b,1>,<b,2>}
Ergebnis der B×A ist
B×A={<0,a>,<0,b>,<1,a>,<1,b>,<2,a>,<2,b>}
Eigenschaften:
Kartesisches Produkt kann Kommutativgesetz und Assoziativgesetz nicht entsprechen,aber Distributivgesetz entsprechen
3.2 Berechnung der Menge
Difinitionsmenge:domR = {x|∃y(<x,y>∈R)}
Wertebereich:ranR= {y|∃x(<x,y>∈R)}
Gebiete:fldR = domR∪ranR

Beispiel

4.Graph
4.1 Ungerichtete Graph und gerichtete Graph
Graph G ist eine zwei Tupel <V,E>
V ist eine nicht leer endliche Menge,deren Teilmenge bezeichnen wir als Knoten
E ist eine Kantenmenge,deren Teilmenge bezeichnen wir als Kante
Es gibt nur eine Knoten,ohne Kante,bezeichnen wir es als trivial Graph
Bei ungerichtetem Graph,bezeichnen wir Knoten v,der als Endpunkt besetzt,als Grad
Bei gerichtetem Graph,bezeichnen wir Knoten,der als Startpunkt besetzt,Ausgangsgrad,als d+(v);
bezeichnen wir Knoten,der als Endpunkt besetzt,als Eingangsgrad,als d-(v)
Händeschüttelngesetz:Wir setzen Graph G=<V,E> als ungerichtete order gerichtete Graph voraus,V={v1,v2,...,Vn},|E| = m

Wir setzen Graph G=<V,E> als gerichtete Graph voraus,V={v1,v2,...,Vn},|E| = m

Beim ungerichtete Graph,der ungerichtete Kanten,der hängt mit ein Paar Knoten,großer als eins,bezeichnen wir ihn als parallel Kante
Beim gerichtete Graph,der Kanten,deren Startpunkt und Endpunkt gleich sind,bezeichnen wir sie gerichteten als parallel Kante
Einfaches Graph,ohne parallel und Kreis
G'⊆G und V'=V,bezeichnen wir G' spanning Teilgraph des G
4.2 Weg,Kreis und Anschlussmöglichkeit des Graphs
Wenn jede Kante nur ein Mal vorbeigegangen ist,bezeichnen wir es als einfachen Weg;Wenn v0 = vl,bezeichnen wir es als einfachen Kreis
Wenn jeder Knoten nur ein Mal vorbeigegangen ist,bezeichnen wir es als primär Weg;Wenn v0 = vl,bezeichnen wir es als primär Kreis
Beispiel

Bei einem ungerichtete Graph G,es besteht aus Weg zwischen u und v,bezeichnen es wir als "u und v ist zusammenhängend"
Bei einem ungerichtete Graph G oder trivial Graph G sind beliebig zwei Knoten zusammenhängend,bezeichnen wir es als verbundenes Graph,sonst als nicht verbundenes Graph
Bei einem gerichtete Graph D ignorieren wir alle Richtung der Kanten,bekommen wir gerichtete Graph,das zusammenhängend ist,bezeichnen wir es als schwach verbundenes Graph
Wenn beliebige Knoten des D am mindestens von einem Knoten nach anderem erreichen kann,bezeichnen wir es als einseitig verbundenes Graph
Wenn beliebige Knoten des D von einem Knoten nach anderm erreichen kann,bezeichnen wir es als stark verbundenes Graph

4.3 Martrix des Graph
4.3.1 Assoziationsmatrix
Beispiel
Bei ungerichtetem Graph


Bei gerichtetem Graph


4.3.2 Adjazenzmatrix
Bei gerichtetem Graph


4.4 Kürzester Pfad
4.4.1 dijkstra Algorithmus

Wir verwenden Menge S als aktuell kürzester Pfad,Menge U als Pfadmöglichkeiten

5.Baum
5.1 Huffman Algorithmus
W(Baum) = Die Summe des Verzweigungspunkt

W(Baum) = 42
Diskrete Mathematik的更多相关文章
- 2D and 3D Linear Geometry Kernel ( Geometry Kernels) CGAL 4.13 -User Manual
1 Introduction CGAL, the Computational Geometry Algorithms Library, is written in C++ and consists o ...
- APS审核经验+审核资料汇总——计算机科学与技术专业上海德语审核
1.APS是什么 德国驻华使馆文化处留德人员审核部(简称APS)成立于2001年7月,是由德国驻华使馆文化处和德意志学术交流中心(DAAD)在北京共同合作成立的服务机构. APS是中国学生前往德国留学 ...
- Mathematik
Ausdruck auf Deutsch Lösen Problem der Abteilung. 求导. Die Abteilung von 3x ist 3. 3x的导数是3 Lösen Prob ...
- 差分进化算法 DE-Differential Evolution
差分进化算法 (Differential Evolution) Differential Evolution(DE)是由Storn等人于1995年提出的,和其它演化算法一样,DE是一种模拟生物进化 ...
- 转债---Pregel: A System for Large-Scale Graph Processing(译)
转载:http://duanple.blog.163.com/blog/static/70971767201281610126277/ 作者:Grzegorz Malewicz, Matthew ...
- DNS配置详解
DNS简介在Linux中,域名服务(DNS)是由柏克莱网间名域(Berkeley Internet Name Domain——BIND)软件实现的.BIND是一个客户/服务系统,它的客户方面称为转换程 ...
- GPU深度发掘(一)::GPGPU数学基础教程
作者:Dominik Göddeke 译者:华文广 Contents 介绍 准备条件 硬件设备要求 软件设备要求 两者选择 初始化OpenGL GLUT OpenGL ...
- c++资源之不完全导引 (转)
c++资源之不完全导引 (转) 转:http://www.cnblogs.com/suiyingjie/archive/2008/02/24/1079411.html 本文2004年5月首发于< ...
- Pregel: A System for Large-Scale Graph Processing(译)
[说明:Pregel这篇是发表在2010年的SIGMOD上,Pregel这个名称是为了纪念欧拉,在他提出的格尼斯堡七桥问题中,那些桥所在的河就叫Pregel.最初是为了解决PageRank计算问题,由 ...
随机推荐
- subprocess.Popen命令如何隐藏弹框
在用PYQT编写GUI界面时,代码中有用到subprocess.Popen(),打包exe后每次遇到subprocess语句是就会弹出命令框,很是头疼, 下面是解决的办法 import subproc ...
- Maven Compilation error [package org.testng.annotations does not exist]
背景 在执行mvn test的时候,提示package org.testng.annotations does not exist 解决办法 Open pom.xml file. Go to &quo ...
- 「NOI2014」魔法森林
题目链接 戳我 \(Solution\) 两个变量,emm...不好搞啊. 于是我们可以按照\(A\)排序.然后动态加边,因为\(A\)是越来越大,所以不需要管他,只要使得\(1\)~\(n\)的路径 ...
- MessagingTimeout: Timed out waiting for a reply to message ID
l3中出现大量消息超时错误,对网络的操作各种异常. 报错如下: 2016-02-25 05:54:59.886 15110 ERROR neutron.agent.l3.agent [req-db92 ...
- 201621123023《Java程序设计》第8周学习总结
一.本周学习总结 二.书面作业 1. ArrayList代码分析 1.1 解释ArrayList的contains源代码 由图可知,传入参数后调用indexOf函数来判断是否存在,会循环整个eleme ...
- Syncthing源码解析 - 在Gogland中对Syncthing的各个模块进行调试?
Syncthing的模块很多,各自负责不同的功能,如何能够对各个模块进行调试?Syncthing开发者早就想到这个问题了,允许开发者对任意模块进行单独调试,也允许同时对所有模块调试,调试方式是打印各个 ...
- “全栈2019”Java异常第十三章:访问异常堆栈跟踪信息
难度 初级 学习时间 10分钟 适合人群 零基础 开发语言 Java 开发环境 JDK v11 IntelliJ IDEA v2018.3 文章原文链接 "全栈2019"Java异 ...
- 使用html2canvas截图并用jspdf打印的问题
之前的方案确实可以打印出a4的大小的pdf,但是也呈现了诸多问题,因为这种方法是截图然后再进行打印的,所以打印出来的效果是模糊的,思前想后决定放弃了这种方式. 最终还是决定使用浏览器自带的打印方法. ...
- js正则包含三位
var reg = new RegExp("^(?![A-Za-z]+$)(?![A-Z\\d]+$)(?![A-Z_\\W]+$)(?![a-z\\d]+$)(?![a-z_\\W]+$) ...
- Win10桌面图标无法拖动
1.右键桌面>查看>取消自动排列 2.桌面多按几次Esc 3.gpedit.msc “用户配置/管理模板/Windows组件/任务计划程序/禁止拖放>改为未配置