Teorik Bilgisayar Bilimi için etiketler

ds.algorithms × 453
graph-theory × 290
lo.logic × 186
soft-question × 180
np-hardness × 172
computability × 107
big-list × 105
type-theory × 97
sat × 86
big-picture × 79
lower-bounds × 78
cg.comp-geom × 76
reductions × 49
optimization × 44
open-problem × 42
lg.learning × 39
np × 39
randomness × 36
treewidth × 36
sorting × 33
context-free × 29
matrices × 29
p-vs-np × 28
career × 26
algebra × 25
permutations × 25
oracles × 24
proofs × 24
survey × 21
teaching × 21
dfa × 20
semantics × 20
tree × 20
physics × 19
polynomials × 19
terminology × 19
np-complete × 18
proof-theory × 18
books × 17
coq × 17
decidability × 17
factoring × 17
pcp × 16
type-systems × 16
graph-minor × 15
puzzles × 14
matching × 13
random-walks × 13
writing × 13
complexity × 12
csp × 12
grammars × 12
paper-review × 12
permanent × 12
set-cover × 12
software × 12
topology × 12
clique × 11
expanders × 11
heuristics × 11
parsing × 11
tsp × 11
barriers × 10
compilers × 10
conferences × 10
gct × 10
logspace × 10
upper-bounds × 10
max-cut × 9
metrics × 8
primes × 8
pspace × 8
set-theory × 8
clustering × 7
journals × 7
security × 7
formulas × 6
intuition × 6
monotone × 6
ppad × 6
black-box × 5
examples × 5
haskell × 5
simplex × 5
subset-sum × 5
symmetry × 5
worst-case × 5
embeddings × 4
encoding × 4
lattice × 4
max-flow × 4
monad × 4
monoid × 4
nexp × 4
packing × 4
recursion × 4
uniformity × 4
circuits × 3
function × 3
lisp × 3
norms × 3
p-hardness × 3
philosophy × 3
polygon × 3
separation × 3
ac0 × 2
bounds × 2
card-games × 2
data-sets × 2
extractors × 2
fft × 2
nfa × 2
notation × 2
polytope × 2
scheduling × 2
scheme × 2
soundness × 2
speed-up × 2
streaming × 2
succinct × 2
tradeoff × 2
apx × 1
authorship × 1
comonad × 1
cook-levin × 1
finite × 1
fractals × 1
fsm × 1
max2sat × 1
memory × 1
ocaml × 1
padding × 1
parallel × 1
parity × 1
privacy × 1
qma × 1
recursive × 1
resolution × 1
selection × 1
skip-lists × 1
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.