## 金錢問題

???+note "換零錢（互相整除）"
	給一個長度為 $n$ 的遞增序列 $a_1, \ldots ,a_n$，代表每種硬幣的面額，每種硬幣的數量都有無限個，問最少選幾個硬幣恰能湊出 $k$ 元
	
	$n\le 10^6,a_{i+1}$ % $a_i=0$
	
	??? note "思路"
		例如說 k = 1384，a 是新台幣，那我們就可以附 1 個 1000、3 個 100、1 個 50、3 個 10、4 個 1，但為什麼這樣一定是好的 ?
		
		【引理 1】: 在面額互相整除的情況下，若存在面額 x 的貨幣，且面額在 x 之下的總和超過 x，則必定能夠透過換錢使得面額在 x 以下的貨幣總和不到 x 且使貨幣數量更少
		
		<u>證明</u>: 見<a href="/wiki/basic/greedy/images/換零錢 引理 證明.html" target="_blank">此處</a>
		
		【引理 2】: 在面額互相整除的情況下，盡量使用面額較大的貨幣，可讓使用的貨幣數量最少
		
		<u>證明</u>: 由 【引理 1】 得知，若最佳解未使用盡量大面額的貨幣（也就是，存在一個面額 x，使得面額在 x 以下（不含 x）的貨幣總和超過 x），則必定可以透過換前，使其成為更好的一組解，與最佳解的前提矛盾
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long
	    #define ALL(x) x.begin(),x.end()
	    using namespace std;
	
	    const int MAXN = 1e6 + 5;
	    int n, k, a[MAXN];
	
	    signed main() {
	        cin >> n >> k;
	        for (int i = 0; i < n; i++) {
	            cin >> a[i];
	        }
	        int ans = 0;
	        for (int i = n - 1; i >= 0; i--) {
	            ans += k / a[i];
	            k %= a[i];
	        }
	        cout << ans << '\n';
	    }
		```

???+note "換零錢（不互相整除）[CSES - Coin Combinations II](Coin Combinations II)"
	給一個長度為 $n$ 的遞增序列 $a_1, \ldots ,a_n$，代表每種硬幣的面額，每種硬幣的數量都有無限個，問最少選幾個硬幣恰能湊出 $k$ 元
	
	$n\le 100, 1\le k, a_i\le 10^6$
	
	??? note "思路"
		dp(i) = 是否能湊出 i，去執行類似背包問題就可以了，複雜度 O(nk)

???+note "[TIOJ 1579.來自未來的新台幣](https://tioj.ck.tp.edu.tw/problems/1579)"
	給長度為 $n$，⾯額分別為 $1,5,10,50,100,500,1000,\ldots$ 的錢幣，第 $i$ 個錢幣的數量為 $c_i$，能湊出的金額共有多少種

	$1\le n\le 19$
	
	??? note "思路"
		若小的足以表達大的，就將大的都換成小的。例如 1 元有 5 個，5 元有 2 個，那麼因為 1 * 5 > 5，所以可將 5 都換成 1 元，變成 1 元有 15 個，若 1 元只有 3 個，那麼湊不出來 4，也就不能換了，兩者變成獨立的。
		
		所以我們就依序看大的能不能換成當前最小的即可，最後的答案為 $(c_1 + 1)\cdot (c_2 + 1) \ldots (c_k+1) - 1$
		
		> 參考自 : [PTT](https://www.ptt.cc/bbs/tutor/M.1304705220.A.35E.html)
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long
	    #define pb push_back
	    #define mk make_pair
	    #define F first
	    #define S second
	    #define ALL(x) x.begin(), x.end()
	
	    using namespace std;
	    using pii = pair<int, int>;
	
	    const int INF = 2e18;
	    const int maxn = 3e5 + 5;
	    const int M = 1e9 + 7;
	
	    int a[maxn], cnt[maxn];
	
	    signed main() {
	        int n;
	        cin >> n;
	
	        a[0] = 1;
	        for (int i = 1; i < n; i++) {
	            if (i & 1) {
	                a[i] = a[i - 1] * 5;
	            } else {
	                a[i] = a[i - 1] * 2;
	            }
	        }
	
	        int cur = 0;
	        for (int i = 0; i < n; i++) {
	            cin >> cnt[i];
	            if (i == 0) {
	                continue;
	            }
	            if (a[cur] * cnt[cur] >= a[i]) {
	                cnt[cur] += (a[i] / a[cur]) * cnt[i];
	                cnt[i] = 0;
	            } else {
	                cur = i;
	            }
	        }
	        int ans = 1;
	        for (int i = 0; i < n; i++) {
	            if (cnt[i]) {
	                ans = (ans * ((cnt[i] + 1) % M)) % M;
	            }
	        }
	        cout << (ans - 1 + M) % M << '\n';
	    }  
	    ```

