TrueBadges

297 badges
Name Awarded Score
undecidability 6 835
regular-expressions 6 835
proof-techniques 5 852
computability 5 852
lambda-calculus 5 852
Sheriff 5 852
graphs 5 852
closure-properties 4 873
computation-models 4 873
optimization 4 873
satisfiability 4 873
algorithms 4 873
operating-systems 4 873
runtime-analysis 4 873
reference-request 4 873
complexity-theory 4 873
reductions 4 873
formal-languages 4 873
Constable 4 873
Unsung Hero 4 873
time-complexity 3 899
shortest-path 3 899
decision-problem 3 899
machine-learning 3 899
pumping-lemma 3 899
halting-problem 3 899
np-complete 3 899
dynamic-programming 3 899
functional-programming 3 899
binary-trees 3 899
automata 3 899
cpu 3 899
strings 3 899
sorting 3 899
regular-languages 3 899
turing-machines 3 899
algorithm-analysis 3 899
landau-notation 3 899
terminology 3 899
combinatorics 3 899
complexity-theory 3 899
np 3 899
space-complexity 3 899
complexity-classes 3 899
np-hard 3 899
Epic 2 937
recurrence-relation 2 937
randomized-algorithms 2 937
probability-theory 2 937
efficiency 2 937