Tag untuk Ilmu Komputer Teoritis

ds.algorithms × 498
graph-theory × 331
lo.logic × 202
np-hardness × 193
soft-question × 191
computability × 113
big-list × 109
type-theory × 107
sat × 93
lower-bounds × 87
cg.comp-geom × 85
big-picture × 82
reductions × 54
optimization × 50
open-problem × 43
lg.learning × 41
np × 40
sorting × 39
randomness × 38
treewidth × 36
matrices × 31
algebra × 30
p-vs-np × 30
context-free × 29
permutations × 28
proofs × 27
career × 27
oracles × 26
semantics × 23
teaching × 22
dfa × 22
survey × 22
polynomials × 22
tree × 21
physics × 21
terminology × 20
proof-theory × 20
np-complete × 20
type-systems × 20
decidability × 19
factoring × 19
coq × 18
graph-minor × 18
books × 17
pcp × 17
matching × 17
puzzles × 16
random-walks × 15
grammars × 14
permanent × 14
topology × 13
paper-review × 13
writing × 13
set-cover × 13
csp × 13
compilers × 13
complexity × 13
conferences × 12
heuristics × 12
software × 12
logspace × 12
board-games × 12
expanders × 12
parsing × 12
linear-logic × 12
clique × 12
tsp × 11
gct × 11
upper-bounds × 11
pspace × 11
concurrency × 11
db.databases × 11
vc-dimension × 10
barriers × 10
order-theory × 10
set-theory × 9
max-cut × 9
security × 9
journals × 8
primes × 8
metrics × 8
haskell × 7
ppad × 7
clustering × 7
subset-sum × 7
simplex × 6
max-flow × 6
formulas × 6
intuition × 6
monotone × 6
monad × 6
examples × 5
worst-case × 5
embeddings × 5
black-box × 5
packing × 5
encoding × 5
philosophy × 5
lattice × 5
symmetry × 5
recursion × 5
uniformity × 4
nexp × 4
monoid × 4
separation × 4
nfa × 4
p-hardness × 3
function × 3
scheduling × 3
polygon × 3
norms × 3
lisp × 3
polytope × 3
circuits × 3
data-sets × 2
soundness × 2
card-games × 2
extractors × 2
succinct × 2
notation × 2
max2sat × 2
streaming × 2
fft × 2
bounds × 2
ac0 × 2
apx × 2
speed-up × 2
tradeoff × 2
scheme × 2
recursive × 2
authorship × 1
selection × 1
padding × 1
fsm × 1
privacy × 1
parity × 1
comonad × 1
fractals × 1
resolution × 1
ocaml × 1
memory × 1
qma × 1
skip-lists × 1
finite × 1
cook-levin × 1
parallel × 1
agda × 1
huffman × 1
quadratic × 1
voronoi × 1
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.