网上找的类似的题：大象能背得动1000公斤草，但每公里要吃掉1公斤草。AB间距离1000公里，大象把3000公斤草从A运到B，最多能剩下多少草？请给出解答步骤和必要的证明（公式，不等式可以只给出名称出处即可，自己的公式需要提供证明步骤）。(1)当草大于2000时,要驮3次,每公里损耗5公斤,(2)当...
分类：
其他好文 时间：
2014-06-16 00:51:38
阅读次数：
167
根据一些CSS写作经验，如何提高渲染效率及所占用消耗的资源，我们来浅谈一下CSS的渲染效率，书写高效的CSS。1、十六进制的颜色值对位数与大小写编写十六进制颜色值时你可能会用小写字母或省略成3位数，关于这写法没找到确实的数据证明对浏览器的渲染效率是否有影响，但十六进制的颜色值默认标准是大写及6位数标...
分类：
Web程序 时间：
2014-06-14 13:14:07
阅读次数：
200
背景：本文试图证明和审查Spire.Doc的格式转换能力。很长的一段时间里，为了操作文档，开发人员不得不在服务器上安装Office软件。首先，这是一个很糟糕的设计和实践。第二，微软从没打算把Office作为一个服务器组件，它也用来在服务器端解释和操作文档的。于是乎，产生了类似Spire.Doc这样的...
分类：
其他好文 时间：
2014-06-14 09:38:42
阅读次数：
313
现在要构建一个网络模型，网络中的每个节点最多和 d 个节点相连接，
且信息的传播从任意一个节点到另外任意一个节点的“最短路径”
（路径按照单位路径算）都不能超过 k，问网络中最多安排多少个节点。
这是《图论导引》里面看到的 diameter - degree 问题。
转化为图模型就是，一个无向图 G 中，节点最大度为 d，直径为 k，问 G 中的 n 上界。
书上要证明的是：
n ≤...
分类：
其他好文 时间：
2014-06-14 09:35:45
阅读次数：
516
Dijkstra算法及其证明算法：设G是带权图，图中的顶点多于一个，且所有的权都为正数。本算法确定从顶点S到G中其他各个顶点的距离和最短通路。在本算法中P表示带永久标记的顶点的集合。顶点A的前驱是P中的一个顶点，用来标记A。顶点U和V之间的边的权重用W（U，V）表示，如果U和V之间没有边，则记作W(...
分类：
其他好文 时间：
2014-06-12 23:06:55
阅读次数：
235
心理成熟度是一个人的心理承受力、耐受力和适应性的整体表现。心理成熟度的高低意味着一个人的社会化程度，即一个人通过和社会环境及其周围人群的互动，逐渐融入社会，心理逐渐成长的程度。心理成熟度差的人，不太容易适应不断变化的环境，也不太容易形成良好的自我控制，且在人际关系和心理健康中很容易出现问题；心理成熟...
分类：
其他好文 时间：
2014-06-12 07:39:05
阅读次数：
224
“黑色1秒”问题经过一个多月的艰苦奋战，今天终于取得了重要进展！我们终于有了足够的数据证明不是微软IIS的问题，就是阿里云Xen虚拟机的问题。这篇博文分享的是我们如何进行证明的，而且这次证明连Window性能监视器都不需要。下面我们来分析一下今天10:37:35出现的“黑色1秒”
分类：
其他好文 时间：
2014-06-10 16:13:40
阅读次数：
216
中医是科学吗？不知道。科学是什么？不知道。为什么有人说中医不科学？无非，不可证，不可推，没有1+1=2,2+1=3...。想起，牛顿与苹果的故事。牛顿发现了万有引力定律，被称为科学。却并不是一点点的证明出来的，虽然它客观的静静地存在，不过是一次次的试验，最后给他一个公式，然后就堂而皇之叫做科学。同理...
分类：
其他好文 时间：
2014-06-10 08:22:48
阅读次数：
146
经典算法单源最短路：1.Bellman_ford（可判负环，可有负边）d[i]表示起点S到i的最短路，那么d[i]=min{d[j]+w[j][i]}且存在j->i的边代价为w[j][i]经过证明如果不存在负圈最多通过V-1次松弛就可以完成复杂度O(V*E)(V为结点数，E为边数)
1 #inclu...
分类：
其他好文 时间：
2014-06-09 15:09:24
阅读次数：
256
