Abstract
Common sense suggests that networks are not random mazes of purposeless connections, but that these connections are organized so that networks can perform their functions well. One function common to many networks is targeted transport or navigation. Here, using game theory, we show that minimalistic networks designed to maximize the navigation efficiency at minimal cost share basic structural properties with real networks. These idealistic networks are Nash equilibria of a network construction game whose purpose is to find an optimal tradeoff between the network cost and navigability. We show that these skeletons are present in the Internet, metabolic, English word, US airport, Hungarian road networks, and in a structural network of the human brain. The knowledge of these skeletons allows one to identify the minimal number of edges, by altering which one can efficiently improve or paralyse navigation in the network.
Introduction
Networks are efficient conduits of information and other media. News, ideas, opinions, rumours and diseases spread through social networks fast, sometimes becoming viral for reasons that are often difficult to predict^{1,2,3,4,5,6,7,8,9,10,11,12}. Many biological networks are also paradigmatic examples of information routing, ranging from information processing and transmission in the brain, to signalling in gene regulatory networks, metabolic networks or protein interactions^{13,14,15,16}. Perhaps the most basic example is the Internet whose primary function is to route information between computers. If one is to list some common functions of different networks, then information routing will likely be close to the top. It is thus not surprising that many networks were found navigable, meaning that nodes can efficiently route information through the network even though its global structure is not known to any individual node^{17,18,19,20,21,22,23,24,25,26,27,28}.
These findings do not necessarily mean that real networks evolve to become navigable. Navigability can be a byproduct of some other evolutionary incentives because different networks have many other different functions as well. In other words, it remains unclear whether ideal networks whose only purpose is to be maximally navigable at minimal costs have anything in common with real networks. Even if they do, then how close are real networks to these ideal maximally navigable configurations? If they are close but not exactly there, or if their navigability suddenly deteriorates, possibly signifying an onset of a disease^{29}, then what can we do to cure the network and boost its navigability?
Here we show that the ideal maximally navigable networks do share some basic structural properties with the Internet, E.coli metabolic network, English word network, US airport network, the Hungarian road network and a structural network of the human brain. Yet these ideal networks are not generative models of the real networks, where by generative models we mean functionagnostic models that simply try to reproduce some structural properties of real networks. Instead these ideal networks identify minimal sets of edges that are most critical for navigation in the real network. In other words, they are navigation skeletons or subgraphs of real networks. We find that the considered real networks contain high percentages, exceeding 90% in certain cases, of edges from their navigation skeletons, while the probability of such containment in randomized null models is exponentially small. The knowledge of these skeletons allows us to quantify exactly what connections the considered real networks lack to be maximally navigable, and which of their connections are not exactly necessary for that. To define and construct these maximally navigable network skeletons we employ game theory. Game theory is a standard tool to study the behaviour of a population with given incentives. The population members are called players, and their possible actions are strategies, while cost functions or payoffs express players’ incentives. The purpose of a player is to minimize her costs (or maximize her payoffs) by adjusting her strategy. A Nash equilibrium is a game state such that no player can further reduce her costs by altering her strategy unilaterally. Such equilibrium states are local optima where the game can eventually settle after some transient dynamics. The global optimum is an optimum where the total cost of all players is minimized. Since the inception of game theory a broad palette of games has been introduced, modelling diverse properties of reallife situations^{30}, Fig. 1. Here we use game theory to find the structure of networks that are Nash equilibria of a network construction game^{30,31,32,33,34,35,36} with navigability incentives. The concept of Nash equilibrium captures the idea of selforganization, that is, of the emergence of structures from the local interaction of rational but selfish players, in contrast to global optimization used in centralized planning of globally optimal navigable structures^{37}. In our network navigation game (NNG), players are network nodes whose optimal strategy is to set up a minimal number of edges to other nodes ensuring maximum navigability. That is, the cost function reflects tradeoffs between the number of created edges and navigability. If each node connects to each other node, then this construction is maximally navigable but maximally expensive too. If no edges are set up, then the cost is zero, but so is navigability. There is a sweet spot of the least expensive but still 100% navigable network, defined as the network in which all pairs of nodes can successfully communicate using geometric routing^{38}. The goal of our game is to find this sweet spot.
Results
Geometrical considerations
The network construction game that we employ is very general and applies to any set of points in any geometry. The latent geometry of numerous real networks is not Euclidean but hyperbolic as shown in ref. 39. Specifically, the model in ref. 39 extends the preferential attachment mechanism of network growth by observing that in many real networks the probability of establishing a connection depends not only on popularity of nodes, that is, their degrees, but also on similarity between nodes. Similarity is modelled in ref. 39 as a distance between nodes on the simplest compact space, the circle. The connection probability thus depends both on node degrees (popularity) and on the distance between nodes on the circle (similarity). The node degrees are then mapped to radial coordinates of nodes, thus moving nodes from the circle to its interior, the disk. One can then show that the resulting connection probability depends only on the hyperbolic (versus Euclidean) distance between nodes on the disk, and that the resulting graphs are random geometric graphs^{40} growing over the hyperbolic plane. As shown in earlier work^{41}, these graphs are maximally random, that is, maximumentropy graphs that have powerlaw degree distributions and strong clustering. In other words, powerlaw degree distributions, coupled with strong clustering, are manifestations of latent hyperbolic geometry in networks. If this geometry is not hyperbolic but Euclidean, then the resulting random geometric graphs still have strong clustering, but their degree distributions are Poisson distributions that do not have any fat tails^{40}. The model in ref. 39 has been validated against long histories of growth of several real networks, predicting their growth dynamics with a remarkable precision. It is then not surprising that as a consequence the same model also reproduces a long list of structural properties of these networks^{39}.
Random geometric graphs^{40} are defined as sets of points sprinkled uniformly at random over a (chunk of) geometric space. Every pair of points is then connected if the distance between the points in the space is below a certain threshold. Given that the latent space of real scalefree networks is hyperbolic, our starting point is the first part (uniform sprinkling) of the random geometric graph definition. That is, we first randomly sprinkle a set of points over a hyperbolic disk. We then do not proceed to the second part of the random geometric graph definition. Instead, given only the coordinates of sprinkled nodes, we identify the sets of edges, ideal for navigation, that correspond to the Nash equilibria of our NNGs. We then analyse the structural properties of the resulting idealnavigation networks, and find that, surprisingly, they also have powerlaw degree distributions and strong clustering. This result invites us to investigate whether these navigationcritical edges exist in real networks. To check that, we have to know the hyperbolic coordinates of nodes in these real networks in the first place. We infer these coordinates in the considered collection of real networks using the deterministic HyperMap algorithm (Methods). Given only these inferred coordinates, we then construct the idealnavigation Nash equilibria defined by these coordinates, and compare, edge by edge, the resulting Nash equilibrium networks against the real networks. We find that the real networks contain large percentages of edges from their Nash equilibria. This methodology thus allows us to identify the navigation skeleton of a given real network. We finally check directly that edges in these skeletons are indeed most critical for navigation by showing that their alterations affect markedly network navigability.
Game definition
We start with a set of players u=1,2,…, N, that is, N nodes, scattered randomly over a hyperbolic disk of radius R. The densities of players’ polar coordinates (r, φ), r∈[0,R], φ∈[0, 2π], are ^{41}
where α>1/2 is a parameter controlling the heterogeneity of the layout. If α=1, the players are distributed uniformly over the hyperbolic disk because the area element at coordinates (r, φ) is dA=sinh(r)dr dφ. The desired player scattering is achieved in simulations by placing players u at polar coordinates r_{u}=(1/α) acosh {1+[cosh(αR)−1]U} and φ_{u}=2πU where U for each u is a random number drawn from the uniform distribution on [0, 1]. The hyperbolic distance between any two players u and v is
In greedy geometric routing, player u routes information to some remote player v by forwarding the information to its connected neighbour u′ closest to v in the plane according to the distance above. If u has no neighbour u′ closer to v than uself, then navigation fails, and we say that u cannot navigate to v. The percentage of pairs of players u, v such that u can successfully navigate to v is called the success ratio. If this percentage is 100%, we say that the network is maximally (100%) navigable.
The strategy space of player u is all possible combinations of edges that u can establish to other players. One extremal strategy is to establish no edges. The other extreme is to connect to everyone. The total number of possibilities for u is 2^{N−1}. Any combination of strategies that all players select is a network on N nodes.
The objective of each player u is to set up a minimal number of edges to other players such that u can still navigate to any other player in the network. Formally, the cost function of player u that it minimizes is c_{u}=k_{u}+n_{u}, where k_{u} is the number of edges that u establishes, and n_{u} is either zero if u can navigate to everyone, or infinity otherwise. A more formal description of the strategies and payoffs can be found in Supplementary Note 1.
Nash equilibria of the game
Given any player u, we call player v's coverage area the set of all points closer to v than to u, Fig. 2. Trivially v covers itself, since it is closer to itself (d(v, v)=0) than to u. Therefore if u connects to all other players, then u trivially covers them all. The optimal strategy for u minimizing u's costs is thus to connect to a minimal number of players such that the union of their coverage areas contains all the other players. Indeed, if u does that, and if all other players do the same, then the resulting network is 100% navigable at minimal number of edges. The network is fully navigable because if u wants to navigate to any remote player w, then by construction there exists u's neighbour v that contains w in its coverage area, and u can use v as the next hop towards w. If v is not directly connected to w, then there exists v's neighbour v′ that contains w in its coverage area, so that v can route to v′, and so on until the information reaches destination w lying within the intersection of all the coverage areas along the path, Fig. 2. The problem of finding the optimal set of edges for u thus reduces to the minimum set cover problem^{42}. A formal description of the equilibrium network and a detailed example (for simplicity in the Euclidean plane) can be found in Supplementary Note 2 and Supplementary Fig. 1.
The Nash equilibrium of this game is not necessarily unique. There can exist different networks minimizing the cost defined above. As specified in Supplementary Note 2, in what follows, among all the NNG equilibria, we always select the unique one that minimizes the sum of distances span by its edges, thus making the NNG Nash equilibrium network construction deterministic. However, there also exist certain edges, which we call frame edges, necessarily present in any Nash equilibrium. Edge u→v is a frame edge if u is the closest player to v. In this case u cannot navigate to v through any other players since there is no one closer to v than uself, so that u must connect directly to v to reach it, Fig. 2. If at least one of such edges is absent, the network is not fully navigable. The exact definition of the ‘frame topology’ consisting the frame edges can be found in Supplementary Note 3 and Supplementary Fig. 2.
In any Nash equilibrium of this game, each player computes its optimal strategy independently of others. In game theory such equilibria are called dominant strategy equilibria. Moreover, the equilibrium is also a social optimum since one cannot create a fully navigable network using less edges.
Structural properties of Nashequilibrium networks
Using the trigonometry of overlapping hyperbolic disks, we show in Supplementary Note 4 and Supplementary Figs 2–6 that, if the node density is uniform (α=1), then the probability p(d) that two players u and v located at distance d≡d(u, v) are connected in a Nash equilibrium network lies between exp(−8δe^{d/2}) and exp(−2δe^{d/2}),
where δ is the average density of players on the disk, that is δ=N/A, where A is the disk area. The expected degree of player u at polar coordinates (r_{u}, 0)—we can assume that u's angular coordinate is φ_{u}=0 without loss of generality—is then , where ρ(r_{v}) and ρ(φ_{v}) are the player densities from Equation 1. We can evaluate this integral to find that the expected number of connections of a player at radial coordinate r is bounded by (analytically shown in Supplementary Note 5 and Supplementary Fig. 7)
where r≡r_{u}. It then follows that the average degree of players in the network, given by , lies between 1 and 4,
We also see from Equation 4 that the degree of players decays exponentially as the function of their radial position, , while their density exponentially increases, ρ(r)∼e^{r}, Equation 1. The combination of these two exponentials yields the powerlaw degree distribution (see Supplementary Note 6 and Supplementary Fig. 8 for the detailed derivation) in the network^{43,44}
We also show analytically in Supplementary Note 7–8, Supplementary Fig. 9 and Supplementary Table 1 that the average clustering of players of degree k decays with k as 1/k, while the average clustering in the network is around 0.45, also confirmed in simulations. Clustering does not depend on network size or average degree, meaning that clustering is a positive constant even in the large graph size limit. Remarkably, neither degree distribution nor clustering depends on the player density δ.
For nonuniform node density α≠1, we can analytically obtain only the lower bound for , which is still proportional , that is, independent of α if α>1/2, Supplementary Note 9. This lower bound suggests that the degree distribution is a power law P(k)∼k^{−γ} with exponent γ=2α+1, which we confirm in simulations in Supplementary Note 9 and Supplementary Fig. 10. Figure 3 shows that the closer the γ to 2, the stronger the clustering, the cheaper the network and the more efficient and robust the navigability. The value of γ=2 thus appears as the ‘best choice’ for a network—the network is maximally navigable at the lowest cost. These results complement existing works^{23,45} showing that γ=2 yields most navigable networks, by adding that this γ also provides a minimum cost equilibrium topology as well, explaining the emergence of these networks from the interaction of selfish players.
Figure 4 and Table 1 confirm our analytic results and shows that some basic structural properties of NNGsimulated networks are similar to some real networks. Our results also suggest that the incentive for navigability alone may be sufficient to explain the properties of complex networks to a certain degree. Yet we cannot really make this claim based only on such largescale statistical similarities. A more detailed linkbylink comparison between real and corresponding NNG networks is needed to understand how well the NNG reflects reality.
Network navigation game versus real networks
Figure 5 and Table 2 show the results of this analysis applied to these and other real networks. We cannot expect real networks to be identical to NNG networks because the latter are minimumcost maximumnavigation idealizations, while each individual real network performs many other functions different from navigation. In particular, since real networks must be errortolerant and robust with respect to different types of network damage, we expect the number of edges in real networks to be noticeably larger than that in their minimalistic NNG counterparts—something we indeed observe in Table 2. Yet if navigation efficiency does matter for real networks, then we should expect a majority of edges present in these NNG idealizations to be also present in the corresponding real networks. Table 2 confirms these expectations as well. The NNG precision in predicting links in real networks, defined as the ratio of NNG true positive links to the total number of NNG links, exceeds 80% for most networks, while the precision in predicting frame links, crucial for navigation, exceeds 90% for some networks. In Supplementary Note 10 we juxtapose these numbers against the corresponding numbers in randomized null models, where they are exponentially small, upper bounded by 0.1%. We also note that, as the real networks have many more links than NNG networks, their navigability may not suffer much from missing a small percentage of NNG links, as confirmed by the success ratio results in the same figure.
Of particular interest to us here are networks that are explicitly embedded in the physical space. In these cases we may not need to embed the network, but use instead the physical coordinates of its nodes to construct the NNG equilibria. We consider three examples: the Hungarian road network, the airport network of the United States and a structural network of the human brain. In the first network the nodes are the cities, towns and villages of Hungary, while in the second network the nodes are US airports. Two nodes are linked if they are connected by a direct road or flight. In the brain network the nodes are small regions of average size 1.5 cm^{2} covering entirely both hemispheres of the cerebral cortex, and two regions are connected if a structural connection between them is detected in diffusion spectrum imaging. We expect the NNG to be particularly accurate in predicting links in these networks using the physical—instead of hyperbolic—coordinates of nodes. We note that these physical coordinates are Euclidean in all the three cases. The embedding space is twodimensional Euclidean and spherical space in the road and airport cases, and it is threedimensional Euclidean space in the brain case. Our method to construct an NNG equilibrium applies without change to any set of points in any geometric space, and the analytic results on the structure of NNG equilibrium networks in Euclidean spaces are in Supplementary Note 11 and Supplementary Fig. 11. We apply our method to find the NNG equilibrium networks using the physical coordinates of nodes in these three real networks, and then compare them with their NNG equilibria also in Fig. 5 and Table 2.
We observe that in the brain and road networks the NNG link prediction accuracy is particularly high, reaching 89% for all the links and 94–95% for the frame links. For the brain this result implies that the spatial organization of the brain is nearly optimal for information transfer, in agreement with previous results^{46,47,48,49}. In the Hungarian road network, nearly all frame links, crucial for efficient navigation using geography, are present. Practically this means that Hungarians have luxury to go on a road trip without a map since all the major roads required by geographic navigation are there, albeit the condition of some of those roads is not as luxurious. To put it simply, there are roads where people with a compass may think they should be.
For the US airport network, however, the geographic results are poor. These poor results may be unexpected at first, but they have a simple explanation in that the geometry of the airport network is not really Euclidean, as the geometry of the nearly planar road network, but hyperbolic. Indeed, efficient paths in the airport network optimize not so much the geographic distance travelled, but the number of connecting flights. As a consequence, most paths go via hubs. As opposed to the road network, where the number of roads meeting at an intersection does not vary that much from one intersection to another, the presence of hubs in the airport network makes the network heterogeneous, that is, node degrees vary widely. This heterogeneity effectively creates an additional dimension (the ‘popularity’ dimension in ref. 39). That is, in addition to their geographic location, airports also have another important characteristic—the size or degree. This extra dimension makes the network hyperbolic^{41}. The NNG results for the hyperbolic map of the airport network in Fig. 5 are as good as for the other networks.
How to cure or injure a network efficiently
The knowledge of the NNG equilibrium of a given real network makes it possible to efficiently identify links that are most critical for navigation in the network. As NNG equilibrium networks are maximally navigable networks composed of the smallest number of links, we expect that if we alter a real network by either adding or removing a relatively small number of links belonging to the NNG equilibrium of the network, then such network modifications may significantly affect network navigability.
Figure 6 supports these expectations. In the figure, we take the considered real networks, and add to them certain numbers of links that are present in the NNG equilibria of the real networks, but not present in the networks themselves. About 1–2% of added edges, compared with the original numbers of edges in the networks, increase network navigability significantly, while the addition of 2–5% of edges makes all the networks 100% navigable. Similarly, the targeted removal of a small portion (1–5%) of edges belonging both to the NNG equilibria of the networks, and to the network themselves, degrades network navigability by 10–30%.
Discussion
We emphasize that the considered Nash equilibrium networks are minimalistic idealizations, concerned only with maximizing the efficiency of the navigation function at minimal cost (number of links). Reality differs from this ideal in many ways. First, real networks must be robust with respect to noise and random failures. This robustness requirement explains why the considered real networks have strictly more links than their Nash equilibria. Maximum navigability can obviously be achieved not only at the minimal cost, but also at a higher cost. Second, transport processes in real networks are also noisy, and can follow not only steepest descent path (greedy navigation), but also any downstream paths, still achieving 100% reachability. Yet the noisier the transport process, the less likely it stays to the shortest path, leading to higher stretch and longer travel times, thus degrading navigation efficiency in terms of these parameters. Third, navigability does not always have to be maximized as many specific networks perform many specific functions other than navigation. Our gametheoretic approach can be extended to accommodate some of these functions, such as error tolerance or policy compliance^{50}, but not all possible functions of different real networks can be formalized within this gametheoretic framework. Some networks are centrally designed to optimize a particular function globally^{37}. Game theory is not needed to formalize such global optimization strategies. It is more suited for selforganized networks, in which each node behaves selfishly according to its own incentive, independent of other nodes. In other words, Nash equilibrium networks are structural manifestations of local incentives of nodes for efficient transport or communication, in contrast with existing generative or optimization models of complex networks^{51,52}. Finally, all real networks are dynamic and growing, while Nash equilibria correspond to static network configurations. However, it has been recently shown^{53} that in case of random geometric graphs—to which the considered Nash equilibrium networks effectively belong according to the results in Supplementary Note 12—one can map an equilibrium network model to an identical growing one.
Notwithstanding these limitations we have shown that ideal networks designed to be maximally navigable at minimal cost share basic structural properties with real networks. Compared with existing works on navigationoptimal distributions of shortcut edges in Euclidean grids^{19,54,55,56}, which do not yield realistic network topologies, this result is quite unexpected because there is absolutely nothing in the definition of these ideal networks that would enforce or even welcome a formation of any particular network structure. The networks are defined purely in terms of navigation optimality. The surprising finding that the structure of these ideal networks is similar to the structure of real networks should not be misinterpreted as if these idealizations are generative models for real navigable networks. Instead the former are skeletons or subgraphs of the latter. Since these skeletons consist of the minimum number edges required for 100% navigability, there is not even a parameter to control the most basic structural network property—the average degree, which is always controllable in generative models. On the contrary, as follows from Equation 5, the average degree in these skeletons is uncontrollable and lies between 1 and 4.
We find that, if network geometry is hyperbolic, then our navigation skeletons have powerlaw degree distributions and strong clustering. The values of powerlaw exponent γ close to 2, observed in many real networks^{57,58}, appear as the best possible choice. In this case not only reachability is 100%, but also the network cost and stretch are minimized and navigability robustness is maximized, compared with other values of γ in Fig. 3.
These results apply to sets of points in hyperbolic space, but the navigation skeleton construction itself is by no means limited to these hyperbolic settings. It is very general, and applies to any set of points in any geometric space, as illustrated by the brain and road networks where we have used the Euclidean 2d and 3d physical coordinates of nodes to construct the navigation skeleton of the network. Our finding that the brain contains almost fully its navigation skeleton appears as a mathematically clear and conclusive evidence that the spatial organization of the brain is nearly optimal for communication and information transfer, corroborating existing work on the subject^{46,47,48,49}.
We note that the connection between the structure and function of networks is often studied in the logically reverse direction: structure→function. That is, first some data about the structure of real networks is obtained, and then questions concerning how optimal this structure is with respect to a given network function are investigated. This logic does provide some evidence that the network might have evolved optimizing this function, but this evidence is quite indirect and unreliable compared with the direct demonstration that functionally optimal networks have the structure observed in reality: function→structure. The common sense suggests that this causal direction must reflect reality more adequately as networks, either designed or naturally evolving, do not have a completely random structure but the structure (effectively) optimizing some functions. Yet studying networks in this direction is much more challenging primarily because of difficulties in formalizing the constraints that a given function imposes and deriving the resulting optimal network structure. Here, with the help of game theory, we have done so for the navigation function that many real networks (implicitly) perform.
As one would logically expect, the function→structure approach provides a deeper insight into specific details of network’s structural organization that are critical for its functional efficiency. We have confirmed this expectation by demonstrating that our approach can identify links in real networks that are most critical for navigation. A targeted attack on these critical links degrades navigability rapidly, while if a real network is not 100% navigable, our approach finds the minimal number of notyetexisting links whose addition to the network boosts up its navigability to 100%. Therefore, our approach can be used to identify real network links that should be protected most in a critical network infrastructure. In contrast, this approach can also help network designers to prioritize possible link placement options, that is, pairs of not directly connected nodes, that, if connected, would maximize navigability improvement.
Finally, all the real networks considered here are expected to be navigable. Indeed, the primary functions of the Internet, brain, metabolic or airport and road networks are to transport information, energy or people. Semantic and syntactic navigability of word networks is an established fact in cognitive science^{59,60,61}. However, one cannot expect all real networks to be highly navigable as navigation is not an important function of every network in the world. In Supplementary Note 13 and Supplementary Table 2 we consider one example, a technosocial web of trust, in which nodes are public keys of users of a distributed cryptosystem, linked by users’ certifications of keyuser bindings. There is no reason why this network should be navigable. In agreement with this observation, we then find that this network does not contain a large percentage of edges from its NNG equilibrium, suggesting that the introduced methodology can be also used as a litmus test to investigate whether navigation is an important function of a given real network, and if so, then to what degree.
Methods
The real network data
The Internet data set representing the global internet structure at the autonomous system (AS) level is from ref. 62. The metabolic network is the postprocessed network of metabolic reactions in E. coli from ref. 39, Snapshot S_{1} there. The postprocessing details can be found in ref. 39. The word network is the largest connected component of the network of adjacent words in Charles Darwin’s ‘The Origin of Species’ from ref. 63. The airport network was downloaded from the Bureau of Transportation Statistics http://transtats.bts.gov/ on 5 November 2011. The structural human brain network and physical coordinates of nodes (regions of interest (ROIs)) in it are the diffusion spectrum imaging (DSI) data from ref. 64.
The hyperbolic maps of real networks
The hyperbolic coordinates of ASes and metabolites are from refs 39, 62. The hyperbolic coordinates of words and airports are inferred using the HyperMap algorithm^{65}. This algorithm is deterministic and is based on the growing network model in ref. 39 used to show that the latent geometry of scalefree strongly clustered real networks is hyperbolic. Given an adjacency matrix of a real network, the algorithm infers the hyperbolic coordinates of its nodes by replaying its growth as the model in ref. 39 prescribes. Specifically, the nodes are first sorted in the order of decreasing degrees, and then, starting with the highestdegree node, nodes and their edges are added, one node at a time, to a growing network. The probability, or the likelihood, with which model^{39} generates this growing network, depends on the node coordinates. The coordinate of each added node is set by the HyperMap algorithm to the coordinate corresponding to the global maximum of this probability.
The Nash equilibrium networks of NNGs
The hyperbolic or physical, in the airport and brain cases, coordinates are then supplied to the GNU Linear Programming Kit (GLPK) http://www.gnu.org/software/glpk/ used to find a solution to the corresponding minimum set cover problem. To yield acceptable running times of the solver, the Internet and word networks are reduced in size by extracting their highdegree cores of about 4,500 nodes. The Hungarian road data are processed slightly differently. First the cities in Hungary are mapped to their geographic coordinates using the database in http://www.kemitenpet.hu/letoltes/tables.helyseg_hu.xls. Then these coordinates are used in the GLPK to find the NNG equilibrium. Each edge in this equilibrium network is then checked for existence in the real road network. To check that, the GoogleMaps API https://pypi.python.org/pypi/googlemaps/ is used to find the shortest path between the two cities connected by the edge. The edge is defined to also exist in the real road network if this shortest path does not go via any other city.
Additional information
How to cite this article: Gulyás, A. et al. Navigable networks as nash equilibria of navigation games. Nat. Commun. 6:7651 doi: 10.1038/ncomms8651 (2015).
References
 1
