Series-parallel networks problem
In combinatorial mathematics, the series-parallel networks problem asks for the number of series-parallel networks that can be formed using a given number of edges. The edges can be distinguishable or indistinguishable.
Indistinguishable edges
When the edges are indistinguishable, we look for the number of topologically different networks on n edges.
Solution
The idea is to break-down the problem by classifying the networks as essentially series and essentially parallel networks.
- An essentially series network is a network which can be broken down into two or more subnetworks in series.
- An essentially parallel network is a network which can be broken down into two or more subnetworks in parallel.
By the duality of networks, it can be proved that the number of essentially series networks is equal to the number of essentially parallel networks. Thus for all n > 1, the number of networks in n edges is twice the number of essentially series networks. For n = 1, the number of networks is 1.
Define
- [math]\displaystyle{ a_n }[/math] as the number of series-parallel networks on n indistinguishable edges.
- [math]\displaystyle{ b_n }[/math] as the number of essentially series networks.
Then
- [math]\displaystyle{ a_n=\left\{\begin{matrix} 1, & \mbox{if }n\mbox{ is 1} \\ 2b_n, & \mbox{otherwise}\end{matrix}\right. }[/math]
[math]\displaystyle{ b_n }[/math] can be found out by enumerating the partitions of [math]\displaystyle{ n }[/math].
Consider a partition, [math]\displaystyle{ \{p_i\} }[/math] of n:
- [math]\displaystyle{ \sum_i{ip_i}=n. }[/math]
Consider the essentially series networks whose components correspond to the partition above. That is the number of components with i edges is [math]\displaystyle{ p_i }[/math]. The number of such networks can be computed as
- [math]\displaystyle{ \prod_{i}{{b_i+p_i-1}\choose{p_i}}. }[/math]
Hence
- [math]\displaystyle{ b_n=\sum_{p_i}{\prod_{i}{{b_i+p_i-1}\choose{p_i}}} }[/math]
where the summation is over all partitions, [math]\displaystyle{ p_i }[/math] of n except for the trivial partition consisting of only n.
This gives a recurrence for computing [math]\displaystyle{ b_n }[/math]. Now [math]\displaystyle{ a_n }[/math] can be computed as above.
[TODO: Generating function for [math]\displaystyle{ a_n }[/math] and [math]\displaystyle{ b_n }[/math] are explained in the external links.]
External links
- OEIS sequence A000084 (Number of series-parallel networks with n unlabeled edges)
- OEIS sequence A000669 (Number of series-reduced planted trees with n leaves)
- Asymptotic behavior of two-terminal series-parallel networks
 |
