官方题解给的证明没看懂。
题目:重排序列 aaa,使得 ∑i=1ngcd(a1∼ai)\sum_{i=1}^ngcd(a_1\sim a_i)∑i=1ngcd(a1∼ai) 最小。
题解:先把所有 aia_iai 除以整个序列的 gcd,然后令 minai\min a_iminai 作为第 111 个数,然后每次选剩下的数中使得新 gcd 最小的数。
问一下这个策略的正确性。