圖論：Ulam 猜想

 

圖論的 Ulam 猜想（重構猜想）

---

一、Ulam 是誰？

斯坦尼斯拉夫·烏拉姆（Stanisław Ulam，1909–1984） 是波蘭裔美國數學家，以參與曼哈頓計畫（氫彈設計）聞名，同時也是>蒙地卡羅方法的發明者之一。他一生橫跨數學、物理、計算機科學，是 20 世紀最具創造力的數學家之一 。

Ulam 猜想正式名稱為重構猜想（Reconstruction Conjecture），由 Paul J. Kelly 與 Ulam 於 1940 年代共同提出，是圖論中最著名的未解問題之一 。

---

二、核心問題：你能從「殘缺拼圖」還原原圖 嗎？

生活比喻

想像你有一張照片（圖 G），有人把照片中的每一個人依序「遮住一人」>，產生 n 張略有不同的殘缺照片。

問題是：只看這疊殘缺照片，能不能還原出原始的完整照片？

這就是 Ulam 猜想的核心。

---

三、正式定義

基本概念

設圖 G = (V, E)，點數為 n。

對每個頂點 v_i ∈ V，定義頂點刪除子圖（vertex-deleted subgraph）：

G_i = G − v_i

即從 G 中移除頂點 v_i 及其所有相連的邊，得到一個有 n − 1 個點的子圖。

牌組（Deck）

所有頂點刪除子圖構成的多重集合稱為 G 的牌組：

D(G) = {G − v₁, G − v₂, …, G − v_n}

每張 G − v_i 稱為一張牌（card） 

猜想陳述

Ulam 重構猜想：對任意兩個頂點數 n ≥ 3 的圖 G 與 H， 若 D(G) = D(H)（牌組 相同），則 G ≅ H（兩圖同構）。

白話版：「一個圖可以由它的所有頂點刪除子圖唯一決定。」

---

四、具體例子

設 G 為一個有 4 個頂點的路徑圖：

1 — 2 — 3 — 4

其牌組 D(G) 含 4 張牌：

刪除頂點	剩餘子圖
刪 v1	2 — 3 — 4（路徑 P3）
刪 v2	1 3 — 4（K1 + P2）
刪 v3	1 — 2 4（P2 + K1）
刪 v4	1 — 2 — 3（路徑 P3）

Ulam 猜想主張：沒有任何其他非同構的圖會產生完全一樣的牌組。

---

五、已知的進展

已證明可重構的圖類

• 樹（Trees）
• 正則圖（Regular graphs）
• 可分離圖（Separable graphs，無端點）
• 最大平面圖（Maximal planar graphs）
• 單位區間圖（Unit interval graphs）

概率意義下的突破

Béla Bollobás 證明：幾乎所有圖都是可重構的——隨著點數 n → ∞，隨機圖不可重構的概率趨近於 0。甚至只需牌組中的 3 張牌，就能決定幾乎所有圖 。

至今仍未解決

儘管成立超過 80 年，一般情形至今仍是未解問題 。若能證明所有2-連通圖可重構，則整個猜想成立 。

---

六、相關延伸猜想

猜想	提出者	內容
重構猜想	Kelly & Ulam（1942）	頂點刪除牌組決定圖
邊重構猜想	Harary（1964）	邊刪除牌組決定圖（n ≥ 4）
集合重構猜想	Harary	用集合（非多重集合）亦可重構
有向圖重構猜想	多人	推廣至有向圖

---

七、為何此猜想如此困難？

數學家 Bondy 將重構猜想列為圖論未解問題的第一位 。 難點在於：你必須證明「不存在任何反例」——而窮舉所有圖是不可能的任務。

這個猜想之所以迷人，是因為它陳述極簡、直覺上顯然為真，卻幾十年無人能完整證明——正是數學最引人入勝之處。

^{14151617181920}

⁂

---

1. https://www.youtube.com/watch?v=MMN7gre1kGA↩︎

2. https://www.sciencedirect.com/science/article/pii/S0012365X22000991↩︎

3. https://en.wikipedia.org/wiki/Reconstruction_conjecture↩︎

4. https://users.utu.fi/harju/graphtheory/B2=Ulam.pdf↩︎

5. https://en.wikipedia.org/wiki/Reconstruction_conjecture↩︎

6. https://experts.illinois.edu/en/publications/on-reconstruction-of-graphs-from-the-multiset-of-subgraphs-obtain-2/↩︎

7. https://en.wikipedia.org/wiki/Reconstruction_conjecture↩︎

8. https://zh.wikipedia.org/zh-tw/重构猜想↩︎

9. https://en.wikipedia.org/wiki/Reconstruction_conjecture↩︎

10. https://www.sciencedirect.com/science/article/pii/S0012365X22000991↩︎

