目前的研究主要是和 nondeterministic exponential problems 有關的 double exponential alogrithms。目前 lab 主要著重在邏輯這個領域,但還是會有其他領域的東西當作輔助像是圖論。
主要是參與每週的個人meeting或偶爾的團體meeting,會注重在個人meeting的原因是每個學生都有不一樣的研究題目,也有不一樣的研究進度。
當然是越多越好(笑)不過每週花幾個小時並不是很重要,重要的是你知道你在幹嘛,知道你的目標是什麼。
至少需要有複雜度的概念,希望可以有一些邏輯的基礎(不過沒有也沒關係),然後上過 ADA 更好。
相信自己的感覺。如果你對某個主題或領域有strong feeling,那通常就是你有興趣的。如果做到一半發現沒有興趣當然也可以自由地換題目或是退出lab,這是一個很free的lab。
可以,但我認為這種情況只能持續1到2個月,時間到了就要做抉擇(選一個lab),你沒有辦法解決所有的問題XD。
我們的lab是一個非常有趣的lab。我想說的是50年前人們對 NP-Complete 問題很畏懼,因為他的時間複雜度是指數的;但是現在,NPC 問題(像是 Boolean satisfiability problem)有著許多的演算法嘗試去解決他。
同樣地,現在大家對 double exponential problem 也很畏懼。但是我相信這樣的問題一定有個切入點,所以希望可以找到那個切入點讓大家可以比較容易的處理這樣的問題。