Badge

 Editor First edit.

This badge has been awarded 884 times. Recently awarded to:
1h ago
Is it possible that the union of two undecidable languages is decidable? — Tomer 83
1d ago
What's the difference between a stream and a queue? — elliot42 1063
1d ago
What is a sort in Programming Language Semantics? — babou 11
2d ago
“At least one” clause in Relational Algebra — Balaam 84
may 22 at 7:16
Lower-bound complexities for finding common elements between two unsorted arrays — Bakuriu 1135
may 21 at 22:38
Reducing from Subset Sum — Mus 113
may 21 at 17:27
Proving that the largest number of leaves in an $n$-ary tree of height $k$ is $k^n$ — Nik Bougalis 1684
may 21 at 17:07
Are those definitions of universal hash family equivalent? — Rob 112
may 20 at 8:59
Subgraph of a Markov Decision Process — warakawa 212
may 20 at 1:05
Undecidability of whether a given TM halts or only has loops which can be detected by some TM — Phillip Huff 62
may 19 at 22:35
Is the language of words containing equal number of 001 and 100 regular? — Ben Elgar 312
may 19 at 16:58
What randomness really is — user1892655 412
may 19 at 14:42
Finding the path of a negative weight cycle using Bellman-Ford — Loourr 614
may 19 at 7:16
Hanoi tower with forbidden direct move from source to destination — majidgeek 1114
may 19 at 6:15
how to prove this unsolvable problem about halting problem (turing machine) [duplicate] — Alex 62
may 17 at 19:01
Using a computer algebra system to optimize mathematical expressions — Brent 1162
may 17 at 0:15
Shortest sub-sequence of one string, that's not a sub-sequence of another string — Mike 405
may 16 at 17:13
Proof that fast broadcasts have to target larger cycles first — gprime 1905
may 16 at 11:46
Turing Machine Reduction Proof [closed] — Requiem 234
may 16 at 6:20
Is “Find the shortest tour from a to z passing each node once in a directed graph” NP-complete? — urzeit 233
may 15 at 16:34
Example of a non-context free language that nonetheless CAN be pumped? — user2329564 233
may 15 at 16:14
Google Code Jam Great Wall Problem — torquestomp 1754
may 14 at 13:32
(post deleted or otherwise unavailable) — arm46 11
may 14 at 11:36
Issues with using greedy algorithm (Interval scheduling variant) — user8153 215
may 14 at 8:19
Issues with using greedy algorithm (Interval scheduling variant) — AndrewD 185
may 14 at 3:18
Show that it is undecidable if two Turing Machines accept the same language — Quinn Culver 1213
may 13 at 21:42
Complement of halting set is not r.e — Mehdi Khademloo 11
may 11 at 16:02
What is the most efficient way to compute factorials modulo a prime? — Thomas Ahle 1013
may 10 at 21:17
Finding the required value of an algebric expression — user77124 264
may 10 at 10:14
Is $L$ always context free? — xan 1384
may 9 at 18:24
Finding a better algorithm for a problem [closed] — user8105 182
may 9 at 5:20
A Problem on Time Complexity of Algorithms — Shayan 115
may 8 at 20:13
Amdahl's Law and Computer Science — bam54 133
may 8 at 11:55
PDA for this context-free grammar — Anish B 303
may 7 at 19:03
Vertex Cover problem modification — Dominik_svk 154
may 7 at 18:18
Decoding a binary message with LZW dictionary — Tom celic 1012
may 7 at 9:40
(post deleted or otherwise unavailable) — Vroomfondel 11
may 6 at 17:15
Changing AVL's balance factor to some other $s>2 \in \mathbb{N}$ — Scis 274
may 6 at 16:45
Toads and frogs game algorithm — alex 1062
may 6 at 9:23
Why don't we scale the cost of memory access when analyzing runtime of algorithms? — Bryan Olivier 1685
may 6 at 7:37
Overlapping and non-overlapping systems — joker 33
may 5 at 4:20
How to distinguish whether a sample is from distribution $\chi_1$ or $\chi_2$? — Richard 162
may 4 at 17:06
k-basis representation of natural numbers — tumasgiu 165
may 4 at 0:25
Without using pumping lemma, can we determine if $A =\{ww \mid w \in \{0,1\}^* \}$ is non regular? — Peter 39615
may 3 at 22:24
Without using pumping lemma, can we determine if $A =\{ww \mid w \in \{0,1\}^* \}$ is non regular? — Ilmari Karonen 1413
may 3 at 7:54
Binary decision diagram for a six-figure Boolean function — Uriel 1257
may 3 at 2:17
What type of formal notation is being used here to represent functional algorithms? — David Kaczynski 1136
may 2 at 20:25
What is a sort in Programming Language Semantics? — minopret 1112
may 2 at 6:55
How is sound input and output data converted to use with machine learning networks? — naxa 1063
may 1 at 19:06
Big O notation of max? — Levi Morrison 1163
may 1 at 17:21
The length of the smallest co-prime chain between any two integers — DarthShader 1312
apr 30 at 5:35
Formalisms in concurrent and/or distributed programming? — adelbertc 1234
apr 29 at 18:41
Prove that $L_1$ is regular if $L_2$, $L_1L_2$, $L_2L_1$ are regular — Alejandro Sazo 34517
apr 29 at 16:26
Why is $\Theta$ notation suitable to insertion sort to describe its worst case running time? — siddstuff 1284
apr 28 at 20:03
What is the difference between the 'liquid' and the 'liquid state'? — Kuvik 162
apr 28 at 17:22
What does the posterior probability of a variable mean in the Bayes' rule? — mruether 564
apr 28 at 9:45
Is {xyx | |x|≥1} context-free? — Sai Manoj Kumar Yadlapati 1214
apr 28 at 7:34
Encoding row types — sinan 1112
apr 27 at 22:37
Finding a tree that approximates the distances and total weights — Fayez Abdlrazaq Deab 1327
apr 26 at 23:15
Decision vs Optimization version for Problems of two Parameters — Tarek 162
1 2 3 4 5 … 15