Barrat, A., Barthelemy, M. & Vespignani, A. Dynamical Processes On Complex Networks vol. 1, Cambridge University Press Cambridge (2008).
 2
Kitsak, M. et al. Identification of influential spreaders in complex networks. Nat. Phys. 6, 888–893 (2010).
 3
Watts, D. J., Dodds, P. S. & Newman, M. E. J. Identity and search in social networks. Science 296, 1302 (2002).
 4
PastorSatorras, R. & Vespignani, A. Epidemic spreading in scalefree networks. Phys. Rev. Lett. 86, 3200 (2001).
 5
Rhodes, C. J. & Anderson, R. M. Power laws governing epidemics in isolated populations. Nature 381, 600–602 (1996).
 6
Ferguson, N. Capturing human behaviour. Nature 446, 733–733 (2007).
 7
Doerr, C., Blenn, N. & Van Mieghem, P. Lognormal infection times of online information spread. PloS ONE 8, e64349 (2013).
 8
Meloni, S., Arenas, A. & Moreno, Y. Trafficdriven epidemic spreading in finitesize scalefree networks. Proc. Natl Acad. Sci. USA 106, 16897–16902 (2009).
 9
Barthélemy, M., Barrat, A., PastorSatorras, R. & Vespignani, A. Velocity and hierarchical spread of epidemic outbreaks in scalefree networks. Phys. Rev. Lett. 92, 178701 (2004).
 10
