View source for Artin billiard

{{Use dmy dates|date=August 2012}}
In [[network theory]], '''small-world routing''' refers to [[Network routing|routing methods]] for [[small-world network]]s. Networks of this type are peculiar in that relatively short paths exist between any two nodes. Determining these paths, however, can be a difficult problem from the perspective of an individual routing node in the network if no further information is known about the network as a whole.

==Greedy routing==
Nearly every solution to the problem of routing in small world involves the application of [[Greedy algorithm|greedy]] routing. This sort of routing depends on a relative reference point by which any node in the path can choose the next node it believes is closest to the destination. That is, there must be something to be greedy about. For example, this could be geographic location, IP address, etc. In the case of [[Small-world phenomenon|Milgram's original small-world experiment]], participants knew the location and occupation of the final recipient and could therefore forward messages based on those parameters.

==Constructing a reference base==
Greedy routing will not readily work when there is no obvious reference base. This can occur, for example, in [[overlay network]]s where information about the destination's location in the underlying network is not available. [[Friend-to-friend]] networks are a particular example of this problem. In such networks, trust is ensured by the fact that you only know underlying information about nodes with whom you are already a neighbor.

One solution in this case, is to impose some sort of artificial addressing on the nodes in such a way that this addressing can be effectively used by greedy routing methods. A [http://www.math.chalmers.se/~ossa/swroute.pdf 2005 paper] by a developer of the [[Freenet|Freenet Project]] discusses how this can be accomplished in [[friend to friend]] networks. Given the assumption that these networks exhibit small world properties, often as the result of real-world or acquaintance relationships, it should be possible to recover an embedded [[Jon Kleinberg|Kleinberg]] small-world graph. This is accomplished by selecting random pairs of nodes and potentially swapping them based on an [[objective function]] that minimizes the product of all the distances between any given node and its neighbors.

An important problem involved with this solution is the possibility of [[local minima]]. This can occur if nodes are in a situation that is optimal only considering a local neighborhood, while ignoring the possibility of a higher optimality resulting from swaps with distant nodes. In the above paper, the authors proposed a [[simulated annealing]] method where less-than-optimal swaps were made with a small probability. This probability was proportional to the value of making the switches. Another possible [[metaheuristic]] optimization method is a [[tabu search]], which adds a memory to the swap decision. In its most simplistic form, a limited history of past swaps is remembered so that they will be excluded from the list of possible swapping nodes.

This method for constructing a reference base can also be adapted to distributed settings, where decisions can only be made at the level of individual nodes who have no knowledge of the overall network. It turns out that the only modification necessary is in the method for selecting pairs of random nodes. In a distributed setting, this is done by having each node periodically send out a [[random walk|random walker]] terminating at a node to be considered for swapping.

==The Kleinberg model==

The Kleinberg model of a network is effective at demonstrating the effectiveness of greedy small world routing. The model uses an n x n grid of nodes to represent a network, where each node is connected with an undirected edge to its neighbors. To give it the “small world” effect, a number of long range edges are added to the network that tend to favor nodes closer in distance rather than farther. When adding edges, the probability of connecting some random vertex <math>v</math> to another random vertex w is proportional to <math>1/d(v,w)^q</math>, where <math>q</math> is the [[clustering coefficient]].<ref>{{cite web|last=Kleinberg|first=Jon|title=Networks, Crowds, and Markets: Reasoning about a Highly Connected World|url=http://www.cs.cornell.edu/home/kleinber/networks-book/networks-book-ch20.pdf|accessdate=10 May 2011}}</ref> 

===Greedy routing in the Kleinberg model===

It is easy to see that a [[greedy algorithm]], without using the long range edges, can navigate from random vertices v->w on the grid in <math>O(n)</math> time. By following the guaranteed connections to our neighbors, we can move one unit at a time in the direction of our destination. This is also the case when the clustering component q large and the “long range” edges end up staying very close; we simply do not take advantage of the weaker ties in this model. When <math>q = 0</math>, the long range edges are uniformly connected at random which means the long range edges are “too random” to be used efficiently for decentralized search. Kleinberg has shown that the optimal clustering coefficient for this model is <math>q=2</math>, or an inverse square distribution.

To reason why this is the case, if a circle of radius r is drawn around the initial node it will have nodal density <math>n/(pi*r^2)</math> where n is the number of nodes in the circular area.  As this circle gets expanded further out, the number of nodes in the given area increases proportional to <math>r^2</math> as the probability of having a random link with any node remains proportional <math>1/r^2</math>, meaning the probability of the original node having a weak tie with any node a given distance away is effectively independent of distance.  Therefore, it is concluded that with <math>q=2</math>, long-range edges are evenly distributed over all distances, which is effective for letting us funnel to our final destination.

==See also==
* [[Social network]]
* [[Small-world network]]

{{Reflist}}

[[Category:Network theory]]