⊕课名⊕ 计算方法之实务应用 ▲教授▲ 吴凯强 ★修课年度★ 109-2 ￡教了什麽￡（课程大概内容。或是额外学会了什麽东西。） Boolean satisfiability (一些解SAT problem的heuristics) Binary decision diagram Hidden Markov model (最主要是Viterbi algorithm) PageRank Pipelining and Retiming NLP (助教课) Metaheuristics ◆上课方式◆（投影片、团体讨论、老师教学风格） new E3会放投影片 投影片有一些老师会挖洞 上课认真笔记作业会比较好写 (SAT那部分) 到学期後1/3因为武汉肺炎就改用Microsoft Teams上课了QQ ▼考试作业▼ Homework 0 解数独 Qualification problem Homework 1 解数独 只是要用MiniSat解 Homework 2 找出一个数独有几个解 跟BDD有关 要用python的pyeda这个package Homework 3 hidden markov model的问题 用Viterbi algorithm解 加上简单的dp & 要解决floating point precision这个问题 Homework 4 BDD相关的问题 阅读测验(X 题目看清楚应该很快就解出来了 不要学我题目没看清楚 一直在想解法哪里有问题LUL 难度大概介於AtCoder Beginner Contest第二题跟第三题间 Term Project 刻出一个SAT Solver 分成三个milestone Milestone 1 实作简单的heuristics解小测资的SAT problem Milestone 2 实作复杂的heuristics解中等测资的SAT problem Milestone 3 改进你的milestone 2解大测资 & 实作一个SAT solver的实际应用 比较要注意的是milestone 2要花点时间 记得早点写 Final Project 用metaheuristics找NN的parameters 基本上是用基因演算法找 虽然好像可以用random search靠赛找(? ￥其他￥（是否注重出席率or严禁迟到？需要的基础？） 没点名 有上过演算法应该会比较轻松一点吧 ￠最後想说的话￠ 老师真的教得很好 上课会讲一些他在美国的趣事 是我少数完全没翘课的课 反观我其他两个选修 KEKW 唯一感到可惜的是我觉得作业稍微有些简单 除了Term project 其他作业还蛮快就写完了 最後再推一下这门课 学到很多分数也不错 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.243.45.228 (台湾) ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/NCTU-Teacher/M.1626422906.A.388.html ※ 编辑: xxoooxx34567 (111.243.45.228 台湾), 07/16/2021 16:14:53