Miritello, G., Moro, E. & Lara, R. Dynamical strength of social ties in information spreading. Phys. Rev. E 83, 045102 (2011).
 11
Gallos, L. K., Song, C., Havlin, S. & Makse, H. A. Scaling theory of transport in complex biological networks. Proc. Natl Acad. Sci. USA 104, 7746–7751 (2007).
 12
Moreno, Y., Nekovee, M. & Pacheco, A. F. Dynamics of rumor spreading in complex networks. Phys. Rev. E 69, 066130 (2004).
 13
Barabási, A.L. & Oltvai, Z. N. Network biology: understanding the cell's functional organization. Nat. Rev. Genet. 5, 101–113 (2004).
 14
Yamada, T. & Bork, P. Evolution of biomolecular networks: lessons from metabolic and protein interactions. Nat. Rev. Mol. Cell Biol. 10, 791–803 (2009).
 15
Bullmore, E. & Sporns, O. Complex brain networks: graph theoretical analysis of structural and functional systems. Nat. Rev. Neurosci. 10, 168–198 (2009).
 16
Chialvo, D. Emergent complex neural dynamics. Nat. Phys. 6, 744–750 (2010).
 17
Milgram, S. The small world problem. Psychol. Today 1, 61–67 (1967).
 18
Travers, J. & Milgram, S. An experimental study of the small world problem. Sociometry 32, 425–443 (1969).
 19
