目前共计 53 个标签
3SAT CLIQUE Chomsky normal form Cook-Levin theorem Finite Automata NPC Post's correspondence problem RANSAC Rice theorem SAT SVD Skolem problem Turing machine WSL classical curve theory classical surface theory compiler context free grammar context free language cuda curvature decorator git gradient decent halting problem intro ld lecture notes linux loss machine learning math intro mex mpi multi-tape Turing machine normal papers parallel computing part point cloud pose estimation probability pumping lemma pushdown automata python recursively enumerable language recursively language regular expression sota tasks two-stack PDA video warning