11. https://en.wikipedia.org/wiki/Reconstruction_conjecture↩︎

12. https://en.wikipedia.org/wiki/New_digraph_reconstruction_conjecture↩︎

13. https://www.ub.edu/comb/koljaknauer/conf/Kaschek.pdf↩︎

14. https://www.combinatorics.org/files/ejc-sample.pdf↩︎

15. https://zh.wikipedia.org/zh-hant/重构猜想↩︎

16. https://srsx.cbpt.cnki.net/WKH/WebPublication/wkTextContent.aspx?contentID=&colType=4&yt=2020&st=03↩︎

17. http://arxiv.org/pdf/2004.05527.pdf↩︎

18. https://www.thepaper.cn/newsDetail_forward_29072483↩︎

19. https://www.cpr.cuhk.edu.hk/wp-content/upload/resources/press/pdf/52b7ffdd7e4c3.pdf↩︎

20. https://www.jstor.org/stable/2316851↩︎

AM-GM 算數幾何平均不等式

 

算術－幾何平均不等式：從 Cauchy 的故事說起

「兩數之和的一半，永遠不小於兩數乘積的平方根。」 這句話看似簡單，背後卻有一段跨越兩百年的數學故事。

---

一、Cauchy 是誰？

奧古斯丁－路易·柯西（Augustin-Louis Cauchy，1789–1857） 是法國數學史上最多產的數學家之一， 一生發表超過 800 篇論文，涵蓋分析學、代數、光學與天文學。

他生於法國大革命爆發的同一年，成長於動盪時代， 卻在數學世界建立了無比嚴謹的秩序。

Cauchy 最重要的貢獻，是將「極限」與「連續」賦予嚴格定義， 奠定了現代微積分的邏輯基礎。 他的名字至今仍出現在無數定理與公式之中： Cauchy 數列、Cauchy 積分公式、Cauchy–Schwarz 不等式……

📌 有人說：「如果牛頓發明了微積分，那麼 Cauchy 把它變得可信。」

---

二、為什麼需要 AM-GM 不等式？

動機一：最佳化問題

人類很早就面對這樣的問題：

「用固定長度的籬笆，圍出最大面積的矩形，應該怎麼圍？」

設周長固定為 2n，兩邊長為 x 與 n − x， 面積為 x(n − x)。

我們直覺上猜測「正方形最大」， 但要嚴格證明這件事，就需要 AM-GM 不等式。

動機二：嚴格化數學直覺

在 Cauchy 的年代，許多數學結論靠的是「感覺正確」， 缺乏嚴謹證明。Cauchy 致力於將這些直覺轉化為 可驗證、可推廣的嚴格定理。

AM-GM 不等式正是這種精神的體現： 把「均勻分配乘積最大」這個直覺， 鑄造成一個對任意 n 個數都成立的數學真理。

動機三：跨領域的普適性

AM-GM 不等式一旦建立，應用範圍遠超幾何： 統計學、物理學、資訊理論、金融數學…… 處處都需要「比較平均數與乘積」的工具。

---

三、什麼是 AM-GM 不等式？

對任意 n 個非負實數 a₁, a₂, …, a_n， 算術平均數（AM）永遠大於等於幾何平均數（GM）：

$$ \frac{a_1 + a_2 + \cdots + a_n}{n} \geq \sqrt[n]{a_1 \cdot a_2 \cdots a_n} $$

等號成立條件：所有數完全相等，即 a₁ = a₂ = ⋯ = a_n。

---

四、直觀感受：幾個例子

數組	算術平均（AM）	幾何平均（GM）	AM ≥ GM？
1, 9	5	3	✅
4, 4	4	4	✅（等號成立）
1, 2, 3	2	≈ 1.817	✅

📌 關鍵觀察：只有當所有數相等時，AM 才等於 GM； 只要數字「不均勻」，AM 就會嚴格大於 GM。

---

五、證明一：兩數版本（配方法）

命題：對任意 a, b ≥ 0，證明 $\dfrac{a+b}{2} \geq \sqrt{ab}$。

證明：

任意實數的平方非負，故：

$$(\sqrt{a} - \sqrt{b})^2 \geq 0$$

展開得：

$$a - 2\sqrt{ab} + b \geq 0$$

移項整理：

$$\frac{a + b}{2} \geq \sqrt{ab}$$

等號成立條件：$\sqrt{a} = \sqrt{b}$，即 a = b。◼

💡 這個證明只用到「平方非負」這一個最基本的事實， 卻推出了如此有力的結論——這正是數學之美。

---

六、證明二：n 數版本（Cauchy 前進後退法，1821）

這是 Cauchy 在 1821 年著作《分析教程》(Cours d’analyse) 中提出的天才證明， 分「前進」與「後退」兩個步驟。

