發表文章

(Debug) TIOJ 1752 妹妹的汽水

Description 雖然經歷了這場讓人魂飛魄散的事件,但是經過護士姊姊細心診斷確定他的人及屬性都沒受創之後,妁艷回到了家。 隔天去了學校,學習了更多技能之後發現身體感覺並沒有什麼異狀。可是體內感覺卻有股蠢蠢欲動的力量……。 回到了家,突然想到昨天妹妹借的書還沒還給他,就去找妹妹。可是,妁艷在門外叫了好幾聲都沒反應,他就逕自進入妹妹的房間。 「喔哈哈!」進來之後發現妹妹不在,妁艷不自覺的笑了。他開始尋找目標物,從書櫃、抽屜、書包、床鋪、衣櫃等等地方仔細搜索之後,終於在書桌上找到了那本書。 「奇怪?」書上放著一張紙條,使妁艷有點疑惑,上面寫著:「$2, 3, 5, 7, 11, 13, 17, \ldots$。」 聰明的妁艷當然一看又知道是一串質數。找的口有點渴的妁艷,拿起桌上喝了一半的汽水準備一飲而盡,猛然發現蓋子竟然打不開,而且瓶蓋上還印了一個正整數 $n$ 和一個質數 $p$,仔細一看他才發現紙上還寫了:「打開汽水需要找出第 $p$ 個冒出的泡泡編號。」 為了喝到汽水,妁艷研究出了這種汽水冒泡的規律。 泡泡原本的順序是 $n$ 到 $1$,也就是 $n, n-1, n-2, \ldots, 3, 2, 1$。 從時間 $t=0$ 開始每秒會有些泡泡跟其他泡泡位置交換。 奇妙的是,它們都遵守第 $t$ 秒內時只有被編號第 $t$ 個質數 $q$ 整除的泡泡才可能變位置。 第 $t$ 秒內,對第 $i$ 個被 $q$ 整除的泡泡編號 $a$ 會跟第 $i+1$ 個被 $q$ 整除的泡泡編號 $b$ 比大小,如果 $a$ 大於 $b$,泡泡 $a$ 和 $b$ 就會交換位置,$a$ 繼續跟第 $i+2$ 個比,否則用 $b$ 跟第 $i+2$ 個比。 泡泡最後的位置順序的倒序就是冒泡順序。 例如 $n=8$, $t=0$ 時,順序是 $8, 7, 6, 5, 4, 3, 2, 1$。 $t=1$ 時,順序是 $6, 7, 4, 5, 2, 3, 8, 1$。($8$ 跟 $6$ 換、$8$ 跟 $4$ 換、$8$ 跟 $2$ 換且 $2, 4, 6, 8$ 都被 $2$ 整除) $t=2$ 時,順序是 $3, 7, 4, 5, 2, 6, 8, 1$。($6$ 跟 $3$ 換且 $3, 6$ 都被 $3$ 整除) ...

NTUJ 1697 Ancestors

圖片
Description You will be given a connected undirected tree. Each node will have an associated integer that we will call its value. We also define the value of a subset of nodes as the sum of values of the nodes in the subset. Consider the subsets of nodes of this tree whose size is between $1$ and $K$, inclusive, and satisfy the property that within each subset no node is an ancestor of another. We will call these subsets the $K$-anti-ancestral subsets of the tree. Your task is, given the tree, to find the $K$-anti-ancestral subset of maximum value. As an example, consider the tree below. Each node is named with a capital letter and the value of each node is the integer below the letter: Suppose $K = 3$. Then the subset of nodes $\{A\}, \{B, E\}, \{C, E\}, \{D, G\}$ and $\{B, E, F\}$ are some of the $K$-anti-ancestral subsets of the tree, because they all have between $1$ and $K = 3$ nodes and within each subset there doesn't exist a pair of nodes such that one is ...

水母上 Divide-and-Conquer