???+note "[CSES - Missing Coin Sum](https://cses.fi/problemset/task/2183)"
	給 $n$ 個錢幣，面額是 $a_1, \ldots ,a_n$，問最小湊不出來的面額是多少
	
	$n\le 2\times 10^5, 1\le a_i \le 10^9$
	
	??? note "思路"
		若小的足換大，則大**必定**要換小，跟上一題一樣，重複直到小不足以換大為止
		
		這邊要注意，跟上一題不同的是，若小的金額跟大的只差一，也是可以將大換小的，例如說 1 元有 4 個，5 元有 1 個，這樣其實 [0, 9] 都湊得出來，所以也是可以把這個 5 元換成 5 個 1 元
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long
	    using namespace std;
	
	    const int INF = 9e18;
	    const int MAXN = 2e5 + 5;
	    int n, m;
	    int a[MAXN];
	
	    signed main() {
	        cin >> n;
	        for (int i = 1; i <= n; i++) {
	            cin >> a[i];
	        }
	        sort(a + 1, a + n + 1);
	        int mx = 0;
	        for (int i = 1; i <= n; i++) {
	            if (a[i] > mx + 1) {
	                cout << mx + 1 << "\n";
	                exit(0);
	            }
	            mx = max(mx, mx + a[i]);
	        }
	        cout << mx + 1 << "\n";
	    }
		```

???+note "[CSES - Missing Coin Sum Queries](https://cses.fi/problemset/task/2184)"
	給 $n$ 個錢幣，面額是 $a_1, \ldots ,a_n$，有 $q$ 筆詢問:
	
	- $\text{query}(l,r):$ 問只能使用 $a_l, \ldots ,a_r$，最小湊不出來的面額是多少
	
	$n,q\le 2\times 10^5, 1\le a_i \le 10^9$
	
	??? note "思路"
		假如說我目前能湊出 [1, x] 的這些數字，代表我們足以表達面額為 x + 1 的硬幣，可將 x + 1 的硬幣金額都加過來，假如說是 c，則能湊出的數字範圍就變成了 [1, c]，若此時 x = c，代表已經產生一個 gap 了，沒辦法再換，答案即為 x + 1。舉例來說我現在能湊出 [1, 4]，可表達 4 + 1 = 5 元，但 5 元沒有，所以最小湊出來的就是 5 元。
		
		更具體一點的例子，假如說 a = [1, 1, 3, 3, 5, 8, 25, 30, 40]，當前 <= 1 的硬幣加起來是 2，所以我足以表達 2 + 1 = 3，而 <= 3 的硬幣加起來是 8，代表我們足以表達 8 + 1 = 9，而 <= 9 的硬幣加起來是 21，代表我們足以表達 21 + 1 = 22，而 <= 22 的硬幣加起來是 21，沒辦法再換了
		
		所以我們需要一個資料結構來快速 query(L, R, v): 詢問在 L, R 數字介於 1, v 的總和，這可以將 point(i, a[i]) 打在二維平面上，問題就變成詢問一個矩形區域。這可以用持久化線段樹紀錄 n 個版本，在 seg[R] - seg[L - 1] 上詢問就好了
		
		因為換錢每次的金額幾乎是倍增的（不是每一項都倍增，是隔兩項倍增），所以複雜度為 O(n * log C * log n)

???+note "[CF 1303 D. Fill The Bag](https://codeforces.com/contest/1303/problem/D)"
	給一個長度為 $m$ 的序列 $a_1, \ldots ,a_m$，$a_i$ 都是 2 的冪次。每次操作可將一個 $a_i$ 拆兩半，問最少幾次操作才能挑一些 $a$ 裡面的元素來組成 $n$
	
	$m\le 10^5, 1\le n\le 10^{18}, 1\le a_i \le 10^9$
	
	??? note "思路"
		以二進制的角度來考慮此題，將 $m$ 以二進制表示，我們的目標就是要讓 $m$ 的二進制裡的每一個 1 都有被貢獻，有兩個觀察:
		
		- 可將高位分解成低位（在 $a_i$）
	
		- 高位能由低位組成
	
		從大到小考慮的話，若高位不夠借，那我就必須從低位借，這樣又要處理左邊又要處理右邊很麻煩。不如我們從小到大考慮，若低位不夠用則需要跟最近的高位借，將高位分解成低位使用，在過程中將低位換成高位，這樣實作起來就很順了
		
		也可以將低位目前的金額總和記錄起來，令他為 sum，若發現 sum 大於當前位元 2^i，則可將 sum -= 2^i。若覺得有點困惑，這是應用到換錢問題的引理，可見<a href="/wiki/basic/greedy/images/換零錢 引理 證明.html" target="_blank">此處</a>查看證明。
		
	??? note "code"
		```cpp linenums="1"
		#include <iostream>
	    #include <map>
	    #include <cstring>
	    using namespace std;
	
	    int t, m, cnt[65];
	    long long n, a, total, ans;
	    map <int, int> mp;
	
	    int main() {
	        cin >> t;
	        for (int i = 0; i < 60; i++) {
	            mp[(1LL << i)] = i;
	        }
	        while (t--) {
	            cin >> n >> m;
	            total = 0;
	            memset(cnt, 0, sizeof(cnt));
	            for (int i = 0; i < m; i++) {
	                cin >> a;
	                total += a;
	                cnt[mp[a]]++;
	            }
	            if (total < n){
	                cout << -1 << "\n";
	                continue;
	            }
	            ans = 0;
	            for (int i = 0; i < 61; i++) {
	                if (n & (1LL<<i)) {
	                    for (int j = i; j <= 60; j++) {
	                        if (cnt[j]) {
	                            ans += j-i;
	                            cnt[j]--;
	                            for (int k = j-1; k >= i; k--) {
	                                cnt[k]++;
	                            }
	                            break;
	                        }
	                    }
	                }
	                cnt[i+1] += cnt[i]/2;
	            }
	            cout << ans << "\n";
	        }
	    }
	    ```

## 交換法

???+note "[APCS 物品堆疊](https://zerojudge.tw/ShowProblem?problemid=c471)"
	給 $n$ 個物品，第 $i$ 個物品有權重 $w_i$ 與頻率 $f_i$。你要把 n 個物品堆成一疊，對於每個物品所需要花的能量是 $f_i\times$ 在這個箱子上方的箱子重量總和。計算在最好的疊法的情況下，最少需要花多少能量
	
	$n\le 10^5, 1\le w_i, f_i \le 1000$
	
	??? note "思路"
		如何判斷最底下的兩個是否需要交換？ 對於兩個物品 i, j，假設 (w[i], f[i]) 放在最底下是最好情況，w[i] * f[j] 和 w[j] * f[i] 必然有其一會被計算答案中，greedy 選擇小的可得到最佳解。代表 
		
		w[j] * f[i] < w[i] * f[j]
		
		⇒ w[j] / f[j] < w[i] / f[i]
		
		若 w[j] / f[j] < w[i] / f[i]，則 i 放在底下比較好

???+note "[CF 559 B. Equivalent Strings](https://codeforces.com/problemset/problem/559/B)"
	給兩個長度相同的字串 a, b，兩個次串「相等」若且唯若符合以下條件之一
	
	- a 與 b 相同
	
	- 將 a, b 各自分成兩半，兩半對應「相等」
	
	$|a|=|b|\le 2\times 10^5$
	
	??? note "思路"
		我們對於兩個字串 a, b 分別進行 reorder，利用分治，每次都 Greedy 的使字典序比較小的那一半在前面，最後看 a, b reorder 出來有沒有長的一樣
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long
	    using namespace std;
	
	    string s1, s2;
	
	    string dc(string s) {
	        if (s.size() & 1) return s;
	        string a = dc(s.substr(0, s.size() / 2));
	        string b = dc(s.substr(s.size() / 2));
	        return a < b ? a + b : b + a;
	    }
	
	    signed main() {
	        ios::sync_with_stdio(0);
	        cin.tie(0);
	        cin >> s1 >> s2;
	        string ra = dc(s1);
	        string rb = dc(s2);
	        if (ra == rb) {
	             cout << "YES\n";
	        } else {
	            cout << "NO\n";
	        }
	    }
	    ```

