次のセクションのタグ: 理論計算機科学

ds.algorithms × 515
graph-theory × 335
lo.logic × 204
np-hardness × 197
soft-question × 191
computability × 117
big-list × 109
type-theory × 107
sat × 95
lower-bounds × 90
cg.comp-geom × 89
big-picture × 83
reductions × 54
optimization × 51
open-problem × 43
lg.learning × 42
np × 40
randomness × 39
sorting × 39
treewidth × 36
matrices × 32
algebra × 30
p-vs-np × 30
context-free × 29
permutations × 28
proofs × 27
career × 27
oracles × 27
survey × 23
semantics × 23
teaching × 22
dfa × 22
tree × 22
physics × 22
polynomials × 22
terminology × 21
proof-theory × 21
np-complete × 20
type-systems × 20
decidability × 19
factoring × 19
pcp × 19
coq × 18
graph-minor × 18
matching × 18
books × 17
puzzles × 16
random-walks × 15
grammars × 15
software × 14
permanent × 14
clique × 14
topology × 13
paper-review × 13
writing × 13
set-cover × 13
csp × 13
compilers × 13
complexity × 13
conferences × 12
heuristics × 12
logspace × 12
board-games × 12
expanders × 12
concurrency × 12
parsing × 12
linear-logic × 12
tsp × 11
gct × 11
upper-bounds × 11
vc-dimension × 11
pspace × 11
db.databases × 11
max-cut × 10
barriers × 10
order-theory × 10
hypergraphs × 10
set-theory × 9
security × 9
journals × 8
primes × 8
metrics × 8
clustering × 8
haskell × 7
ppad × 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
separation × 5
nexp × 4
uniformity × 4
monoid × 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
apx × 2
ac0 × 2
speed-up × 2
tradeoff × 2
scheme × 2
qma × 2
skip-lists × 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
finite × 1
cook-levin × 1
parallel × 1
agda × 1
huffman × 1
quadratic × 1
voronoi × 1
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.