Kleinberg, J. Navigation in a small world. Nature 406, 845–845 (2000).
 20
Dodds, P. S., Muhamad, R. & Watts, D. J. An experimental study of search in global social networks. Science 301, 827–829 (2003).
 21
LibenNowell, D., Novak, J., Kumar, R., Raghavan, P. & Tomkins, A. Geographic routing in social networks. Proc. Natl Acad. Sci. USA 102, 11623–11628 (2005).
 22
Simsek, O. & Jensen, D. Navigating networks by using homophily and degree. Proc. Natl Acad. Sci. USA 105, 12758–12762 (2008).
 23
Boguñá, M., Krioukov, D. & Claffy, K. Navigability of complex networks. Nat. Phys. 5, 74–80 (2009).
 24
Caretta Cartozo, C. & De Los Rios, P. Extended navigability of small world networks: exact results and new insights. Phys. Rev. Lett. 102, 238703 (2009).
 25
Hu, Y., Wang, Y., Li, D., Havlin, S. & Di, Z. Possible origin of efficient navigation in small worlds. Phys. Rev. Lett. 106, 108701 (2011).
 26
Lee, S. H. & Holme, P. Exploring maps with greedy navigators. Phys. Rev. Lett. 108, 128701 (2012).
 27
Lee, S. H. & Holme, P. Geometric properties of graph layouts optimized for greedy navigation. Phys. Rev. E 86, 067103 (2012).
 28