## 霍夫曼編碼

???+note "問題"
    有好幾種字元，給定每種字元的出現頻率 freq[i]，給每個字元定義一個 prefix code $s_i$，讓 WPL $=\sum |s_i| \times freq_i$ 最小化。其中 prefix code 的定義是每種字元用一個 0/1 字串來表達，且互相不是 prefix

作法: 每次合併兩個頻率最小的字元，想成是一顆 binary tree，其中葉節點就是我們的字元，這正好符合了「互相不是 prefix」的條件（不能是祖先關係）

例如說有 4 個點（字元）a、b、c、d，他們的 freq 分別為 7、5、2、4。則我們的構樹過程如下: 

<figure markdown>
  ![Image title](./images/11.png){ width="500" }
</figure>

若需要構造的話，從 root 開始，往左分配 0 的編碼，往右分配 1 的編碼，每個 leaf 的編碼就是從 root 到自己的編碼串起來。
		
???+note "k 叉哈夫曼樹 [洛谷 P2168  [NOI2015]荷马史诗](https://www.luogu.com.cn/problem/P2168)"
	有 $n$ 種字元，第 $i$ 種出現次數為 $w_i$。要用 $k$ 進制的字串 $s_i$ 來代替第 $i$ 種字元，使得:

    - 對於任意的 $1 \le i, j \le n$，$i\neq j$，$s_i$ 都不是 $s_j$ 的前綴
    
    問重新編碼後的字串最短長度，與最長的 $s_i$ 最短可以是多少
    
    $n \le 10^5, k \le 9$
    
    ??? note "思路"
    	當 $k=2$ 時，就是 Huffman Code 裸題。$k>2$ 的 case，若直接 Greedy 的合併，在最後一次的循環時，Heap 的大小在 $2\ldots k-1$（不足以取出 $k$ 個），那麼整個 Huffman Tree 的 root 的節點個數就會小於 $k$，此時若將一些深度最大的 leaf 拔掉，接到 root 的下方，會使答案變小（若不取深度最大的，則將深度最大的拔起來接到空出來的位置更優）。所以最後的 Huffman Tree 就長成: 所有點的小孩都是滿的，除了最深的一個 internal node 會空出一些位置。具體做法有兩種
    
        1. 我們可以先將 $2+(n-2)\% (k-1)$ 個節點合併（即形成最深的 internal node），剩下的每次合併 $k$ 個節點即可
        2. 我們補一些額外 $w_i=0$ 的點，這樣這些點就會填滿空出的位置，而且又不影響答案。因為每次會合併 k 個點，形成一個點，所以相當於一次少 k - 1 個點，經過多次的合併後我們希望剩下一個點（例如 n = 5, k = 5，一次合併後少了 5 個點，但多了 1 個點，所以是 ok 的），所以得到 n % (k - 1) = 1 時可以完整的合併，我們也就是要補點直到 n % (k - 1) = 1。
    
        那麼第二個答案其實就直接看樹的高度即可。如果有一個點可以移動到比較小的深度（也就是讓樹的高度變小），那麼字串長度總和也會跟著變小，跟最佳解條件矛盾。
        
    ??? note "code"
    	```cpp linenums="1"
    	// Code by KSkun, 2018/7
        #include <cstdio>
        #include <cctype>
        #include <cstring>
    
        #include <algorithm>
        #include <vector>
        #include <queue>
    
        typedef long long LL;
    
        inline char fgc() {
            static char buf[100000], *p1 = buf, *p2 = buf;
            return p1 == p2 && (p2 = (p1 = buf) + fread(buf, 1, 100000, stdin), p1 == p2)
                ? EOF : *p1++;
        }
    
        inline LL readint() {
            register LL res = 0, neg = 1; register char c = fgc();
            for(; !isdigit(c); c = fgc()) if(c == '-') neg = -1;
            for(; isdigit(c); c = fgc()) res = (res << 1) + (res << 3) + c - '0';
            return res * neg;
        }
    
        const int MAXN = 100005;
    
        int n, k;
    
        typedef std::pair<LL, LL> PII64;
        std::priority_queue<PII64, std::vector<PII64>, std::greater<PII64> > pq;
    
        int main() {
            n = readint(); k = readint();
            for(int i = 1; i <= n; i++) {
                LL w = readint();
                pq.push(PII64(w, 0));
            }
            while(k > 2 && n % (k - 1) != 1) {
                pq.push(PII64(0, 0)); n++;
            }
            LL ans1 = 0, ans2 = 0;
            while(pq.size() > 1) {
                PII64 res(0, 0);
                for(int i = 1; i <= k; i++) {
                    res.first += pq.top().first;
                    res.second = std::max(res.second, pq.top().second + 1);
                    pq.pop();
                }
                ans1 += res.first;
                ans2 = std::max(ans2, res.second);
                pq.push(res);
            }
            printf("%lld\n%lld", ans1, ans2);
            return 0;
        }
    	```


???+note "[CF 1882 C. Card Game](https://codeforces.com/contest/1882/problem/C)"
	給一個長度為 $n$ 的陣列 $a_1, \ldots ,a_n$，每次操作可以 :
	
	- 移除一個奇數項，得分加上 $a_i$
	
	- 移除一個偶數項
	
	每次操作完後陣列都會 reindexed。可以做任意次操作，問最大得分
	
	$n\le 2\times 10^5, -10^9 \le a_i \le 10^9$
	
	??? note "思路"
		令 a 為要取的 odd 項，b 為要取的 even 項。例如陣列是 a..b.bab...b..a..b，我們可以先取最後的 a，這樣後面的 b 就會變 odd，再由後往前取，然後重複這個步驟，就可以取完。但可能會有一個 case 例如 .b.b.bab...b，這樣最前面的三個 b 無論如何都是沒辦法取的，必須捨棄，我們必須在前面再取一個才能讓這三個 b 取到。
		
		所以我們得到了一個 greedy 的結論，將 $i$-th 移除，我們可以得到 $\sum\limits_{j>i} \max (0, a_j)$，若 i 為 odd 可以再加上 a[i]。所以枚舉第一個選的，然後將 ans 與他的答案取 max
		
	??? note "code"
		```cpp linenums="1"
		cin >> n;
		for (int i = 1; i <= n; i++) {
			cin >> a[i];
		}
		long long s = 0;
		for (int i = n; i >= 1; i--) {
			if (i & 1) {
				ans = max(ans, s + a[i]);
			} else {
				ans = max(ans, s);
			}
			s += max(a[i], 0);
		}
		printf("%lld\n", ans);
		```

