Q&A for students, researchers and practitioners of computer science
360 Why is quicksort better than other sorting algorithms in practice? 2012-03-06T19:11:07.127
287 What is the definition of P, NP, NP-complete and NP-hard? 2013-02-06T20:38:08.297
209 Why is writing down mathematical proofs more fault-proof than writing computer code? 2017-12-11T13:11:12.130
187 How can a language whose compiler is written in C ever be faster than C? 2015-08-22T14:13:48.210
177 Is there a system behind the magic of algorithm analysis? 2014-04-09T12:59:52.003
167 Why, really, is the Halting Problem so important? 2014-11-08T16:44:58.327
142 How can it be decidable whether $\pi$ has some sequence of digits? 2012-03-14T13:19:52.857
139 Why are there so many programming languages? 2012-03-17T06:00:44.033
130 How to convert finite automata to regular expressions? 2012-05-23T08:19:27.003
128 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
127 Is Category Theory useful for learning functional programming? 2012-08-03T17:52:13.360
120 BIT: What is the intuition behind a binary indexed tree and how was it thought about? 2013-03-15T17:56:58.113
117 How to fool the "try some test cases" heuristic: Algorithms that appear correct, but are actually incorrect 2014-08-28T20:51:43.760
116 Why hasn't there been an encryption algorithm that is based on the known NP-Hard problems? 2012-03-14T08:02:26.627
110 How/when is calculus used in Computer Science? 2016-04-05T00:21:33.837
108 What's the difference between a binary search tree and a binary heap? 2014-06-20T04:43:44.160
100 How not to solve P=NP? 2012-05-17T01:24:29.327
99 Quicksort Partitioning: Hoare vs. Lomuto 2013-04-21T08:02:32.013
98 What are the reasons to learn different algorithms / data structures serving the same purpose? 2016-02-17T06:13:26.403
95 How does one know which notation of time complexity analysis to use? 2012-03-07T01:42:10.933
94 Why is deep learning hyped despite bad VC dimension? 2017-05-13T12:43:43.370
92 How to prove that a language is not context-free? 2012-03-12T23:57:46.817
92 Solving or approximating recurrence relations for sequences of numbers 2012-07-17T18:31:38.607
89 Why are some programming languages "faster" or "slower" than others? 2017-03-24T07:05:51.820
88 What are GPUs bad at? 2020-02-24T09:05:47.120
85 How to prove that a language is not regular? 2012-04-04T10:30:32.163
83 Why is the unit of image size not Pixel²? 2018-02-13T14:11:44.177
82 Is there any concrete relation between Gödel's incompleteness theorem, the halting problem and universal Turing machines? 2012-03-15T16:43:28.693
82 Why is it best to use a prime number as a mod in a hashing function? 2013-04-04T19:36:37.447
80 Graph searching: Breadth-first vs. depth-first 2012-03-13T10:05:58.093
78 How can we assume that basic operations on numbers take constant time? 2012-05-03T00:06:31.453
77 What does the "Lambda" in "Lambda calculus" stand for? 2016-04-13T12:58:53.817
75 What is coinduction? 2012-03-19T17:34:08.127
75 Why is addition as fast as bit-wise operations in modern processors? 2017-05-23T23:44:43.203
75 What important/crucial real-world applications use blockchain? 2019-01-06T08:11:34.953
74 What properties of a programming language make compilation impossible? 2014-09-02T10:19:14.790
73 How do computers keep track of time? 2016-03-25T17:33:09.713
72 (When) is hash table lookup O(1)? 2012-03-12T19:01:07.577
70 Why is the Turing Machine a popular model of computation? 2018-05-11T15:39:30.073
69 Language theoretic comparison of LL and LR grammars 2012-03-07T00:32:31.947
69 What is the novelty in MapReduce? 2012-08-03T14:04:19.350
69 Formal program verification in practice 2013-08-17T01:51:39.910
68 Can a dynamic language like Ruby/Python reach C/C++ like performance? 2012-03-28T01:27:42.453
67 What is tail recursion? 2012-10-22T08:58:53.803
67 Are there any problems that get easier as they increase in size? 2016-01-02T04:11:39.003
66 Express boolean logic operations in zero-one integer linear programming (ILP) 2013-05-18T06:56:42.690
66 Dependent types vs refinement types 2014-02-17T07:54:50.867
65 In-place algorithm for interleaving an array 2012-03-13T20:16:32.067
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