Q&A for students, researchers and practitioners of computer science

284 Why is quicksort better than other sorting algorithms in practice? 2012-03-06T19:11:07.127

232 What is the definition of $P$, $NP$, $NP$-complete and $NP$-hard? 2013-02-06T20:38:08.297

179 Why is writing down mathematical proofs more fault-proof than writing computer code? 2017-12-11T13:11:12.130

166 How can a language whose compiler is written in C ever be faster than C? 2015-08-22T14:13:48.210

150 Is there a system behind the magic of algorithm analysis? 2014-04-09T12:59:52.003

134 Why, really, is the Halting Problem so important? 2014-11-08T16:44:58.327

128 How can it be decidable whether $\pi$ has some sequence of digits? 2012-03-14T13:19:52.857

125 Why are there so many programming languages? 2012-03-17T06:00:44.033

117 Why can I look at a graph and immediately find the closest point to another point, but it takes me O(n) time through programming? 2014-03-17T06:05:56.817

113 Is Category Theory useful for learning functional programming? 2012-08-03T17:52:13.360

104 How to convert finite automata to regular expressions? 2012-05-23T08:19:27.003

101 Why hasn't there been an encryption algorithm that is based on the known NP-Hard problems? 2012-03-14T08:02:26.627

95 How not to solve P=NP? 2012-05-17T01:24:29.327

91 BIT: What is the intuition behind a binary indexed tree and how was it thought about? 2013-03-15T17:56:58.113

90 What are the reasons to learn different algorithms / data structures serving the same purpose? 2016-02-17T06:13:26.403

90 How/when is calculus used in Computer Science? 2016-04-05T00:21:33.837

89 How to fool the "try some test cases" heuristic: Algorithms that appear correct, but are actually incorrect 2014-08-28T20:51:43.760

87 How does one know which notation of time complexity analysis to use? 2012-03-07T01:42:10.933

86 How to prove that a language is not context-free? 2012-03-12T23:57:46.817

81 What's the difference between a binary search tree and a binary heap? 2014-06-20T04:43:44.160

80 Why is the unit of image size not Pixel²? 2018-02-13T14:11:44.177

78 Why are some programming languages "faster" or "slower" than others? 2017-03-24T07:05:51.820

76 Graph searching: Breadth-first vs. depth-first 2012-03-13T10:05:58.093

76 Solving or approximating recurrence relations for sequences of numbers 2012-07-17T18:31:38.607

76 Quicksort Partitioning: Hoare vs. Lomuto 2013-04-21T08:02:32.013

75 Why is deep learning hyped despite bad VC dimension? 2017-05-13T12:43:43.370

74 What does the "Lambda" in "Lambda calculus" stand for? 2016-04-13T12:58:53.817

72 How can we assume that basic operations on numbers take constant time? 2012-05-03T00:06:31.453

71 How to prove that a language is not regular? 2012-04-04T10:30:32.163

71 What properties of a programming language make compilation impossible? 2014-09-02T10:19:14.790

69 (When) is hash table lookup O(1)? 2012-03-12T19:01:07.577

69 Is there any concrete relation between Gödel's incompleteness theorem, the halting problem and universal Turing machines? 2012-03-15T16:43:28.693

67 What is the novelty in MapReduce? 2012-08-03T14:04:19.350

64 How can I explain to my parents that I study programming languages? 2016-05-01T15:01:57.167

64 Why is the Turing Machine a popular model of computation? 2018-05-11T15:39:30.073

63 What is coinduction? 2012-03-19T17:34:08.127

63 Are there any problems that get easier as they increase in size? 2016-01-02T04:11:39.003

63 Why don't compilers automatically insert deallocations? 2017-01-12T19:38:33.750

63 Why is addition as fast as bit-wise operations in modern processors? 2017-05-23T23:44:43.203

62 Can a dynamic language like Ruby/Python reach C/C++ like performance? 2012-03-28T01:27:42.453

62 How do computers keep track of time? 2016-03-25T17:33:09.713

61 Why do we not combine random number generators? 2016-05-20T01:32:54.023

59 Language theoretic comparison of LL and LR grammars 2012-03-07T00:32:31.947

59 Algorithmic intuition for logarithmic complexity 2012-03-21T05:51:41.653

58 In-place algorithm for interleaving an array 2012-03-13T20:16:32.067

57 Distributed vs parallel computing 2012-04-29T21:13:33.690

56 Formal program verification in practice 2013-08-17T01:51:39.910

56 Is zero allowed as an edge's weight, in a weighted graph? 2016-07-28T10:10:39.077

55 Human computing power: Can humans decide the halting problem on Turing Machines? 2012-08-21T10:46:52.483

55 What would be the real-world implications of a constructive $P=NP$ proof? 2014-12-29T18:59:34.997