社区发现类算法似乎并不存在一个最好的算法，因为在现实数据中对于社区或者说团伙的定义千差万别，不一定都跟算法的假设匹配。有一些学术文章尝试过对于最近十几年提出的算法进行比较，发现在一些常规评价指标（比如，modularity）上表现比较好的算法，可能在有 ground truth 的真实数据上表现不太好；在其中一些真实数据上表现好的算法，可能在另一些真实数据上表现并不好。在现实应用中，最为保险的做法，可能是尽量了解一些不同思路的算法，以备不时之需。而 Infomap 是众多社区发现算法中思路比较特别的一种算法。
Infomap 设计之初想解决的问题如下：如果在一张图上做随机游走（不限步数的游走），如何用最短的编码来描述随机游走产生的路径？比如，下图（a）中展示了一段随机游走产生的路径，那怎么描述它先访问了哪个节点，后访问了哪个节点呢？
原始做法： 采用等长的二进制编码，每个节点一个编码，不同节点之间的编码不一样。
高级做法：采用 huffman 编码，每个节点一个编码，但是码的长度不一样。对于访问频率比较高的给予较短的编码，对于访问频率比较低的给予较长的编码。下图（b）展示了这样的编码，显然，相比较等长编码，采用huffman编码可以缩短描述的信息长度。
进阶做法：采用双层结构，将不同节点划分群组（这里的“群组”同“社区”是等价的概念），这样在编码时候需要对两种信息编码。第一种是群组的名字，不同群组的名字编码不一样；第二种是每个群组内部的节点，不同节点的名字编码不一样。但是，不同群组内部的节点的编码可以复用。显然，在划分群组之后，每个群组内部节点相对较少，可以采用短一些的编码。不同群组内部节点的编码复用，可以大幅缩短描述的信息长度。
不同群组内部节点的编码复用，就好比不同城市里街道的名字可以相同一样，上海有南京路，武汉有南京路，青岛也可以有南京路。
Infomap 在具体做法上，为了区分随机游走从一个群组进入到了另一个群组，除了群组的名字之外，对于每个群组的跳出动作也给予了一个编码。比如，下图（c）中红色节点部分是一个群组，群组名的编码是 111，跳出编码是 0001。这样在描述某个群组内部的一段随机游走路径的时候，总是以群组名的编码开头，以跳出编码结束。
算法步骤简述
Infomap 的双层编码方式把群组识别（社区发现）同信息编码联系到了一起。一个好的群组划分，可以带来更短的编码。所以，如果能量化编码长度，找到使得长度最短的群组划分，那就找到了一个好的群组划分。
知道了每种概率对应的编码长度，就可以计算出一种概率分布的平均编码长度。
上面公式的H，就是该种概率分布的平均编码长度。理论上，这也是最优编码长度，不可能获得比它更短的编码了。下面计算L(M)其实也是按照上面这个公式来的，只不过L(M)中有两类要编码的东西：社区和节点。所以L(M)理解起来的时候有点费劲，很多人都没有讲明白了。对于 节点本身的编码，可以用上述公式直接计算，这是没问题的。但是对于社区本身的编码，还是要好好想一下的。（等我想明白了，再好好写出来）
那如何量化编码的长度呢？假设现在有一种群组划分方式 M 将节点划分为 m 个群组, 则描述随机游走的平均每步编码长度（average number of bits per step）可以用下面这个公式来度量：
在上面的公式里用到的最重要的概念是信息熵 H(X)。熵在一般的理解里是用来描述“系统混乱程度”的，当一个随机变量为均匀分布的时候，它的状态最不确定，系统最混乱不可预测，这个时候熵最大。 而在编码理论里，熵还有一个解释是 “编码每个状态所需的平均字节长度”。阮一峰有一篇通俗易懂的文章是解释信息熵的：《数据压缩与信息熵》，有兴趣的可以一读。
上面的公式里, 有四个变量，其含义分别为：
: 在编码中所有表示群组名字的编码的占比，
表示群组 i 的名字出现的概率（或者，也等于从群组 i 跳出的概率）
简单的理解上面这个公式：平均每步编码长度 L(M)是两部分的加权和，一个是编码群组名字所需的平均字节长度，一个是编码每个群组中的节点所需的平均字节长度，权值是各自的占比。
如果要计算上述四个变量的值，我们只需要知道图中每个节点的访问概率和每个群组的跳转概率。其中访问概率的计算方法，Infomap 采取了类似 pagerank 的做法：
(1) 初始所有节点都是均匀访问概率；
(2) 在每个迭代步骤里，对于每个节点 有两种方式跳转：要么以 1-r 的概率从节点 a 的连接边中选择
一条边进行跳转，选每条边的概率正比于边的权重；要么以 r 的概率从节点 a 随机的跳到图上其他任意
一点。
(3) 重复步骤 2 直到收敛。
总结一下，Infomap 算法的大体步骤如下（看起来跟 Louvain 有些许类似）：
（1）初始化，对每个节点都视作独立的群组；
（2）对图里的节点随机采样出一个序列，按顺序依次尝试将每个节点赋给邻居节点所在的社区，取平均比特
下降最大时的社区赋给该节点，如果没有下降，该节点的社区不变；
（3）重复直到步骤 2 直到 L（M）不再能被优化。