???+note "[CSES - Programmers and Artists](https://cses.fi/problemset/task/2426)"
	給你 $n$ 個 pair$(x_i,y_i)$，要你選這些 pair 裡面的 $a$ 個 $x$ 跟 $b$ 個 $y$，且同一個 pair 中的 $x$ 和 $y$ 不能同時挑，問總和最大是多少
	
	$n\le 2\times 10^5$
	
	??? note "思路"	
		先考慮 $a+b=n$ 的情況，這等同於假設我們把所有的 $x$ 都選，我們再選前 $b$ 大的 $(y-x)$。也就是說我們拋棄掉了 $b$ 個 $x$ 但得到了 $b$ 個 $y$ 而且賺最多。

    	回歸問題，我們把這些 pair 用 $x$ 大到小拿去 sort，在最佳解的情況時，一定會存一條分界線，使左邊每一項都選 x 或 y，然後右邊只選 y。左邊的部分就是我們上面提到的問題，枚舉 pre[i] 代表前 $i$ 個選 $a$ 個 $x$ 剩下選 $y$。suf[i] 則代表 pre[i - 1] 選完後再繼續選 $y_i\sim y_n$ 的 $y$，直到 $y$ 有 $b$ 個。
    	
    	<figure markdown>
          ![Image title](./images/21.png){ width="400" }
        </figure>

		> ref: [my github](https://github.com/yozen0405/c-projects/blob/main/markdown/2426.md)
        
    ??? note "code"
    	```cpp linenums="1"
    	#include <bits/stdc++.h>
        #define int long long
        #define x first
        #define y second

        using namespace std;

        const int MAXN = 3e5 + 5;
        int n;
        int a, b;
        int pre[MAXN], suf[MAXN];

        struct Node {
            int x, y;
            bool operator<(const Node &rhs) const {
                return x > rhs.x;
            }
        };

        void build_pre(vector<Node> &v) {
            priority_queue<int> pq;
            int sum = 0;
            for (int i = 1; i <= a; i++) {
                pq.push(v[i].y - v[i].x);
                sum += v[i].x;
                pre[i] = sum;
            }
            for (int i = a + 1; i <= a + b; i++) {
                pq.push(v[i].y - v[i].x);
                sum += pq.top();
                pq.pop();
                sum += v[i].x;
                pre[i] = sum;
            }
        }
        void build_suf(vector<Node> &v) {
            priority_queue<int> pq;
            int sum = 0;
            for (int i = n; i > a + b; i--) {
                pq.push(v[i].y);
            }
            for (int i = a + b; i >= a + 1; i--) {
                pq.push(v[i].y);
                sum += pq.top();
                pq.pop();
                suf[i] = sum;
            }
        }
        signed main() {
            cin >> a >> b >> n;
            vector<Node> v(n + 1);
            for (int i = 1; i <= n; i++) {
                cin >> v[i].x >> v[i].y;
            }
            sort(v.begin() + 1, v.end());
            build_pre(v);
            build_suf(v);
            int ans = 0;
            for (int i = a; i <= a + b; i++) {
                ans = max(ans, pre[i] + suf[i + 1]);
            }
            cout << ans << '\n';
        }
        ```

???+note "[JOI Final 2022 選舉](https://loj.ac/p/3664)"
	有 $n$ 個州，若在第 $i$ 個州演講 $a_i$ 小時可獲得一張選票，若演講 $b_i$ 小時可獲得一位協作者。多一個協作者就可讓時間加速兩倍，問要獲得 $k$ 張選票的最小耗時
	
	$k\le n\le 500, 1\le a_i\le 1000, a_i\le b_i\le 1000$ 或 $b_i=-1$
	
	??? note "思路"
		容易想到一個錯誤的貪心: 
		
		- 按照 $b_i$ 小到大排序
		
		- 枚舉分界線
			- 前面都選 $b_i$
	
			- 後面選最小的幾個 $a_i$
		
		但會發現，可能一些選中的 $b_i$ 對應的 $a_i$ 很小，這時，我們挑選這些 $a_i$，可能會更好。舉例來說:
		
		```
		a   b
		------
		1   99
		99  100
		100 101
		```
		
		這時若我們以 b, b, a 的方式挑，耗時 $99+100/2+100/4=174$ 小時，但若我們以 a, b, a 的方式挑耗時 $1/2+100/2+100=150.5$，更優。
		
		所以就變成: 
		
		- 按 $b_i$ 小到大排序
	
		- 枚舉分界線: 
			- 分界線前，對於每一個要馬選 $a_i$，要馬選 $b_i$ → dp
	
			- 對於後面，選 $a_i$ 最小的 $k-i$ 個 → 預處理

## 均分紙牌

???+note "[洛谷 P1031 [NOIP2002 提高组] 均分纸牌](https://www.luogu.com.cn/problem/P1031)"
	給 n 堆石頭，每次可以從一堆拿取若干個放到相鄰的一側，問最少次數使每堆個數皆相等
	
	$n\le 100, 1\le a_i\le 10^4, \sum a_i$ 為 $n$ 的倍數
	
	??? note "思路"
		我們可以先得到一個 difference 序列 c[i] = avg - a[i]
		
		從 i = 0...(n - 1)，若 c[i] != 0，則將 c[i + 1] += c[i]，操作次數 +1

???+note "[CSES - Food Division](https://cses.fi/problemset/task/1189)"
	有 $n$ 個人圍成一圈，第 $i$ 個人目前的分數為 $a_i$，期望分數為 $b_i$。每次操作能讓一個人分一單位的分數給相鄰的人，問最少幾次操作，使每個人都答到自己的期望分數。

	$n\le 2\times 10^5, 0\le a_i,b_i\le 10^6$
	
	??? note "思路"
		我們可以先得到一個 difference 序列 $c$，使 $c_i=a_i-b_i$，這樣問題就變成: 給一個陣列，每次可移動一單位的分數，最少幾次使滿項都變 $0$。
		
	    先限制題目給的是陣列，從第一項開始，我們可以利用跟右邊借的方式，來讓每一項都變成 0。
	
	    ```
	    ex1:
	    [5 -3 -1 4 -3 -2]
	    [0 2 -1 4 -3 -2] +5
	    [0 0 1 4 -3 -2] +2
	    [0 0 0 5 -3 -2] +1
	    [0 0 0 0 2 -2] +5
	    [0 0 0 0 0 0] +2
	    cost = 5+2+1+5+2
	
	    ex2:
	    [-7 2 -1 2 4]
	    [0 -5 -1 2 4] 7
	    [0 0 -6 2 4] 5
	    [0 0 0 -4 4] 6
	    [0 0 0 0 0] 4
	    cost = 7+5+6+4
	    ```
	
	    這其實就是在做一個前綴和，而 cost 就是 $\sum \limits_{i=1}^n |pre_i|$，回到環的問題，我們發現一定存在一個邊，斷掉後還是能達到最佳解（見下方）。所以現在就是要暴力枚舉要切在哪，會有 n 個可能的一維問題，因為是環，所以我們可以先列出一個長度為 2n 的陣列，那麼對於一個長度為 n 的區間 [l, r]，答案就是 $\sum |pre_i-pre_{l-1}|$，這個可以用線段樹來維護。
	
	    ```
	    a   [-7   2  -1   2  4  -7   2  -1   2  4]
	    pre  -7  -5  -6  -4  0  -7  -5  -6  -4  0 
	    ```
	
	    其實觀察可發現，長度為 n 的區間所形成的 $pre_i$ 的集合都是一樣的，而且 $pre_{l-1}$ 也是這個集合的其中一個數字，所以根據數學，選集合內的中位數就會是最好的。



        我們想證明: 每個 node 出去 & 進來的量不變的前提下，把一條 edge 的流量變成 0
    
        對於一條邊先將流量 -1，那依序:
    
        - 若對於一個點兩邊流向都是相同的，則兩邊都一起 +1 or -1，使得流出去的總量（差值）不變
    
        - 若對於一個點兩邊的流向是相反的，則一邊 +1，一邊就要 -1，反之亦然，使得流出去的總量（總和）不變
    
        <figure markdown>
          ![Image title](./images/16.png){ width="300" }
        </figure>

???+note "[JOI Final 2019 硬币收藏](https://loj.ac/p/3013)"
	有一個二維座標平面，有 $2n$ 個硬幣，第 $i$ 個在 $(x_i, y_i)$。要將所有的硬幣放到 $1 \le x \le n, 1\le y\le 2$ 的區域中，每格恰好放一個，可將硬幣用曼哈頓距離移動，問最少移動次數
	
	$n\le 10^5, -10^9\le x_i, y_i\le 10^9$
	
	??? note "思路"
		每個點都直接走到最近的範圍內的點上，以範例測資來說就是像下圖
		
		<figure markdown>
	      ![Image title](./images/15.png){ width="300" }
	    </figure>
	    
	    問題就變成要將範圍內的點平均分配，我們先考慮一維的作法，也就是從左到右看目前剩下多少，假設是 x，那就將 x 單位都移到右邊那格，移動次數 += |x|，回到原本的問題，我們就只要多考慮上、下的移動即可。具體來說就是從枚舉 i = 1...n，對於第 i 列的兩個格子 (i, 1) 和 (i, 2)，先內部把缺少/多餘的硬幣消化掉，然後留下最少的那幾個硬幣往下一個列的對應格子累加，同時將答案累加其中的步數即可，詳見代碼。
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long
	
	    using namespace std;
	
	    const int MAXN = 1e5 + 10;
	    int cnt[MAXN][3], n;
	
	    signed main() {
	        cin >> n;
	        int ans = 0;
	        for (int i = 1; i <= 2 * n; i++) {
	            int x, y, xpos, ypos;
	            cin >> x >> y;
	            if (x < 1) {
	                xpos = 1;
	            } else if (x > n) {
	                xpos = n;
	            } else {
	                xpos = x;
	            }
	            if (y < 1) {
	                ypos = 1;
	            } else if (y > 2) {
	                ypos = 2;
	            } else {
	                ypos = y;
	            }
	            cnt[xpos][ypos]++;
	            ans += abs(xpos - x) + abs(ypos - y);
	        }
	        int up = 0, down = 0;
	        for (int i = 1; i <= n; i++) {
	            up += cnt[i][1] - 1;
	            down += cnt[i][2] - 1;
	            // 上, 下調整
	            if (up > 0 && down < 0) {
	                int moved = min(-down, up);
	                up -= moved;
	                down += moved;
	                ans += moved;
	            } else if (up < 0 && down > 0) {
	                int moved = min(down, -up);
	                up += moved;
	                down -= moved;
	                ans += moved;
	            }
	            // 左右調整
	            ans += abs(up) + abs(down);
	        }
	        cout << ans << '\n';
	    }
	    ```

???+note "[USACO 2016 FEB Circular Barn G](https://www.luogu.com.cn/problem/P6170)"
	有一個長度為 $n$ 的環，第 $i$ 個位置有 $a_i$ 頭牛，環上總共有 $n$ 頭牛。一頭牛若開始與結束經過了 $d$ 格，則花費 $d^2$。問每個位置恰有 1 頭牛的最小花費是多少。
	
	$3\le n\le 10^5$
	
	??? note "思路"
		首先我們像上面的題目一樣，對於每一格求出我們真正需要多少，也就是 a[i] -= 1，再來我們應該去想如何找一個好的起點，確保這個起點開始往後能夠填滿所有空位（精確一點來說就是以這個好的起點順時針繞一圈，任意時刻前綴和都必須 >= 0），因為我們發現如果我們最怕的就是把牛移著移著就不夠了。這其實有點類似<a href="/wiki/graph/sp/#_9" target="_blank">全國賽 2021 pC</a>非負環的性質，就是我們要挑一個最大的 suffix。
		
		<figure markdown>
	      ![Image title](./images/19.png){ width="300" }
	    </figure>
	    
	    所以我們現在該想如何移動牛群比較好，我們發現有一個性質：如果有 $1$ 頭奶牛在 $a$ 點，$1$ 頭奶牛在 $b$ 點，還有一個沒有奶牛的 $c$ 點，且 $c > b > a$，要想有一頭奶牛在 $b$ 點，一頭奶牛在 $c$ 點，方案 $a\to b, b\to c$ 比方案 $a\to c$ 好。簡單來說就是要讓越早開始移動的奶牛越快就定位，然後讓在當前位置上新的奶牛開始移動。我們定義目前開始移動，但還沒就定位的奶牛叫做「牽著走」。可以用隊列（queue）儲存所有牽著走的奶牛的 index，到了一個位置時，若這個位置 a[i] = -1，則挑隊列中最早被牽著走的留在該位置，也就是 q.front()，其他的繼續牽著走，往後看；否則我們有一個名額可以讓一頭奶牛就定位（因為一個位置最多只能留下一個），其他的繼續往後遷，此時我們一定會挑隊列中最早被牽著走的，也就是 q.front()，來跟在當前位置上的其中一頭奶牛進行「交換」。而剩下的奶牛就 push 到 queue 裡面，將他們開始牽著走。
	    
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long 
	    using namespace std;
	
	    int n, cnt[212345], suf[114514];
	
	    int cost(int d) {
	        return d * d;
	    }
	
	    signed main() {
	        cin >> n;
	        for (int i = 0; i < n; i++) {
	            cin >> cnt[i];
	            cnt[i] -= 1;
	        }
	        for (int i = n - 1; i >= 0; i--) { 
	            suf[i] = suf[i + 1] + cnt[i];
	        }
	        int max_suf = 0, start_idx = 0;
	        for (int i = 0; i < n; i++)  {
	            if (suf[i] > max_suf) {
	                start_idx = i;
	                max_suf = suf[i];
	            }
	        }
	        for (int i = n; i < n * 2; i++) {
	            cnt[i] = cnt[i - n]; 
	        }
	        int ans = 0;
	        queue<int> q;                                        
	        for (int i = start_idx; i < start_idx + n; i++) {
	            if (cnt[i] >= 0) {
	            	// 交換
	                if (q.size()) {  
	                    ans += cost(i - q.front());
	                    q.pop();  
	                    q.push(i);
	                }
	                // 剩下的牽著走
	                for (int j = 1; j <= cnt[i]; j++) {
	                    q.push(i);
	                }
	                cnt[i] = 0;
	            } else {
	                ans += cost(i - q.front()); 
	                q.pop();
	                cnt[i] = 0;
	            }
	        }	
	        cout << ans << '\n';
	    }
	    ```

## 其他題目

???+note "2023 TOI 1模 pB. 最佳劇照 (stills)"
    在一維數線上有 $n$ 個 interval $[l_i, r_i]$，要求選擇最少的 point，使得每個 interval 都至少包含一個 point，且所選點的 cost 總和最小。
    
    其中點的 cost 計算方式為：
    
    $$\text{cost}(t) = 有包含 \texttt{ point } t \text{ } 的 \text{ } \texttt{interval} \text{ } 的\text{ } |(r_i - t) - (t - l_i)| \text{ }的總和$$
    
    ??? note "題解"
        > 步驟一，離散化:
        
        利用線段的開頭 $l_i$ 和結尾 $r_i$ 可以把數線切出 $2n-1$ 個 blocks。
        
        這樣一來，每個 interval 可以當成是某個 block 的左界開始到某個 block 的右界結束。
    
        每個 block 只會有一個最好的 $t$，先計算出一個陣列 $w[0], ..., w[2n-2]$ 表示每個 block 裡面最好的位置的 cost
    
        > 步驟二，計算 $w[i]$：
        
        每個 block 的 $w[i]$ 計算方式 $|(r_i - t) - (t - l_i) |$ 也可以寫成 $2|(l_i+r_i)/2 - t|$ 也就是 $t$ 到 $[l_i, r_i]$ 中間點的距離的兩倍。
        
        也就是說，一個 block 裡面位置 $t$ 的 cost 就是 $t$ 到所有有包含這個 block 的區間的中間點的距離總和的兩倍。
        
        令 $m_i = (l_i+r_i)/2$，
        
        $$|m_1-t| + |m_2-t| + \cdots |m_k-t|$$
        
        這個函數的最小值發生於 $t$ 等於 $m_i$ 的中位數
        
        不過 $t$ 需要被限制在 block 的範圍內，所以需要分幾個 case 討論
    
        - $m_i$ 的中位數在在 block 內，直接讓 $t = m_i$ 的中位數
    
        - $m_i$ 的中位數在在 block 左邊，直接讓 $t =$ block 左界
    
        - $m_i$ 的中位數在在 block 右邊，直接讓 $t =$ block 右界
    
        掃描線的過程需要對每個 block 維護目前有哪些 $m_i$ 可以用，並且維護這些 $m_i$ 的中位數。決定好 $t$ 之後，需要透過一些資料結構在 $O(\log n)$ 時間計算出 $|m_1-t| + |m_2-t| + ... |m_k-t|$，這個部分可以使用線段樹達成。
    
        > 步驟三， dp 算答案：
        
        $dp(i)$ 表示最後一個點選在 block $i$ ，且左界在 block $i$ 以前的所有 interval 都有包含到至少一個點的最好答案。
        
        $dp(i) = \max dp(j) + w[i]$, $j$ 可以選的條件是沒有 interval 開頭結尾都在 block ($j+1$) ~ block ($i - 1$)
        
        這些的可以用來轉移的 $j$ 會是連續的一段，所以可以用套用資料結構快速計算出 $dp(i)$，計算 dp 的總時間是 $O(n) \times$ 查詢時間。資料結構的部分可以用單調隊列 $O(1)$ 查詢，或是用線段樹 $O(\log n)$ 查詢
        
        > ref : <https://hackmd.io/@algoseacow/rJw_DISe3>

???+ note "Parallel Scheduling Problem [TIOJ 1072. 誰先晚餐](https://tioj.ck.tp.edu.tw/problems/1072)"
	有 $n$ 個人要吃飯，第 $i$ 個人想吃的食物需要 $C_i$ 時間才能煮好，而他吃掉食物所花的時間為 $E_i$ ，且廚師同一時間只能煮一個食物，最小化所有人都吃完飯的時間。
	
	$n\le 10^4, 1\le C_i, E_i\le 1000$
	
	??? note "思路"
		不管哪道食物先煮，總共需要煮的時間都一樣。想要縮短總工時，最好先煮吃飯時間較長的食物。
		<figure markdown>
	    	![Image title](./images/8.png){ width="500"}
	    	  <figcaption><font color="#4472C4">藍色</font>代表煮的時間，<font color="#ED7D31">橘色</font>代表吃的時間</figcaption>
	    </figure>
	    
		??? note "證明"
			假設由演算法得到的吃飯的順序為 $a_1, a_2,\ldots, a_n$ ，則此序列一定滿足特性 $E_{a_i} \ge E_{a_{i+1}}$ 。假設有另外一組吃飯順序為 $b_1, b_2, · · · , b_n$，且不滿足該特性，則一定存在兩個相鄰的人 $b_i , b_i+1$ 滿足 $E_{b_i} < E_{b_{i+1}}$ 。如果將這兩個人的吃飯順序對調， 則考慮第 $j$ 個人吃飯結束的時間 (對調前為 $t_1(j)$ ，對調後為 $t_2(j)$ )，可以以下四種人的情況： 
	
	        1. $j < i$： <br>
	           對調前，結束的時間為 $t_1(j) = \sum \limits_{k=1}^j C_{b_k} + E_{b_j}$；<br>
	           對調後，結束的時間為 $t_2(j) = \sum \limits_{k=1}^j C_{b_k} + E_{b_j}$。  
	        2. $j = i$： <br>
	           對調前，結束的時間為 $t_1(j) = t_1(i)= \sum \limits_{k=1}^{i-1} C_{b_k} + C_{b_i}+E_{b_i}$ <br>
	           對調後，結束的時間為 $t_2(j) = t_2(i)= \sum \limits_{k=1}^{i-1} C_{b_k} + C_{b_{i+1}}+C_{b_i}+E_{b_i}$ 。
	
	        3. $j = i + 1$： <br>
	           對調前，結束的時間為 $t_1(j) = t_1(i+1)= \sum \limits_{k=1}^{i-1} C_{b_k} + C_{b_i}+C_{b_{i+1}}+E_{b_{i+1}}$ ； <br>
	           對調後，結束的時間為 $t_2(j) = t_2(i+1)= \sum \limits_{k=1}^{i-1} C_{b_k} + C_{b_{i+1}}+E_{b_{i+1}}$。 
	
	        4. $j > i + 1$： <br>
	           對調前，結束的時間為 $t_1(j) = \sum \limits_{k=1}^j C_{b_k} + E_{b_j}$； <br>
	           對調後，結束的時間為 $t_2(j) = \sum \limits_{k=1}^j C_{b_k} + E_{b_j}$。  
	
	        我們要比較的是 $\max\{t_1(j)\}$ 和 $\max\{t_2(j)\}$ $(1 \le j \le n)$ ，可以發現會讓 $t_1(j)$ 和 $t_2(j)$ 不同值的只有 $j = i$ 和 $j = i + 1$ ，而且 
	
	        $$\begin{cases}t_1(i + 1) \ge t_2(i) \\ t_1(i + 1) \ge t_2(i + 1)\end{cases}$$
	
	        所以 $\max\{t_1(j)\} \ge \max\{t_2(j)\}$，也就是對調之後，最後吃完的時間一定不會比對調前差。 最後，經過不斷的兩兩對調，一定可以將序列 $b$ 變成序列 $a$ 。最後吃完的時間必為非嚴格遞減，得證序列 $a$ 是這個問題的最優解。
	        
	        > ref : <https://www.csie.ntu.edu.tw/~sprout/algo2021/homework/hand05.pdf>

???+note "[POI 2013 Taxis](https://www.luogu.com.cn/problem/P3550)"
	有一條一維數線，一開始在 $0$，$d$ 為計程車總部的位置，有 $n$ 台計程車，第 $i$ 台路程上限為 $a_i$，問最少叫幾台計程車可以到達位置 $m$

	$1\le d\le m\le 10^{18},n\le 5\times 10^5, 1\le a_i\le 10^{18}$
	
	??? note "思路"
		首先我們一看題目，不難發現，在過總部之前，使用距離越小的車越浪費，因此我們將 $a_i$ 從大到小排序，然後從前往後使用車即可。
		
		但是仔細一想，如果我們把大車都用了，最後剩下的小車是沒有辦法帶我們回家的。所以我們得留一輛可以從總部直接回家的車（且路程上限盡量小），然後使用剛剛的貪心策略就可以了。
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long
	    using namespace std;
	
	    const int MAXN = 5e5 + 5;
	    int a[MAXN];
	
	    bool cmp(int a, int b) {
	        return a > b;
	    }
	
	    signed main() {
	        int m, d, n;
	        cin >> m >> d >> n;
	        for (int i = 1; i <= n; ++i) {
	            cin >> a[i];
	        }
	        sort(a + 1, a + 1 + n, cmp);
	        int last = 0;
	        for (int i = n; i >= 1; i--) {
	            if (a[i] >= m - d) {
	                last = i;
	                break;
	            }
	        }
	        if (last == 0) {
	            cout << "0\n";
	            exit(0);
	        }
	        int now = 0, ans = 0;
	        for (int i = 1; i <= n; ++i) {
	            if (i == last) continue;
	            if (now >= d || m - now + d - now <= a[last]) {
	                // 到達總部或此距離小於留下的車就跳出循環
	                break;
	            } else if (a[i] <= d - now) {
	                cout << "0\n";
	                exit(0);
	            }
	            ans++;
	            now += a[i] - (d - now);
	            // 解釋此距離: 車先要行駛 d - now 到達人的位置
	            if (now >= m) {
	                cout << ans << '\n';
	                exit(0);
	            }
	        }
	        if (m - now + d - now > a[last]) {
	            cout << "0\n";
	        } else {
	            cout << ans + 1 << '\n';
	        }
	        return 0;
	    }
	    ```

???+note "[USACO 2013 FEB Taxi G](https://www.luogu.com.cn/problem/P3076)"
	有 n 個人要搭車，第 i 個人要從 s[i] 搭到 t[i]。有一台出租車從 0 要開到 m，到途中須把 n 個人都載完，且一次只能載一個人，問最小路程
	
	$n\le 10^5, m\le 10^9$
	
	??? note "思路"
		我們可以將這個路程分成「有載人的路程」與「空載的路程」。有載人的路程自然就是 $\sum |s_i - t_i|$ 而空載的路程就是當載完一個人後，我們要前往下一個載人的地方所以必然是一個 t[i] 到一個 s[j]。而我們使這兩個數組依序各自排序好後配對就會得到最小的結果。另外，0 跟 m 也可以視為一個終點與起點，這樣計算結果比較方便。
		
		那為什麼排序相減就最小呢？因為任意交換同數組 (s[i], t[j]) 必會使結果增大 
		
		<figure markdown>
	      ![Image title](./images/18.png){ width="400" }
	    </figure>
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    #define int long long
	    using namespace std;
	
	    const int maxn = 1e5 + 5;
	    int n, m;
	    int ans, s[maxn], t[maxn];
	
	    signed main() {
	        cin >> n >> m;
	        for (int i = 1; i <= n; i++) {
	            cin >> s[i] >> t[i];
	            ans += abs(s[i] - t[i]);
	        }
	        s[0] = m;
	        t[0] = 0;
	        sort(s, s + n + 1);
	        sort(t, t + n + 1);
	        for (int i = 0; i <= n; i++)
	            ans += abs(s[i] - t[i]);
	        cout << ans << '\n';
	        return 0;
	    }
	    ```

???+note "[POI 2015 LAS](https://www.luogu.com.cn/problem/P3584)"
	$n$ 個人圍成一圈，每個人的左邊和右邊都有一個食物，第 $i$ 分熱量 $a_i$，每個人可以吃掉他左邊或者右邊的食物，假如有 $2$ 個人同時選擇了一個食物，則平分熱量。現在需要每一個人吃到的熱量是位於自己左邊食物的熱量和右邊食物的熱量的最大值，你需要給出每個人吃食物的方案。若無解，則輸出 NIE。
	
	$2\le n\le 10^6, 1\le a_i\le 10^9$
	
	??? note "思路"
		為了方便解釋，我把食物當成點，人當成邊來看，我們觀察到若出現相鄰的兩個點 $(x,y)$ 滿足 $2a_x < a_y$ 或$a_x > 2a_y$，表示 $(x,y)$ 這個人所要指的方向是已經固定的，也就是一定會選擇 $a$ 值較大的那一個，因為就算有人跟他搶食物他也能吃到熱量較高的那個。
		
		我們可以把這些已經固定的邊給拔掉，然後把這些人所選擇的食物熱量去掉一半。之後，在這些以固定的人相鄰的人中，可能又會出現新的滿足條件的人。故而我們採用一個廣搜的思想，把新的人也給加入一個隊列進行拓展。
		
		一直進行上述步驟直到該固定的邊都固定，剩下的人都沒有人滿足條件時，就代表此時每條邊當選了一側的食物後，那一側的食物就變爛了（因為不符合大於兩倍的那個條件，所以一旦選了，價格砍半了，另一側一定更優）。所以我們對於沒有指定食物的所有人貪心地選擇他相鄰兩個食物中熱量較高的那個即可，具體來說，因為若 $x$ 選了食物 $x+1$，那麼 $x+1$ 就一定不會選食物 $x+1$，因為 $\frac{a_{x+1}}{2} \leq a_{x+2}$。故兩個沒有指定食物的人不可能選到同一食物，所以每個人的決策互不干擾，貪心正確性得以保證。
		
		為了防止出現浮點數，在程式碼中把每個 $a_i$ 都乘上了 2。這樣是不影響答案的。
		
	??? note "code"
		```cpp linenums="1"
		#include <bits/stdc++.h>
	    using namespace std;
	
	    const int N = 1e6 + 10;
	    int n, a[N], b[N], ans[N];
	    queue<pair<int, int>> q; // edge(x, y)
	
	    int pre(int i) {
	        return (i - 1 + n) % n;
	    }
	    int nxt(int i) {
	        return (i + 1) % n;
	    }
	    void psh(int i) {
	        if (!~ans[i] && b[i] >= b[nxt(i)] * 2ll) {
	            q.emplace(i, i);
	            b[ans[i] = i] -= a[i];
	        }
	        if (!~ans[i] && b[nxt(i)] >= b[i] * 2ll) {
	            q.emplace(i, nxt(i));
	            b[ans[i] = nxt(i)] -= a[nxt(i)];
	        }
	    }
	    int main() {
	        cin >> n;
	        fill(ans, ans + n, -1);
	        for (int i = 0; i <= n - 1; i++) {
	            cin >> a[i];
	            b[i] = a[i] * 2;
	        }
	        for (int i = 0; i <= n - 1; i++) {
	            psh(i);
	        }
	        while (!q.empty()) {
	            auto u = q.front();
	            q.pop();
	            psh(pre(u.second));
	            psh(u.second);
	        }
	        for (int i = 0; i <= n - 1; i++) {
	            if (~ans[i]) {
	                cout << ans[i] + 1 << ' ';
	            } else {
	                if (b[i] > b[nxt(i)]) {
	                    cout << i + 1 << ' ';
	                    b[i] -= a[i];
	                } else {
	                    cout << nxt(i) + 1 << ' ';
	                    b[nxt(i)] -= a[nxt(i)];
	                } 
	            }
	        }
	        return 0;
	    }
		```

???+note "[CF 1856 B. Good Arrays](https://codeforces.com/contest/1856/problem/B)"
	給定長度為 $n$ 的正整數數列 $a$，問能否構造出另一個**正整數**數列 $b$，滿足：

    - 對於 $1 \leq i \leq n$，$a_i \neq b_i$。
    
    - $\sum_{i=1}^{n} a_i = \sum_{i=1}^{n} b_i$。
    
    $n\le 10^5, 1\le a_i \le 10^9$
    
    ??? note "思路"
    	當 $a_i=1$ 時，$b_i$ 一定只能是 2 或者是更大的數字，代表我們會多算，而這個只能用 $a_i\neq 1$ 的項來扣，具體來說，一個非 1 的 $a_i$ 最多只能填補 $a_i-1$（因為扣到 $a_i=1$ 就不能再扣了），所以最後我們就只要判斷 $a_i-1$ 的總和是否足夠讓 $a_i=1$ 的數量扣即可。
    	
    	> 區間版本: <https://codeforces.com/contest/1923/problem/C>
    	
    ??? note "code"
    	```cpp linenums="1"
    	#include <iostream>
        using namespace std;
    
        long long n, i, t, a, sum;
    
        int main() {
            cin >> t;
            while (t--) {
                cin >> n;
                sum = 0;
                for (i = 1; i <= n; i++) {
                    cin >> a;
                    if (a == 1) {
                        sum--;
                    } else {
                        sum += (a - 1);
                    }
                }
                if (sum >= 0 && n != 1)
                    cout << "YES\n";
                else
                    cout << "NO\n";
            }
            return 0;
        }
    	```

---

## 參考資料

- <https://slides.com/fhvirus/1/fullscreen#/3/7>

- 更多問題可看 [洛谷 Blog 集训第三天--贪心选讲](https://www.luogu.com.cn/blog/ysz2009/ji-xun-di-san-tian-tan-xin-xuan-jiang)