題目連結：
題目大意：
第一列給定兩正整數 ｎ 、 ｋ （１ ≦ ｎ ≦ １００, ０００，２ ≦ ｋ ≦ ｎ），代表有 ｎ 隻鴿子，每隻有自己的分數值。
接下來的一列有 ｎ 個正整數（皆介於 １ ～ ２, １４７, ４８３, ６４７ 之間），代表這 ｎ 隻鴿子各自的分數值。
而 Boook 要從這 ｎ 隻鴿子裡挑出一些鴿子，使得分數的總和為 ｋ 的倍數。請輸出任意一組可能的挑法，先輸出挑的鴿子數，再接著輸出鴿子的編號（給定分數的順序）；如果沒有任何可行的挑法，請輸出「0」。
輸出格式請參見範例輸出。
範例輸入：
5 3
7 92 47 5 1
範例輸出：
2
4 5
解題思維：
首先，證明不會有要輸出「0」的情況發生，也就是一定會有可行解：
定義 Ｓ０ ＝ ０ ，而 Ｓｉ ＝ Ｓｉ－１ ＋ 第 ｉ 隻鴿子的分數，也就是說 Ｓｉ 代表著前 ｉ 隻鴿子的分數總和。然後將 Ｓ０ 、 Ｓ１ 、 …… 、 Ｓｎ 取 ｋ 的餘數。
因為 ｋ ≦ ｎ ，所以求除以 ｋ 的餘數（模 ｋ）之後， Ｓ０ ～ Ｓｎ 最多只會有 k 種可能的值（分別為０～ ｋ －１）。
而因為 Ｓ０ ～ Ｓｎ 有 ｎ ＋ １ 項，根據鴿籠原理，因此我們可以得出在 Ｓ０ ～ Ｓｎ 這 ｎ ＋ １ 項之間必定會有兩項以上有相同的餘數（在模 ｋ 下）。
而假設 Ｓａ 、 Ｓｂ 兩項是其中一對餘數相同的兩項，則代表第 ａ ＋ １ 隻 ～ 第 ｂ 隻鴿子的分數和即為一組可能的解。（ ∵ Ｓｂ － Ｓａ ≡ ０ mod ｋ，即代表 Ｓｂ － Ｓａ 為 ｋ 的倍數）
因此，絕對不會有要輸出「0」的情況發生。
而以上證明過程也提及了如何找出一組可能的解，因此達成了題目的要求。
此次分享到此為止，如有任何更加簡潔的想法或是有說明不清楚之地方，也煩請各位大大撥冗討論。
達人