297 badges
| Name |
Awarded |
Score |
|
np-hard
|
1 |
1,000 |
|
big-o-notation
|
1 |
1,000 |
|
asymptotics
|
1 |
1,000 |
|
proof-techniques
|
1 |
1,000 |
|
parsers
|
1 |
1,000 |
|
concurrency
|
1 |
1,000 |
|
satisfiability
|
1 |
1,000 |
|
type-theory
|
1 |
1,000 |
|
finite-automata
|
1 |
1,000 |
|
artificial-intelligence
|
1 |
1,000 |
|
dependent-types
|
1 |
1,000 |
|
ambiguity
|
1 |
1,000 |
|
sampling
|
1 |
1,000 |
|
algorithm-analysis
|
1 |
1,000 |
|
oracle-machines
|
1 |
1,000 |
|
space-complexity
|
1 |
1,000 |
|
minimum-spanning-tree
|
1 |
1,000 |
|
logic
|
1 |
1,000 |
|
randomized-algorithms
|
1 |
1,000 |
|
3-sat
|
1 |
1,000 |
|
sat-solvers
|
1 |
1,000 |
|
colorings
|
1 |
1,000 |
|
notation
|
1 |
1,000 |
|
primes
|
1 |
1,000 |
|
image-processing
|
1 |
1,000 |
|
matching
|
1 |
1,000 |
|
turing-machines
|
1 |
1,000 |
|
computability
|
1 |
1,000 |
|
computer-vision
|
1 |
1,000 |
|
boolean-algebra
|
1 |
1,000 |
|
coding-theory
|
1 |
1,000 |
|
propositional-logic
|
1 |
1,000 |
|
recurrence-relation
|
1 |
1,000 |
|
time-complexity
|
1 |
1,000 |
|
regular-languages
|
1 |
1,000 |
|
np
|
1 |
1,000 |
|
matrices
|
1 |
1,000 |
|
probabilistic-algorithms
|
1 |
1,000 |
|
counting
|
1 |
1,000 |
|
traveling-salesman
|
1 |
1,000 |
|
formal-grammars
|
1 |
1,000 |
|
regular-expressions
|
1 |
1,000 |
|
encoding-scheme
|
1 |
1,000 |
|
master-theorem
|
1 |
1,000 |
|
undecidability
|
1 |
1,000 |
|
complexity-classes
|
1 |
1,000 |
|
combinatorics
|
1 |
1,000 |
|
mathematical-foundations
|
1 |
1,000 |
|
bipartite-matching
|
1 |
1,000 |
|
sorting
|
1 |
1,000 |