<p><b>Abstract</b>—We generalize the well-known odd-even merge sorting algorithm, originally due to Batcher [<ref rid="bibl12112" type="bib">2</ref>], and show how this generalized algorithm can be applied to sorting on product networks.</p><p>If <it>G</it> is an arbitrary factor graph with <it>N</it> nodes, its <it>r</it>-dimensional product contains <tmath>$N^r$</tmath> nodes. Our algorithm sorts <tmath>$N^r$</tmath> keys stored in the <it>r</it>-dimensional product of <it>G</it> in <tmath>$O(r^2F(N))$</tmath> time, where <it>F</it>(<it>N</it>) depends on <it>G</it>. We show that, for any factor graph <it>G</it>, <it>F</it>(<it>N</it>) is, at most, <it>O</it>(<it>N</it>), establishing an upper bound of <tmath>$O(r^2\,N)$</tmath> for the time complexity of sorting <tmath>$N^r$</tmath> keys on any product network.</p><p>For product networks with bounded <it>r</it> (e.g., for grids), this leads to the asymptotic complexity of <it>O</it>(<it>N</it>) to sort <tmath>$N^r$</tmath> keys, which is optimal for several instances of product networks. There are factor graphs for which <tmath>$F(N)=O({\rm log}^2\,N),$</tmath> which leads to the asymptotic running time of <tmath>$O({\rm log}^2\,N)$</tmath> to sort <tmath>$N^r$</tmath> keys. For networks with bounded <it>N</it> (e.g., in the hypercube <it>N</it> = 2, fixed), the asymptotic complexity becomes <tmath>$O(r^2).$</tmath></p><p>We show how to apply the algorithm to several cases of well-known product networks, as well as others introduced recently. We compare the performance of our algorithm to well-known algorithms developed specifically for these networks, as well as others. The result of these comparisons led us to conjecture that the proposed algorithm is probably the best deterministic algorithm that can be found in terms of the low asymptotic complexity with a small constant.</p>