BDSM⚡Call Girls in Mandawali Delhi >༒8448380779 Escort Service
Simplicial closure & higher-order link prediction
1. 1
Joint work with
Rediet Abebe & Jon Kleinberg (Cornell)
Michael Schaub & Ali Jadbabaie (MIT)
Simplicial closure &
higher-order link prediction
Austin R. Benson · Cornell University
ICIAM · July 16, 2019
Slides. bit.ly/arb-ICIAM-19
bit.ly/combos-CC
2. Canonical networks are everywhere slide,
but with a hidden purpose!
2
Collaboration
nodes are people/groups
edges link entities
working together
Communications
nodes are people/accounts
edges show info.exchange
Physical proximity
nodes are people/animals
edges link those that interact
in close proximity
Drug compounds
nodes are substances
edge between substances that
appear in the same drug
3. Real-world systems are composed of“higher-order”
interactions that we often reduce to pairwise ones.
3
Collaboration
nodes are people/groups
teams are made up of
small groups
Communications
nodes are people/accounts
emails often have several
recipients,not just one
Physical proximity
nodes are people/animals
people often gather in
small groups
Drug compounds
nodes are substances
drugs are made up of
several substances
4. There are many ways to mathematically represent the
higher-order structure present in relational data.
4
• Hypergraphs [Berge 89]
• Set systems [Frankl 95]
• Tensors [Kolda-Bader 09]
• Affiliation networks [Feld 81,Newman-Watts-Strogatz 02]
• Multipartite networks [Lambiotte-Ausloos 05,Lind-Herrmann 07]
• Abstract simplicial complexes [Lim 15,Osting-Palande-Wang 17]
• Multilayer networks [Kivelä+ 14,Boccaletti+ 14,many others…]
• Meta-paths [Sun-Han 12]
• Motif-based representations [Benson-Gleich-Leskovec 15,17]
• …
Data representation is not the problem.
Some problems:
• What are the basic organizational principles of systems?
• How can we evaluate and compare models?
5. We propose“higher-order link prediction”as a similar
framework for evaluation of higher-order models.
5
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
Data.
Observe simplices up to some
time t. Using this data, we want
to predict what groups of > 2
nodes will appear in a simplex
in the future.
t
We predict structure that classical link
prediction would not even consider!
Possible applications
• Novel combinations of drugs for treatments.
• Group chat recommendation in social networks.
• Team formation.
6. 6
What are the basic organizational
principles of systems with
higher-order interactions?
7. We collected many datasets of timestamped simplices,
where each simplex is a subset of nodes.
7
1. Coauthorship in different domains.
2. Emails with multiple recipients.
3. Tags on Q&A forums.
4. Threads on Q&A forums.
5. Contact/proximity measurements.
6. Musical artist collaboration.
7. Substance makeup and
classification codes applied to
drugs the FDA examines.
8. U.S. Congress committee
memberships and bill sponsorship.
9. Combinations of drugs seen in
patients in ER visits. https://math.stackexchange.com/q/80181
bit.ly/sc-holp-data
8. Thinking of higher-order data as a weighted projected
graph with“filled-in”structures is a convenient viewpoint.
8
1
2
3
4
5
6
7
8
9
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
Data. Pictures to have in mind.
Projected graph W.
Wij = # of simplices containing nodes i and j.
10. 10
i
j k
i
j k
Warm-up. What’s more common in data?
or
“Open triangle”
each pair has been in a simplex
together but all 3 nodes have
never been in the same simplex
“Closed triangle”
there is some simplex that
contains all 3 nodes
12. A simple model can account for open triangle variation.
12
• n nodes; only 3-node simplices; {i, j, k} included with prob. p = 1 / nb i.i.d.
• ⟶ always get ϴ(pn3) = ϴ(n3 - b) closed triangles in expectation.
b = 0.8, 0.82, 0.84, ..., 1.8
Larger b is darker marker.
Proposition (rough).
• b < 1 ⟶ ϴ(n3) open triangles in
expectation for large n.
• b > 1 ⟶ ϴ(n3(2-b)) open triangles
in expectation for large n.
• The number of open triangles
grows faster for b < 3/2.
10 1
100
Edge density in projected graph
0.00
0.25
0.50
0.75
1.00
Fractionoftrianglesopen
Exactly 3 nodes per simplex (simulated)
n = 200
n = 100
n = 50
n = 25
13. Dataset domain separation also occurs at the local level.
13
• Randomly sample 100 egonets per dataset and measure
log of average degree and fraction of open triangles.
• Logistic regression model to predict domain
(coauthorship, tags, threads, email, contact).
• 75% model accuracy vs. 21% with random guessing.
15. Groups of nodes go through trajectories until finally
reaching a“simplicial closure event.”
15
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
For this talk, we will focus on simplicial closure on 3 nodes.
16. Groups of nodes go through trajectories until finally
reaching a“simplicial closure event.”
16
Substances in marketed drugs recorded in the National Drug Code directory.
We bin weighted edges into “weak” and “strong ties” in the projected graph W.
Wij = # of simplices containing nodes i and j.
• Weak ties. Wij = 1 (one simplex contains i and j)
• Strong ties. Wij > 2 (at least two simplices contain i and j)
17. We can also study temporal dynamics in aggregate.
17
Coauthorship data of scholars publishing in history.
Wij = # of simplices containing nodes i and j.
Most groups formed have no previous interaction.
Open triangle of all weak
ties more likely to form a
strong tie before closing.
18. Simplicial closure depends on structure in projected graph.
18
• First 80% of the data (in time) ⟶ record configurations of triplets not in closed triangle.
• Remainder of data ⟶ find fraction that are now closed triangles.
Increased edge density
increases closure probability.
Increased tie strength
increases closure probability.
Tension between edge
density and tie strength.
Left and middle observations are consistent with theory and empirical studies of social networks.
[Granovetter 73; Leskovec+ 08; Backstrom+ 06; Kossinets-Watts 06]
Closure probability Closure probability Closure probability
20. We propose“higher-order link prediction”as a similar
framework for evaluation of higher-order models.
20
t1 : {1, 2, 3, 4}
t2 : {1, 3, 5}
t3 : {1, 6}
t4 : {2, 6}
t5 : {1, 7, 8}
t6 : {3, 9}
t7 : {5, 8}
t8 : {1, 2, 6}
Data.
Observe simplices up to some
time t. Using this data, we want
to predict what groups of > 2
nodes will appear in a simplex
in the future.
t
We predict structure that classical link
prediction would not even consider!
21. 21
Our structural analysis tells us what we should be
looking at for prediction.
1. Edge density is a positive indicator.
⟶ focus our attention on predicting which open
triangles become closed triangles.
2. Tie strength is a positive indicator.
⟶ various ways of incorporating this information
i
j k
Wij
Wjk
Wjk
22. 22
For every open triangle,we assign a score function on
first 80% of data based on structural properties.
Four broad classes of score functions for an open triangle.
Score s(i, j, k)…
1. is a function of Wij, Wjk, Wjk
arithmetic mean, geometric mean, etc.
2. looks at common neighbors of the three nodes.
generalized Jaccard, Adamic-Adar, etc.
3. uses “whole-network” similarity scores on projected graph
sum of PageRank or Katz scores amongst edges
4. is learned from data
train a logistic regression model with features
i
j k
Wij
Wjk
Wjk
After computing scores, predict that open triangles with highest
scores will be closed triangles in final 20% of data.
23. 23
1. s(i,j,k) is a function of Wij,Wjk,and Wjk
i
j k
Wij
Wjk
Wjk
1. Arithmetic mean
2. Geometric mean
3. Harmonic mean
4. Generalized mean
s(i, j, k) = 3/(W 1
ij + W 1
ik + W 1
jk )
s(i, j, k) = (WijWikWjk)1/3
s(i, j, k) = (Wij + Wik + Wjk)/3
s(i, j, k) = mp(Wij, Wjk, Wik) = (Wp
ij + Wp
jk + Wp
ik)1/p
Wij = #(simplices
containing i and j)<latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit><latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit><latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit><latexit sha1_base64="AbbmV5RfjztUDZ+i0Xqa/FoP2Dc=">AAAHhXicfVXdbts2FFa7re60n6br5W7YOS66wnbstGmaAcGMrShWoMWyOWmKRUZGSUcWa5JSSaqxS+jd9hp7gd1uj7BDyWksJxsBSRR5vvPxHH48DHPOtBkM/rx2/aOPP7nRuvmp/9nnX3x5a+P2V690VqgIjqKMZ+p1SDVwJuHIMMPhda6AipDDcTj70c0fvwOlWSYPzSKHiaBTyRIWUYNDpxu/HZ9a9qYkhNzbJ0H7fmBgbqxmAskj0CUJAp+ct3vB24LG1YvUhlEmDWWSySnZZJuEyphsvtksv3Ww0432oD+oGrncGS47bW/ZDk5v37gTxFlUCJAm4lTrk+EgNxNLlWERh9IPCg05jWZ0CifYlVSAntgqCSXp4EhMkkzhIw2pRv1VCPpRdNHwYg0NC07VvDkaZtkMZ3Tp+01OkzyZWCbzwoCMasqk4MRkxOWWxExBZPiCNHkNm73vSkxnomjUpUILatJuztw6u2b2vjdVNE+7gs4gAs4vhupVOThnoaJq4ULIznQ3RM9TlRUy1t2cGgNKasQbxeZdndIcdDdhphtRHrn/2GFynhlB1Uz/l9e+AENxssocB2MPi8TArxCXVkF898ngbsiRd9XCpDBVALK01cfZnKXMwJpNyAsorXuvWPgdkhqT6++2tlBKfW3QN8yjlMop9KNMbL0tQDuR6q3h45297b0tDYKhlkOUruidMZP2XBA9JnshKh5UZfdwt11//MAllOKJcPnxgynPQsoD/A0cbARSFwpGccZRACM8D1EWw36ggNP5OTbDxTdFdHI4nFi3cU4AjV0+OBxT6ZKrQMIZBiDwNNggoYLxRQwJLbgpbaCT835TJDpxqij9ziqZxh2EeH/Q3+tGgiEpyoKj5JHAzHXiXDSDRN+BNHPnalSDrX5wgmdtZ1KuB/UU8JApGC9EmPFnGJKtvejS/vzyRWmloxCstKK0DJcbjMFcZYwD8TokXEKWHA4wLkLcTlO4Lb2aYJ1h/OylS8k5weGwkT4bzkur+QWJM67R9jlauhxQnqe0vFjq78/Xsh5PObAo7dW5v2oGN1pjeWnWB+HcrO6yGLOpQKagVpVzZ4NQ2KAeLy/JQrzAGh1fhVhOlE2KB8E8pOoExRekYTa3wTv37vhBqgoOJAU2TQ1W192d3JAOOUyB0MgUlBOE+cEMK8Sgv70D886Hat4hT/F+oTICEoI5w/PrbKsarqs0+jVVBy+AykFv0B+C6Jyjx2mmMDuu9meSoKgIh8QQzWJwiJW42sPygxO8AB7+rxNVRVJ5KV0W8BoZrl8alzuvtvtDXN4vj9qjH5YXyk3va+8b77439Ha9kfeTd+AdeZH3h/eX97f3T6vV6rUetR7XptevLTF3vEZrff8vQgegdw==</latexit>
24. 1. Number of common neighbors of all 3 nodes
2. Generalized Jaccard coefficient
3. Preferential attachment
24
2. s(i,j,k) is a function of is a function of neighbors
s(i, j, k) =
|N(i) N(j) N(k)|
|N(i) [ N(j) [ N(k)|<latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit><latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit><latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit><latexit sha1_base64="FvTNOvMHruL23eGv/YE4IaQ1ozs=">AAAHjXicfVVdb9s2FFW7re60j6br417YBQbSQnbsdFmaYRmMrehWoN2y2WkLREZGUVcWa5LSSKqxS+j/7S/sT+x1e9yl7XzIySbAFkXecw7v5SGZlIIb2+v9eePme+9/cKt1+8Pwo48/+fTOxt3PXpqi0gyOWCEK/TqhBgRXcGS5FfC61EBlIuBVMv3ej796C9rwQo3svISxpBPFM86oxa6TjcRs8Yi8icj0ATkgcaYpc7FAhCU/bfEHJGa0xNab8xbGxdqP12tx1Xlc1Yw72djsdXuLh1xt9FeNzWD1HJ7cvXUvTgtWSVCWCWrMcb9X2rGj2nImoA7jykBJ2ZRO4BibikowY7coRk3a2JOSrND4U5YsesPLEOTRdN5gcZYmlaB61uxNimKKI6YOw6amzR6PHVdlZUGxpWRWCWIL4mtMUq6BWTEnTV3Lp+8ixRn4KkdUGkltHpXczzOy03ediaZlHkk6BQZCXHQtZ+Xhgiea6rlPoTg1UYLME11UKjVRSa0FrQzireazyOS0BBNl3EaMCua/U48pRWEl1VPzX6xdCZbi4KJyAqwbVZmFXyGtnYb0/uPe/USg7uUIm8NEA6jaLV4+5jTnFtZiElFB7fz/pYiwTXJrS/P19raFWddY5IYZy6maQJcVcvv3Cow3q9nuf7W7v7O/bUBydFaCFpadU27zjk+iw1UnQeeDXsQ92ttcvsLYF5TizvD1CeOJKBIqYvyMPWwAylQaBmkh0AAD3BesSOEg1iDo7Axb4OSbJjoe9cfOL5w3QGOVD0dDqnxxNSg4xQQkVamLMyq5mKeQ0Ur4vWOys3bTJCbzrqjD9mUxgysI6UGvux8xyVEUbSHQ8ihgZybzFM0kkTtWduapBkuwMw+Pca/tjuv1pJ4AbjINw7lMCvEUU3JLFlO7n188r53yEpLXTtaO43TjIdjrgrEjXYckK8hKwwOGVYLLaSu/pNcLrCsMn77wJTkTGPUb5XPJrHZGXIj44CXaPcNIXwMqypzWF1P97dla1dOJAM7yzrL2143gQhs8Xprng/Q0l1dZDvlEolK8dJWnc3EiXbzsr6/YQj7Hszq9DrEaqJsSD+NZQvUxmi/Ok2Lm4rf+vx3Gua4EkBz4JLd4uu7tlpa0ySgHQpmtqCAIC+MpnhC97s4uzNrk7GmTJ3jPUMWAJGBPcf/6WIJixCzKGC6l2iEhC4JOr9sH2T5DD/NCY3W4mpBCETQVEZBZYngKHnEpr81+fU6CF8Cj/yXRi0wWLLWvAl4j/fVL42rj5U63j9P75cvNwXerC+V28HnwRbAV9IO9YBD8GBwGRwEL/gj+Cv4O/mndae22vml9uwy9eWOFuRc0ntYP/wIl8qON</latexit>
s(i, j, k) = |N(i) N(j) N(k)|<latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit><latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit><latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit><latexit sha1_base64="FLondIDERPjCu2IWUgS4/34XXks=">AAAHXnicfVXRbts2FFW7Lem0dU3XlwF7YRcYSAvZsZNlaQYEMLaiWIF2y2anLRAZGUVdWaxJSiOpxi6hD9nX7HX7hL3tU3ZpO43lZiNgiyLvOYf38ohMSsGN7Xb/vnHzgw8/2ti89XH4yae3P7uzdffzF6aoNINTVohCv0qoAcEVnFpuBbwqNVCZCHiZTL738y/fgDa8UEM7K2Ek6VjxjDNqceh8a9/s8Ii8jsjkATkmscBYS37c4Q9IzGiJvdfvehgRaz9/vrXd7XTnjbzf6S0728GynZzf3bgXpwWrJCjLBDXmrNct7chRbTkTUIdxZaCkbELHcIZdRSWYkZtnV5MWjqQkKzT+lCXz0XAVgjyazhosztKkElRPm6NJUUxwxtRh2NS02aOR46qsLCi2kMwqQWxBfNFIyjUwK2akqWv55G2kOINMUxZRaSS1eVRyv87ITt62x5qWeSTpBBgIcTW0WJWHC55oqmc+heLCRAkyj3VRqdREJbUWtDKIt5pPI5PTEkyUcRsxKph/Tz2mFIWVVE/Mf7F2JFiKk/PKCbBuWGUWfoG0dhrS+4+69xOBuqsRNoexBlC1mz98zEXOLazFJKKC2vn/lYiwRXJrS/Pt7q6FacdY5IYpy6kaQ4cVcve3Cox3n9ntfXNwtHe0a0ByNFaCnpTtC27ztk+izVU7QSuDnsftH24vHmHsC0rR6r4+YTwWRUJFjK+xh/VBmUpDPy0EGqCPRmdFCsexBkGnl9gCF9800dmwN3J+47wBGrt8MhxQ5YurQcEFJiCpSl2cUcnFLIWMVsLWLjbZZb9pEpN5V9Rha1XM4A5CetztHEVMchRFWwi0PArYqck8RTNJ5I6VnXqq/gLszMMz/NYORvV6Uo8BPzINg5lMCvEEU3ILFlO7n54/q53yEpLXTtaO43LjAdjrgnEgXYckS8hSwwMGVYLbaSu/pdcLrCsMnjz3JbkUGPYa5XPJtHZGXIn44AXaPcVIXwMqypzWV0v99ela1dOxAM7y9qL2183gRhs8Xprng/Q0q7ssB3wsUSleuMrTuTiRLl6M1+/ZQj7Dwze9DrGcqJsSD+NpQvUZmi/Ok2Lq4jf+vxXGua4EkBz4OLd4uh4elJa0yDAHQpmtqCAIC+MJnhDdzt4BTFvksrXIY7w4qGJAErAX+P36WIJixMzLGC6kWiEhc4J2t9MD2bpED/JCY3W4GpNCETQVEZBZYngKHrGS13avfkeCF8D+/5LoeSZzltpXAa+R3vql8X7nxV6nh8v7+evt/nfLC+VW8GXwVbAT9ILDoB/8EJwEpwELfg/+CP4M/tr4Z3Nj8/bmnUXozRtLzL2g0Ta/+Be/pJKT</latexit>
s(i, j, k) = |N(i)| · |N(j)| · |N(k)|<latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit><latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit><latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit><latexit sha1_base64="i1cFLqMUgl6H72N326IdpbKZCH4=">AAAHenicfVVdb9s2FFW7Lem0j6br417YBgaSTnbstFmaAQGMrShWoF2z2WkLREZGSVcWa5LSSKqRS+hn7ccMe93+xR526Y/FctIRkETx3nMP7+UhGRWcadPt/nHj5kcff7KxeetT/7PPv/jy9tadr17pvFQxnMY5z9WbiGrgTMKpYYbDm0IBFRGH19HkB2d//Q6UZrkcmmkBI0HHkqUspgaHzrde6h0WvA0mu+SYhBw9Dflph+2SUM36YZzk5tLw9kOGydJwvrXd7XRnjVzt9BadbW/RTs7vbNwNkzwuBUgTc6r1Wa9bmJGlyrCYQ+2HpYaCxhM6hjPsSipAj+ws85q0cCQhaa7wkYbMRv1VCMZRdNqIYg2NSk5V1RyN8nyCFl37fpPTpI9HlsmiNCDjOWVacmJy4gpKEqYgNnxKmryGTd4HksWQKhoHVGhBTRYUzM0zMJP37bGiRRYIOoEYOL8cms/KwTmLFFVTl0J+oYMII49VXspEBwU1BpTUiDeKVYHOaAE6SJkJYspj9584TMFzI6ia6A9F7QgwFI2zynEwdlimBn6BpLYKknuPu/cijryrHiaDsQKQtZ19nM9Fxgys+US8hNq694qH3yKZMYX+bm/PQNXRBmNDFWdUjqET52LvtxK0U6be6317cLR/tKdBMBRWhHoV7QtmsrZLos1kO0KZg5r5PTzcnn/80BWU4jZw9fHDMc8jykP8DR2sD1KXCvpJzlEAfdwEcZ7AcaiA02qJzXHyTRGdDXsj6xbOCaCxyifDAZWuuAokXGACgsrEhikVjE8TSGnJTW1DnS77TZHo1Kmi9lurZBpXEJLjbucoiAVDUpQFR8kjgal06kI0k8TYoTSVC9Wfg61+cIZ77WBUryf1BHCTKRhMRZTzp5iSnUfRtX354nltpaMQrLaitgynGw7AXOeMA8k6JFpAFhwOMCgjXE5TuiW9nmCdYfD0hSvJkmDYa5TPRlVtNb8kcc5ztH2Gnq4GlBcZrS+n+uuztaonYw4sztrz2l9nwYXWeLw0zwfhwqyushiwsUCmcK4qF86GkbDhfLy+IgvxHA/m5DrEwlA3KR6EVUTVGYovzKK8suE79275YaZKDiQDNs4Mnq6HB4UhLTLMgNDYlJQThPnhBE+Ibmf/AKoWWbYWeYKXCpUxkAjMBe5f50uQjOhZGf05VcsnZBag3e30QLSW6EGWK6wOk2OSS4KiIhxSQzRLwCFW8tru1f8FwQvg4f8GUbNMZlFqVwW8Rnrrl8bVzqv9Tg+n9/Oj7f73iwvllve1d9/b8Xreodf3fvROvFMv9n73/vT+8v7e+Gfz/ubu5jdz15s3Fpi7XqNtPvoX4wOfBw==</latexit>
i
j k
l
m
x
y
r
z
N(i) = {j, k, l, m, x, y, z}
N(j) = {i, k, l, m, r}
N(k) = {i, j, l, m}<latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit><latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit><latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit><latexit sha1_base64="tnpZ3Ec+nF90ITiZNcAHseQF6wc=">AAAHd3icfVVtb9s2EFa7rem0t3T9uA9jF7jICtmx02VpBgQwtqJYgbTLZqctEBoZJZ0sxqSkkVQjh9Cf2q/ZPm7/Yt929EtjOdkE2KLu7rmHd3xIhoXg2nS7f966/d77H9zZuPuh/9HHn3z62ea9z1/pvFQRnES5yNWbkGkQPIMTw42AN4UCJkMBr8PJD87/+i0ozfNsaKYFjCQbZzzhETNoOts8ernNvyYPDwm158EkEIEMqmAaXNKaUOq/3D5fOPnCqZaOyTvHuXPMzGebW91Od/aQ64PeYrDlLZ7js3t37tM4j0oJmYkE0/q01y3MyDJleCSg9mmpoWDRhI3hFIcZk6BHdlZ2TVpoiUmSK/xlhsys/ioE8yg2bWSxhoWlYKpqWsM8n6BH177f5DTJk5HlWVEayKI5ZVIKYnLiukliriAyYkqavIZPLoOMR5AoFgVMaslMGhTczTMwk8v2WLEiDSSbQARCXJnms3JwwUPF1NSVkF/oIMTMY5WXWayDghkDKtOIN4pXgU5ZATpIuAkiJiL3HTtMIXIjmZro/8rakWAYOmedE2DssEwM/AJxbRXED550H4QCeVcjTApjBZDVdvZyMRcpN7AWE4oSauv+VyL8FkmNKfR3OzsGqo42mBuqKGXZGDpRLnd+K0E7Weqd3rd7B7sHOxokR/WGKFbZvuAmbbsi2jxrh6hxULO4x/tb85dPXUMZ7gHXH5+ORR4yQfGTOlgfMl0q6Me5QAH0cQdEeQyHVIFg1RKb4+SbIjod9kbWLZwTQGOVj4cDlrnmKsjgAguQLIstTZjkYhpDwkphakt1shw3RaITp4rab62SaVxBiA+7nYMgkhxJURYCJY8EptKJS9EsEnPTzFQuVX8OtvrRKe61vVG9XtRTwE2mYDCVYS6eYUl2nkXX9qcXR7XNHIXktZW15ThdOgBzUzAa4nVIuIAsOBxgUIa4nKZ0S3ozwTrD4NkL15IlwbDXaJ8Nq9pqcUXigudo+xwjXQ+YKFJWX0311+drXY/HAniUtue9v8mDC63xeGmeD9KlWV1lOeBjiUx0riqXztJQWjq319dkIY/wVI5vQiwcdZPiEa1Cpk5RfDQN88rSt+6/5dNUlQJICnycGjxd9/cKQ1pkmAJhkSmZIAjz6QRPiG5ndw+qFlk+LfIUbxSWRUBCMBe4f10sQTKiZ23051Qtn5BZgna30wPZWqIHaa6wOzwbkzwjKCoiIDFE8xgcYqWurV79LgleAI//N4maVTLLUrsu4DXSW780rg9e7XZ6OL2fv9nqf7+4UO56X3hfedtez9v3+t6P3rF34kXe794f3l/e33f+2fhy4+HG9jz09q0F5r7XeDZ6/wKyNJoz</latexit>
25. 25
3. s(i,j,k) is is built from“whole-network”similarity
scores on edges: s(i,j,k) = Sij + Sji + Sjk + Skj + Sik + Ski
i
j k
Wij
Wjk
Wjk
1. PageRank (unweighted or weighted)
2. Katz (unweighted or weighted)
S = (I ↵WD 1
W ) 1
S = (I ↵AD 1
A ) 1
<latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit><latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit><latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit><latexit sha1_base64="/L3TJ99ZB10h69LqkrbHkihZoIM=">AAAHfnicfVVdb9s2FFW7re60r3R93Au7wEVX+EvpsiQDArhbUCxAi2Wz0xQIvYySrizCpKSRVGOX0A/bT9nTXrd/sUvZWSwnmwBLNHnPObyXh2RYCK7NYPDHnbvvvf/Bvdb9D/2PPv7k08+2Hnz+WueliuA0ykWu3oRMg+AZnBpuBLwpFDAZCjgLZ9+78bO3oDTPs7FZFDCRbJrxhEfMYNfF1ojKEXl8SJ5QeUy6hDJRpIzKMyqPLs5+sd2g+qp+E0r920Ofu9Dna6H+xdb2oDeoH3KzEawa297qObl4cO8hjfOolJCZSDCtz4NBYSaWKcMjAZVPSw0Fi2ZsCufYzJgEPbF19hVpY09MklzhLzOk7vXXIcij2KLBYg0LS8HUvNkb5vkMR3Tl+01Nk+xPLM+K0kAWLSWTUhCTE1dUEnMFkREL0tQ1fPauk/EIEsWiDpNaMpN2Cu7m2TGzd92pYkXakWwGEQhx3bWclYMLHiqmFi6F/FJ3QmSeqrzMYt0pmDGgMo14o/i8o1NWgO4k3HQiJiL3P3aYQuRGMjXT/8Xak2AYDtaVE2DsuEwM/AxxZRXEj/YHj0KBuusRJoWpAsgqW39czGXKDWzEhKKEyrr3WoTfJqkxhf623zcw72mD3DCPUpZNoRflsv9bCdq5U/eDb3YPdg76GiRHE4foWdm95CbtuiS6POuGaHVQddyzve3lB32KBWW4FVx9fDoVecgExb/UwYaQ6VLBMM4FGmCIGyHKYzikCgSbX2FznHzTROfjYGLdwjkDNFb5ZDximSuuggwuMQHJstjShEkuFjEkrBSmslQnV+2mSXTiXFH57XUxjSsI8eGgd9CJJEdRtIVAy6OAmevEUTSTRG6ambmjGi7BVj89x722O6k2kzoC3GQKRgsZ5uIFpmSXLLqyP756WdnMSUheWVlZjtOlIzC3BWNHvAkJV5CVhgOMyhCX05RuSW8X2FQYvXjlSnIlMA4a5bPhvLJaXIu44CXaHmOkq0F9NlXXU/31eKPq8VQAj9Lusva3jeBCazxemueDdDTrqyxHfCpRiS5d5egsDaWly/7qhi3kSzyc49sQq4GqKfGUzkOmztF8NA3zuaVv3bvt01SVAkgKfJoaPF33dgtD2mScAmGRKZkgCPPpDE+IQW9nF+ZtcvW0yRFeLCyLgIRgLnH/uliCYkTXZfSXUm2fkJqgO+gFINtX6FGaK6wOz6YkzwiaighIDNE8BodYy2s7qP4lwQvg2f+SqDqTmqVyVcBrJNi8NG42Xu/0ApzeT19vD79bXSj3vS+8L70nXuDteUPvB+/EO/Ui73fvT+8v7++W13rc6rb6y9C7d1aYh17jae3/A6oznOI=</latexit>
S = (I W) 1
I
S = (I A) 1
I<latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit><latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit><latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit><latexit sha1_base64="prrPE3CmXFIYa+BWVf5a/O4OtMI=">AAAHdHicfVXfb9s2EFa7rem0X+n6uD2wMzx0he1Y6bI0AwJ4W1EsQItls9MUCL2Mkk4WYZLSSKqxS+hv2l+zh71s/8Wed7SdxXKyCbBFHe+7j3f3kYxLwY3t9/+4dfutt9+5s3X33fC99z/48KPtex+/NEWlEzhJClHoVzEzILiCE8utgFelBiZjAafx9Ds/f/oatOGFGtl5CWPJJopnPGEWTefbR1QOyeeH5CGVR6RLaAyWUXn6xc+uG9XegGZKwxu9vln3Cs+3W/1ef/GQ64NoNWgFq+f4/N6d+zQtkkqCsolgxpxF/dKOHdOWJwLqkFYGSpZM2QTOcKiYBDN2i5xr0kZLSrJC409ZsrCG6xCMo9m8EcVZFleC6VnTGhfFFGdMHYZNTps9GTuuysqCSpaUWSWILYgvJUm5hsSKOWnyWj5901E8gUyzpMOkkczmnZL7dXbs9E13olmZdySbQgJCXJmWq/JwwWPN9NynUFyYToyRJ7qoVGo6JbMWtDKIt5rPOiZnJZhOxm0nYSLx36nHlKKwkump+a+oPYlNxMlF5QRYN6oyCz9BWjsN6YMn/QexQN51D5vDRAOo2i1e3uci5xY2fGJRQe38/5pH2Ca5taX5emfHwqxnLMaGWZIzNYFeUsidXyswXpNmJ/pq72D3YMeA5CjdGJUquxfc5l2fRJerbowCB73we7zfWr5QolhQhhvA1yekE1HETFD8pB42AGUqDYO0ECiAAco/KVI4pBoEm11iC1x8U0Rno2jsfOO8ABpdPh4NmfLF1aDgAhOQTKWOZkxyMU8hY5WwtaMmuxw3RWIyr4o6bK+TGewgpIf93kEnkRxJURYCJY8EdmYyH6KZJMamys58qMES7MyjM9xre+N6M6mngJtMw3Au40I8w5TcMoqp3Q8vntdOeQrJaydrx3G5dAj2Jmc0pJuQeAVZcXjAsIqxnbbyLb2ZYJNh+OyFL8klwShqlM/Fs9oZcUXinZdod4SevgZMlDmrr5b6y9FG1dOJAJ7k3WXtb5rBRhs8Xprng/Rh1rssh3wikYkuVeXDORpLR5f2+pos5HM8ktObEKuJuknxiM5ips9QfDSPi5mjr/1/O6S5rgSQHPgkt3i67u+VlrTJKAfCElsxQRAW0imeEP3e7h7M2uTyaZOneJ0wlQDB4/sC96/3JUhGzKKM4ZKqHRKyCNDt9yKQ7Uv0MC80VoerCSkUQVERAZklhqfgEWt5taL63yB4ATz+3yB6kckiSu2rgNdItHlpXB+83O1FuLwfv2wNvl1dKHeDT4LPgodBFOwHg+D74Dg4CZLgt+D34M/grzt/b3261dpqL11v31ph7geNZ6v3D1R3mM8=</latexit>
Wij = #(simplices
containing i and j)
A = min(W, 1)
DW = diag(W1)
DA = diag(A1)<latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit><latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit><latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit><latexit sha1_base64="RYJ8Rd+bKvLugHVSZKLeHWm+lGQ=">AAAH7nicfVXdbts2FHa6rem0n6br5W7YJS7SwnbsdFmaAQHSLShWoEWzOWkyhEFGSUcWa5JSSaqxS+g1djfsdu+xp9jb7FC2E8vJJsASTZ7v+8jzwxPmghvb7f6zdOujjz+5vXzn0+Czz7/48u7Kva/emKzQERxFmcj0ScgMCK7gyHIr4CTXwGQo4Dgc/ujXj9+DNjxTh3acw5lkA8UTHjGLU+crfx+fO/62JIQ83CV0dZ1aGFlnuETxCExJKA3I7HlI3xUsrl5kYhhlyjKuuBqQNb5GmIrJ2tu18pGHUflsCkNmydU6lcct0puu7Z8fz9YqppizQelNCA2l65WXZnMkNcNnM8PgfGW12+lWD7k+6E0Hq43pc3B+7/Z9GmdRIUHZSDBjTnvd3J45pi2PBJQBLQzkLBqyAZziUDEJ5sxV3i5JE2dikmQaf8qSajaYhyCPZuMai7MsLATTo/psmGVDXDFlENQ1bfL0zHGVFxZUNJFMCkFsRnwQScw1RFaMSV3X8uGHlsK4JZpFLSaNZDZt5dzvs2WHH9oDzfK0JdkQIhDiamqyKw8XPNRMj/0RsgvTCpF5oLNCxaaVM2tBK4N4q/moZVKWg2kl3LYiJiL/P/aYXGRWMj00/8XakWAZLlaeE2DdYZFY+AXi0mmIHzztPggF6s5b2BQGGkCVrvp4m4uUW1iwCUUBpfPvOYugSVJrc/P9xgYmUMdY5IZRlDI1gE6UyY13BRhfDWaj993WzubOhgHJsWhCrBHZvuA2bftDtLlqh1haoCu7J9urkw9mKTqUYel5/wR0ILKQCYp/qYftgTKFhr04E5gAe1h4URbDLtUg2GiGzXDz9SQ6PeydOR84nwC1KB8c9pnyztWg4AIPILHsHE2Y5GIcQ8IKYUtHTTIb15PEJD4ryqA5L2YwghDvdjs7rQhL1aK3mcCURwE7MomnqB8SuamyI0+1NwE78/gUa23rrFw81D5gkWnoj2WYied4JDdhMaV7/epl6ZSXkLx0snQct0v7YG8yxol4ERJOIVMND+gXIYbTFj6kNwssKvSfv/IumQkc9mruc+GodEZciXjjCdq9QEvvAybylJVXW/3txYLX44EAHqXtie9vWsFAG7xe6veD9DTzUZZ9PpCoRCdZ5emcvwfpZL68lhbyJTaD+CbEdKGsSzymo5DpU0w+mobZyNH3/t0MaKoLASQFPkgt3q7bW7klTXKYAmGRLZggCAvoEG+IbmdzC0bNy7bRJPvYyJiKgIRgL7B+vW3VLEzlxmAi1cROUxG0u50eyOYM3U8zjd7xTSZTBJOKCEgsMTwGj5g712qvvCTBBvDkf0l0dZKKpfRewDbSW2wa1wdvNjs93N7P367u/TBtKHcaXze+aaw3eo3txl7jp8ZB46gRLT1aer10svTrcr78+/Ify39OTG8tTTH3G7Vn+a9/ASOtvwQ=</latexit>
26. 26
4. s(i,j,k) is learned from data.
1. Split data into training and validation sets.
2. Compute features of (i, j, k) from previous ideas using training data.
3. Throw features + validation labels into machine learning blender
→ learn model.
4. Re-compute features on combined training + validation
→ apply model on the data.
28. 28
A few lessons learned from applying all of these ideas.
1. We can predict pretty well on all datasets using some method.
→ 4x to 107x better than random w/r/t mean average precision
depending on the dataset/method
2. Thread co-participation and co-tagging on stack exchange are
consistently easy to predict.
3. Simply averaging Wij, Wjk, and Wik consistently performs well.
i
j k
Wij
Wjk
Wjk
29. Generalized means of edges weights are often good
predictors of new 3-node simplices appearing.
29
music-rap-genius
NDC-substances
NDC-classes
DAWN
coauth-DBLP
coauth-MAG-geology
coauth-MAG-history
congress-bills
congress-committees
tags-stack-overflow
tags-math-sx
tags-ask-ubuntu
email-Eu
email-Enron
threads-stack-overflow
threads-math-sx
threads-ask-ubuntu
contact-high-school
contact-primary-school
harmonic geometric arithmetic
p
4 3 2 1 0 1 2 3 4
0
20
40
60
80
Relativeperformance
4 3 2 1 0 1 2 3 4
p
2.5
5.0
7.5
10.0
12.5
Relativeperformance
4 3 2 1 0 1 2 3 4
p
1.0
1.5
2.0
2.5
3.0
3.5
Relativeperformance
Good performance from this local information is a deviation from classical link prediction,where
methods that use long paths (e.g.,PageRank) perform well [Liben-Nowell & Kleinberg 07].
For structures on k nodes,the subsets of size k-1 contain rich information only when k > 2.
i
j k
Wij
Wjk
Wjk
i
j k
?
scorep(i, j, k)
= (Wp
ij + Wp
jk + Wp
ik)1/p
<latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit><latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit><latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit><latexit sha1_base64="wECyDT1irjpegMdv/Iox6i4U4iU=">AAAHdXicfVVtb9s2EFa7Lem0t7T7OAxglzlIO/ktXZZkQAADK4oVa7FsdpoCoZtR0sliTEoqSTV2Cf2o/Zph37Zfsa872k5jOdkI2DqR99zDu3tIhYXg2nQ6f966/d77H6yt3/nQ/+jjTz79bOPuvRc6L1UEx1EucvUyZBoEz+DYcCPgZaGAyVDASTj+wa2fvAGleZ4NzLSAoWSjjCc8YganzjZ+2qIGJsbqKFdQnRXbPCDnARk/IJT6W/R1yWJySLZPziw/r14V5BuC5vn4ncmd+eCV7baL6mxjs9PqzAa5bnQXxqa3GEdnd9fu0TiPSgmZiQTT+rTbKczQMmV4JKDyaamhYNGYjeAUzYxJ0EM7y7oiDZyJSZIr/GWGzGb9ZQjGUWxai2INC0vB1KQ+G+b5GFd05dcpTbI/tDwrSgNZNGdMSkFMTlwtScwVREZMSZ3W8PHbIOMRJIpFAZNaMpMGBXfbDMz4bXOkWJEGko0hAiGupuabcnDBQ8XU1GWQX+ggxMgjlZdZrIOCGQMq04g3ik8CnbICdJBwE0RMRO49dphC5EYyNdb/FbUlwTBcnBVOgLGDMjHwK8SVVRDf3+/cDwXyLnuYFEYKIKvs7OF8LlJuYMUnFCVU1v0vefgNkhpT6O/bbVRcSxuMDZMoZdkIWlEu269L0E6Uut39bvdg56CtQXLUbohSlc0LbtKmS6LJs2aICgc183u0tzl/+NQVlOEJcPXx6UjkIRMUX6mD9SDTpYJenAvsfw/1H+UxHFIFgk0usTluvq6h00F3aF3jnABqXT4a9FnmiqsggwtMQLIstjRhkotpDAkrhaks1cmlXReJTpwqKr+xTKaxgxAfdloHQSQ5kqIsBCoeCcxEJy5EPUmMTTMzcaF6c7DVD0/xqO0Oq9WkHgOeMQX9qQxz8QRTsvMourI/P39W2cxRSF5ZWVmO26V9MDc540S8CgkXkAWHA/TLENtpStfSmwlWGfpPnruSXBIMurXy2XBSWS2uSJzzHG2foqerARNFyqqrrf72dKXq8UgAj9LmvPY3rWCjNd4u9etBujDLXZZ9PpLIROeqcuEsDaWl8/nqmizkM7yT45sQi4WqTvGQTkKmTlF8NA3ziaVv3H/Dp6kqBZAU+Cg1eLnu7RaGNMggBcIiUzJBEObTMd4QndbOLkwa5HI0yGP8nrAsAhKCucDz63wJkhE9K6M/p2r4hMwCNDutLsjGJbqf5gqrw7MRyTOCoiICEkM0j8EhlvLa7FbvguD9/+h/g6hZJrMolasCfkW6q9+M68aLnVYXt/fLt5u9/cX35I73hfeVt+11vT2v5/3oHXnHXuT97v3h/eX9vfbP+pfrX69vzV1v31pgPvdqY739L4qSnVk=</latexit>
30. There are lots of opportunities in studying this data.
30
1. Higher-order data is pervasive!
We have ways to represent data, and higher-order link prediction is a
general framework for comparing comparing models and methods.
2. There is rich static and temporal structure in the datasets we collected.
3. Computation becomes much more challenging for 4-node patterns!
Code. bit.ly/sc-holp-code
Data. bit.ly/sc-holp-data
Simplicial closure and higher-order link prediction.
Benson, Abebe, Schaub, Jadbabaie, & Kleinberg.
Proceedings of the National Academy of Sciences, 2018.
31. 31
THANKS! Austin R. Benson
Slides. bit.ly/arb-graphex-19
http://cs.cornell.edu/~arb
@austinbenson
arb@cs.cornell.edu
Simplicial closure &
higher-order
link prediction
Simplicial closure and higher-order link prediction.
Benson, Abebe, Schaub, Jadbabaie, & Kleinberg.
Proceedings of the National Academy of Sciences, 2018.
github.com/arbenson/ScHoLP-Tutorial
bit.ly/sc-holp-data
32. Simplicial closure on 4 nodes similar to on 3 nodes,
just“up one dimension”.
32
Increased edge density
increases closure probability.
Increased simplicial tie strength
increases closure probability.
Tension b/w edge density
simplicial tie strength.
Closure probability Closure probability Closure probability
coauth-DBLP
coauth-MAG-geology
coauth-MAG-history
congress-bills
congress-committees
email-Eu
email-Enron
threads-stack-overflow
threads-math-sx
threads-ask-ubuntu
music-rap-genius
DAWNtags-stack-overflow
tags-math-sx
tags-ask-ubuntu NDC-substances
NDC-classes
contact-high-school
contact-primary-school
33. Most open triangles do not come from asynchronous
temporal behavior.
33
i
j k
In 61.1% to 97.4% of open triangles,
all three pairs of edges have an
overlapping period of activity.
⟶ there is an overlapping period of
activity between all 3 edges
(Helly’s theorem).
# overlaps
Dataset # open triangles 0 1 2 3
coauth-DBLP 1,295,214 0.012 0.143 0.123 0.722
coauth-MAG-history 96,420 0.002 0.055 0.059 0.884
coauth-MAG-geology 2,494,960 0.010 0.128 0.109 0.753
tags-stack-overflow 300,646,440 0.002 0.067 0.071 0.860
tags-math-sx 2,666,353 0.001 0.040 0.049 0.910
tags-ask-ubuntu 3,288,058 0.002 0.088 0.085 0.825
threads-stack-overflow 99,027,304 0.001 0.034 0.037 0.929
threads-math-sx 11,294,665 0.001 0.038 0.039 0.922
threads-ask-ubuntu 136,374 0.000 0.020 0.023 0.957
NDC-substances 1,136,357 0.020 0.196 0.151 0.633
NDC-classes 9,064 0.022 0.191 0.136 0.652
DAWN 5,682,552 0.027 0.216 0.155 0.602
congress-committees 190,054 0.001 0.046 0.058 0.895
congress-bills 44,857,465 0.003 0.063 0.113 0.821
email-Enron 3,317 0.008 0.130 0.151 0.711
email-Eu 234,600 0.010 0.131 0.132 0.727
contact-high-school 31,850 0.000 0.015 0.019 0.966
contact-primary-school 98,621 0.000 0.012 0.014 0.974
music-rap-genius 70,057 0.028 0.221 0.141 0.611
34. We still have variety with only 3-node simplices.
34
music-rap-genius
NDC-substances
NDC-classes
DAWN
coauth-DBLP
coauth-MAG-geology
coauth-MAG-history
congress-bills
congress-committees
tags-stack-overflow
tags-math-sx
tags-ask-ubuntu
email-Eu
email-Enron
threads-stack-overflow
threads-math-sx
threads-ask-ubuntu
contact-high-school
contact-primary-school
10 5
10 4
10 3
10 2
10 1
Edge density in projected graph
0.00
0.25
0.50
0.75
1.00
Fractionoftrianglesopen
Exactly 3 nodes per simplex