Abstract:Classical problems of sorting and searching assume an underlying linear ordering of the objects being compared. In this paper, we study these problems in the context of partially ordered sets, in which some pairs of objects are incomparable. This generalization is interesting from a combinatorial perspective, and it has immediate applications in ranking scenarios where there is no underlying linear ordering, e.g., conference submissions. It also has applications in reconstructing certain types of networks, including biological networks. Our results represent significant progress over previous results from two decades ago by Faigle and Turn. In particular, we present the first algorithm that sorts a width-w poset of size n with query complexity $O(n(w+\log n))$ and prove that this query complexity is asymptotically optimal. We also describe a variant of Mergesort with query complexity $O(wn\log\frac{n}{w})$ and total complexity $O(w^{2}n\log\frac{n}{w})$; an algorithm with the same query complexity was given by Faigle and Turn, but no efficient implementation of that algorithm is known. Both our sorting algorithms can be applied with negligible overhead to the more general problem of reconstructing transitive relations. We also consider two related problems: finding the minimal elements, and its generalization to finding the bottom k levels, called the k-selection problem. We give efficient deterministic and randomized algorithms for finding the minimal elements with query complexity and total complexity $O(wn)$. We provide matching lower bounds for the query complexity up to a factor of 2 and generalize the results to the k-selection problem. Finally, we present efficient algorithms for computing a linear extension of a poset and computing the heights of all elements.

SAT encodings for sorting networks, single-exception sorting networks and $ε-$halvers

Sorting nine inputs requires twenty-five comparisons

On Optimization Modulo Theories, MaxSMT and Sorting Networks

Sorting Networks: The Final Countdown

Applying Sorting Networks to Synthesize Optimized Sorting Libraries

SAT Encoding of Partial Ordering Models for Graph Coloring Problems

Saturating Sorting without Sorts

Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

On Fault-Tolerant Networks for Sorting.

An encoding of array verification problems into array-free Horn clauses

SAT-Based Complete Don't-Care Computation for Network Optimization

Noisy Sorting Capacity

A framework for good SAT translations, with applications to CNF representations of XOR constraints

An Agglomeration Law for Sorting Networks and its Application in Functional Programming

Bounds for variables with few occurrences in conjunctive normal forms

Sorting and Selection in Posets

CNF Encodings of Symmetric Functions

LinSATNet: The Positive Linear Satisfiability Neural Networks

Towards Simpler Sorting Networks and Monotone Circuits for Majority

Even shorter proofs without new variables

On SAT representations of XOR constraints