Is Green's the best 16-input sorting network so far?

Every paper says that Green's construction is the best 16-input sorting network as for now.

But why does Wikipedia says: "Size, lower bound: 53"?

I thought "lower bound" meant:"If there exists at least an algorithm that can...". Am I wrong?

No, a lower bound means that somebody has proved that anything smaller than 53 is impossible. That doesn't mean that a 53-gate network is known or even necessarily possible; just that there cannot be a smaller one than that.

• It doesn't even mean that there is a 53-gate network. – Raphael Jul 2 '16 at 16:11

The lower bound for an problem states that "no algorithm can do better than this". In your case, it means that no sorting network for 16 inputs can have fewer than 53 gates.

Sometimes there can be confusion between the reader and writer regarding whether a lower bound is tight or not. A tight lower bound states, "no algorithm can do better than this, and this number is achievable in practice".

A tight lower bound can come from a non-constructive proof or from an actual example that can be applied in practice.

Here is an example from comparison-based sorting algorithms. By combinatorics, the lower bound is $\Omega(n \log n)$ operations to perform sorting. But we also have algorithms like heap sort that take $O(n \log n)$ running time. Therefore in this case, the lower bound is a tight one.

But a different example is the number of moves to solve a standard Rubik's cube. The simple lower bound started at 18, and it took years of research and computation to raise this number to the tight lower bound of 20.

• And the diameter of the graph representing $n \times n \times n$ Rubik's cube configurations is $\Theta(n^2/\log n)$ (by Demaine, I believe, who proved upper and lower bounds). – Ryan Jul 3 '16 at 5:57

there are relatively new results in this area using SAT solvers and some new theory. optimal networks up to n=16 are now known/ constructed. this paper explains the techniques and following is a link given in the paper to optimal sorting network constructions up to n=16. (the paper does not mention Greens construction in particular but it does reference Knuth and maybe that is enough to correlate precisely if Knuth refers to Greens construction.)

• This paper is about optimal depth, not number of comparators. – Yuval Filmus Jul 5 '16 at 16:43
• :( ok, think the results might resolve the question if translated somehow but agree on 2nd look they are not exactly in the form requested and extracting minimal networks from their formulation may be tricky, but think it is likely the nearest/ most recent published research in the area/ on the nearby question(s) – vzn Jul 6 '16 at 15:47