Tag untuk Ilmu Komputer Teoritis

cc.complexity-theory x 1043
reference-request x 523
ds.algorithms x 492
complexity x 462
graph-theory x 337
graph-algorithms x 194
np-hardness x 189
soft-question x 188
lo.logic x 186
complexity-classes x 185
co.combinatorics x 180
circuit-complexity x 139
pl.programming-languages x 130
fl.formal-languages x 124
quantum-computing x 115
automata-theory x 109
big-list x 108
computability x 108
type-theory x 102
ds.data-structures x 95
sat x 94
algebra x 88
lower-bounds x 85
cg.comp-geom x 84
approximation-algorithms x 82
big-picture x 80
cr.crypto-security x 79
lambda-calculus x 71
counting-complexity x 68
time-complexity x 66
np x 66
optimization x 58
linear-algebra x 56
turing-machines x 54
randomized-algorithms x 54
graph-isomorphism x 52
reductions x 52
proofs x 47
machine-learning x 46
randomness x 46
ho.history-overview x 44
linear-programming x 44
ct.category-theory x 43
boolean-functions x 43
functional-programming x 42
open-problem x 42
pr.probability x 42
approximation-hardness x 41
lg.learning x 41
derandomization x 40
space-bounded x 40
research-practice x 39
sorting x 39
regular-language x 38
treewidth x 36
gt.game-theory x 36
it.information-theory x 34
semantics x 34
conditional-results x 33
advice-request x 32
parameterized-complexity x 32
communication-complexity x 32
matrices x 31
nt.number-theory x 31
algebraic-complexity x 30
polynomial-time x 29
p-vs-np x 29
context-free x 29
permutations x 28
career x 27
proof-complexity x 27
matching x 27
arithmetic-circuits x 26
application-of-theory x 25
nondeterminism x 25
oracles x 25
planar-graphs x 25
quantum-information x 25
dependent-type x 24
graph-colouring x 24
relativization x 23
dc.distributed-comp x 23
dc.parallel-comp x 23
teaching x 22
dfa x 22
decidability x 22
survey x 22
gr.group-theory x 22
tree x 21
physics x 21
regular-expressions x 21
directed-acyclic-graph x 20
terminology x 20
polynomials x 20
np-complete x 20
factoring x 19
type-systems x 19
interactive-proofs x 19
fixed-parameter-tractable x 19
topology x 18
coq x 18
proof-theory x 18
graph-minor x 18
books x 17
pcp x 17
proof-assistants x 17
denotational-semantics x 17
kolmogorov-complexity x 17
exp-time-algorithms x 16
computing-over-reals x 16
descriptive-complexity x 16
query-complexity x 16
puzzles x 15
hash-function x 15
program-verification x 15
random-walks x 15
np-intermediate x 14
matrix-product x 14
automated-theorem-proving x 14
universal-computation x 14
spectral-graph-theory x 14
permanent x 14
paper-review x 13
fourier-analysis x 13
writing x 13
polynomial-hierarchy x 13
partial-order x 13
machine-models x 13
set-cover x 13
grammars x 13
csp x 13
compilers x 13
conferences x 12
heuristics x 12
coding-theory x 12
software x 12
logspace x 12
board-games x 12
expanders x 12
one-way-function x 12
parsing x 12
space-complexity x 12
clique x 12
pseudorandom-generators x 12
structural-complexity x 11
comp-number-theory x 11
linear-logic x 11