圖片
一棵樹有「拔掉任一非葉節點便不連通」的良好性質,可以幫助我們用 DP 和 divide-and-conquer 解決問題,例如 POJ 1741 和 TIOJ 1647 。這篇假定你知道怎麼把 POJ 1741 做到 $O(n(\log n)^2)$ 的時間複雜度 (如果你不知道也沒關係,google "POJ 1741" 就有很多資料了 XD)。我們沿用 先前 的定義,把一張點數和邊數相等的連通近圖 ( pseudograph ) 稱作一隻水母。再次提醒,水母並不是正式名稱 (我找不到正式名稱 orz)。 考慮這個問題:給定一隻大小為 $n$ 的水母 $J = (V, E)$,邊有正權重,請求出 $J$ 的 $K$-近對個數。一個 $K$-近對的定義是距離不超過 $K$ 的 (無序) 點對。觀察到一隻水母其實是由頭部 (環) 和數條觸手 (樹) 組成。設頭部由點 $t_0, t_1, \ldots, t_{m-1}$ 組成,從 $t_i$ 長出的觸手為 $T_i$。我們把 $K$-近對 $(u, v)$ 分成兩種:$u, v$ 屬於同一條觸手 ($\alpha$ 型)、$u, v$ 屬於不同條觸手 ($\beta$ 型)。只要在每條觸手上跑 POJ 1741,就能求出 $\alpha$ 型 $K$-近對個數了。至於 $\beta$ 型,做法是對於每個點 $v$,統計有幾個點 $u$ 滿足 $u$ 和 $v$ 不在同一條觸手上 $u, v$ 的距離 $d(u, v) \leq K$ 我們用上圖來做說明。設邊 $(t_i, t_{i+1})$ 的權重為 $w_{i+1}$,$s_i := w_1 + \ldots + w_i$ 為「從 $t_0$ 開始,順著 $t_0, t_1, t_2, \ldots$ 的方向,走 $i$ 條邊的里程數」(為了方便,不該超過 $m-1$ 的那些索引值,一旦超過 $m-1$ 就自動對 $m$ 取模)。設 \[ \begin{cases} u \in T_j, d_u := d(u, t_j),\\ v \in T_i, d_v := d(v, t_i), \end{cases} \] 則 $d(u, v)$ 就是 $d_u+d_v+(s_i-s_j)$?! 當然我們沒有這麼好的事情,因為 有...

TIOJ 1790 好激烈

圖片
Description 「嗚,不可能,這不可能塞得進去!!! 啊~~~」妤嬌姊姊道。 為了前往外太空解救妁艷,妤嬌決定前往歐洲尋找最先進的航太科技。這個國家是位在白俄羅斯和波蘭的邊境的一個小王國。啵啵啪啪王國,一個世襲君主國家,國民血統為純正的 $1/2$ 白俄羅斯 + $1/2$ 波蘭的完美比例組成。國民擁有驚人的平均 $514$ 的智商,能發展出遠遠超越 SERN 的核物裡和遠遠超越地球聯合、吉翁、紮夫特的航太科技,並不意外。身為潮能力者,LEVEL-5,像是穿越電腦螢幕網路王國傳送 (Network Transfer to Realms, NTR) 這種事情妤嬌當然做過很多次。 「啊~ 好激烈,妤嬌,姊姊快不行了~ 在這樣下去姊姊會~~ 姊姊會壞掉~~」 「姊姊,我也…我也快不行了~~~」 由於妤嬌隨身攜帶的 laptop 螢幕太小了,要把人塞進去有點困難。妤嬌研判,照這樣的情況下去,再把兩個人 (妤嬌自己則可以穿越隧道過去) 都傳送過去之前電腦螢幕有可能會壞掉! 妤嬌說:「沒辦法,妳們兩個一起來吧!」 「嗚!! 兩邊!? 兩邊一起絕對不行的!!」兩位美少女同聲道。 (十分鐘過後) 「啊~ 妤嬌~~」 「妤嬌葛格~~ 啊~~」 三人都因為使力而身體微微泛紅,身上沾著彼此的汗珠。 「要去了!!!!!!」妤嬌喘著氣大喊。 「在裡面!?!?!?!?」 「妤嬌!!!!~~~~~~~~~」 周圍閃了幾下白光,費盡工夫,總算把兩人塞進螢幕裡面了。剩下的工作就有開啓「人工少女 3」把電腦中的兩人送到啵啵啪啪王國了。 「要產品序號!?」 點開遊戲後才發現事情不妙! 在妤嬌的記憶中,序號是由下列方法所生成的: 給定質數 $p$ 和正整數 $b, c, n$,定義序列 \[ \begin{cases} a_0 = 1,\\ a_i(a_{i+1}-c)=b,&\text{for }i = 0, 1, \ldots \end{cases} \] 序號為最小的正整數 $m$,使得 $p|ma_n-1$。由於妤嬌是個天才,你只需要幫他驗算就可以了,輸出序號 $\operatorname{mod}q$。 Input Format 第一行有五個正整數 $b, c, n, p, q$,其中 $p, q$ 為質數,意義如上...

