Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,400,093 papers from all fields of science
Search
Sign In
Create Free Account
Pigeonhole sort
Known as:
Count sort
, Pigeonhole
Pigeonhole sorting is a sorting algorithm that is suitable for sorting lists of elements where the number of elements (n) and the length of the range…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Array data structure
Bead sort
Bucket queue
Bucket sort
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The space complexity of cutting planes refutations
Nicola Galesi
,
P. Pudlák
,
Neil Thapen
Electron. Colloquium Comput. Complex.
2015
Corpus ID: 5899479
We study the space complexity of the cutting planes proof system, in which the lines in a proof are integral linear inequalities…
Expand
2013
2013
State complexity of star of union and square of union on k regular languages
Yuan Gao
,
L. Kari
Theoretical Computer Science
2013
Corpus ID: 11383808
2013
2013
Generalising and Unifying SLUR and Unit-Refutation Completeness
Matthew Gwynne
,
O. Kullmann
Conference on Current Trends in Theory and…
2013
Corpus ID: 14378015
The class \(\mathcal{SLUR}\) (Single Lookahead Unit Resolution) was introduced in [22] as an umbrella class for efficient SAT…
Expand
2012
2012
Exploring the Computational Content of the Infinite Pigeonhole Principle
Diana Ratiu
,
T. Trifonov
Journal of Logic and Computation
2012
Corpus ID: 13370556
The use of classical logic for some combinatorial proofs, as it is the case with Ramsey’s theorem, can be localized in the…
Expand
2003
2003
Multiresolutional hierarchical decision support systems
A. Meystel
IEEE Trans. Syst. Man Cybern. Part C
2003
Corpus ID: 206794448
Decision support systems gain better performance and higher accuracy by the virtue of building multiresolutional (multigranular…
Expand
2002
2002
Hard examples for bounded depth frege
Eli Ben-Sasson
Proceedings 17th IEEE Annual Conference on…
2002
Corpus ID: 5720641
We prove exponential lower bounds on the size of a bounded depth Frege proof of a Tseitin graph-based contradiction, whenever the…
Expand
1996
1996
The beginnings of Western music in Meiji Era Japan : thesis submitted for the degree "doctor of philosophy" : submitted to the Senate of Tel-Aviv University
1996
Corpus ID: 68744028
This volume investigates the introduction of Western music into the educational system of Japan and reveals the existence of…
Expand
1993
1993
The size Ramsey number of a complete bipartite graph
P. Erdös
,
C. Rousseau
Discrete Mathematics
1993
Corpus ID: 204991398
Highly Cited
1992
Highly Cited
1992
A theoretical analysis of reasoning by symmetry in first-order logic (extended abstract)
J. Crawford
1992
Corpus ID: 17430336
Many classes of reasoning problems display a large amount of symmetry. In mathematical and common-sense reasoning, such…
Expand
1986
1986
PROCESS OF STATISTICAL DATA ANALYSIS
M. Goto
1986
Corpus ID: 62415064
Statistical Data Analysis(SDA)is considered to be aprocess which extracts some“productive”findings from data through certain…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE