Matches in SemOpenAlex for { <https://semopenalex.org/work/W3111164658> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3111164658 abstract "We show that 11-channel sorting networks have at least 35 comparators and that 12-channel sorting networks have at least 39 comparators. This positively settles the optimality of the corresponding sorting networks given in The Art of Computer Programming vol. 3 and closes the two smallest open instances of the Bose-Nelson sorting problem. We obtain these bounds by generalizing a result of Van Voorhis from sorting networks to a more general class of comparator networks. From this we derive a dynamic programming algorithm that computes the optimal size for a sorting network with a given number of channels. From an execution of this algorithm we construct a certificate containing a derivation of the corresponding lower size bound, which we check using a program formally verified using the Isabelle/HOL proof assistant." @default.
- W3111164658 created "2020-12-21" @default.
- W3111164658 creator A5059001503 @default.
- W3111164658 date "2020-12-08" @default.
- W3111164658 modified "2023-09-27" @default.
- W3111164658 title "An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels." @default.
- W3111164658 cites W1523874359 @default.
- W3111164658 cites W1552054444 @default.
- W3111164658 cites W1669653089 @default.
- W3111164658 cites W1698340567 @default.
- W3111164658 cites W1973527968 @default.
- W3111164658 cites W1990600049 @default.
- W3111164658 cites W2013892605 @default.
- W3111164658 cites W2016559894 @default.
- W3111164658 cites W2065074520 @default.
- W3111164658 cites W2076458424 @default.
- W3111164658 cites W2117848302 @default.
- W3111164658 cites W2141389982 @default.
- W3111164658 cites W2208979138 @default.
- W3111164658 cites W2296133386 @default.
- W3111164658 cites W3198160809 @default.
- W3111164658 hasPublicationYear "2020" @default.
- W3111164658 type Work @default.
- W3111164658 sameAs 3111164658 @default.
- W3111164658 citedByCount "0" @default.
- W3111164658 crossrefType "posted-content" @default.
- W3111164658 hasAuthorship W3111164658A5059001503 @default.
- W3111164658 hasConcept C108094655 @default.
- W3111164658 hasConcept C111696304 @default.
- W3111164658 hasConcept C11413529 @default.
- W3111164658 hasConcept C118615104 @default.
- W3111164658 hasConcept C127162648 @default.
- W3111164658 hasConcept C154945302 @default.
- W3111164658 hasConcept C2777212361 @default.
- W3111164658 hasConcept C2780801425 @default.
- W3111164658 hasConcept C31258907 @default.
- W3111164658 hasConcept C33923547 @default.
- W3111164658 hasConcept C41008148 @default.
- W3111164658 hasConcept C64540648 @default.
- W3111164658 hasConcept C80444323 @default.
- W3111164658 hasConcept C96865113 @default.
- W3111164658 hasConceptScore W3111164658C108094655 @default.
- W3111164658 hasConceptScore W3111164658C111696304 @default.
- W3111164658 hasConceptScore W3111164658C11413529 @default.
- W3111164658 hasConceptScore W3111164658C118615104 @default.
- W3111164658 hasConceptScore W3111164658C127162648 @default.
- W3111164658 hasConceptScore W3111164658C154945302 @default.
- W3111164658 hasConceptScore W3111164658C2777212361 @default.
- W3111164658 hasConceptScore W3111164658C2780801425 @default.
- W3111164658 hasConceptScore W3111164658C31258907 @default.
- W3111164658 hasConceptScore W3111164658C33923547 @default.
- W3111164658 hasConceptScore W3111164658C41008148 @default.
- W3111164658 hasConceptScore W3111164658C64540648 @default.
- W3111164658 hasConceptScore W3111164658C80444323 @default.
- W3111164658 hasConceptScore W3111164658C96865113 @default.
- W3111164658 hasLocation W31111646581 @default.
- W3111164658 hasOpenAccess W3111164658 @default.
- W3111164658 hasPrimaryLocation W31111646581 @default.
- W3111164658 hasRelatedWork W12124589 @default.
- W3111164658 hasRelatedWork W1487062054 @default.
- W3111164658 hasRelatedWork W191312412 @default.
- W3111164658 hasRelatedWork W1966074520 @default.
- W3111164658 hasRelatedWork W1979693425 @default.
- W3111164658 hasRelatedWork W1990160390 @default.
- W3111164658 hasRelatedWork W2018606220 @default.
- W3111164658 hasRelatedWork W2115873073 @default.
- W3111164658 hasRelatedWork W2123139266 @default.
- W3111164658 hasRelatedWork W2149410722 @default.
- W3111164658 hasRelatedWork W2174163014 @default.
- W3111164658 hasRelatedWork W2174668998 @default.
- W3111164658 hasRelatedWork W2242586777 @default.
- W3111164658 hasRelatedWork W2432916743 @default.
- W3111164658 hasRelatedWork W2782057692 @default.
- W3111164658 hasRelatedWork W2964250714 @default.
- W3111164658 hasRelatedWork W3008886243 @default.
- W3111164658 hasRelatedWork W3116173377 @default.
- W3111164658 hasRelatedWork W77158111 @default.
- W3111164658 hasRelatedWork W271516327 @default.
- W3111164658 isParatext "false" @default.
- W3111164658 isRetracted "false" @default.
- W3111164658 magId "3111164658" @default.
- W3111164658 workType "article" @default.