TIOJ 1852 分眼皮

圖片
Description 你有 $n$ 張眼皮和三隻向姊,每張眼皮有他的角動量。 你希望把這些眼皮全部分給三隻向姊,為了避免眼皮爆走,所以需要讓向姊間的角動量差最小,否則向姊們就會吵架! (假設所有眼皮轉動方向都是逆時針方向,且對於每隻向姊,她的所有眼皮的旋轉中心都相同) Input Format 第 $1$ 行有一個數字 $n\ (3\leq n\leq24)$,代表眼皮的個數。 第 $2$ 行有 $n$ 個數字 $a_1, \ldots, a_n$,$1\leq a_i\leq10^9$,代表每張眼皮的角動量。 Output Format 輸出一個數字,代表角動量最大的向姊和角動量最小的向姊間的角動量差的最小值。 Sample Input 4 5 4 7 6 Sample Output 3 Solution 如果今天只有兩隻向姊,怎麼做呢?利用  meet-in-the-middle algorithm ,可以做到 $O(n2^{n/2})$ 的時間複雜度,比 naïve 演算法的 $O(2^n)$ 快。以下將介紹怎麼在有三隻向姊的情況下,同樣利用 meet-in-the-middle 的精神,在 $O(n3^{n/2})$ 時間內求出答案。為了後續的討論方便,我們允許某個 $a_i \leq 0$,且允許某隻向姊沒分到任何眼皮。 假定三隻向姊拿到的眼皮角動量總和分別為 $p, q, r$,不失一般性令 $p \leq q \leq r$,目標最小化 $r-p$。設 $s := a_1 + \ldots + a_n$,則以下的兩個敘述至少一個會成立: $p \leq q \leq s/3 \leq r$ $p \leq s/3 \leq q \leq r$ 如果我們知道怎麼算出第一種情況 $r-p$ 的最小值,只要把每個 $a_i$ 變號,第一種情況 $r-p$ 的最小值就變成「變號前的第二種情況 $r-p$ 的最小值」了。接下來我們專注在「在限制 $p \leq q \leq s/3 \leq r$ 下最小化 $r-p$」上。 將 $a_1, \ldots, a_n$ 分成兩堆,$A = \{a_1, \ldots, a_{\lfloor n/2\rfloor}\}$ 和 $B...

TIOJ 1317 統治世界 Reign

