演算法基礎：為什麼算法可以沒有輸入？舉例解析

定義層面的理解

根據 Knuth《計算機程序設計藝術》與標準教材定義，算法具備五大特性：

1. 有限性
2. 確定性
3. 輸入（零個或多個）
4. 輸出（一個或多個）
5. 可行性

關鍵在於「零個或多個」——輸入可以為空集。

具體實例

1. 產生固定常數

算法：輸出圓周率 π 的前 100 位
輸入：無
輸出：3.1415926535...
步驟：
  1. 內置常數字符串 "3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679"
  2. 輸出該字符串

2. 系統環境探測

算法：獲取當前系統時間戳
輸入：無（隱式依賴硬件時鐘）
輸出：Unix timestamp (如 1704067200)
步驟：
  1. 調用系統調用 clock_gettime(CLOCK_REALTIME, &ts)
  2. 返回 ts.tv_sec

3. 內部狀態演進（確定性有限狀態機）

算法：線性同餘隨機數生成器 (LCG)
輸入：無（種子內置或靜態變量）
輸出：偽隨機數序列
狀態：seed = (seed * 1103515245 + 12345) & 0x7fffffff
步驟：
  1. seed ← 初始值 12345
  2. 循環：seed ← (seed * A + C) mod M；輸出 seed

4. 硬件初始化序列

算法：GPU 顯卡 BIOS 初始化
輸入：無（掉電後狀態確定）
輸出：初始化完成標誌
步驟：
  1. 復位命令發送
  2. 依次配置時序寄存器、顯存參數、時鐘頻率
  3. 執行內建自檢 (BIST)
  4. 設置視頻模式

5. 數學常數計算

算法：計算 e (自然對數底數) 到小數點後 50 位
輸入：無
輸出：2.71828182845904523536028747135266249775724709369995
步驟：
  1. 使用泰勒級數 e = Σ(1/n!) from n=0 to ∞
  2. 迭代累加直到精度滿足要求

「隱式輸入」vs「顯式輸入」

理論意義

零輸入算法在理論計算機科學中極其重要：

• 圖靈機：空帶啟動即為零輸入計算
• 遞歸函數理論：基本函數（零函數、後繼函數、投影函數）構建所有可計算函數
• 計算複雜度：常數時間 O(1) 算法多為零輸入或固定輸入
• 形式驗證：零輸入程序的正確性證明更簡潔，常作為基礎案例

編程實踐建議

1. 區分純函數（無副作用、輸入決定輸出）與過程（依賴/修改外部狀態）
2. 零參函數若依賴全局狀態，文檔必須聲明「隱式輸入」
3. 單元測試時，為零輸入函數構建確定性環境（Mock 時間、隨機種子）
4. 函數式編程鼓勵顯式傳遞依賴，減少隱式輸入，提高可測試性