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

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

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

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

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

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

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

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

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

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

124 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

75 What important/crucial real-world applications use blockchain? 2019-01-06T08:11:34.953

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

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

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

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

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

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

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

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

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

66 Why is it best to use a prime number as a mod in a hashing function? 2013-04-04T19:36:37.447

66 What are GPUs bad at? 2020-02-24T09:05:47.120

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

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

64 Is legislation NP-complete? 2018-11-27T11:46:07.490

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

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

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

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

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