Tag: reference-request

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

47 What is tail recursion? 2012-10-22T08:58:53.803

41 Dealing with intractability: NP-complete problems 2012-04-24T03:28:23.417

35 What use are groups, monoids, and rings in database computations? 2013-02-10T21:59:23.007

32 Quantum lambda calculus 2012-04-02T00:30:46.053

28 Worst case $O(n \ln n)$ in place stable sort? 2012-07-01T14:50:37.140

28 on "On the cruelty of really teaching computing science" 2016-02-24T18:36:06.873

26 Asymptotics of the number of words in a regular language of given length 2013-04-16T01:37:16.013

26 Which machine learning algorithms can be used for time series forecasts? 2013-08-26T09:06:00.243

26 Finding an st-path in a planar graph which is adjacent to the fewest number of faces 2013-12-20T00:57:12.100

24 Is there a typed SKI calculus? 2012-05-13T01:39:47.143

23 What does 'true concurrency' mean? 2013-05-08T14:07:16.857

23 Is there an anti-Bloom filter? 2014-04-25T21:08:54.120

21 Theoretical foundations of Divide and Conquer 2013-08-29T16:27:18.153

20 Computer Science Book for Young Adults 2012-03-22T20:52:09.317

20 Classification of intractable/tractable satisfiability problem variants 2012-04-12T17:59:00.553

20 Categorisation of type systems (strong/weak, dynamic/static) 2012-06-09T15:07:40.477

20 Lock-free, constant update-time concurrent tree data-structures? 2012-07-10T20:04:39.177

20 Start learning about Theory of Distributed Systems? 2012-09-29T14:24:11.433

20 Is there a sometimes-efficient algorithm to solve #SAT? 2013-01-16T00:21:03.510

19 How to scale down parallel complexity results to constantly many cores? 2012-05-03T08:08:30.570

19 Book for algorithms beyond Cormen 2012-06-26T02:30:47.140

19 Problems for which algorithms based on partition refinement run faster than in loglinear time 2012-10-02T17:25:18.093

19 How to formulate a computational problem rigorously? 2013-07-08T20:06:02.727

19 Do functions with slower growth than inverse Ackermann appear in runtime bounds? 2013-09-17T23:51:31.520

18 Are link-cut trees ever used in practice, for max flow computation or other applications? 2013-02-05T04:36:34.087

18 Are context-free languages in $a^*b^*$ closed under complement? 2013-04-07T19:05:16.153

18 Distinguish Decision Procedure vs SMT solver vs Theorem prover vs Constraint solver 2013-10-09T12:25:45.727

17 Using humans as components to build a computer? 2014-03-26T13:58:32.413

17 Is there an O(n log n) algorithm for 4D line simplification? 2014-05-08T10:34:21.133

17 Deterministic linear time algorithm to check if one array is a sorted version of the other 2016-01-04T20:09:21.603

16 Proving the (in)tractability of this Nth prime recurrence 2012-05-22T00:50:48.443

16 Who coined the term "machine learning"? 2015-01-26T10:31:03.627

16 Did 'Eugene Goostman' really pass the Turing test? 2015-02-24T08:50:11.857

15 Polytime and polyspace algorithm for determining the leading intersection of n discrete monotonic functions 2012-05-13T23:01:03.153

15 guillotine cuts versus general cuts 2013-10-29T07:40:13.090

15 What classes of data structures can be made persistent? 2013-11-22T18:13:18.380

15 Is there a TM that halts on all inputs but that property is not provable? 2013-11-27T21:44:59.707

15 What is the earliest use of "trees" in computer science? 2015-12-18T13:45:28.047

15 Complexity classes pertaining to listing all solutions? 2016-09-13T16:52:27.433

14 Type-checking algorithms 2012-03-09T05:27:29.120

14 Approximation of minimum bandwidth on binary trees 2012-03-15T14:56:56.453

14 Research on evaluating the performance of cache-obliviousness in practice 2012-03-24T13:51:44.963

14 How to read typing rules? 2012-05-29T07:18:09.443

14 Counting inversion pairs 2012-08-15T17:52:59.523

14 Some questions on parallel computing and the class NC 2012-09-21T18:50:22.743

14 Decision problems in $\mathsf{P}$ without fast algorithms 2013-07-10T15:22:02.280

13 Universal simulation of Turing machines 2012-07-23T15:49:05.823

13 Is there a repository for the hierarchy of proofs? 2012-08-08T00:13:21.220

13 Self-Study of Computer Science 2012-09-14T19:40:41.860

13 What is the origin of the client server model? 2012-11-30T10:05:42.000

