ICode9

精准搜索请尝试: 精确搜索
  • Floyd-Warshall算法正确性证明2020-04-27 12:06:56

    以下所有讨论,都是基于有向无负权回路的图上的。因为这一性质,任何最短路径都不会含有环,所以也不讨论路径中包含环的情形!并且为避免混淆,将“最短路径”称为权值最小的路径,将路径经过的点数-1称为路径的长度。 先列出算法的c语言代码实现,后面将用这段代码来辅助证明。 int n;//从1..n

  • Kafka核心技术与实战——03 | Kafka只是消息引擎系统吗?2020-04-27 11:55:42

    从自上而下的角度去理解 Kafka 竟然发现了很多之前学习过程中忽略掉的东西 更特别地是,我发现这种学习方法能够帮助我维持较长时间的学习兴趣,不会阶段性地产生厌烦情绪 Apache Kafka 是消息引擎系统,也是一个分布式流处理平台 LinkedIn 最开始有强烈的数据强实时处理方面的需求

  • 关于MySQL的一些骚操作——提升正确性,抠点性能2019-11-17 10:02:08

    概要 回顾以前写的项目,发现在规范的时候,还是可以做点骚操作的。假使以后还有新的项目用到了MySQL,那么肯定是要实践一番的。为了准备,创建测试数据表(建表语句中默认使用utf8mb4以及utf8mb4_unicode_ci,感兴趣的读者可以自行搜索这两个配置): CREATE TABLE `student` ( `id` int(11) un

  • admin端的专业管理模块功能测试2019-11-09 21:57:38

    1.概述 1.1 测试范围 本次所测试的内容是admin端的专业管理模块。 1.2 测试方法 本次测试采用黑盒子方法进行集成测试。 1.3 测试环境 操作系统:Windows 2012 Server + SP2 .Net Framework:4.0版本 数据库:SQLServer2008R2 操作系统:Win10 2.测试: 专业管理模块(majormana、majoradd):

  • nginx 配置文件正确性测试2019-10-14 11:56:23

     今日思语:每天都要不一样,那么每天就应该多学习   在安装完nginx之后,我们可以使用nginx的测试命令来验证下nginx.conf的配置是否正确: 方式一:不指定文件 nginx -t 如上可知/etc/nginx/nginx.conf文件的第34行配置错误 方式二:指定文件

  • 两次bfs求树的直径的正确性2019-10-05 17:50:26

    结论:离树上任意点\(u\)最远的点一定是这颗树直径的一个端点。 证明: 若点\(u\)在树的直径上,设它与直径两个端点\(x,y\)的距离分别为\(S1\)、\(S2\),若距离其最远的点\(v\)不是这两个端点, 则\(dist(u,v) > S1 && dist(u,v) > S2\), 则必有\(S1 + dist(u,v) > S1 + S2 或 S2 + dist(u,

  • 关于最小割建模正确性证明2019-07-27 11:51:30

    来写一下对于最小割建模正确性的理解,困扰了好几天,今天算是看懂了。 前置知识:闭合子图,即一张图,图中边的终点也在该图中(可以选某点,但是不选它连接的边),其实就是割开一些边拿到一张闭合子图。 首先,明确一点,最初始的情况是只有点权,边代表关系$i \rightarrow j$表示选i必须选j如此云云。

  • 7.2 贪心【基础】2019-07-02 23:43:32

    当我们考虑一个信息问题,特别是一个贪心问题的时候,其实就是通过题设的少量条件来寻找规律从而破题。 比如下面这道题,就是通过分析已知数据的可能组合来寻找正确解法。 区间调度问题 Problem 有n项工作,每项工作分别在si开始,ti结束。对每项工作,你都可以选择参加或不参加,但选择了参加某

  • 网络流正确性证明2019-06-25 21:03:30

    1. 最大流最小割定理. 流网络$G=(V,E)$源点$s$到$t$的最大流等于最小割的容量和. 证明: $f$是最大流. 残量网络$G_f$不含增广路. 存在割$(S,T)$, 有$|f|=c(S,T)$. 只需说明上面三条等价即可. $1 \Rightarrow 2$, 显然成立.  $2 \Rightarrow 3$, 取$G_f$中仍与$s$相连的所有点

  • 项目经理只要3招就能搞定杠精2019-01-17 18:55:47

    项目经理在做项目时最怕遇到什么样的人?肯定非杠精莫属。 不管你提出任何需求或者方案,杠精们为了满足自己高人一等、胜人一筹的虚荣心,只要发现一点点的机会,他们都会回避问题关键,对你进行大肆反驳,而且从不以解决问题为目的,只是单纯地挑起争端。 项目经理对杠精束手无策,是因为你跟杠

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有