Marcações para Ciência da Computação Teórica

cc.complexity-theory x 1060
cc.complexity-theory x 1060
reference-request x 529
reference-request x 529
ds.algorithms x 509
ds.algorithms x 509
graph-theory x 341
graph-theory x 341
graph-algorithms x 199
graph-algorithms x 199
np-hardness x 191
np-hardness x 191
soft-question x 188
soft-question x 188
complexity-classes x 187
lo.logic x 187
complexity-classes x 187
lo.logic x 187
co.combinatorics x 179
co.combinatorics x 179
circuit-complexity x 140
circuit-complexity x 140
pl.programming-languages x 131
pl.programming-languages x 131
fl.formal-languages x 127
fl.formal-languages x 127
quantum-computing x 117
quantum-computing x 117
computability x 112
computability x 112
automata-theory x 110
automata-theory x 110
big-list x 109
big-list x 109
type-theory x 102
type-theory x 102
ds.data-structures x 98
ds.data-structures x 98
sat x 95
sat x 95
algebra x 90
algebra x 90
cg.comp-geom x 88
lower-bounds x 88
cg.comp-geom x 88
lower-bounds x 88
approximation-algorithms x 85
approximation-algorithms x 85
big-picture x 81
big-picture x 81
cr.crypto-security x 80
cr.crypto-security x 80
lambda-calculus x 71
lambda-calculus x 71
time-complexity x 69
time-complexity x 69
counting-complexity x 68
counting-complexity x 68
np x 66
np x 66
optimization x 59
optimization x 59
linear-algebra x 57
linear-algebra x 57
randomized-algorithms x 55
randomized-algorithms x 55
turing-machines x 54
turing-machines x 54
reductions x 53
reductions x 53
graph-isomorphism x 52
graph-isomorphism x 52
proofs x 47
machine-learning x 47
proofs x 47
machine-learning x 47
randomness x 46
randomness x 46
linear-programming x 45
linear-programming x 45
ho.history-overview x 44
approximation-hardness x 44
ho.history-overview x 44
approximation-hardness x 44
ct.category-theory x 43
ct.category-theory x 43
functional-programming x 42
open-problem x 42
boolean-functions x 42
lg.learning x 42
pr.probability x 42
functional-programming x 42
open-problem x 42
boolean-functions x 42
lg.learning x 42
pr.probability x 42
derandomization x 40
space-bounded x 40
derandomization x 40
space-bounded x 40
research-practice x 39
research-practice x 39
sorting x 38
sorting x 38
regular-language x 37
regular-language x 37
treewidth x 36
gt.game-theory x 36
treewidth x 36
gt.game-theory x 36
it.information-theory x 35
it.information-theory x 35
semantics x 34
semantics x 34
conditional-results x 33
parameterized-complexity x 33
communication-complexity x 33
conditional-results x 33
parameterized-complexity x 33
communication-complexity x 33
advice-request x 32
matrices x 32
advice-request x 32
matrices x 32
nt.number-theory x 31
nt.number-theory x 31
algebraic-complexity x 30
matching x 30
algebraic-complexity x 30
matching x 30
polynomial-time x 29
p-vs-np x 29
context-free x 29
polynomial-time x 29
p-vs-np x 29
context-free x 29
permutations x 28
proof-complexity x 28
permutations x 28
proof-complexity x 28
career x 27
career x 27
application-of-theory x 26
arithmetic-circuits x 26
oracles x 26
application-of-theory x 26
arithmetic-circuits x 26
oracles x 26
nondeterminism x 25
planar-graphs x 25
quantum-information x 25
nondeterminism x 25
planar-graphs x 25
quantum-information x 25
relativization x 24
dependent-type x 24
graph-colouring x 24
relativization x 24
dependent-type x 24
graph-colouring x 24
survey x 23
dc.distributed-comp x 23
dc.parallel-comp x 23
survey x 23
dc.distributed-comp x 23
dc.parallel-comp x 23
teaching x 22
dfa x 22
decidability x 22
tree x 22
physics x 22
teaching x 22
dfa x 22
decidability x 22
tree x 22
physics x 22
directed-acyclic-graph x 21
terminology x 21
gr.group-theory x 21
regular-expressions x 21
directed-acyclic-graph x 21
terminology x 21
gr.group-theory x 21
regular-expressions x 21
polynomials x 20
np-complete x 20
fixed-parameter-tractable x 20
polynomials x 20
np-complete x 20
fixed-parameter-tractable x 20
factoring x 19
pcp x 19
proof-theory x 19
type-systems x 19
interactive-proofs x 19
factoring x 19
pcp x 19
proof-theory x 19
type-systems x 19
interactive-proofs x 19
topology x 18
coq x 18
descriptive-complexity x 18
graph-minor x 18
topology x 18
coq x 18
descriptive-complexity x 18
graph-minor x 18
books x 17
proof-assistants x 17
denotational-semantics x 17
kolmogorov-complexity x 17
books x 17
proof-assistants x 17
denotational-semantics x 17
kolmogorov-complexity x 17
exp-time-algorithms x 16
computing-over-reals x 16
query-complexity x 16
exp-time-algorithms x 16
computing-over-reals x 16
query-complexity x 16
puzzles x 15
hash-function x 15
program-verification x 15
random-walks x 15
spectral-graph-theory x 15
puzzles x 15
hash-function x 15
program-verification x 15
random-walks x 15
spectral-graph-theory x 15
np-intermediate x 14
matrix-product x 14
software x 14
automated-theorem-proving x 14
universal-computation x 14
grammars x 14
permanent x 14
clique x 14
np-intermediate x 14
matrix-product x 14
software x 14
automated-theorem-proving x 14
universal-computation x 14
grammars x 14
permanent x 14
clique x 14
paper-review x 13
fourier-analysis x 13
writing x 13
polynomial-hierarchy x 13
machine-models x 13
set-cover x 13
csp x 13
compilers x 13
paper-review x 13
fourier-analysis x 13
writing x 13
polynomial-hierarchy x 13
machine-models x 13
set-cover x 13
csp x 13
compilers x 13
partial-order x 12
partial-order x 12