DraonAbyss

分类

C++(3) CodeForces(23) LeetCode(3) 函数语言程序设计(40) 安全编程(1) 密码学基础(17) 无线网络安全(5) 笔记(16) 算法设计与分析(22) 编译原理与技术(16) 网络安全数学基础(3) 计算机逻辑基础(8) 题解(37)

/ 注册

TA的专栏 167篇文章 11人订阅

【题解】SQL 入门

36篇文章 18251人学习

【学习】函数语言程序设计

39篇文章 1641人学习

【学习】密码学基础

16篇文章 1083人学习

【学习】算法设计与分析

22篇文章 1924人学习

【学习】无线网络安全

6篇文章 2960人学习

计算机逻辑基础

4篇文章 1462人学习

【学习】网络安全数学

7篇文章 882人学习

12篇文章 551人学习

2篇文章 542人学习

23篇文章 1665人学习

全部文章（共194篇）

第22.1章基本的图算法.图的表示来自专栏

本章将介绍图的表示和图的搜索。图的搜索指的是系统化地跟随图中的边来访问图中的每个结点。图搜索算法可以用来发现图的结构。许多的图算法在一开始都会先通过搜索来获得图的结构，其他的一些图算法则是对基本的搜索加以优化。可以说，图的搜系技巧是整个图算法领域的核心。 22.1节对图的两种最常见的计算机表示法进...

2021-12-17

0 454

第26.2章最大流.Ford-Fulkerson方法来自专栏

26.2 Ford-Fulkerson方法本节讨论用来解决最大流问题的Ford-Fulkerson方法。之所以称其为“方法”而不是“算法”，是因为它包含了几种运行时间各不相同的具体实现。Ford-Fulkerson方法依赖于三种重要思想，它们与许多的流算法和问题有关，如残存网络、增广路径和切割。这...

2021-12-16

2 1924

第26.1章最大流.流网络来自专栏

正如可以通过将道路交通图模型化为有向图来找到从一个城市到另一个城市之间的最短路径，我们也可以将一个有向图看做是一个“流网络”并使用它来回答关于物料流动方面的问题。设想一种物料从产生它的源结点经过一个系统，流向消耗该物料的汇点这样一个过程。源结点以某种稳定的速率生成物料，汇点则以同样的速率消耗物料。从...

2021-12-15

1 871

【Coq】？Rel III 自反传递闭包来自专栏

自反传递闭包 Reflexive, Transitive Closure 关系R的自反传递闭包是包含R的最小关系，它既是自反的又是传递的。形式上，在Coq标准库的关系模块中定义如下： Inductive clos_refl_trans {A: Type} (R: relation A) Induct...

2021-12-13

0 967

【Coq】？Rel II 基本性质来自专栏

基本性质 Basic Properties 任何人都知道，上过离散数学本科课程的人，一般来说，关于关系有很多话要说，包括对关系进行分类的方法（如自反、传递等），关于某些类型的关系可以一般证明的定理，从一个关系到另一个关系的构造，等等。例如。。。偏函数 Partial Functions 集合X上的...

2021-12-13

0 571

【Coq】？Rel I 关系来自专栏

这一短小的（可选的）章节发展了一些关于Coq中二元关系的基本定义和几个定理。关键定义在实际使用的地方重复（在编程语言基础的Smallstep一章中），因此已经熟悉这些概念的读者可以安全地浏览或跳过本章。然而，关系也是使用Coq的基本推理工具开发工具的一个很好的练习来源，因此在IndProp一章之后查...

2021-12-13

0 409

Chap 期末来自专栏

Chap 10 定义 + 定理 10.1 环 10.1.1 基本定义定义 10.1.1 环交换环单位元环定理 10.1.1 环R中元素的运算性质定理 10.1.2 （有单位元的环） 10.1.2 零因子环定义 10.1.4 （左/右）零因子有零因子环定义 10....

2021-12-12

0 578

Chap 10 环与理想 - 环来自专栏

Chap 10 环与理想 - 环 10.1 环 10.1.1 基本定义定义 10.1.1 环交换环单位元环定理 10.1.1 环R中元素的运算性质定理 10.1.2 （有单位元的环） 10.1.2 零因子环定义 10.1.4 （左/右）零因子有零因子环定义 10...

2021-12-12

0 882

Chap 11 多项式环来自专栏

11.1 多项式整环整环R上的全体多项式组成的集合R[X]（11.1） R[X]上的加法（11.2） R[X]上的乘法（11.3）定理 11.1.1 整环R上的多项式环符合式R[X]对于多项式的加（乘）法式是一个整环 11.2 多项式整除与不可约多项式本节考虑多项式的整除性。前面...

2021-12-11

0 865

Lecture 06 通过模型检查进行验证来自专栏

Verification Methods 验证方法可根据以下主要标准进行分类：基于证明与基于模型-如果可靠性和完整性定理成立，则：证明=有效公式=在所有模型中均为真；基于模型=检查一个模型中的可满足性自动化程度-完全自动化、部分自动化或手动完整-与属性-验证-单个属...

2021-12-08

0 897