13 Studying Programming Language Theory 2012-12-11T04:40:37.923

13 Bridge theorems for group theory and formal languages 2013-09-18T03:16:40.020

13 Are there established complexity classes with real numbers? 2014-09-01T11:13:38.663

13 Fastest known complexity for combinatorial ILP algorithm? 2015-01-24T14:45:06.947

12 Decidable restrictions of the Post Correspondence Problem 2012-03-23T17:15:49.773

12 When did $LR(k)$ acquire the meaning "left-to-right scan, rightmost derivation?" 2012-07-17T19:10:32.620

12 Are there peer-reviewed papers studying the pros and cons of functional programming? 2013-07-03T23:37:07.887

12 Recipe book for SAT encodings? 2014-10-09T16:48:34.517

12 Has the graph isomorphism problem been solved? 2014-12-14T02:00:05.900

12 Using logic to prove non-regularity of a language 2016-01-18T23:29:27.207

12 Reference request: Category theory as it applies to type systems 2016-09-28T03:25:27.353

12 What is the origin of λ for empty string? 2016-10-19T05:24:41.523

11 Introductory books on nature sciences behind bioinformatics 2012-04-09T09:12:41.920

11 Job scheduling with a bottleneck problem 2013-03-28T11:49:30.607

11 Is there a formal CS definition of VCS and file versions? 2013-06-13T06:36:29.267

11 What is the complexity of the emptiness problem for 2-way DFAs? 2013-07-26T22:35:28.517

11 Efficiently sampling shortest $s$-$t$ paths uniformly and independently at random 2013-11-11T14:36:27.297

11 Multicore SAT Solver 2013-11-14T16:25:35.683

11 Which NP-Complete problem has the fastest known algorithm? 2014-05-04T21:22:06.757

11 Introductory book on Logic and Computation 2014-05-15T16:04:00.867

11 Can an NP-hard problem be polynomial on average? 2014-07-16T17:53:03.877

11 What is the use of finding minimum number of straight lines to cover a set of points? 2015-05-03T16:28:11.807

11 Programming language semantics prototyping tool 2016-11-01T16:04:40.247

10 How do I classify my emulator input optimization problem, and with which algorithm should I approach it? 2012-05-09T06:34:52.220

10 Determining how similar a given string is to a collection of strings 2012-07-16T21:29:07.047

10 Fast k mismatch string matching algorithm 2012-09-29T19:47:41.390

10 References on comparison between quantum computers and Turing machines 2012-10-24T20:44:35.533

10 Where to find published research papers? 2012-12-03T21:59:05.837

10 Fair division of two-dimensional cake 2013-03-28T18:58:59.287

10 Given a chordal graph $G$, what is the complexity of computing the reduced clique graph $C_r(G)$? 2013-04-02T21:23:52.710

10 Why are all problems in FPTAS also in FPT? 2013-08-08T21:07:15.470

10 Method for measuring the 'similarity' between FSA grammars? 2014-09-09T21:29:31.200

10 Is there a paradigm for composing "incremental update" functions in a pure dataflow style? 2016-08-13T22:39:38.863

10 Literature about a naive approach to graph isomorphism by inspecting polynomials of adjacency matrices 2016-11-10T17:07:12.527

10 Name of this rearranging/sorting problem? 2017-10-10T09:27:46.410

10 Is there any standard for comparing runtimes experimentally? 2017-10-30T10:46:20.427

9 What is the difference between classical crypto and post-quantum crypto? 2012-04-30T17:11:36.020

9 Machine Learning algorithms based on "structural risk minimization"? 2012-05-22T20:03:45.760

9 What is the branch of Computer Science that studies how Anti Virus programs work? 2012-05-28T13:18:23.817

9 Introduction into first order logic verification 2012-08-09T20:52:33.677

9 A programming language that can only implement computable bijective functions? 2012-11-22T20:32:44.933

9 Algorithm books on a range of topics 2013-02-02T05:57:06.183

9 Difference between the languages accepted by two DFAs with different initial state/accepting states? 2013-03-24T03:40:45.747

9 Interval density of time bounded Kolmogorov complexity 2013-04-10T22:52:05.313

9 Short and slick proof of the strong duality theorem for linear programming 2013-11-19T09:39:14.263

9 Can we construct a Karp reduction from a Cook reduction between NP problems? 2014-01-29T18:33:16.763

9 Is the reversal of a minimal DFA also minimal? 2014-05-07T19:51:47.230

9 What are appropriate isomorphisms between formal languages? 2014-05-10T13:04:22.993