原创 用mips彙編實現哈密爾頓迴路
用mips彙編實現哈密爾頓迴路. 哈密頓迴路是一個非常經典的問題 題目難度不大，雖然是np的但是隻需要你寫一個非多項式的實現算法。 我們先回顧一下怎麼用c++實現 #include <bits/stdc++.h> #define RE
2020-06-20 22:41:39
原创 表達式解析和表達式求導面向對象
表達式解析和表達式求導 Differential Homework 形式化描述 對表達式做求導 設定的形式化表述 表達式 →\rightarrow→ 空白項 [加減 空白項] 項 空白項 | 表達式 加減 空白項 項 空白項 項
2020-03-05 06:17:42
原创 組合數學——第一講
排列與組合 基本原理 加法原理 {S1,S2,⋯ ,Sn}\{ S_1 , S_2, \cdots , S_n\}{S1,S2,⋯,Sn} is a partition of SSS then : ∣S∣=∑i=1n∣Si
2020-03-05 06:17:42
原创 鴿巢原理
Pigeonhole principle EXT : Pigeonhole Principle Let q1,q2,⋯qnq_1,q_2,\cdots q_nq1,q2,⋯qn be positive integer,
2020-03-05 06:17:42
1
原创 JML使用基礎——利用openjml和JMLunit聯合操作——SMT solver驗證
目錄 從DBC到JML SMT solver 使用 JML toolchain的可視化輸出 和我的測試結果 規格的完善策略 架構設計 debug情況 心得體會 一、從DBC到JML 契約式設計（Design by Contr
2019-06-11 13:45:57
1
原创 SGU109 各類構造法 【副對角線法】【染色法】
【SGU109】 世界著名的魔術師大衛科波菲爾（David Copperfield喜歡）給人們看這個把戲：一個N*N的的有着不同顏色塊的圖片在電視屏幕上，讓我們給整張圖片按照下面的方式編號 1 2 .
2018-09-03 07:29:43
原创 淺談歐拉回路與歐拉路徑
§概念 歐拉環：圖中經過每條邊一次且僅一次的環； 歐拉路徑：圖中經過每條邊一次且僅一次的路徑； 歐拉圖：有至少一個歐拉環的圖； 半歐拉圖：沒有歐拉環，但有至少一條歐拉路徑的圖。基圖：對一個圖而言把所有邊視
2018-09-03 07:29:40
5
原创 來自不同領域的問題與思考
做爲一個OIer，當然要接受各個領域的奇怪的問題。個人水平有限，僅僅思考了幾個極其簡單的問題。 【數學】 已知 x+y+z,x^2+y^2+z^2,x^3+y^3+z^3的值 試求x^4+y^4+z^4的值 這個問題是一個極爲簡單的代數
2018-09-03 07:29:40
4
原创 n!最右非零數字
n!最右非零數字 注此文大部分來自luoyuchu的blog + ##Description: 給出正整數N（可能有前導0），請求出N!最右非零的數位的值 + ##Range: n<=10^100 + HDU1066 弱化問題
2018-09-03 07:29:40
原创 SGU 水題集3 SGU116 SGU117 SGU118 SGU119
我又推薦了四道大水題 SGU116 【dp+揹包】 #include <stdio.h> #include <stdlib.h> #define MAX 120005 int prime[1200]={1184,3,5,11,17,31,
2018-09-03 07:29:40
原创 各種感想2014-11-25
進入高中也就半年了。然後這裏有各種感想。 【第一次聯賽】 1.簡單題一定要拿到滿分，儘可能要自己拍！ 2.較難題要想到優化，想各種做法。如果沒什麼思路先寫一個暴力，有思路也儘量寫一個暴力【day1t2,t3就沒有做到這一點】 3.難題要
2018-09-03 07:29:40
3
原创 SGU AC人數排序 可以用來確定刷題順序
SGUAC人數排序，可以作爲刷題的指引！ 相信對大家有幫主 ID title accepted 100 A+B 18349 102 Coprimes 7402 105 Div 3 6672 123 The sum 6017 1
2018-09-03 07:29:38
3
原创 樹鏈剖分
我們看兩個奇怪的鏈接，一個說很高端複雜，一個說低端簡單 不過說些高端複雜的那個真的寫的不錯，基本上我的樹鏈剖分是它教的！【也問了一些人了！】 樹鏈剖分告訴我們能在鏈上做的大體上可以在樹上做！【如果樹變形的話我們可以有LCT or ET
2018-09-03 07:29:38
原创 NOIP 2014 primeの醬油記+題解
【序】 哎呀，這次真的是醬油了一把，這麼水的題還跪了QAQ，特意去求女神安慰TAT。。 【day-7 ~ day-1】 蒽，這段時間在集訓呢！各種跪呀跪Orz，各種挫啊，然後被各種大神的題目虐了惹。（各位大神們怕是從 day-30開始集訓
2018-09-03 07:29:38
原创 SGU111 高精度開方
他們大神說這道題要什麼手工開方 我想說，什麼高端方法都弱爆了！ 壓位高精度+二分答案大法好 下面上我的2B代碼 本來我沒有壓位的呢，結果發現不壓位會TLE 然後我就壓了5位，結果乘法爆int了 然後我就果斷開longlong壓7位(不敢壓
2018-09-03 07:29:38