0

0
0

文字

分享

0
0
0

四子賓果遊戲的數列尋找之路

Bridan
・2016/08/21 ・1701字 ・閱讀時間約 3 分鐘 ・SR值 513 ・六年級

立即填寫問卷,預約【課程開賣早鳥優惠】與送你【問卷專屬折扣碼】!

等這個 A273916 數列 (0, 4, 7, 9, 11, 12, 12, 14, 15, 16, 16, 18, 19, 20, 22, 24, …) 通過申請真是一段漫長的時間,現在終於通過申請,那就留下它的故事,激勵有研究興趣的朋友繼續努力。

話說從頭……

今(2016)年二月我提出一個數學考題四子三連線

像五子棋一樣,在圍棋盤上只要四子就可以一連線,可以直線、橫線、45 度斜線,請問最少需要幾顆子可以排列三連線?

a273916

這個考題的由來是我的小朋友在小學時,與同學玩 4 x 4 賓果遊戲,當時他認為產生三條連線最少需要十個棋子才能達成。事隔多年後,他突然想通其實只要九顆棋子就可以三連線,然後就考問我這個問題。當這問題被貼文到研發養成所的訓練數學感系列文章,經過熱烈討論之後,發現四子連線問題隱藏著一個還未被發現的數列,因而這系列數列研究從此展開。

個人覺得,像我們業餘愛好者找數列,採一起合作方式比較有趣,每個人可以利用自己的專長來幫忙,比單打獨鬥好多了,因此邀請參與討論的香港孫老師及台灣國中生赤子西瓜一起進行後續的研究,可惜我的小朋友沒興趣。

申請整數數列線上大全OEIS

整數數列線上大全(OEIS)的數列申請基本流程如下:

  1. 求解數學問題,發現數列
  2. OEIS 查詢這數列是否被登記
  3. 如果還未被登記,你必須以真實姓名註冊一個帳號
  4. 有帳號後就可以登記新數列
  5. 填寫新數列相關資料欄位,如 Name, Data, Offset, Comments, Links, Example, Prog 等
  6. 填好資料後要儲存,確認沒問題後再提交公告
  7. 提交公告後,就有許多數學專家幫忙看內容有無錯誤,並提出改善意見
  8. 更正及補充內容後,儲存好後再次提交
  9. 如果內容無人提出異議,就等 N. J. A. Sloane(OEIS 創始人)最後核可公告
  10. 任何會員皆可對自己及他人已經核可的數列內容補充或修改,流程同上述 5 ~ 9

首先,我在 Google 雲端硬碟開一個試算表,大家有空就上線加內容,其實老師及西瓜兩人的貢獻較多,因此作者就決定以他們排名前面。由於剛好那陣子遇到 A274119 等數列陸續申請,於是就先將 A273916 登記上去,想等研究比較完備後再提交公開,不過 OEIS 伺服器發現登記者沒有提交公告時,超過一個禮拜就會自動發出通知一再提醒你去處理,我就是這樣受不了 OEIS 系統一再催促,而提交一個未完備的數列。

Sloane 也對這個數列額外提出兩個 Keyword 當作評語:more 及 nice。

more 就是前面講過的未完備數列,需要再補充後續數值。會出現這樣情形,是因為找這數列有其難度,還找不到規則性,無法依序推導後面的數值,看上圖就會明瞭,這個最少棋子的 Bingo 遊戲,可以二維拓展,更增加它的困難性,找不出規則程式當然就很難寫,因此 PROG 欄也是空白的。

nice 評語表示這個數列讓 Sloane 驚訝,因為沒有人想過最少賓果棋子的問題隱藏一個未知的數列,而且多變難解,這可能是一個新的數學領域,它也符合 Riordan Prize 有獎金的待解難題類型,不知道今年還會不會有這樣的好康。

從這題目可以了解,數列會以各類型式存在,只要有心尋找一定會發現它的蹤跡,通常以排列組合型態最常見。對於這個未完備的數列,我想留給大家把它完成,各位可以參考試算表研究內容,如果想編輯內容,請留下姓名及 Gmail 才會開放。

孫老師已經研究出這賓果棋子的最終型式,是每加四子可以增加三條線,關於這點 IBM 的研究員 Chai Wah Wu 以 Fekete’s subadditive lemma 證明,而且他還補充了這數列重要特性,a(n) >= n and a(n+m) <= a(n)+a(m), i.e., a(16) <= a(10)+a(6) = 28。但是中間空缺的部分還需要大家找找看。

關於程式,我想有兩種方法解,一個是採排列組合佈局,另一個是具有某種層度的人工智慧下棋程式來求解這最少賓果棋子問題,留給程式高手來表現。另外數學公式也缺乏,不論解出哪一部分的人不要忘記在 OEIS 留名,數學史將記錄這一切。

 

