1、可計算理論研究：計算模型、可計算問題/不可計算問題、計算模型的等價性--圖靈/church命題
2、計算複雜性理論是在給定的計算模型下研究問題的複雜性，包括：固有複雜性、上界、下界、平均、複雜性問題的分類（p=np?）、抽象複雜性研究
3、演算法正確性：對每乙個輸入都最終停止，並產生正確的輸出
4、演算法的複雜性
目的：**演算法對不同輸入所需資源量
複雜性測度：時間、空間、i/o等
用途：為求解乙個問題選擇最佳演算法、裝置等
需要的數學基礎：離散數學、組合數學、概率論、代數等
需要的數學能力：建立演算法複雜性的數學模型、數學模型化簡
5、最壞複雜性、最小複雜性、平均複雜性
6、演算法分析的模型：隨機訪問模型（單處理機、序列執行、無併發；基本資料型別；基本操作）、並行多處理機模型
7、演算法設計模式：暴力搜尋、分治法、圖搜尋與列舉（分支界限、回溯）、隨機化方法等
8、演算法實現方法：遞迴與迭代、順行、並行與分布式、確定性與非確定性、近似求解與精確求解、量子演算法等
9、最優化設計方法：線性規劃、動態規劃、貪心法、啟發式方法
Hoj 哈爾濱工業大學 1867 經理的煩惱
樹狀陣列入門，對這種被動接受的東西，總是不習慣 code include include include include include include include include include include include include include include include i...
哈爾濱工業大學2023年複試上機題 解題報告
九度oj題目1045 百雞問題 時間限制 1 秒 記憶體限制 32 兆 特殊判題 否 提交 1865 解決 685 題目描述 用小於等於n元去買100隻雞，大雞5元 只，小雞3元 只,還有1 3元每只的一種小雞，分別記為x只,y只,z只。程式設計求解x,y,z所有可能解。輸入 測試資料有多組，輸入n...
2023年領域新星 覃立波 哈爾濱工業大學
2020年領域新星 覃立波，哈爾濱工業大學社會計算與資訊檢索研究中心在讀博士生，師從車萬翔教授。研究方向為自然語言處理和面向任務的對話系統，尤其是面向任務的對話系統中的遷移學習。在頂級nlp ai會議和期刊上發表了10多篇 包括acl，emnlp，coling，aaai，ijcai，taslp等。是...