<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="zh-Hant-TW">
	<id>https://wiki.taigi.ima.org.tw/w/index.php?action=history&amp;feed=atom&amp;title=%E7%A9%BA%E4%B8%83%E4%B8%80%E5%8E%9F%E7%90%86</id>
	<title>空七一原理 - 修訂紀錄</title>
	<link rel="self" type="application/atom+xml" href="https://wiki.taigi.ima.org.tw/w/index.php?action=history&amp;feed=atom&amp;title=%E7%A9%BA%E4%B8%83%E4%B8%80%E5%8E%9F%E7%90%86"/>
	<link rel="alternate" type="text/html" href="https://wiki.taigi.ima.org.tw/w/index.php?title=%E7%A9%BA%E4%B8%83%E4%B8%80%E5%8E%9F%E7%90%86&amp;action=history"/>
	<updated>2026-05-10T12:37:21Z</updated>
	<subtitle>本 wiki 上此頁面的修訂紀錄</subtitle>
	<generator>MediaWiki 1.43.1</generator>
	<entry>
		<id>https://wiki.taigi.ima.org.tw/w/index.php?title=%E7%A9%BA%E4%B8%83%E4%B8%80%E5%8E%9F%E7%90%86&amp;diff=351136&amp;oldid=prev</id>
		<title>TaiwanTonguesApiRobot：​從 JSON 檔案批量匯入</title>
		<link rel="alternate" type="text/html" href="https://wiki.taigi.ima.org.tw/w/index.php?title=%E7%A9%BA%E4%B8%83%E4%B8%80%E5%8E%9F%E7%90%86&amp;diff=351136&amp;oldid=prev"/>
		<updated>2025-08-19T14:11:48Z</updated>

		<summary type="html">&lt;p&gt;從 JSON 檔案批量匯入&lt;/p&gt;
&lt;p&gt;&lt;b&gt;新頁面&lt;/b&gt;&lt;/p&gt;&lt;div&gt;&amp;#039;&amp;#039;&amp;#039;空七一原理（空七一 Principle）&amp;#039;&amp;#039;&amp;#039;是由美國史丹福大學出名的電腦教授高德納（Donald Ervin Knuth）提出來的，伊佇咧《電腦程式設計藝術》的第三卷：&amp;#039;&amp;#039;&amp;#039;排序佮選擇&amp;#039;&amp;#039;&amp;#039;中，提出並論證矣這个原理。&lt;br /&gt;
&lt;br /&gt;
&amp;#039;&amp;#039;&amp;#039;空七一原理&amp;#039;&amp;#039;&amp;#039;：如果一个排序網路會當正確來對任何零抹一序列排序，伊就會當對任意陣列做的任意序列正確排序。&lt;br /&gt;
&lt;br /&gt;
這條原理的作用是真大的，為著驗證一个 n 輸入排序網路的正確性，咱毋免檢驗所有的數字構成的任意長為 n 的序列，干焦需要檢驗 $ 二 ^ { n } $ 個零一序列就會當驗證排序網路敢有法度正確來排序。&lt;br /&gt;
&lt;br /&gt;
[[分類: 待校正]]&lt;/div&gt;</summary>
		<author><name>TaiwanTonguesApiRobot</name></author>
	</entry>
</feed>