圖片
Description hellogameboy 正在進行一個神秘的計畫 他打算以 H 的力量來征服全世界,讓世界都屈服在他的 H 勢力之下 這時候正義的 hallogameboy 挺身而出,決心鼎力維持這個世界的正直 想像這世界是一個 $n\times n$ 的格子棋盤,每個格子都是一個城市 而時事潮流總有固定的流向,因此對於每個格子都有一個"潮流傳播方向" (上、下、左、右之一) 若某個城市的潮流是流向棋盤邊界外,當然,這個城市的潮流就不會傳播給任何人 hellogameboy 和 hallogameboy 將輪流展開行動, 由 hellogameboy 先展開 H 的攻勢,再換 hallogameboy 進行正直防守...... 攻防不斷交替地進行,直到所有城市都被佔領 一開始所有城市都是純潔的,沒有受到任何佔領 而 he(a)llohameboy 將選擇一個"源流城市"佔領 H (正直) 的力量就會從這個源流城市開始沿著每個格子的潮流傳播方向傳播 路上的城市都被佔領,直到某個潮流傳出邊界,或是遇到某個已被佔領的城市才停止。 以上圖為例(佔領攻防還沒結束,也不是最佳佔領策略) hellogameboy 先選擇 $(2,2)$,並佔領紅色的 $12$ 格 再來換 hallogameboy,選擇 $(5,7)$,佔領藍色的 $8$ 格 再來又輪到 hellogameboy,選擇 $(5,6)$,佔領綠色 $2$ 格 hallogameboy 再選擇 $(2,4)$,佔領黃色等 $5$ 格…… 給定一個地圖,假設 hallogameboy 和 hellogameboy 都是絕頂聰明的人物 那麼請問,最後 hellogameboy 將以 H 勢力會統領多少土地呢? Input Format 第一行為一個整數 $n$,代表地圖邊長。 再來為 $n$ 行,每行是一個不含空白的字串,由 l、r、u、d 構成,依序代表左、右、上、下的箭頭。 $1\leq n\leq 2000$ Output Format 一個整數,代表先者 (hellogameboy) 可以佔領多少格。 Sample Input 6 drludl rudlru dldldl r...

淺談大數除法 Part 2: 快速演算法

前言 要計算兩個大數的乘積,可以先把這兩個大數轉成兩個多項式,計算它們的乘積,再轉回大數,時間複雜度 $O(n\log n)$;然而,大數除法和多項式除法可說是完全不一樣的問題。以下要介紹如何利用 牛頓法 把除法問題轉化成乘法問題,並利用倍增 (doubling) 來得到 $O(n\log n)$ 的除法演算法。 本文內容大致上只是把之前我寫的 這篇 document 換成中文,但一些證明以及虛擬碼 (pseudocode) 則省略。另,實作部分可以參考我在 github 上的 大數模板 ,讀者也可以在 ZJ b960 測試自己的程式。 動機 以下設 $\xi$ 和 $\eta$ 都是 $A$ 進位正整數,其中 $A \geq 9$,$\xi \geq \eta$,且 $\xi$ 和 $\eta$ 的長度分別為 $m$ 和 $n$,目標求出 $\lfloor\xi/\eta\rfloor$ 的 $A$ 進位表示。因為 \[\xi/\eta = \xi\times 1/\eta\] 如果我們能把 $1/\eta$ 算得夠精確,就能把除法問題轉換成乘法問題。我們希望能找到某個 $x \leq 1/\eta$ 使得 \begin{equation}\label{goal}\lfloor\xi/\eta\rfloor-1 \leq \lfloor\xi x\rfloor \leq \lfloor\xi/\eta\rfloor\end{equation} 不難發現只要 $x$ 滿足 \begin{equation}\label{tol1}0 \leq 1/\eta-x \leq A^{-m}\end{equation} 就有 \[\xi/\eta-\xi x = \xi(1/\eta-x) \leq A^m\cdot A^{-m} = 1\] 也就是 $(\ref{goal})$ 會成立。接下來我們把目標放在找到 $x$ 滿足 $(\ref{tol1})$。 牛頓法 考慮函數 $f(x) := \frac{1}{x} - \eta$。我們找一個 $x_0 \in (0, \frac{1}{\eta}]$,並對於所有的 $k \geq 0$,令 \[x_{k+1}\gets x_k - \frac{f(x_k)}{f'(x_k)} = x_k(2...