步驟 A：先證 n = 2^k 的情形（前進歸納）

• 基底：n = 2 已由配方法證明。
• 歸納步驟：假設 n = m 時成立，證 n = 2m 時也成立。

將 2m 個數分成前後兩組各 m 個， 對每組用歸納假設得到各組的幾何平均 G₁、G₂， 再對 G₁、G₂ 使用兩數 AM-GM，即可完成。

由此對所有 n = 2^k（k = 1, 2, 3, …）成立。✅

歸納步驟：假設 n = m 時成立，證明 n = 2m 時也成立。

設有 2m 個數 a₁, …, a_2m，令：

$$ A = \frac{a_1+\cdots+a_{2m}}{2m}, \quad G = \sqrt[2m]{a_1 \cdots a_{2m}} $$

將前 m 個數與後 m 個數分組，由歸納假設：

$$ \frac{a_1+\cdots+a_m}{m} \geq \sqrt[m]{a_1\cdots a_m} = G_1 $$

$$ \frac{a_{m+1}+\cdots+a_{2m}}{m} \geq \sqrt[m]{a_{m+1}\cdots a_{2m}} = G_2 $$

對 G₁, G₂ 再用兩數 AM-GM：

$$ A = \frac{G_1 + G_2}{2} \cdot \frac{\text{(兩組AM之和)}}{2} \geq \sqrt{G_1 G_2} = \sqrt[2m]{a_1 \cdots a_{2m}} = G $$

故 n = 2m 時成立。由此對所有 n = 2^k 成立。✅

步驟 B：從 2^k 推回任意 n（後退歸納）

假設 n 個數的 AM-GM 成立，證 n − 1 個數也成立。

對 n − 1 個數 a₁, …, a_n − 1，令其算術平均為：

$$A = \frac{a_1 + \cdots + a_{n-1}}{n-1}$$

補入第 n 個數 a_n = A（補入平>均數本身）， 對這 n 個數套用已知的 AM-GM：

$$A \geq \sqrt[n]{a_1 \cdots a_{n-1} \cdot A}$$

兩邊取 n 次方後除以 A，整理得：

$$\frac{a_1 + \cdots + a_{n-1}}{n-1} \geq \sqrt[n-1]{a_1 \cdots a_{n-1}}$$

n − 1 個數的 AM-GM 成立。◼

🔑 Cauchy 的天才之處：不直接對所有 n 歸納， 而是「先跳躍到更大的 2^k，再倒退回來」， 繞開了直接歸納難以逾越的障礙。

---

七、AM-GM 的應用場景

AM-GM 不等式看似純粹，實則無處不在：

• 幾何最佳化：固定周長的矩形，正方形面積最大
• 圖論：Turán 定理的核心——均分兩組點數，邊數最多
• 統計學：解釋為何變異數恆  ≥ 0
• 金融投資：幾何平均報酬率 ≤ 算術平均報酬率， 說明「波動拖累複利成長」的本質
• 物理學：最小作用量原理推導的輔助工具

---

八、一句話總結

AM-GM 不等式告訴我們： 「均勻分配，永遠比不均勻分配更能極大化乘積。」

Cauchy 用一個優雅的前進後退法， 將這個直覺鑄造成永恆的數學真理。

---

圖論 - 1 定義 - bipartite graph 二分圖 二部圖

前篇：圖論 - 1 定義 - 1

1️⃣ 簡易版定義

二部圖是一種特殊的圖，把所有「點」分成兩組，每條「邊」只能連 接不同組的點，同組內的點之間沒有任何邊。

舉個生活例子：把「棒球球員」放 A 組、「棒球球隊」放 B 組，邊代表「某球員曾效力某球隊」。同組內部不會連線 —— 這就是一個二部圖！

---

2️⃣ 專業版定義

設圖 G = (V, E)，其中 V 為點集合、E 為邊集合。

若存在一個分割 V = X ∪ Y，使得：

X ∩ Y = ∅

且所有邊 e ∈ E 均滿足：

e = {x, y},  x ∈ X, y ∈ Y

則稱 G 為二部圖（Bipartite Graph），(X, Y) 稱為其二部分割（bipartition）。

特殊情形——完全二部圖 K_m, n>：若 |X| = m、|Y| = n，且 X 中每點都與 Y 中每點相連，共有 m × n 條邊，則稱為完全二部圖。

📌 關鍵性質：一個圖是二部圖，若且唯若它不含奇數長度的環（odd cycle）。

---

