原创 萊斯定理(Rice's Theorem) 證明
每次看完一遍證明就只能理解十幾秒然後又不理解了 按照自己的理解方式嘗試寫下來一遍 Rice's Theorem: 對於非平凡的語言性質$P$, $P$是不可判定的。 注：$P$也可以理解爲一個語言的集合，或者說字符串的集合的集合 證明： 反
2024-01-09 13:22:34
原创 退役划水(27)
確實，怎麼這麼能鴿 一年下來反正也沒少打開過博客園，新建隨筆三四回，但是沒太清楚要寫什麼就又關了 今天打算寫點什麼，硬編也得編出點東西來 已經變成無趣、衰老、愚鈍、油膩還貧窮的中年大叔了，沒辦法的事 這一年好像什麼也沒幹，大一好歹還
2023-11-22 13:16:16
原创 退役划水(26)
又斷了倆月 這次確實不能說是很忙 感覺每次寫博客都是這樣：很忙的時候想寫但沒時間寫，不忙的時候生活中又沒什麼可以說的事情結果什麼也沒寫 經歷過的要緊的事，時間都過去了太久，反而沒有太多可說的 今年對大家都產生了比較大的影響的就是疫情以及
2023-01-30 13:18:33
原创 退役划水(25)
或許是個季度總結。 三個月沒詐屍了，詐一下。 感覺偶爾記錄點東西是個好習慣，以後回來看看也會有點感悟。 所以勞煩各位看到我半個月或者一個月沒更新了，隨便找個評論區打我就行，我開郵件提醒了會收到通知。 但是沒了ACM，生活中其實沒有太多值
2022-11-13 13:15:45
原创 退役划水(24)/2022 MetaCamp程序設計大賽線上初賽2
引流封面圖（？） 差點忘了。寫到後邊纔想起來，於是回來補上 上一次的密碼似乎並沒有人去破譯，於是就把解答附上吧 （其實不算是密碼學？） （我連負號都沒刪，一堆負數給人的感覺不就是…） （爲什麼刪了逗號？因爲我把字符串輸入再輸
2022-08-11 13:15:50
原创 退役划水(22)/一道題的題解以及這道題加強版的題解以及這道題加強版的加強版的題解徵集
開篇是一些扯淡，如果你想看的是那道題，直接往下翻到沒有圖片的地方就好（有兩條分界線的地方） 高產之後閱讀量下滑了（不如不更） 但是還是記錄一下生活（一些個流水賬） 上一篇博客沒多少人讀，可能是讀的比較粗也可能是發現了也懶得破譯也可能是
2022-08-09 13:31:01
原创 退役划水(21)
本來沒什麼要說的 但決定緊跟時事隨便水點內容 （自從博客閱讀量到了10萬之後就沒啥事來氵博客了） 換板子初體驗（我是rks3.77小萌新） 換不換板子，combo倒是都斷的挺均勻 挺勁爆的消息，也算是名曲了，等着打 （明明上
2022-08-06 13:15:55
原创 退役划水(20)
細心的同學可能已經發現怎麼從18直接跳到20了? 更細心的同學可能已經發現怎麼從18直接跳到20了。 想更博客，但一時半會不知道寫點什麼 熬過了難熬的節日（爲什麼要有這種節日） 然後在節日的最後一分鐘發了一條說說： 4368726F6E
2022-08-05 13:15:41
原创 CodeTON Round 2/退役划水(18)
這一篇沒什麼意思，就是自己做了場CF的比賽玩玩 日常做點小水題 防止腦子生鏽 不得不說還是CF題有意思 題面放上面，題解放下面，感興趣的可以想一想 A. Two 0-1 Sequences 題意：給你一個起始01串和一個目標01串。你每
2022-08-02 13:16:31
原创 ICPC EC-Final遊記/退役划水(17)
前言 你們真的好能頹啊！怎麼就寫了兩行就有上百閱讀量了（ 於是重新開了一篇來寫，就當刷新一下評論區了 （退役划水cnt強行++） 背景 其實我本來是有小學期課的，一看賽程，要耽誤3天的課 於是去問老師，老師說作業必須線下交，然後
2022-07-29 13:15:57
原创 退役划水(15)
來寫博客！不摸魚你還是人嗎 最近出了各種各樣的倒黴事，解決就廢了半天功夫 實在是物理吐槽…不過還是說說吧，發發牢騷 首先還是那個大程的隊友的事情…擺就擺吧 當時我不知道他這麼擺所以我就沒當組長，結果就出現了組長是擺的情況 然後很多材料都
2022-06-09 13:17:38
1
原创 退役划水(14)
半夜了，隨便寫點什麼 多好的週末啊，人家的週末在幹什麼？ 去教高考補習課，$2$小時無成本淨撈$500r$ 然後快樂地打打遊戲結束美好的一週 我在幹什麼呢？ 週四下午：在自習室，寫微積分作業，結果QQ有人一直找我嘮，沒寫完 週四晚上：在宿舍
2022-05-23 13:15:51
原创 退役划水(13)
上一篇看起來瀏覽量已經比之前少很多了 很好，那這裏就是我的樹洞了 頭疼 感覺有一條細鐵絲穿顱而過，輕微一動整個大腦就疼到麻痹 上週三接到一個DDL，這週三要做一個pre的展示 我很積極地拿了一個看起來比較好講的話題“模糊控制” 然後
2022-05-19 13:16:49
原创 退役划水(12)
今天我這個沉沒了八百年的博客突然得到了一條評論 想起來回來看看。上次有人光顧，已經是兩個多月前了 過往真的越來越遠了啊 即便說着，$OI$是心頭的痛，其實漸漸也就淡忘了，麻木了 現在還在打競賽的學弟學妹們，大概還在激情還能夠燃燒的階段
2022-05-17 13:15:50