Ansatz für Konstruktion eines 2k-Zählnetzes aus Verteilern:
(vergleiche mergesort
: die Funktion merge
wird nur auf geordnete Folgen angewendet)
Induktionsschritt: C2n(x1,…, x2n) = Cn(x1,…, xn);Cn(xn+1,…x2n);M2n(x1,…, xn;xn+1,…, x2n)
Induktionsanfang: M2(x1, x2); Induktionsschritt?