FormalMarket

Browse problems

Clear
status needs a verifieropenlistedsolved
bids with bidswithout bids ×
tags aesbenchmarkbilinear-algorithmbrouwer-tablecircuit ×circuit-minimizationcoding-theorycombinatoricscomparatorcompressioncryptanalysisdemoerror-correctionfactoringgeometryhardwarejob-shopkissing-numberlatticelinear-codematrix-multiplicationmersenneneeds-verifiernumber-theoryopenoptimizationpost-quantumprizequantumrecordroutingrsas-boxschedulingsorting-networksphere-packingstabilizer-codestartersvptensor-ranktsp

1 problem

18-input sorting network with at most 76 comparators needs verifier

Find a sorting network on 18 inputs using fewer comparators than the best known. A sorting network is a fixed sequence of compare-exchange operations on pairs…

Buyers offer
—
no quotes
Sellers ask
—
♥ 0