Posted in category "- 数学杂记"

All / - 数学杂记 Category

04-28

Ladner's Theorem

04-27

复杂性中的一些结论(无证明)

04-27

Complexity Theory中一些基础定理的证明

04-23

Time Hierarchy Theorem

03-16

群表示论和特征标

12-27

Cryptography

11-14

Fibration

11-01

运筹学

10-25

Homotopy Type Theory

07-27

TSP问题中消除子圈的MTZ约束