POJ 3020 Antenna Placement:二分圖最小路徑覆蓋 = 城市數 - 最大匹配
問題描述 N×M 網格,* 代表城市,o 代表空地。天線覆蓋兩個相鄰(上下左右)城市。求最少天線數覆蓋所有城市。 建模:二分圖最小路徑覆蓋 將每個城市作為節點
HDU 4952 Poor Mitsui:貪心相鄰交換法證明最優處理順序
問題描述 有 n 項任務,每項有 a_i (處理時間) 和 b_i (懲罰係數)。初始容量 V。處理任務 i 時,若當前容量 v ≤ a_i 則失敗。否則容量變
UVA 10271 Chopsticks:筷子配對 DP,從長到短決策避免第三根干擾
問題描述 N 根筷子(長度已知),需配成 K 對。每對取兩根 A, B (A ≥ B) 和一根任意 C,壞度 (A-B)²。求總壞度最小值。N ≤ 5000,
UVA 657 The die is cast:雙重 BFS 識別骰子與點數
問題描述 給定字符圖 (w×h ≤ 50×50):. 背景,* 骰子體,X 點。骰子與點都是 4-連通區域。點在骰子內部。求每個骰子的點數,升序輸出。 雙重
Maven Assembly Plugin 實戰:將 Spring 控制台應用打包為可部署分發包
使用場景 Maven 管理的非 Web 項目(如 Quartz 定時任務、後台服務),需打包為含依賴 JAR、配置文件、啟動腳本的分發壓縮包(zip/tar.g
HDU 4908 BestCoder Sequence:中位數為 m 的子數組計數,前綴和 + 偏移數組技巧
問題描述 給定長度 n 排列(1..n)和一個值 m,求有多少連續子數組的中位數等於 m。中位數定義:長度為奇數時中間元素;偶數時較小的中間元素(即第 (len
POJ 1087 A Plug for UNIX:最大流建模解決轉接頭匹配問題
問題描述 有 m 種設備插座類型,n 個設備(各需一種插座),k 種轉接頭(有向:類型 A → 類型 B)。每個牆面插座只能接一個設備(直接或經轉接)。求最多能
UVA 11714 Blind Sorting:比較樹高度與信息論下界
問題描述 給定 n 個互不相同的數,只能通過兩兩比較。求在最壞情況下,找出最大值和第二大值所需的最少比較次數。 信息論下界與比較樹 每次比較獲得 1 bit
對 Data Race Free 的深度理解:動機、定義、同步語義與優化空間
DRF 的核心動機 現代硬體/編譯器為了性能,會對內存訪問進行重排、緩存、投機執行等優化,導致執行順序偏離程序順序(違反 SC)。但程序員習慣按 SC 推理程序
UVA 10655 Contemplation! Algebra:矩陣快速冪求 a^n + b^n
問題轉化 給 p = a+b, q = ab, n,求 a^n + b^n。a, b 可能為複數,但對稱多項式可用整數遞推。 遞推關係推導 設 f(n) =
UVA 14000 Lighting System Design:DP 優化燈具電壓選型成本
問題描述 n 類燈具,每類有電壓 V、電源成本 K、單燈成本 C、數量 L。可用高電壓燈替換低電壓燈(反之不行)。每種電壓若使用需買一個電源(可無限供電)。求最
Composer 自動加載機制深度解析:PSR-4、PSR-0、ClassMap、Files 四大策略
Composer Autoload 核心流程 Composer 安裝依賴後生成 vendor/autoload.php,引入它即可自動加載所有第三方類。核心類
Data Race Free 的前世今生:從順序一致性到弱排序,再到 Java/C++ 內存模型基石
歷史演進脈絡 1979 Lamport:提出 Sequential Consistency (SC) — 多處理器執行結果等價於某種單線程交錯順序,且每線
UVA 11149 Power of Matrix:矩陣倍增求冪和 Σ A^i
問題描述 給定 N×N 矩陣 A (N ≤ 30) 和整數 K,求 S = A + A² + ... + A^K (模 10)。K 可達 10^9,直接疊加不可
UVA 1025 A Spy in the Metro:時間擴展圖 + DP 求最小等待時間
問題建模 地鐵單線 N 站,雙向行駛。相鄰站間固定行車時間 t[i]。給定從 1 號站出發的列車時刻表 M1 班,從 N 號站出發的 M2 班。特工從站 1 出
Codeforces 38G Queue:伸展樹維護隊列順序,插入位置由優先級與厚臉皮決定
問題描述 n 人依次入隊。每人有 優先級 a 和 厚臉皮 b 前一人,則交換位置,b--。繼續向前交換直到 b=0 或到隊首。求最終隊列順序(輸出原始編號)。
二階段提交協議(2PC)在高併發分布式轉賬系統中的工程實踐
系統需求與架構 模擬銀行跨行轉賬:公司 ABC 作為交易管理器,協調 中國銀行 (BoC)、建設銀行 (CCB)、銀監會 (CBRC) 三方完成扣款、存款、記賬
C++ 設計模式:抽象工廠模式深度解析(一)—— 產品族與產品等級結構
動機:從單一產品到產品族 工廠方法模式針對單一產品等級結構(如只生產電視機)。但現實中,工廠往往生產多個相關產品(電視機、冰箱、空調),構成產品族。抽象工廠模式