Konig 定理
最小顶点覆盖的顶点数=最大匹配的边数
经典图论问题。一个二分图 G 的最小顶点覆盖的顶点数量与其最大匹配中的边数量相等。网络上其实有很多该定理的证明，本文尝试用一种更为直观的图文结合证明方法解释这个定理的正确性。
[Read More]
Gale-Shapley算法
在二分图中寻找稳定匹配（stable matching）
Gale-Shapley 算法用于寻找一个二分图（bipartite graph）的稳定匹配（stable matching）。该算法不但给出了稳定匹配的存在性证明，同时给出的匹配拥有一些最优化性质。这是一个经典的算法问题，经常会被算法课老师拿出来讲，正好做一下笔记给有需要的人。
[Read More]
Google Fuchsia 微内核中的文件系统架构
宏内核架构中，通过虚拟文件系统(VFS)管理所有文件语义以及全局信息，例如文件描述符(file descriptor)以及目录树结构等等。在微内核中，内核并不会拥有文件这种抽象，文件系统作为一种服务(独立的进程)运行在系统中，内核仅仅只是提供消息传递机制[1]。
[Read More]
这是一篇含有中文的测试文档
渲染效果展示
对于不同的环境可能渲染效果不同，通过这篇 demo 可以简单看一下各种组件和扩展的渲染效果或者支持情况。
[Read More]