“2013级--讨论记录 (第四学期)”的版本间的差异
来自问题求解
（→2015年4月16日） |
（→2015年4月23日） |
||
| 第90行： | 第90行： | ||
反馈问题的形式化描述(JH）作业 | 反馈问题的形式化描述(JH）作业 | ||
<li>Verifier的概念</li> | <li>Verifier的概念</li> | ||
| − | </li> | + | </li></ul> |
| + | <ul> | ||
<li>证明Minimum Makespan Scheduling问题是NPC。 | <li>证明Minimum Makespan Scheduling问题是NPC。 | ||
<li>Partition <_{p} MS, by restriction</li> | <li>Partition <_{p} MS, by restriction</li> | ||
<li>3DM <_{p} Partition</li> | <li>3DM <_{p} Partition</li> | ||
<li>3SAT <_{p} 3DM </li> | <li>3SAT <_{p} 3DM </li> | ||
| + | </ul> | ||
</li> | </li> | ||
| − | |||
</ol> | </ol> | ||
2015年4月27日 (一) 10:40的版本
2015年3月12日
-
- 反馈群与拉格朗日定理作业
2015年3月19日
-
- 反馈数论基础作业
- gcd的概念
- 素数的概念
- 梅森素数
- 4k-1型和6k+1型的素数
2015年3月26日
-
- 反馈数论算法作业：
- 基本乘法和除法
- Euclid算法
- 互素的概念
- 中国人剩余定理
- 模指数运算
2015年4月2日
-
- 反馈密码算法作业
- 单字母表加密系统
- RSA密码系统
- Euclid算法的分析
2015年4月9日
-
- 反馈群编码作业
- 检错和纠错能力
- 线性编码的性质
- 基本矩阵和生成矩阵
2015年4月16日
-
- 反馈字符串匹配算法作业
- Naive String Matching
- Rabin-Karp String Matching
- String Matching based on Automata
2015年4月23日
-
- 反馈问题的形式化描述(JH）作业
- Verifier的概念
- 证明Minimum Makespan Scheduling问题是NPC。
- Partition <_{p} MS, by restriction
- 3DM <_{p} Partition
- 3SAT <_{p} 3DM
