摘要：1. Github 地址 https://github.com/hanayashiki/Sudoku 2. PSP 3. 解题思路： 1. 解数独（旧思路） 首先查阅资料，得知： 数独问题可以转化为图着色问题：把每个空格当做一个个的结点P(i,j)，则每个宫、每个行、每个列的结点都内部互相连接在一起 阅读全文

摘要：快速看完整部教材，列出你不懂的5-10个问题，发布在你的个人博客上。 1. 为什么说软件是人类创造的最复杂的系统类型？大型建筑、飞行器甚至长篇小说的结构也可以非常复杂，并且容易变得难以理解和维护，认为软件系统十分复杂是不是因为软件工程还没有充分发展？ 2. 用形式逻辑的方法验证需要高可靠性的大型软件 阅读全文

摘要：第一部分：结缘计算机 我在高考完了以后没有考虑过任何其他的选择，五个平行志愿的第一志愿都填了计算机。我对计算机的热爱，最早起源于小时候玩的flash游戏。即使在没有flash小游戏的时候，捣鼓Windows系统也是兴趣之一。比如去翻看Windows里面隐藏的目录，还接触了一些批处理语言。后来家里请了 阅读全文