113
个编辑
更改
跳到导航
跳到搜索
创建页面，内容为“{{#seo: |keywords=模块化, 网络, 社团结构 |description=模块化, 网络, 社团结构 }} 该词条由Dawn翻译、编辑，由Elena审校，【张江】…”
{{#seo:
|keywords=模块化, 网络, 社团结构
|description=模块化, 网络, 社团结构
}}
该词条由Dawn翻译、编辑，由Elena审校，【张江】总审校，翻译自Wikipedia词条[https://en.wikipedia.org/wiki/Modularity_(networks) Modularity]
'''Modularity'''（模块化）是[https://en.wikipedia.org/wiki/Complex_network network]（网络）或[https://en.wikipedia.org/wiki/Graph_(discrete_mathematics) graph]（图形）结构的一种度量，用于衡量网络划分为模块（也称为组，集群或社团）的强度。具有高模块化的网络在模块内的节点之间具有密集连接，但在不同模块的节点之间具有稀疏连接。在检测网络中[https://en.wikipedia.org/wiki/Community_structure community structure]（社团结构）的优化方法中常使用模块化。但是，模块化受到分辨率限制，因此无法检测小社团。生物网络，包括动物的大脑，具有高度的模块化。
==动机==
许多科学领域中的重要问题可以用网络来表示或进行实证研究。例如，生物和社会模式，万维网，代谢网络，食物网，神经网络和病理网络，这些现实世界中的问题都可以通过数学表示和拓扑研究来发现一些意想不到的结构特征<ref name="a1">Newman, M. E. J. (2006). "[https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1482622/ Modularity and community structure in networks]". Proceedings of the National Academy of Sciences of the United States of America. 103 (23): 8577–8696. [https://en.wikipedia.org/wiki/ArXiv arXiv]: [https://arxiv.org/abs/physics/0602124 physics/0602124] .[https://en.wikipedia.org/wiki/Bibcode Bibcode]:[http://adsabs.harvard.edu/abs/2006PNAS..103.8577N 2006PNAS..103.8577N]. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://www.pnas.org/content/103/23/8577 10.1073/pnas.0601602103]. [https://en.wikipedia.org/wiki/PubMed_Central PMC] [https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1482622/ 1482622 ]. [https://en.wikipedia.org/wiki/PubMed#PubMed_identifier PMID] [https://www.ncbi.nlm.nih.gov/pubmed/16723398 16723398].</ref>。其中的大多数网络都具有某种社团结构，这对理解网络的动态具有重要意义，比如一个密切联系的社交社团意味着他们之间的信息或谣言传播速度要快于松散联系的社团。因此，如果网络由通过链路连接的多个单独节点表示，其中链路表示节点之间的某种程度的交互，则社团被定义为内部节点稠密互连，但仅与网络的其余部分稀疏连接的组。因此，确定网络中的社团往往是必要的，因为社团可能具有与普通网络完全不同的属性，如节点度，聚类系数，中介性，中心性<ref name="a2">Newman, M. E. J. (2007). Palgrave Macmillan, Basingstoke, eds. "Mathematics of networks". The New Palgrave Encyclopedia of Economics (2 ed.).</ref>等等。模块化就是确定社团的一种方式，在最大化模块化时，会导致特定网络中社团的出现。
==定义==
当边满足随机分布时，模块化的值是落在给定组内的边的分数减去预期分数，模块化的值在<math>[-1,1]</math>的范围内<ref name="a3">Li, Wenye; Schuurmans, Dale (2011). "Modular Community Detection in Networks". IJCAI Proceedings-International Joint Conference on Artificial Intelligence. 22 (1): 2. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://ijcai.org/Proceedings/11/Papers/231.pdf 10.5591/978-1-57735-516-8/IJCAI11-231].</ref>。若组内边的数量超过基于偶然性的预期数量，则模块化值为正。对于网络顶点到某些模块的给定划分，模块化反映了模块内边的集中度与所有节点之间链路随机分布的对比，而非模块本身。
计算模块化的方法有很多<ref name="a1"></ref>。在该概念最通用的版本中，总是对边进行随机化以便保持每个顶点的[https://en.wikipedia.org/wiki/Degree_(graph_theory) degree](度)。我们考虑一个有<math>n</math>个[https://en.wikipedia.org/wiki/Vertex_(graph_theory) node](节点)和<math>m</math>条链路（[https://en.wikipedia.org/wiki/Glossary_of_graph_theory_terms#Graph 边]）的图，它可以通过成员变量<math>s</math>划分为两个社团。如果节点<math>v</math>属于社团1，<math>s_v = 1</math>，反之，若<math>v</math>属于社团2，则<math>{s_v} = -1</math>。网络的[https://en.wikipedia.org/wiki/Adjacency_matrix adjacency matrix](邻接矩阵)用<math>A</math>表示，其中，<math>A_{{vw}}=0</math>意味着节点<math>v</math>和<math>w</math> 之间没有边（没有交互），<math>A_{{vw}}=1</math>意味着两者之间存在边。为简单起见，考虑一个无向网络，则<math>A_{{vw}} = A_{{wv}}</math>。（重要的是要注意两个节点之间可能存在多条边，但在此我们只考虑最简单的情况）。
那么，模块化Q被定义为落入组1或组2内的边的分数，减去组1和2内具有与给定网络相同节点度分布的随机图的预期边数量。
预期的边数量可以使用配置模型的概念计算<ref name="a4">van der Hofstad, Remco (2013). "Chapter 7". [http://www.win.tue.nl/~rhofstad/NotesRGCN.pdf#page=149 Random Graphs and Complex Networks] (PDF).</ref>，配置模型是特定网络的随机实现。给定一个具有<math>n</math>个节点的网络，其中每个节点<math>v</math>具有节点度为<math>k_v</math>，配置模型将每个边切割成两半，然后每个半边（也称为存根）随机地与网络中的任何其他存根重新连接，甚至允许自循环。因此，配置模型能在保持图的节点度分布不变的情况下构建完全随机的网络。
假设总存根数为<math>l_n</math>，那么：
:<math>l_{n}= \sum_{v} k_{v} =2m. \qquad(1)</math>
现在，随机选取两个节点<math>v</math>和<math>w</math>，它们的节点度分别为<math>k_v</math>，<math>{k_w}</math>，重新用存根将两节点连接，那么：
:<math>\text{Expectation of full edges between }v \text{ and }w =\frac{\text{ (Full edges between }v\text{ and }w\text{)}}{ \text{(Total number of rewiring possibilities)}}. \qquad(2)</math>
可能重新连接的接线总数等于选择特定存根后剩余的存根数<math>{l_{n-1}}</math>，当<math>n</math>很大时，<math>\ l_{n-1}\approx l_n</math>，故有：
:<math>
\text{Expected number of full edges between }v\text{ and }w = \frac{k_v k_w}{l_n} = \frac{k_v k_w}{2m}
</math>
因此，节点<math>v</math>和<math>w</math>之间的实际边的数量与它们之间预期边的数量之间的差异值为：
:<math>
A_{vw} - \frac{k_v k_w}{2m}
</math>
对所有节点对求和得到模块化值Q的计算公式<ref name="a1"></ref>：
:<math>
Q = \frac{1}{2m} \sum_{vw} \left[ A_{vw} - \frac{k_v k_w}{2m} \right] \frac{s_{v} s_{w}+1}{2}. \qquad(3)
</math>
注意，等式(3)仅适用于将网络划分为两个社团的情况。分层划分（即先划分为两个社团，然后将两个子社团进一步划分为两个较小的子社团，只需最大化Q）是将网络划分为多个社团的可行方法。此外，等式(3)可以推广到将网络划分为''c''个社团<ref name="a5">Clauset, Aaron and Newman, M. E. J. and [https://en.wikipedia.org/wiki/Cris_Moore Moore, Cristopher] (2004). "Finding community structure in very large networks". Phys. Rev. E. 70 (6): 066111. [https://en.wikipedia.org/wiki/ArXiv arXiv]: [https://arxiv.org/abs/cond-mat/0408187 cond-mat/0408187 ]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2004PhRvE..70f6111C 2004PhRvE..70f6111C]. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://link.aps.org/doi/10.1103/PhysRevE.70.066111 10.1103/PhysRevE.70.066111]. </ref>。
:<math>
Q = \frac{1}{(2m)}\sum_{vw} \left[ A_{vw} - \frac{k_v k_w}{(2m)} \right] \delta(c_{v}, c_{w})
=\sum_{i=1}^{c} (e_{ii}-a_{i}^2). \qquad(4)
</math>
其中，''e''<sub>''ij''</sub>为一个末端顶点在社团''i''，另一个末端顶点在社团''j''的边的分数：
:<math>
e_{ij}= \sum_{vw} \frac{A_{vw}}{2m} 1_{v\in c_i} 1_{w\in c_j}
</math>
而''a''<sub>''i''</sub>是连接到社团''i''中的顶点的边的末端分数：
:<math>
a_i=\frac{k_i}{2m}
= \sum_{j} e_{ij}
</math>
==多社团检测实例==
我们考虑一个由10个节点，12条边组成且对应以下邻接矩阵的无向网络。
[[File:模块化1.jpg|200px|缩略图|右|图1 网络示例
10个节点，12条边且对应左侧的邻接矩阵]]
[[File:模块化2.jpg|200px|缩略图|右|图2 最大化Q值的网络分区示例图
''Q''<sub>''max''</sub>=0.4896]]
{| class="wikitable"
|-
! 节点 ID !! 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 !! 10
|-
| 1 || 0 || 1 || 1 || 0 || 0 || 0|| 0 || 0 || 0 || 1
|-
| 2 || 1 || 0|| 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| 3 || 1 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| 4 || 0 || 0 ||0 || 0 || 1 || 1|| 0 || 0 || 0 || 1
|-
| 5|| 0 || 0 || 0 || 1 || 0 || 1 || 0 || 0 || 0 || 0
|-
| 6 || 0 || 0 || 0 || 1 || 1 || 0 || 0 || 0 || 0 || 0
|-
| 7 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 1 || 1
|-
| 8 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 0 || 1 || 0
|-
| 9 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 1 || 0 || 0
|-
| 10 || 1 || 0 || 0 || 1 || 0 || 0 || 1 || 0 || 0 || 0
|}
图1中，红色、绿色和蓝色节点组成的集群分别表示不同的社团。优化社团分区如图2所示。
==矩阵表述==
模块化的另一种在频谱优化算法中常用的替代公式，如下所述<ref name="a1"></ref>。假设当顶点''v''属于组''r''时，''S''<sub>''vr''</sub>为1，否则为0。那么：
:<math>
\delta(c_v,c_w) = \sum_r S_{vr} S_{wr}
</math>
因此，
:<math>
Q = \frac{1}{2m} \sum_{vw} \sum_r \left[ A_{vw} - \frac{k_v k_w}{2m} \right] S_{vr} S_{wr}
= \frac{1}{2m} \mathrm{Tr}(\mathbf{S}^\mathrm{T}\mathbf{BS}),
</math>
其中，'''S'''是具有元素''S''<sub>''vr''</sub>和'''B'''的（非方块）矩阵，即所谓的模块化矩阵，它有元素
:<math>
B_{vw} = A_{vw} - \frac{k_v k_w}{2m}.
</math>
模块化矩阵的所有行和列总和为零，这意味着未分割网络的模块化的值也始终为零。
对于划分成两个社团的网络，通过定义''s''<sub>''v''</sub> = ±1来表示节点''v''所属的社团，于是
:<math>
Q = {1\over 4m} \sum_{vw} B_{vw} s_v s_w = {1\over 4m} \mathbf{s}^\mathrm{T}\mathbf{Bs},
</math>
其中'''s'''是具有元素''s''<sub>''v''</sub>的列向量<ref name="a1"></ref>。
此函数与Ising（伊辛）[https://en.wikipedia.org/wiki/Spin_glass spin glass]（自旋玻璃）的[https://en.wikipedia.org/wiki/Hamiltonian_(quantum_mechanics) Hamiltonian]（哈密顿量）具有相同的形式，利用一个连接来创建简单的计算机算法，例如使用[https://en.wikipedia.org/wiki/Simulated_annealing simulated annealing]（模拟退火算法），从而最大化模块化。任意数量社团的模块化的一般形式则等同于Potts自旋玻璃，同样可开发类似的算法<ref name="a6">Joerg Reichardt & Stefan Bornholdt (2006). "Statistical mechanics of community detection". Physical Review E. 74 (1): 016110. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/cond-mat/0603718 cond-mat/0603718]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2006PhRvE..74a6110R 2006PhRvE..74a6110R].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://link.aps.org/doi/10.1103/PhysRevE.74.016110 10.1103/PhysRevE.74.016110].</ref>。
==分辨率限制==
模块化是集群中边的数目与
若有一个与指定网络具有相同节点数且每个节点的度与原网络保持一致，但网络中的边随机连接的随机网络，那么，模块化是原集群中边的数目与随机网络的集群所期望的边数目的对比。其中，该随机零模型隐含地假设了每个节点可以连接到网络的任何节点。然而，此假设在网络非常大时是不合理的，因为节点的范围只包括了网络的一小部分，而忽略了大部分网络。这也意味着随着网络变大，两个组的节点之间的预期边数量将减少。当网络足够大时，模块化的零模型中两个组的节点之间的预期边数甚至可能小于1。在这种情况下，两个集群之间单条边的连接将被模块化解释为两个集群之间强相关性的标志，且优化模块化将导致两个集群的合并，而此过程未考虑到集群本身的特征。因此，对于弱互连的完整图，只要它们具有最高可能的内部边密度，且表示最佳可识别的社团，那么当网络足够大时，模块化优化算法也将对这些图进行合并<ref name="a7">Santo Fortunato & Marc Barthelemy (2007). [http://www.pnas.org/content/104/1/36 "Resolution limit in community detection"]. Proceedings of the National Academy of Sciences of the United States of America. 104 (1): 36–41. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/physics/0607100 physics/0607100]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2007PNAS..104...36F 2007PNAS..104...36F].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://doi.org/10.1073/pnas.0605965104 10.1073/pnas.0605965104]. [https://en.wikipedia.org/wiki/PubMed_Central PMC] [https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1765466/ 1765466]. [https://en.wikipedia.org/wiki/PubMed#PubMed_identifier PMID] [https://www.ncbi.nlm.nih.gov/pubmed/17190818 17190818].</ref>。出于这个原因，在大型网络中即使对社团进行良好定义，模块化优化算法仍然无法解决小型社团的情况。在诸如模块化优化算法这种依赖于全局零模型的方法中，这个偏差是不可避免的<ref name="a8">J.M. Kumpula; J. Saramäki; K. Kaski & J. Kertész (2007). "Limited resolution in complex network community detection with Potts model approach". European Physical Journal B. 56 (1): 41–45. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/cond-mat/0610370 cond-mat/0610370]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2007EPJB...56...41K 2007EPJB...56...41K].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://www.springerlink.com/index/10.1140/epjb/e2007-00088-4 10.1140/epjb/e2007-00088-4].</ref>。
==多分辨率方法==
解决模块化中的分辨率限制问题主要有两种方法：以自循环的形式向每个节点添加电阻''r''，让增加（''r>0''）或减小（''r<0''）的两类节点分别形成社团<ref name="a9">Alex Arenas, Alberto Fernández and Sergio Gómez (2008). "Analysis of the structure of complex networks at different resolution levels". New Journal of Physics. 10 (5): 053039. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/physics/0703218 physics/0703218]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2008NJPh...10e3039A 2008NJPh...10e3039A].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://iopscience.iop.org/1367-2630/10/5/053039/ 10.1088/1367-2630/10/5/053039].</ref>; 或在模块化定义中，当空案例时，在前面添加参数''γ>0''，用它控制社团内部连接和空模型之间的相对重要性<ref name="a6"></ref>。在这些参数各自适当的范围内，通过优化模块化调整参数值，这可以覆盖整个网络的中尺度，从所有节点属于同一社团的宏观尺度，到每个节点属于各自社团的微观尺度，因此称为多分辨率方法。但是，当社团规模差异较大时，这些方法具有局限性<ref name="a10">Andrea Lancichinetti & Santo Fortunato (2011). "Limits of modularity maximization in community detection". Physical Review E. 84: 066122. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/1107.1155 1107.1155]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2011PhRvE..84f6122L 2011PhRvE..84f6122L].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://journals.aps.org/pre/abstract/10.1103/PhysRevE.84.066122 10.1103/PhysRevE.84.066122].</ref>。
==参见==
*[[复杂网络]]
*[[社团结构]]
*[https://en.wikipedia.org/wiki/Null_model Null_model（零模型）]
==参考文献==
<references/>
==相关链接==
*M. E. J. Newman (2006). [http://www.pnas.org/content/103/23/8577.full "Modularity and community structure in networks"]. Proc. Natl. Acad. Sci. U.S.A. 103 (23): 8577–8582. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/physics/0602124 physics/0602124].[https://en.wikipedia.org/wiki/Bibcode Bibcode]:[http://adsabs.harvard.edu/abs/2006PNAS..103.8577N 2006PNAS..103.8577N]. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://www.pnas.org/content/103/23/8577 10.1073/pnas.0601602103]. [https://en.wikipedia.org/wiki/PubMed_Central PMC] [https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1482622/ 1482622 ]. [https://en.wikipedia.org/wiki/PubMed#PubMed_identifier PMID] [https://www.ncbi.nlm.nih.gov/pubmed/16723398 16723398]. Retrieved 2008-07-11.
[[Category:网络理论]]
[[Category:代数图论]]
[[Category:网络模块化]]
[[Category:旧词条迁移]]
本词条内容翻译自 [https://en.wikipedia.org en.wikipedia.org]，遵守 [http://creativecommons.net.cn/tag/cc3-0许可协议/ CC3.0]协议。
|keywords=模块化, 网络, 社团结构
|description=模块化, 网络, 社团结构
}}
该词条由Dawn翻译、编辑，由Elena审校，【张江】总审校，翻译自Wikipedia词条[https://en.wikipedia.org/wiki/Modularity_(networks) Modularity]
'''Modularity'''（模块化）是[https://en.wikipedia.org/wiki/Complex_network network]（网络）或[https://en.wikipedia.org/wiki/Graph_(discrete_mathematics) graph]（图形）结构的一种度量，用于衡量网络划分为模块（也称为组，集群或社团）的强度。具有高模块化的网络在模块内的节点之间具有密集连接，但在不同模块的节点之间具有稀疏连接。在检测网络中[https://en.wikipedia.org/wiki/Community_structure community structure]（社团结构）的优化方法中常使用模块化。但是，模块化受到分辨率限制，因此无法检测小社团。生物网络，包括动物的大脑，具有高度的模块化。
==动机==
许多科学领域中的重要问题可以用网络来表示或进行实证研究。例如，生物和社会模式，万维网，代谢网络，食物网，神经网络和病理网络，这些现实世界中的问题都可以通过数学表示和拓扑研究来发现一些意想不到的结构特征<ref name="a1">Newman, M. E. J. (2006). "[https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1482622/ Modularity and community structure in networks]". Proceedings of the National Academy of Sciences of the United States of America. 103 (23): 8577–8696. [https://en.wikipedia.org/wiki/ArXiv arXiv]: [https://arxiv.org/abs/physics/0602124 physics/0602124] .[https://en.wikipedia.org/wiki/Bibcode Bibcode]:[http://adsabs.harvard.edu/abs/2006PNAS..103.8577N 2006PNAS..103.8577N]. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://www.pnas.org/content/103/23/8577 10.1073/pnas.0601602103]. [https://en.wikipedia.org/wiki/PubMed_Central PMC] [https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1482622/ 1482622 ]. [https://en.wikipedia.org/wiki/PubMed#PubMed_identifier PMID] [https://www.ncbi.nlm.nih.gov/pubmed/16723398 16723398].</ref>。其中的大多数网络都具有某种社团结构，这对理解网络的动态具有重要意义，比如一个密切联系的社交社团意味着他们之间的信息或谣言传播速度要快于松散联系的社团。因此，如果网络由通过链路连接的多个单独节点表示，其中链路表示节点之间的某种程度的交互，则社团被定义为内部节点稠密互连，但仅与网络的其余部分稀疏连接的组。因此，确定网络中的社团往往是必要的，因为社团可能具有与普通网络完全不同的属性，如节点度，聚类系数，中介性，中心性<ref name="a2">Newman, M. E. J. (2007). Palgrave Macmillan, Basingstoke, eds. "Mathematics of networks". The New Palgrave Encyclopedia of Economics (2 ed.).</ref>等等。模块化就是确定社团的一种方式，在最大化模块化时，会导致特定网络中社团的出现。
==定义==
当边满足随机分布时，模块化的值是落在给定组内的边的分数减去预期分数，模块化的值在<math>[-1,1]</math>的范围内<ref name="a3">Li, Wenye; Schuurmans, Dale (2011). "Modular Community Detection in Networks". IJCAI Proceedings-International Joint Conference on Artificial Intelligence. 22 (1): 2. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://ijcai.org/Proceedings/11/Papers/231.pdf 10.5591/978-1-57735-516-8/IJCAI11-231].</ref>。若组内边的数量超过基于偶然性的预期数量，则模块化值为正。对于网络顶点到某些模块的给定划分，模块化反映了模块内边的集中度与所有节点之间链路随机分布的对比，而非模块本身。
计算模块化的方法有很多<ref name="a1"></ref>。在该概念最通用的版本中，总是对边进行随机化以便保持每个顶点的[https://en.wikipedia.org/wiki/Degree_(graph_theory) degree](度)。我们考虑一个有<math>n</math>个[https://en.wikipedia.org/wiki/Vertex_(graph_theory) node](节点)和<math>m</math>条链路（[https://en.wikipedia.org/wiki/Glossary_of_graph_theory_terms#Graph 边]）的图，它可以通过成员变量<math>s</math>划分为两个社团。如果节点<math>v</math>属于社团1，<math>s_v = 1</math>，反之，若<math>v</math>属于社团2，则<math>{s_v} = -1</math>。网络的[https://en.wikipedia.org/wiki/Adjacency_matrix adjacency matrix](邻接矩阵)用<math>A</math>表示，其中，<math>A_{{vw}}=0</math>意味着节点<math>v</math>和<math>w</math> 之间没有边（没有交互），<math>A_{{vw}}=1</math>意味着两者之间存在边。为简单起见，考虑一个无向网络，则<math>A_{{vw}} = A_{{wv}}</math>。（重要的是要注意两个节点之间可能存在多条边，但在此我们只考虑最简单的情况）。
那么，模块化Q被定义为落入组1或组2内的边的分数，减去组1和2内具有与给定网络相同节点度分布的随机图的预期边数量。
预期的边数量可以使用配置模型的概念计算<ref name="a4">van der Hofstad, Remco (2013). "Chapter 7". [http://www.win.tue.nl/~rhofstad/NotesRGCN.pdf#page=149 Random Graphs and Complex Networks] (PDF).</ref>，配置模型是特定网络的随机实现。给定一个具有<math>n</math>个节点的网络，其中每个节点<math>v</math>具有节点度为<math>k_v</math>，配置模型将每个边切割成两半，然后每个半边（也称为存根）随机地与网络中的任何其他存根重新连接，甚至允许自循环。因此，配置模型能在保持图的节点度分布不变的情况下构建完全随机的网络。
假设总存根数为<math>l_n</math>，那么：
:<math>l_{n}= \sum_{v} k_{v} =2m. \qquad(1)</math>
现在，随机选取两个节点<math>v</math>和<math>w</math>，它们的节点度分别为<math>k_v</math>，<math>{k_w}</math>，重新用存根将两节点连接，那么：
:<math>\text{Expectation of full edges between }v \text{ and }w =\frac{\text{ (Full edges between }v\text{ and }w\text{)}}{ \text{(Total number of rewiring possibilities)}}. \qquad(2)</math>
可能重新连接的接线总数等于选择特定存根后剩余的存根数<math>{l_{n-1}}</math>，当<math>n</math>很大时，<math>\ l_{n-1}\approx l_n</math>，故有：
:<math>
\text{Expected number of full edges between }v\text{ and }w = \frac{k_v k_w}{l_n} = \frac{k_v k_w}{2m}
</math>
因此，节点<math>v</math>和<math>w</math>之间的实际边的数量与它们之间预期边的数量之间的差异值为：
:<math>
A_{vw} - \frac{k_v k_w}{2m}
</math>
对所有节点对求和得到模块化值Q的计算公式<ref name="a1"></ref>：
:<math>
Q = \frac{1}{2m} \sum_{vw} \left[ A_{vw} - \frac{k_v k_w}{2m} \right] \frac{s_{v} s_{w}+1}{2}. \qquad(3)
</math>
注意，等式(3)仅适用于将网络划分为两个社团的情况。分层划分（即先划分为两个社团，然后将两个子社团进一步划分为两个较小的子社团，只需最大化Q）是将网络划分为多个社团的可行方法。此外，等式(3)可以推广到将网络划分为''c''个社团<ref name="a5">Clauset, Aaron and Newman, M. E. J. and [https://en.wikipedia.org/wiki/Cris_Moore Moore, Cristopher] (2004). "Finding community structure in very large networks". Phys. Rev. E. 70 (6): 066111. [https://en.wikipedia.org/wiki/ArXiv arXiv]: [https://arxiv.org/abs/cond-mat/0408187 cond-mat/0408187 ]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2004PhRvE..70f6111C 2004PhRvE..70f6111C]. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://link.aps.org/doi/10.1103/PhysRevE.70.066111 10.1103/PhysRevE.70.066111]. </ref>。
:<math>
Q = \frac{1}{(2m)}\sum_{vw} \left[ A_{vw} - \frac{k_v k_w}{(2m)} \right] \delta(c_{v}, c_{w})
=\sum_{i=1}^{c} (e_{ii}-a_{i}^2). \qquad(4)
</math>
其中，''e''<sub>''ij''</sub>为一个末端顶点在社团''i''，另一个末端顶点在社团''j''的边的分数：
:<math>
e_{ij}= \sum_{vw} \frac{A_{vw}}{2m} 1_{v\in c_i} 1_{w\in c_j}
</math>
而''a''<sub>''i''</sub>是连接到社团''i''中的顶点的边的末端分数：
:<math>
a_i=\frac{k_i}{2m}
= \sum_{j} e_{ij}
</math>
==多社团检测实例==
我们考虑一个由10个节点，12条边组成且对应以下邻接矩阵的无向网络。
[[File:模块化1.jpg|200px|缩略图|右|图1 网络示例
10个节点，12条边且对应左侧的邻接矩阵]]
[[File:模块化2.jpg|200px|缩略图|右|图2 最大化Q值的网络分区示例图
''Q''<sub>''max''</sub>=0.4896]]
{| class="wikitable"
|-
! 节点 ID !! 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 !! 10
|-
| 1 || 0 || 1 || 1 || 0 || 0 || 0|| 0 || 0 || 0 || 1
|-
| 2 || 1 || 0|| 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| 3 || 1 || 1 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 0
|-
| 4 || 0 || 0 ||0 || 0 || 1 || 1|| 0 || 0 || 0 || 1
|-
| 5|| 0 || 0 || 0 || 1 || 0 || 1 || 0 || 0 || 0 || 0
|-
| 6 || 0 || 0 || 0 || 1 || 1 || 0 || 0 || 0 || 0 || 0
|-
| 7 || 0 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 1 || 1
|-
| 8 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 0 || 1 || 0
|-
| 9 || 0 || 0 || 0 || 0 || 0 || 0 || 1 || 1 || 0 || 0
|-
| 10 || 1 || 0 || 0 || 1 || 0 || 0 || 1 || 0 || 0 || 0
|}
图1中，红色、绿色和蓝色节点组成的集群分别表示不同的社团。优化社团分区如图2所示。
==矩阵表述==
模块化的另一种在频谱优化算法中常用的替代公式，如下所述<ref name="a1"></ref>。假设当顶点''v''属于组''r''时，''S''<sub>''vr''</sub>为1，否则为0。那么：
:<math>
\delta(c_v,c_w) = \sum_r S_{vr} S_{wr}
</math>
因此，
:<math>
Q = \frac{1}{2m} \sum_{vw} \sum_r \left[ A_{vw} - \frac{k_v k_w}{2m} \right] S_{vr} S_{wr}
= \frac{1}{2m} \mathrm{Tr}(\mathbf{S}^\mathrm{T}\mathbf{BS}),
</math>
其中，'''S'''是具有元素''S''<sub>''vr''</sub>和'''B'''的（非方块）矩阵，即所谓的模块化矩阵，它有元素
:<math>
B_{vw} = A_{vw} - \frac{k_v k_w}{2m}.
</math>
模块化矩阵的所有行和列总和为零，这意味着未分割网络的模块化的值也始终为零。
对于划分成两个社团的网络，通过定义''s''<sub>''v''</sub> = ±1来表示节点''v''所属的社团，于是
:<math>
Q = {1\over 4m} \sum_{vw} B_{vw} s_v s_w = {1\over 4m} \mathbf{s}^\mathrm{T}\mathbf{Bs},
</math>
其中'''s'''是具有元素''s''<sub>''v''</sub>的列向量<ref name="a1"></ref>。
此函数与Ising（伊辛）[https://en.wikipedia.org/wiki/Spin_glass spin glass]（自旋玻璃）的[https://en.wikipedia.org/wiki/Hamiltonian_(quantum_mechanics) Hamiltonian]（哈密顿量）具有相同的形式，利用一个连接来创建简单的计算机算法，例如使用[https://en.wikipedia.org/wiki/Simulated_annealing simulated annealing]（模拟退火算法），从而最大化模块化。任意数量社团的模块化的一般形式则等同于Potts自旋玻璃，同样可开发类似的算法<ref name="a6">Joerg Reichardt & Stefan Bornholdt (2006). "Statistical mechanics of community detection". Physical Review E. 74 (1): 016110. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/cond-mat/0603718 cond-mat/0603718]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2006PhRvE..74a6110R 2006PhRvE..74a6110R].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://link.aps.org/doi/10.1103/PhysRevE.74.016110 10.1103/PhysRevE.74.016110].</ref>。
==分辨率限制==
模块化是集群中边的数目与
若有一个与指定网络具有相同节点数且每个节点的度与原网络保持一致，但网络中的边随机连接的随机网络，那么，模块化是原集群中边的数目与随机网络的集群所期望的边数目的对比。其中，该随机零模型隐含地假设了每个节点可以连接到网络的任何节点。然而，此假设在网络非常大时是不合理的，因为节点的范围只包括了网络的一小部分，而忽略了大部分网络。这也意味着随着网络变大，两个组的节点之间的预期边数量将减少。当网络足够大时，模块化的零模型中两个组的节点之间的预期边数甚至可能小于1。在这种情况下，两个集群之间单条边的连接将被模块化解释为两个集群之间强相关性的标志，且优化模块化将导致两个集群的合并，而此过程未考虑到集群本身的特征。因此，对于弱互连的完整图，只要它们具有最高可能的内部边密度，且表示最佳可识别的社团，那么当网络足够大时，模块化优化算法也将对这些图进行合并<ref name="a7">Santo Fortunato & Marc Barthelemy (2007). [http://www.pnas.org/content/104/1/36 "Resolution limit in community detection"]. Proceedings of the National Academy of Sciences of the United States of America. 104 (1): 36–41. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/physics/0607100 physics/0607100]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2007PNAS..104...36F 2007PNAS..104...36F].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://doi.org/10.1073/pnas.0605965104 10.1073/pnas.0605965104]. [https://en.wikipedia.org/wiki/PubMed_Central PMC] [https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1765466/ 1765466]. [https://en.wikipedia.org/wiki/PubMed#PubMed_identifier PMID] [https://www.ncbi.nlm.nih.gov/pubmed/17190818 17190818].</ref>。出于这个原因，在大型网络中即使对社团进行良好定义，模块化优化算法仍然无法解决小型社团的情况。在诸如模块化优化算法这种依赖于全局零模型的方法中，这个偏差是不可避免的<ref name="a8">J.M. Kumpula; J. Saramäki; K. Kaski & J. Kertész (2007). "Limited resolution in complex network community detection with Potts model approach". European Physical Journal B. 56 (1): 41–45. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/cond-mat/0610370 cond-mat/0610370]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2007EPJB...56...41K 2007EPJB...56...41K].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://www.springerlink.com/index/10.1140/epjb/e2007-00088-4 10.1140/epjb/e2007-00088-4].</ref>。
==多分辨率方法==
解决模块化中的分辨率限制问题主要有两种方法：以自循环的形式向每个节点添加电阻''r''，让增加（''r>0''）或减小（''r<0''）的两类节点分别形成社团<ref name="a9">Alex Arenas, Alberto Fernández and Sergio Gómez (2008). "Analysis of the structure of complex networks at different resolution levels". New Journal of Physics. 10 (5): 053039. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/physics/0703218 physics/0703218]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2008NJPh...10e3039A 2008NJPh...10e3039A].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://iopscience.iop.org/1367-2630/10/5/053039/ 10.1088/1367-2630/10/5/053039].</ref>; 或在模块化定义中，当空案例时，在前面添加参数''γ>0''，用它控制社团内部连接和空模型之间的相对重要性<ref name="a6"></ref>。在这些参数各自适当的范围内，通过优化模块化调整参数值，这可以覆盖整个网络的中尺度，从所有节点属于同一社团的宏观尺度，到每个节点属于各自社团的微观尺度，因此称为多分辨率方法。但是，当社团规模差异较大时，这些方法具有局限性<ref name="a10">Andrea Lancichinetti & Santo Fortunato (2011). "Limits of modularity maximization in community detection". Physical Review E. 84: 066122. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/1107.1155 1107.1155]. [https://en.wikipedia.org/wiki/Bibcode Bibcode]: [http://adsabs.harvard.edu/abs/2011PhRvE..84f6122L 2011PhRvE..84f6122L].[https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[https://journals.aps.org/pre/abstract/10.1103/PhysRevE.84.066122 10.1103/PhysRevE.84.066122].</ref>。
==参见==
*[[复杂网络]]
*[[社团结构]]
*[https://en.wikipedia.org/wiki/Null_model Null_model（零模型）]
==参考文献==
<references/>
==相关链接==
*M. E. J. Newman (2006). [http://www.pnas.org/content/103/23/8577.full "Modularity and community structure in networks"]. Proc. Natl. Acad. Sci. U.S.A. 103 (23): 8577–8582. [https://en.wikipedia.org/wiki/ArXiv arXiv]:[https://arxiv.org/abs/physics/0602124 physics/0602124].[https://en.wikipedia.org/wiki/Bibcode Bibcode]:[http://adsabs.harvard.edu/abs/2006PNAS..103.8577N 2006PNAS..103.8577N]. [https://en.wikipedia.org/wiki/Digital_object_identifier doi]:[http://www.pnas.org/content/103/23/8577 10.1073/pnas.0601602103]. [https://en.wikipedia.org/wiki/PubMed_Central PMC] [https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1482622/ 1482622 ]. [https://en.wikipedia.org/wiki/PubMed#PubMed_identifier PMID] [https://www.ncbi.nlm.nih.gov/pubmed/16723398 16723398]. Retrieved 2008-07-11.
[[Category:网络理论]]
[[Category:代数图论]]
[[Category:网络模块化]]
[[Category:旧词条迁移]]
本词条内容翻译自 [https://en.wikipedia.org en.wikipedia.org]，遵守 [http://creativecommons.net.cn/tag/cc3-0许可协议/ CC3.0]协议。