約瑟夫問題是個著名的問題:N我的圍成一圈,第一我的從1開始報數,報M的將被殺掉,下一我的接着從1開始報。如此反覆,最後剩下一個,求最後的勝利者。
例如只有三我的,把他們叫作A、B、C,他們圍成一圈,從A開始報數,假設報2的人被殺掉。html
剛學數據結構的時候,咱們可能用鏈表的方法去模擬這個過程,N我的看做是N個鏈表節點,節點1指向節點2,節點2指向節點3,……,節點N-1指向節點N,節點N指向節點1,這樣就造成了一個環。而後從節點1開始一、二、3……往下報數,每報到M,就把那個節點從環上刪除。下一個節點接着從1開始報數。最終鏈表僅剩一個節點。它就是最終的勝利者。
web
要模擬整個遊戲過程,時間複雜度高達O(nm),當n,m很是大(例如上百萬,上千萬)的時候,幾乎是沒有辦法在短期內出結果的。數組
約瑟夫環是一個經典的數學問題,咱們不難發現這樣的依次報數,彷佛有規律可循。爲了方便導出遞推式,咱們從新定義一下題目。
問題: N我的編號爲1,2,……,N,依次報數,每報到M時,殺掉那我的,求最後勝利者的編號。數據結構
這邊咱們先把結論拋出了。以後帶領你們一步一步的理解這個公式是什麼來的。
遞推公式:
app
下面咱們不用字母表示每個人,而用數字。
表示11我的,他們先排成一排,假設每報到3的人被殺掉。svg
下圖表示這一過程(先忽視綠色的一行)
spa
如今再來看咱們遞推公式是怎麼獲得的!
將上面表格的每一行當作數組,這個公式描述的是:倖存者在這一輪的下標位置code
很神奇吧!如今你還懷疑這個公式的正確性嗎?上面這個例子驗證了這個遞推公式的確能夠計算出勝利者的下標,下面將講解怎麼推導這個公式。
**問題1:**假設咱們已經知道11我的時,勝利者的下標位置爲6。那下一輪10我的時,勝利者的下標位置爲多少?
**答:**其實吧,第一輪刪掉編號爲3的人後,以後的人都往前面移動了3位,勝利這也往前移動了3位,因此他的下標位置由6變成3。orm
**問題2:**假設咱們已經知道10我的時,勝利者的下標位置爲3。那下一輪11我的時,勝利者的下標位置爲多少?
**答:**這能夠看錯是上一個問題的逆過程,你們都日後移動3位,因此
。不過有可能數組會越界,因此最後模上當前人數的個數,
xml
**問題3:**如今改成人數改成N,報到M時,把那我的殺掉,那麼數組是怎麼移動的?
**答:**每殺掉一我的,下一我的成爲頭,至關於把數組向前移動M位。若已知N-1我的時,勝利者的下標位置位
,則N我的的時候,就是日後移動M爲,(由於有可能數組越界,超過的部分會被接到頭上,因此還要模N),既
**注:**理解這個遞推式的核心在於關注勝利者的下標位置是怎麼變的。每殺掉一我的,其實就是把這個數組向前移動了M位。而後逆過來,就能夠獲得這個遞推式。
由於求出的結果是數組中的下標,最終的編號還要加1
下面給出代碼實現:
int cir(int n,int m) { int p=0; for(int i=2;i<=n;i++) { p=(p+m)%i; } return p+1; }