Yiran Wang (97c92f09) at 12 Feb 05:53
多项式归约vertex cover 到 CNF-SAT
Yiran Wang (09689a35) at 12 Feb 05:38
多线程不同算法求解
Yiran Wang (42103186) at 12 Feb 05:38
Upload New File
Yiran Wang (7183b7cb) at 12 Feb 05:37
Upload New File
Yiran Wang (a9f4de76) at 12 Feb 05:36
Add new directory
Yiran Wang (54b35534) at 12 Feb 05:32
计算程序2.0,encoding后求解
Yiran Wang (507e024d) at 12 Feb 05:29
计算程序1.0,验证管道通信
Yiran Wang (1ce87dd3) at 12 Feb 05:27
用户输入程序
Yiran Wang (203bd55f) at 12 Feb 05:26
Driver,管道通信
Yiran Wang (8f46e7b1) at 12 Feb 05:23
Graph类
Yiran Wang (c17c5b70) at 12 Feb 05:16
随机输入生成器