本文轉載自作者部落格研發養成所

文章難易度
Bridan
7 篇文章 ・ 1 位粉絲
資深的電子產品研發人員,興趣廣泛,喜愛閱讀以及研究新奇事物。 為研發養成所部落格版主 https://4rdp.blogspot.tw/

0

1
2

文字

分享

0
1
2
原來數學也可以用在這裡?生物巧妙運用數學模式,克服了移動上的物理限制——《生物世界的數學遊戲》
天下文化_96
・2022/10/26 ・1541字 ・閱讀時間約 3 分鐘

步調模式千變萬化

生物體移動時所受的限制是屬於物理學的。如果該生物使用的是肢體,這些肢體必須強壯到可以支撐作用在牠們上面的力量。(我看過不少設計較差的機器人在移動時散掉。)其他形態的移動也一樣,如果是游泳,該動物就要全力對付流體力學的定律。物理定律影響動物的移動是很明顯的,不值得奇怪。顯然,在這個情形當中,數學提供了各式各樣的模式,而被生物學拿來運用。很少不會用到,不管多麼奇特。

游泳時要全力對付流體力學定律。圖/Pexels

物理學的影響還要更深入。單有腿也沒有用,除非你有可以控制腿的神經系統。運動與神經網路是一體的,兩者一定要一起演化,而不是個別的。另外,正如負責感覺的神經網路一定會模擬外在世界的模式,因此負責運動的神經網路,必定會模擬動物身體的機械性模式。

我很懷疑這種共同演化真的有可能或很容易發生,因為下面這個顯著的事實:像肢體這樣的物理系統的自然振盪模式,跟神經網路的振盪模式是一樣的。早在肢體和腦變成完整的生物結構之前,就已經有一種普遍的步調韻律存在了,潛在地將動物的肢體關聯到腦。步調節奏提供了存在於演化相空間中、等待被使用的模式。

形形色色的生物移動

這模式的確一直被應用。差不多所有的生物都會移動,甚至連最固定不動的植物也會向光彎曲,最微小的浮游生物也會隨波逐流——但是,獵豹在追逐獵物時,可以跑到每小時一百一十公里,這移動真是快速啊!

生物體的種類這麼多,而移動的方式也是千變萬化。細菌利用會旋轉的微小螺旋槳使自己在水中推進,就像船一樣;像草履蟲(Paramecium)這類單細胞生物,則能藉由揮動鞭毛來選擇運動的方向。

(圖七○)Centronotus gunnellus 這種鰻魚肌肉收縮的波形。圖/《生物世界的數學遊戲》

運動的數學模式形形色色,更是令人印象深刻:草履蟲鞭毛的移動有如行進波,就像是玉米田在微風吹拂下產生的浪波;細菌的旋轉螺旋所成幾何圖案之美是無可比擬的;蛇和鰻是靠肌肉收縮做波狀蠕動行進(圖七○);響尾蛇在熱燙的沙漠中滾動,像一個捲曲的彈簧;尺蠖走動時是尾巴頂到頭部,整個身子呈 ∩ 狀,然後前端再向前行並伸展成-字形。

信天翁滑翔時羽翼僵直不動,偶爾慵懶地鼓翼一下,以有蹼的腳劃過水面,而後用笨拙卻迷人的方式飛跑而起;大象拖著沉重的腳步,緩慢橫過空曠的熱帶大草原,一次移動一隻腳(圖七一),模式就像那隻在海邊市鎮漫步的拉布拉多獵犬。

(圖七一)大象的慢步行走。圖/《生物世界的數學遊戲》

駱駝行走的模式又不一樣了:先同時移動兩隻左腿,然後是兩隻右腿〔稱為「溜蹄」(pace)〕,身子左右搖擺有如醉漢一般。松鼠又是另外一種模式:跳一下,停一下,然後再跳一下;如果遇到警訊,就省掉「停」的步驟。

Carparachneaureoflava 這種車輪蜘蛛會像一個有八個輪輻的輪子般,滾過沙漠。世界上有一種會跳躍的蛆〔較正式的稱呼為Ceratitis capitata(地中海果實蠅)的幼蟲〕,會把自己扭曲成 ∩ 形,然後再伸直,就像一顆砲彈般跳入空中,形成一個完美的拋物線。

——本文摘自《生物世界的數學遊戲》,2022 年 9 月,天下文化,未經同意請勿轉載。

天下文化_96
110 篇文章 ・ 597 位粉絲
天下文化成立於1982年。一直堅持「傳播進步觀念,豐富閱讀世界」,已出版超過2,500種書籍,涵括財經企管、心理勵志、社會人文、科學文化、文學人生、健康生活、親子教養等領域。每一本書都帶給讀者知識、啟發、創意、以及實用的多重收穫,也持續引領台灣社會與國際重要管理潮流同步接軌。

0

3
2

文字

分享

0
3
2
比大還要再大!比「無窮」還要更大是什麼概念?——《不用數字的數學》
經濟新潮社
・2022/09/28 ・2660字 ・閱讀時間約 5 分鐘

我們都知道無窮(infinity)是什麼。無窮比任何數都更大。當你從一二三不停數下去的時候你會靠近它。它也是萬物甚至更多事物的總和。

我們談到無窮時,一定會想知道一件事:

什麼事物比無窮大?圖/經濟新潮社

比無窮還大?有可能嗎?

這個問題其實真的有答案。它不是開放性問題,也不是陷阱題。答案不是「是」就是「否」,而且我會在這一章的結尾公布答案。

讀者可以先猜猜看,但我們或許應該先訂好遊戲規則,讓大家知道該怎麼思考。

具體說來,我們需要訂定關於「較大」的規則。我們要怎麼確定自己發現了比無窮更大的事物?如果是有限的量,要分辨某個事物比另一個事物更大相當容易,但碰到無窮時似乎就沒那麼簡單了。我們不希望完全靠感覺判斷,所以必須選擇簡單明瞭的規則,用來判定一個量是否比另一個量「更大」。

配對數量的多寡來判斷哪邊比較「大」

那麼,在一般、有限的狀況下,我們通常怎麼判定「較大」?我們說右邊這一堆比左邊的更大是什麼意思?

右邊這一堆比左邊的更大圖/經濟新潮社

沒錯,用看的就知道。但假設我們遇到一個外星人,這個外星人從沒聽過「更大」、「更多」、「更好」這些概念,我們該如何解釋右邊這堆較大?真的,試試看就知道。這個概念太基本了,其實很難從頭開始解釋。

當我們碰到困難時,數學中有個常用的技巧,就是提出完全相反的問題,看看會有什麼結果。我們要怎麼跟外星人解釋這兩堆的大小相同?

我們要怎麼跟外星人解釋這兩堆的大小相同?圖/經濟新潮社

我們不能用「相等」這個詞,因為它正是我們要去解釋的東西。這個外星人想了解我們說兩樣事物「相等」或「相同」時是什麼意思,以及它的主要概念是什麼。

有個方法行得通。把兩堆東西並排起來,一個對一個。如果兩兩配對後正好用完,沒有剩餘,表示這兩堆東西大小相同。

如果兩兩配對後正好用完,沒有剩餘,表示這兩堆東西大小相同。圖/經濟新潮社
圖/經濟新潮社

「提出相反問題」的技巧確實有用。只要把這個規則反轉過來,就能得到「較大」的定義。

圖/經濟新潮社

現在問題已經定義清楚了,答案也隨之確定。那麼,世界上有什麼事物比無窮更大?答案是「是」還是「否」?世界上有什麼事物和無窮兩兩配對之後還有剩餘?現在我們可以思考之後猜猜看。

無窮跟無窮 +1 誰比較大?

我們可以把無窮想成一個深不見底的袋子,裡面裝著無限多個物體。

我們可以從這個袋子裡拿出任意數量的物體,袋子裡也還剩下無限多個。

世界上怎麼可能有其他事物比它更大?好吧,如果是無窮加一呢?

多一個物體看來應該不會對無窮造成什麼影響,但我們用配對規則來確認看看。首先,我們可以把無窮袋中的物體排成一排,這樣比較容易看清楚哪個跟哪個配對。

如果我們以最顯而易見的方式配對,無窮加一看起來當然更大。

不過要小心!規則指出,兩個事物必須無法正好兩兩配對,才會有一者較大。(最好經常回頭看清楚規則!)還有一種配對方法確實可行,而且兩方都不會有剩餘:

如果你覺得這樣好像在騙人,請花點時間告訴自己,這樣真的沒錯。我們不是把一個物體跟點點點配對,而是把它跟隱藏在點點點中的下一個物體配對。既然兩個袋子都有無限多個物體,不會有物體配對不到,所以兩者大小相同。無窮加一等於無窮!

我來講個故事說明這個結果有多奇怪。

無窮大飯店!如何塞進無窮 +1 位客人

假設我們在一家非常特別的「無窮大飯店」當櫃臺接待人員。無窮大飯店有無限多間房間。飯店裡有條長長的走廊,沿著走廊有一排房門,連綿不絕地延續下去,無論走多遠都不會結束。走廊沒有盡頭,所以也沒有「無窮號房」或「最後一號房」。當然有一號房,每間房間也都有下一號房。

今天晚上格外忙碌,飯店裡每間房間都住滿了(對,這個世界裡有無限多個人)。如果沿走廊隨意走一段距離,選一扇門敲幾下,就會聽到:「有人!請勿打擾!」無限多間房間,裡面住著無限多個人。

接著有人從外面走進飯店大廳說:「請問還有房間嗎?」我們不是第一天在無窮大飯店工作,當然知道該怎麼做。我們拿起廣播系統麥克風說:「各位來賓,抱歉打擾一下,請各位來賓搬到下一間房間。沒錯,請收拾好行李,走出房門,朝遠離大廳的方向搬到下一間房間。謝謝合作,祝您有個愉快的夜晚。」大家都照做之後,就有房間給新住客了。

無限多間房間,無限多加一位住客,房間跟住客依然正好兩兩配對。無窮加一等於無窮。

無窮加五、無窮加一兆……都沒關係,這個邏輯全都成立。兩個袋子可以正好配對,可以多裝進一位客人。無窮非常大,任何有限的量根本沒得比。所以我們還沒有找到比無窮更大的事物。

——本文摘自《不用數字的數學:讓我們談談數學的概念,一些你從沒想過的事……激發無窮的想像力!》,2022 年 9 月,經濟新潮社,未經同意請勿轉載。

經濟新潮社
4 篇文章 ・ 4 位粉絲

0

3
2

文字

分享

0
3
2
圓形 = 三角形?形狀之間的秘密關係——《不用數字的數學》
經濟新潮社
・2022/09/27 ・1427字 ・閱讀時間約 2 分鐘

數學家通常都想很多,這是我們的習性。我們會分析對稱或相等這類大家都知道的基本概念,試圖找出更深層的意義。

形狀就是一個例子。我們多少都知道形狀是什麼。我們看到一個物體時,很容易就看得出它是圓形、方形還是其他形狀。但數學家會問:形狀是什麼?構成形狀的要素是什麼?我們以形狀分辨物體時,會忽略它的大小、色彩、用途、年代、重量、誰把它拿來的,以及最後誰要負責歸位。我們沒有忽略的是什麼?當我們說某樣東西是圓形時,看到的是什麼呢?

形狀百百種,可以量化嗎?

當然,這些問題沒什麼意義。就實際用途而言,我們對形狀的直覺理解就已經夠了——生活中沒有什麼重大決定是需要仰賴我們對於「形狀」的確切定義。但如果你有空又願意花時間來想一想,形狀倒是個很有趣的主題。

假設我們現在要思考了,我們或許會問自己這個問題:

世界上有多少形狀?圖/經濟新潮社

這個問題很簡單,但不容易回答。這個問題有個比較精確和有限的說法,稱為廣義龐卡赫猜想(generalized Poincaré conjecture,或譯龐加萊猜想)。這個猜想提出至今已經超過一百年,目前還沒有人解答出來。嘗試過的人相當多,有一位數學家解出這個問題的大部分,因此獲得了100萬美元獎金,但還有許多種形狀沒有找到,所以目前我們還不知道世界上一共有幾種形狀。

動手把形狀畫出來

我們來試著解答這個問題。世界上有幾種形狀?如果沒有更好的點子,有個不錯的方法是畫出一些形狀,看看會有什麼結果。

我們可以試著畫出一些形狀。圖/經濟新潮社
我們可以試著畫出一些形狀。圖/經濟新潮社

看來這個問題的答案取決於我們區分形狀的方式。大圓和小圓是相同的形狀嗎?波浪線(squiggle)應該全部算成一大類,還是應該依彎曲的方式細分?我們需要一種通用規則來解決這類爭議,才不用每次都需要停下來爭論。

從幾何學到拓樸學

可用於決定兩個形狀是否相同的規則相當多。如果是木匠或工程師,通常會希望規則既嚴謹又精確:必須長度、角度和曲線都完全相等,兩個形狀才算相同。這樣的規則屬於幾何學(geometry)這個數學領域。在這個領域裡,形狀嚴格又精確,經常做的事情是畫垂直線和計算面積等等。

決定兩個形狀是否相同的規則相當多。圖/經濟新潮社

但我們的要求比較寬鬆一點。我們想要找出所有可能的形狀,但沒時間慢慢區分幾千種不同的波浪線。我們想要的是在比較兩個形狀是否相同時比較寬鬆的規則,它能夠把所有的形狀分成若干類別,但類別的數量又不至於太多。

所以三角形可以等於圓形。圖/經濟新潮社




——本文摘自《不用數字的數學:讓我們談談數學的概念,一些你從沒想過的事……激發無窮的想像力!》,2022 年 9 月,經濟新潮社,未經同意請勿轉載。

經濟新潮社
4 篇文章 ・ 4 位粉絲