Capitán, J. A. et al. Localbased semantic navigation on a networked representation of information. PLoS ONE 7, e43694 (2012).
 29
Cornelius, S. P., Lee, J. S. & Motter, A. E. Dispensability of Escherichia coli's latent pathways. Proc. Natl Acad. Sci. USA 108, 3124–3129 (2011).
 30
Nisan, N. Algorithmic Game Theory Cambridge Universiy Press (2007).
 31
Fabrikant, A., Luthra, A., Maneva, E., Papadimitriou, C. H. & Shenker, S. in Podc’03 (Proceedings of the TwentySecond Annual Symposium on Principles of Distributed Computing) 347–351 (Boston, Massachusetts, 2003).
 32
Anshelevich, E. et al. in Proc. of FOCS'04 295–304 (2004).
 33
Corbo, J. & Parkes, D. in PODC’05 (Proceedings of the TwentyFourth Annual ACM Symposium on Principles of Distributed Computing) 99–107 (ACM, New York, 2005).
 34
Albers, S., Eilts, S., EvenDar, E., Mansour, Y. & Roditty, L. in SODA’06 (Proceedings of the Seventeenth Annual ACMSIAM Symposium on Discrete Algorithm) 89–98 (ACM, New York, 2006).
 35
Demaine, E. D., Hajiaghayi, M., Mahini, H. & Zadimoghaddam, M. in PODC’07 (Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing (PODC)) 292298 (Portland, Oregon, 2007).
 36