3️⃣ 結構圖解（Mermaid 心智圖）

 
graph LR
  subgraph X組["X 組（左側點）"]
    x1((x₁))
    x2((x₂))
    x3((x₃))
  end
  subgraph Y組["Y 組（右側點）"]
    y1((y₁))
    y2((y₂))
    y3((y₃))
  end
  x1 --- y1
  x1 --- y2
  x2 --- y2
  x2 --- y3
  x3 --- y1
  x3 --- y3  

 

---

✅ 每條邊只跨越 X 與 Y 兩組之間，X 內、Y 內沒有任何邊。

沙堆模型

(圖為自行寫程式產生)

曼陀羅

 

Abelian sandpile model - 維基百科

沙堆模型（Abelian Sandpile Model，也常稱為 BTW模型 或 chip-firing game）是目前數學與物理學中最經典的自組織臨界性（Self-Organized Criticality, SOC）模型之一，同時也是用「極簡單的局部規則」就能產生極度複雜、對稱、美麗圖案的代表性範例。

很多人直接稱它的穩定態圖案為「沙堆曼陀羅」（sandpile mandala），因為從中心持續加入沙粒後，最終形成的圖案經常呈現高度旋轉對稱、同心圓層次、放射狀結構，甚至帶有fractal（碎形）細節，看起來非常像宗教或冥想用的曼陀羅。

沙堆模型（Abelian Sandpile Model / BTW模型）的起源與發展過程

沙堆模型的歷史可以分成幾個關鍵階段，從物理學的靈感起源，到數學上的嚴格化，再>到後續的廣泛應用與變體。它是自組織臨界性（Self-Organized Criticality, SOC）這個概念的開山之作，影響了複雜系統、物理、數學、甚至藝術與哲學領域 。

1. 起源：1987年，Bak–Tang–Wiesenfeld (BTW) 提出原始模型

• 發表時間：1987年
• 論文：《Self-organized criticality: An explanation of 1/f noise》（發表於《Physical Review Letters》59, 381）
• 三位作者：
  • Per Bak（丹麥物理學家，後來寫了經典科普書《How Nature Works》）
  • Chao Tang（湯超，華裔物理學家）
  • Kurt Wiesenfeld（美國物理學家）
• 最初動機：試圖解釋自然界中非常普遍的1/f 噪聲（也叫粉紅噪聲或閃爍噪聲），這種噪聲出現在地震、太陽黑子、金融市場波動、生物系統、心跳變異等許多地方。傳統物理模型很難解釋為什麼功率譜是1/f形式。
• 核心想法：他們提出一個極簡的格點模型——沙堆，用來展示系統如何自發地、不需外部調參就演化到一個臨界狀態（critical state），在那裡小擾動會引發各種尺度的「雪崩」（avalanche），雪崩大小服從冪律分佈（power-law），這正是1/f噪聲的來源之一。
• 這個模型當時被命名為 BTW模型 或 Bak–Tang–Wiesenfeld sandpile model，是自組織臨界性（SOC）概念的首次明確提出。

2. 1990年：Deepak Dhar 發現「Abelian」性質，數學化轉型

• Deepak Dhar（印度塔塔基礎研究中心物理學家）在1990年發表重要工作。
• 他證明：這個沙堆的崩塌過程具有阿貝爾性（Abelian property）——崩塌的順序不影響最終穩定態（任何順序處理超過閾值的格子，最>後結果都一樣）。
• 因為這個群結構（sandpile group），他正式將模型命名為 Abelian sandpile model（阿貝爾沙堆模型），這個名字後來變成最常用的稱呼。
• Dhar 的工作把模型從「物理玩具模型」提升到可嚴格數學研究的對象，開啟>了沙堆群（sandpile group）、遞迴配置（recurrent configurations）、身份元素（identity element）等代數結構的研究。

3. 1990年代中期～2000年代：數學與物理雙線爆發

• 物理方向：
• Per Bak 1996年出版科普書《How Nature Works》，大力推廣SOC概念，讓沙堆模型成為大眾認識複雜系統的經典範例。
• 人們開始把SOC套用到地震、古登堡-里克特定律、森林火災模型、演化生物學（間斷平 衡論）、金融崩盤、神經網路等。

• 數學方向：
• 發現沙堆模型與晶格動物（lattice animals）、均勻生成樹（uniform spanning trees）、Kac–Moody代數、Burning algorithm等有深刻聯繫。
• 出現chip-firing game（籌碼發射遊戲），這其實是同一模型的另一種表述，由Anders Björner、László Lovász、Peter Shor等人獨立發展（1980年代末～1990年代初），後來證明與BTW模型等價。
• 研究沙堆的身份元素（identity element of the sandpile group），也就是「最對稱的那個曼陀羅配置」，成為視覺最震撼的成果之一。

4. 2000年代後至今：持續擴展與跨領域應用

• 變體模型：Manna模型（隨機崩塌）、Zhang模型、Oslo模型、定向沙堆（directed sandpile）等，試圖更接近真實物理。
• 圖論與代數：在任意有限圖、一般格子（包括六角格、三角格）、甚至非歐幾里得空間上研究沙堆群的結構。
• 視覺與藝術：中心加沙形成的「沙堆曼陀羅」圖案被大量用在科普、生成藝術、冥想圖像中。
• 計算與大規模模擬：現代電腦可以輕鬆跑到幾億甚至十億粒沙，展現更細緻的fractal細節與多層次結構。
• 近期進展（到2020年代）：用於研究機器學習中的臨界學習、神經網路的自組織、量子版本的沙堆（quantum sandpile）等前沿交叉領域。

簡單時間軸總結

年份	事件	關鍵人物	意義
1987	首次提出BTW沙堆模型	Bak, Tang, Wiesenfeld	誕生SOC概念，解釋1/f噪聲
1990	發現Abelian性質，命名Abelian sandpile	Deepak Dhar	開啟嚴格數學研究
1996	出版《How Nature Works》	Per Bak	SOC概念大眾化
1990s~	chip-firing game 與 sandpile 等價證明	Björner, Lovász, Shor 等	數學與物理匯流
2000s~	沙堆群、身份元素、曼陀羅圖案研究高峰	多位數學家	視覺與代數美學爆發
2010s~現在	跨領域應用（神經科學、AI、量子）	持續發展	從玩具模型變成複雜系統基石工具

總結一句：
沙堆模型從1987年三個物理學家想解釋「為什麼自然界這麼多1/f現象」開始，意外開啟了>一扇通往自組織、湧現、臨界性、甚至數學曼陀羅美學的大門，至今仍是複雜系統研究中最 經典、最優雅的模型之一。

最常見也最漂亮的玩法：中心持續加沙

最經典的視覺展示方式是：

• 一開始整個格子都是 0
• 每次只在正中央那一個格子加 1 粒沙
• 加到系統不穩定 → 自動進行所有崩塌直到穩定
• 再加一粒、再崩塌、再穩定……
• 重複幾千、幾萬次……

結果會出現：

• 最中心區域幾乎是隨機的（但有規律）
• 往外逐漸出現越來越清晰的同心圓層次
• 更外面會出現放射狀臂、對角線結構
• 某些尺度下會出現fractal-like 的自相似細節
• 整體呈現高度四重旋轉對稱（90°、180°、270° 看起來很像）

當加到幾十萬甚至上百萬粒時，會形成非常壯觀的「沙堆曼陀羅」圖案。

為什麼這麼簡單的規則能產生曼陀羅？

這正是最令人著迷的地方：

• 局部極簡規則（只看自己是否≥4，只影響四鄰）
• 卻產生全局高度對稱的結構
• 這種「由簡單局部互動湧現出複雜全局秩序」的現象，正是複雜系統、自組織、湧現（emergence）的經典範例

很多人把它當作「數學版的曼陀羅生成器」，因為只要耐心加沙，就能自動長出越來越精緻、越來越對稱的圖案。

如果你有興趣自己玩：

• 網路上有很多沙堆模擬器（javascript 版、python 版都有）
• 最有名的是「Sandpile」這個詞搜尋，就會看到一堆互動版本
• 推薦從 201×201 或 401×401 格子開始，中心加到 10000~50000 粒左右，就能看到很漂亮的曼陀羅了

簡單一句話總結：

沙堆模型是用「4就炸，分給四鄰」這一個規則，卻能自動長出宇宙中最對稱、最像曼陀羅的數學圖案之一。

曼陀羅

 

曼陀羅圖形（Mandala）源自梵文「圓圈」之意，為一種以中心點放射對稱的幾何圖案，常見於印度教與佛教藝術，具有嚴謹的數學對稱結構。 從科學視角，其涉及幾何學、心理學與神經科學領域的研究。

幾何特性

曼陀羅通常以單一中心點為核心，向外呈放射狀對稱展開，包含旋轉對稱、鏡像對稱及圓錐曲線形態，常見元素如蓮花、圓環與重複圖騰。 這些圖案展現分形自相似性（fractal-like），由簡單重複單元建構複雜結構，符合群論中的對稱群（symmetry groups）。

心理學應用

瑞士心理學家榮格（Carl Jung）視曼陀羅為「自性化」（individuation）工具，繪製過程可整合無意識，產生療癒效果，現代藝術療法證實其有助減壓與提升專注。 腦科學研究顯示，觀想或繪製曼陀羅激活大腦對稱區域，類似冥想降低杏仁核活性，緩解焦慮。

思考工具延伸

曼陀羅九宮格（Mandala Charting）為日本發明的視覺化思考法，以中心主題放射八方概念，形成3x3矩陣，可擴展至81格，用於腦storming與邏輯規劃，基於放射性與螺旋思考原理。

有好幾種用極簡單的規則就能產生很像曼陀羅（mandala）那種放射對稱、層層向外展開、華麗又複雜圖形的系統。這些跟人工生命（Artificial Life）或圍棋（簡單規則產生極高複雜度）的精神非常像。

以下列幾種最經典、也最容易理解的類型：

1. 沙堆模型（Abelian Sandpile / Chip-firing game） 這可能是最接近「用最簡單規則產生曼陀羅」的經典例子 規則極簡單：

   • 每個格子可以堆積「沙粒」（整數）
   • 當某格子的沙粒 ≥ 4 時，就會「崩塌」：自己減4，四個鄰居（上下左右）各加1
   • 重複這個過程

   從單一格子不斷加沙，或從中間加入大量沙粒，會自然形成非常漂亮的對稱曼陀羅圖案，有層層同心圓、放射狀結構，甚至會出現 fractal 般的細節。 很多人直接稱它為「沙堆曼陀羅」。

2. 圓形/極坐標上的細胞自動機（Circular / Polar Cellular Automata） 把一般細胞自動機（cellular automaton）包到圓形格子上（或用極坐標），再加上放射對稱初始條件或濾鏡（blur + threshold），很容易長出曼陀羅。 有時候只要用非常簡單的總和規則（totalistic rule）或模仿「Day & Night」之類的規則，跑幾百步就會出現很宗教感的對稱圖案。

3. 反應-擴散系統（Reaction-Diffusion）在圓形域 + 對稱初始條件 最經典的就是 Gray-Scott 模型或 Schnakenberg 模型，只用兩個化學物質的極簡單反應 + 擴散方程。 如果把初始條件設成中心一點擾動，或是強制八方位/十二方位對稱，會長出非常多同心圓層次 + 放射花紋的曼陀羅結構。

4. L-system + 嚴格旋轉對稱 雖然 L-system 最常拿來畫樹、植物，但只要把產生規則改成「每次前進後強制旋轉 60°/45°/90°」，並搭配粗細/顏色變化，就能很快畫出漂亮的幾何曼陀羅。 這是「用最少指令畫最複雜對稱圖」的經典方法之一。

5. 簡單的迭代函數系統（IFS） + 旋轉對稱 例如每次做縮小 + 旋轉 72°（五次對稱）或 60°（六次對稱） + 平移一點點，疊很多次就會出現典型曼陀羅感。

其中最推薦新手快速看到「哇！真的像曼陀羅」的兩個：

• 沙堆模型（最純粹、最震撼的 emergent 對稱）
• 極坐標細胞自動機 + 簡單規則（視覺上最直接像宗教曼陀羅）

極簡入門建議：

• 沙堆：搜尋 "sandpile mandala" 或 "abelian sandpile visualization"，有很多互動網頁可以直接加沙看長大

• 圓形CA：搜尋 "polar cellular automata mandala" 或 processing/p5.js 上面有很多範例程式碼

紙窗隨筆 - 哲學家的工具箱 第一章 論證基本工具 讀後記 - 我思故我在

製作方式：用 AI 設計漫畫角色

第一章看完了, 寫得很棒, 推！

為了加深自己記憶, 來以 著名的笛卡兒的這題 我思故我在 為題目, 嘗試論證一下^^

在哲學家的工具箱這本書第一章, 有談到論證的基本工具;
想以這些工具, 來論證 先前笛卡爾所做的 我思故我在

論證：

- 是嘗試證明其為真, 是從一個或多個前提, 推論到結論的推論過程; 

- 前提或結論需要是一個不是為真就是為假的主張; 

   (非古典邏輯學中的非排中律情況, 其實是哲學中這章 1.11 所提 確定性和機率 的探討

所以 我思故我在, 可以當作 論證題目的結論

定義：

- 主體主詞 我 : X 指稱「當下正在進行懷疑/思考的那個我」

- 謂詞 思 ：Thinking(X) : X 正在思（把「思」理解成一類心理活動；至少包含「懷疑」這種思的型態）

- 謂詞 在 ： Exist(X) : X 存在（可先採最弱的存在：在某意義上「是某個東西」即可）。

公理：

- 公理的定義：理性體系下, 特殊類型的前提, 定義為真

這邊所用的公理是：

凡思者必存在

形式邏輯有效性地推導

亞里斯多德的三段論 和 四角對當

有效性 ：以這形式邏輯推導, 論證的結論為真, 必定會隨著當前提為真時而推導出

健全性  : 前提為真

非有效性：形式謬誤

非健全性：非形式謬誤

凡思者必存在 ：所有的思者都存在

我思 ： 我是思者

故我在：所以我存在

===

反駁

方式一：顯示論證無效

針對「三段論/演繹版」，它的形式通常是有效的（P1、P2 推出 C），所以很難用「形式謬誤」去打倒它；

除非抓到它其實偷換成了不有效的形式，例如把「我有思想發生」誤當成「存在一個我在思」，就可能在形式化時發生量化/指稱的跳躍，使推理步驟沒被正當化（這會落到“推理過程有誤”）。

針對「直觀版」，它往往根本不是標準的「由前提推到結論」結構，因此也可主張：它被包裝成推論（ergo/therefore），但其實沒有清楚可檢驗的推理形式，因而不符合一個可評估有效性的論證樣態（這是對“論證形態”的攻擊）。

方式二：顯示前提為假（或至少不可接受）

最直接的攻擊點通常是 P2「凡思者必存在」：因為它看起來像一條形上學/語義橋樑原理，而不是在方法性懷疑下仍能保住的經驗或邏輯真理；若 P2 沒有被證成，整個推論就不健全。

另一個常見攻擊是 P1「我在思」：在極端懷疑框架下，是否能從「有思想發生」直接得到「有一個同一的自我（I）在思」是可爭的，因為這牽涉到對“我”的本體承諾（主體實體、同一性）。

笛卡爾以方法性懷疑追求確定性；反駁者可用這點質疑：P1 或 P2 是否真的達到他自己要求的那種不可動搖程度 。

方式三：概念模糊/不當運用（以及較弱的合理反對）

也可以不直接判定前提為假，而是指出「缺乏好理由相信前提」或「概念模糊、使用不當」也足以合理反對 。對此的概念攻擊通常是：​

「我」是否指一個持續的主體、還是僅是當下經驗束（若不清楚，結論“我存在”到底是“有經驗發生”還是“有一個我（實體）存在”就不清楚）。​

「存在」是什麼層次的存在：語言上的指稱存在、邏輯存在、心靈實體存在、或具體世界中的存在；不同讀法會讓 P2 的可信度與結論強度大幅改變 。​

這類反駁不必立刻證明結論為假，但足以說明：原論證尚未達到「有健全性」所需的清晰與支撐 。

===

歸納法和演繹法

歸納法與演繹法都在「用理由支持結論」，但差別在於：

- 歸納是從多個個別案例推到一般規則（結論多半是或然、可被新反例推翻）

- 演繹是從一般規則＋個別前提推出個別結論（只要形式有效且前提真，結論就必真）

換句話說，歸納偏向「找規律」，演繹偏向「套規律」。​

歸納法（Induction）

歸納法的典型形式是：觀察到許多 A 都是 B，因此推出「所有（或大多數）A 都是 B」之類的一般化命題 。它的強項是產生一般規則或假說，但弱項是即使觀察再多，也常只能給「很可能」而非「必然」。​

演繹法（Deduction）

演繹法的典型形式是三段論：有一個一般前提（例如「凡 A 皆 B」）加上一個個別前提（「c 是 A」），推出必然的個別結論（「c 是 B」）。因此演繹推理的評價重點常是「有效性」（形式是否保真）與「健全性」（前提是否真）。​

異同之處

相同點：

兩者都是推理方法，用前提支持結論，並可用來構成論證 。

不同點：

• 歸納是由個別到一般、結論通常不保證必真；
• 演繹是由一般到個別、在有效形式下能保證「若前提真則結論必真」。​

上述用到哪一種？為什麼

上述在把「我思故我在」重建成「P1 我在思；P2 凡思者必存在；所以 C 我存在」時，用的是演繹法，因為它是用一條一般規則（P2）配上一個個別事實（P1）去推出個別結論（C），而且依賴的是形式推導（如全稱實例化與 modus ponens）這種「保真」結構 。相對地，若要用歸納法支持「凡思者必存在」，會更像是從很多「看起來在思的情況下都伴隨某種存在」的案例去一般化出 P2，但這種一般化即使很有說服力，仍屬或然支持，並不具備演繹那種必然性 。

===

一致性

矛盾：兩個不同的陳述, 一個為真時, 另一個則為假, 反之亦然

對立：兩個不同的陳述, 不可能同時為真, 但可能同時為假

若從「一致性／自我一致（不可同時肯定與否定）」的角度出發，常見的替代推論方式不是把其當作一般三段論，而是把它理解成「否認我存在會導致語用或概念上的自我挫敗（self-defeat）」：也就是一旦在進行思考/斷言，就無法一致地同時維持「我不存在」。​

以一致性為核心的幾種推論

表述行為（performative）路線：

把「我不存在」視為在被思/被說出的那一刻就自我破壞，因為要能進行該思/說的行為就已要求某種存在條件；這種連結被描述為一種「表述上的自我挫敗」來做推論 。​

先驗論證（transcendental argument）路線：

以「我正在思（或正在思考‘我是否存在’）」為起點，主張「存在」是該心理事實為真的必要條件，故必須承認「我存在」以維持整體主張的一致性；相近的三步式：

   1. 我思；

   2. 要能思“我思”，必須存在；

   3. 所以我存在 。​

清楚分明／自證（self-evidencing）路線：

把「我在，我存在」理解成只要被提出或在心中被把握就必真，因而不是靠額外前提推出，而是靠其不可與當下思考狀態相衝突的「直接把握」；這種解讀在笛卡爾研究裡常被拿來對比「它是不是三段論」的爭議。


它們的共同點是：不把重點放在經驗歸納或外在觀察，而是放在「若否認結論，會導致當下的思考/斷言行為與所否認的內容無法同時成立」這種不一致 。因此，推理的說服力主要來自「否定者必須在做某事（思、疑、斷言）才能提出否定，而那個行為本身就使否定立場不穩」的結構 。
​

與先前演繹版的差別

先前「P1 我在思；P2 凡思者必存在；所以我存在」的版本，把關鍵壓在一般前提 P2 是否能被接受。改用一致性／自我挫敗路線時，P2 往往不再以獨立大前提出現，而是被改寫成「否認我存在與‘我正在思/正在斷言’不可相容」這種一致性約束，讓論證更像是在做「反證／揭示矛盾」。

===

套套邏輯

Tautology - 英文版維基百科

套套邏輯通常指「只靠邏輯形式就必真」的命題（例如 P 或 非Ｐ），也就是「在所有指派/詮釋下都為真」的公式；它不需要任何實質內容前提就成立。

先前的演繹版是「P1 我在思；P2 凡思者必存在；所以 C 我存在」：這種結構是標準有效推論，但結論是否必真仍依賴 P1、P2 是否真，因此它不等同於單純的邏輯恆真式（不屬於“只靠形式就真”的那種）。​

但它很容易在認識論上被批評為「乞題／循環」（把待證的東西以更隱蔽方式放進前提），尤其是當大前提「凡思者必存在」被理解成已經預設了存在承諾時。

劍橋的〈The Cogito as a syllogism〉課堂文章  中, 就明確指出：在傳統三段論邏輯裡，「All A are B」會被解讀成談論實際存在的 A，因此把「凡思者必存在」當大前提可能構成「純粹意義上的乞題」。​

「套套邏輯」vs「乞題／循環」

乞題／循環則是：論證的前提在某種意義上已經把結論預設進去，使前提無法提供「獨立支持」。上述課堂文章的核心批評正是：若「凡思者必存在」被當成「所有思者（作為一類東西）都存在」這種存在量化的主張，那它在語義上已經把“存在”塞進談論對象中，於是用它來推出「我存在」就會顯得在偷渡結論 。

演繹版何時會變成「循環感很重」

當把大前提 P2 理解為「所有思的東西都存在」（而且“東西”已被當作存在者集合的一員），那它就很容易被說成：要能斷言 P2，就已經承諾了「有思者存在」這類存在前提，於是再拿它推「我存在」會像把存在從前提搬到結論而已 。同一份文章也提到一個常見區分：把大前提換成「不可能在不存在的情況下思」（impossibility/necessity claim）會比「所有思者都存在」更不那麼像在做存在斷言，從而降低乞題疑慮 。

矛盾、非矛盾律

矛盾（contradiction）是「在所有指派/詮釋下都為假」的公式，與套套邏輯相對 。​

非矛盾律的直觀說法是：同一命題與其否定不可能在「同時同義」下同真；形式上常表為 非( P 且 非P) 。它就是一個套套邏輯形式 。

前面的一致性中談到其他反證的方式想法, 就比較接近套套邏輯的非矛盾律方式

自做邏輯公設定理系統模型 - 4-5 定理二十一 第三格式三段論 Bocardo OAO-3 證明

前篇：自做邏輯公設定理系統模型 - 4-4 定理二十 第三格式三段論 Felapton EAO-3 證明 

定理二十一：

第三格式三段論 Bocardo OAO-3 

if (%B !-> A) and (B -> C) then (%C !->A)

證明：

1. 按照定理五 特稱否定轉換律

    (%B !-> A ) == (%B -> !A)

2. 按照定理十九 Disamis IAI-3
    if (%B -> !A) and (B -> C) then (%C -> !A)

3. 按照定理五 特稱否定轉換律

    (%C -> !A) == (%C !-> A)

故得證！ Q.E.D.

--

舉例：

   有些貓非狗, 凡貓皆哺乳動物 => 有些哺乳動物非狗