Reed's Law

Reed's law is the assertion of David P. Reed that the utility of large networks, particularly social networks, can scale exponentially with the size of the network. The reason for this is that the number of possible sub-groups of network participants is 2^N - N - 1 \, , where N is the number of participants. This grows much more rapidly than either
  • the number of participants, N, or
  • the number of possible pair connections, N (N - 1) / 2\, (which follows Metcalfe's law)
so that even if the utility of groups being available to be joined is very small on a per-group basis, eventually the network effect of potential group membership can dominate the overall economics of the system.

Derivation of the number of possible subgroups

Given a set A which represents a group of people, and whose members are persons, then the number of people in the group is the cardinality of set A. The set of all subsets of A is the power set of A, denoted as \mathcal{P} (A) :
\mathcal{P}(A) = \{B : B \subseteq A\} .
It is known in set theory that the cardinality of \mathcal{P}(A) is equal to 2 to the power of the cardinality of A, i.e.
\mbox{card} \, \mathcal{P}(A) = 2^{\mbox{card} \, A} .
This is not difficult to see, since we can form each possible subgroup by simply choosing for each element of A one of two possibilities: whether to include that element, or not. However, A itself belongs to its own power set \mathcal{P}(A) but if A is considered as a group of people, then A is not a proper "subgroup" of itself:
\mbox{card} \, \left( \mathcal{P}(A) - \{A\} \right) = 2^N - 1 ,
where N = \mbox{card} \, A . Then, any members of \mathcal{P}(A) which are singletons are not considered "groups of people". Since each individual in a group can form a singleton, then the number of singletons in A is equal to the cardinality of A:
\mbox{card} \{C : C \in \mathcal{P}(A) \wedge \mbox{card} \, C = 1 \} = N,
\mbox{card} \, \left( \mathcal{P}(A) - \{A\} - \{C : C \in \mathcal{P}(A) \wedge \mbox{card} \, C = 1 \} \right) = 2^N - N - 1.
But notice that — using Big O notation — the function 2^N - N - 1 \, is O(2^N) \, as N \rightarrow \infty \, , so that it is exponential.

See also

External links

 

<< PreviousWord BrowserNext >>
union city
welch
sparks
maggie simpson
lisa simpson
mona simpson
mona (the simpsons)
redding
new castle
snowball (the simpsons)
snowball ii
national league
lenny
abraham simpson
cletus
b'tselem
bart simpson
jesus prayer
conglomerate (company)
canadian house of commons
ingeborg bachmann
yabasic
powerbasic
coase's penguin
microsoft basica
isometric
dunedin (disambiguation)
moir pattern
north east
oak park
oceanside
pekin
plainfield, new jersey
sheridan
jean tinguely
pieter brueghel the younger
jacqueline kennedy onassis
jackie (the simpsons)
pieter brueghel the elder
jan brueghel the elder
jan brueghel the younger
flanders family
video game crash of 1983
goodfellas