Mihalák, M. & Schlegel, J. The price of anarchy in network creation games is (mostly) constant. Alg. Game Theory LNCS 6386, 276–287 (2010).
 37
Lee, S. H. & Holme, P. A greedynavigator approach to navigable city plans. Eur. Phys. J. Spec. Top. 215, 135–144 (2013).
 38
Papadimitriou, C. H. & Ratajczak, D. On a conjecture related to geometric routing. Theor. Comput. Sci. 344, 3–14 (2005).
 39
Papadopoulos, F., Kitsak, M., Serrano, M. A., Boguñá, M. & Krioukov, D. Popularity versus similarity in growing networks. Nature 489, 537–540 (2012).
 40
Penrose, M. Random Geometric Graphs Oxford University Press (2003).
 41
Krioukov, D., Papadopoulos, F., Kitsak, M., Vahdat, A. & Boguñá, M. Hyperbolic geometry of complex networks. Phys. Rev. E 82, 36106 (2010).
 42
Garfinkel, R. S. & Nemhauser, G. L. Integer Programming vol. 4, Wiley (1972).
 43
Boguñá, M. & PastorSatorras, R. Class of correlated random networks with hidden variables. Phys. Rev. E 68, 36112 (2003).
 44
Newman, M. E. J. Power laws, Pareto distributions and Zipf's law. Contemp. Phys. 46, 323–351 (2005).
 45
Cohen, R. & Havlin, S. Scalefree networks are ultrasmall. Phys. Rev. Lett. 90, 058701 (2003).
 46
Tiesinga, P. H. E., Fellous, J. M., José, J. V. & Sejnowski, T. J. Optimal information transfer in synchronized neocortical neurons. Neurocomputing 3840, 397–402 (2001).
 47
Laughlin, S. B. & Sejnowski, T. J. Communication in neuronal networks. Science 301, 1870–1874 (2003).
 48
Heuvel, M. P. V. D., Kahn, R. S., Goñi, J., Sporns, O. & van den Heuvel, M. P. Brain Communication. Proc. Natl Acad. Sci. USA 109, 11372–11377 (2012).
 49
Goñi, J. et al. Restingbrain functional connectivity predicted by analytic measures of network communication. Proc. Natl Acad. Sci. USA 111, 833–838 (2014).
 50
Szabó, D. & Gulyás, A. Notes on the topological consequences of BGP policy routing on the Internet AS topology. In Advances in Communication Networking 274–281Springer Berlin Heidelberg (2013).
 51
D'Souza, R. M., Borgs, C., Chayes, J. T., Berger, N. & Kleinberg, R. D. Emergence of tempered preferential attachment from optimization. Proc. Natl Acad. Sci. USA 104, 6112–6117 (2007).
 52
