原创 CS224W學習筆記

目錄CS224W學習筆記colab1colab2 CS224W學習筆記 colab1 torch.ones 全1 torch.zeros 全0 torch.rand 0-1隨機 x.shape shape x.dtype 數據類型 zero

原创 rust學習筆記

目錄rust學習筆記基礎類型 Fundamental Types定寬數字類型 rust學習筆記 這學期選了一門rust課,今年上半年呢,由PKU精英團隊打造的rust內核zroj就要正式上線了,請大家多多支持。 基礎類型 Fundament

原创 CS61A學習筆記

目錄CS61A學習筆記operatorsassignment statementUser-Defined FunctionsNonefeaturesConditional statementsBooleanBoolean operators

原创 Agda學習筆記1

目錄Agda學習筆記1快捷鍵reflNatural Number自然數集合operationsrewritecong加法結合律加法交換律乘法分配律比較大小衍生的一些證明begin-qed作業題乘法交換律乘法結合律一些比較大小 Agda學習筆

原创 NOI2021退役記

\[\Huge \text{サマータイムレコード}\\ \text{Summer time record} \]NOI2021退役記 考後補的遊記,Ag rk106 還不算太丟臉 有很多想說的話但是現在沒法表達出來,姑且是抱着輕鬆的態度來寫

原创 PKUSC2021遊記

\[\huge \text{「カーテンコールが止む前に」}\\ \text{「謝幕停止前」} \]距離NOI還有幾天呢? PKUSC2021遊記 Day0 吶,你知道早上4點被叫起來趕飛機の痛み嗎? 到餘姚第一感覺是個人比較少的小縣城,路也

原创 NOI2021訓練記錄

NOI2021訓練記錄 新教練(zjl)讓我們寫日誌,那就寫吧 希望能不留遺憾 4.19 LOJ3504「聯合省選 2021 A」支配 LOJ3503「聯合省選 2021 A | B」滾榜 LOJ3501「聯合省選 2021 A | B」圖

原创 金華 3.21

金華 3.21 ZROI 1825 簡 容斥+dp/記搜,再dp出內層dp的方案數。 NOI2020 美食家 現在看我半年前寫的代碼就像一坨屎... 改了幾個明顯的錯的地方,加了個優化就過了 NOI2020 命運 裸容斥有40分,dp的時候

原创 金華3.18

金華3.18 「聯合省選 2020 A」樹 每次0-1trie上把所有數+1,然後線段樹合併。 CF1389D 二分 CF1389F 先設計個dp然後線段樹 ABC和E就不寫了

原创 金華3.19

金華3.19 博弈論 ICG:公平組合遊戲,有先手必勝/後手必勝,其滿足: 有兩個玩家,遊戲對兩個玩家是公平的 遊戲狀態有限 一個玩家不能行動時遊戲結束 滿足這些情況時可以使用SG函數解決,一個狀態的SG值等於他能到達的狀態的SG的me

原创 NOI online 2021 島嶼探險

NOI online 2021 島嶼探險 場上寫了個被卡常的時間\(n\log^2 n\),空間 $n\log n $ 做法,洛谷上開O2才能過 我們先考慮對所有\(d_i< b_j\) 計算 \(j\) 對 \(i\) 的貢獻。首先可以把

原创 NOI online 2021遊記

NOI online 2021遊記 今天打了打NOIonline,然後就身敗名裂了 開場先看T1,想了個60的二項式定理+遞推,感覺寫起來有點麻煩 這時機房裏所有人都說T2是簡單題,就去看了T2,發現確實是簡單題,在SAM的每個節點上記一下

原创 模擬費用流學習筆記

目錄模擬費用流學習筆記uoj445 UER#8 Bloj6405. 「ICPC World Finals 2018」征服世界NOI2017 蔬菜 模擬費用流學習筆記 就是用各種東西維護費用流,有退流的可以理解爲反悔貪心,否則直接貪心。 來點

原创 爬山遊記

爬山遊記 爬啊爬 我愛大自然(霧 JSOI2016 炸彈攻擊 由於是隨機座標,且ans是整數變化不大,我們可以使用一半的模擬退火一半的爬山 #include<bits/stdc++.h> #include<ctime> #include<c

原创 計數/容斥亂做

目錄計數/容斥亂做「SHOI2015」超能粒子炮・改「HAOI2017」方案數「FJOI2017」矩陣填數「TJOI2019」唱、跳、rap 和籃球「CTSC2017」吉夫特「LibreOJ NOI Round #2」不等關係CF838D「