Muchnik, L. et al. Origins of powerlaw degree distribution in the heterogeneity of human activity in social networks. Sci. Rep. 3, 1783 (2013).
 53
Krioukov, D. & Ostilli, M. Duality between equilibrium and growing networks. Phys. Rev. E 88, 022808 (2013).
 54
Li, G. et al. Towards design principles for optimal transport networks. Phys. Rev. Lett. 104, 018701 (2010).
 55
Rozenfeld, H. D., Song, C. & Makse, H. A. Smallworld to fractal transition in complex networks: a renormalization group approach. Phys. Rev. Lett. 104, 025701 (2010).
 56
Li, G. et al. Optimal transport exponent in spatially embedded networks. Phys. Rev. E 87, 042810 (2013).
 57
Newman, M. E. J. The structure and function of complex networks. SIAM Rev. 45, 167–256 (2003).
 58
Boccaletti, S., Latora, V., Moreno, Y., Chavez, M. & Hwanga, D.U. Complex networks: structure and dynamics. Phys. Rep. 424, 175–308 (2006).
 59
Ferrer i Cancho, R. & Sole, R. The small world of human language. Proc. R. Soc. Lond. B, Biol. Sci. 268, 2261–2265 (2001).
 60
Choudhury, M. & Mukherjee, A. The structure and dynamics of linguistic networks. In Dynamics on and of Complex Networks 145–166Springer (2009).
 61
Baronchelli, A., Ferrer i Cancho, R., PastorSatorras, R., Chater, N. & Christiansen, M. H. Networks in cognitive sciences. Trends Cogn. Sci. 17, 348–360 (2013).
 62
Boguñá, M., Papadopoulos, F. & Krioukov, D. Sustaining the internet with hyperbolic mapping. Nat. Commun. 1, 62 (2010).
 63
Milo, R. et al. Superfamilies of evolved and designed networks. Science 303, 1538–1542 (2004).
 64
Hagmann, P. et al. Mapping the structural core of human cerebral cortex. PLoS Biol. 6, 1479–1493 (2008).
 65
Papadopoulos, F., Psomas, C. & Krioukov, D. Network mapping by replaying hyperbolic growth. Networking, IEEE ACM Transact. 23, 198–211 (2014).
Acknowledgements
We thank Olaf Sporns for sharing the brain data, and János Tapolcai and Alexandra Aranovich for useful discussions and suggestions. This work was supported by DARPA grant No. HR00111210012; NSF grants No. CNS1344289, CNS1442999, CNS0964236, CNS1441828, CNS1039646, CNS1345286, CCF1212778 and Hungarian Scientific Research Fund (grant No. OTKA 185101); and by Cisco Systems. G.R. was supported by the OTKA/PD104939 grant and J.J.B. was supported by the Inter University Centre for Telecommunications and Informatics (ETIK), Hungary.
Author information
Affiliations
Contributions
All authors contributed to all aspects of this work.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Supplementary information
Supplementary Information
Supplementary Figures 111, Supplementary Tables 12, Supplementary Notes 113 and Supplementary References (PDF 280 kb)
Rights and permissions
This work is licensed under a Creative Commons AttributionNonCommercialShareAlike 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/byncsa/4.0/
About this article
Cite this article
Gulyás, A., Bíró, J., Kőrösi, A. et al. Navigable networks as Nash equilibria of navigation games. Nat Commun 6, 7651 (2015). https://doi.org/10.1038/ncomms8651
Received:
Accepted:
Published:
Further reading

Network geometry
Nature Reviews Physics (2021)

Modelfree hidden geometry of complex networks
Physical Review E (2021)

Informational cost and networks navigability
Applied Mathematics and Computation (2021)

Efficient and Robust Approximate Nearest Neighbor Search Using Hierarchical Navigable Small World Graphs
IEEE Transactions on Pattern Analysis and Machine Intelligence (2020)

Structural optimality and neurogenetic expression mediate functional dynamics in the human brain
Human Brain Mapping (2020)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.