1樓：靈劍
學點資訊理論你就不會問這種問題了，你這個想法就跟造第二類永動機本質上是一樣的，資訊量不能無中生有，跟熵不能自行減小是乙個意思
最基礎的原理上來說根本就不需要太多數學論證，既然你要求的是所有的有限數列，那任意乙個有限數列都應該有乙個對應的公式或者編號或者別的什麼，總之你需要有一種方法將它和其他的有限數列區分開。那麼，你有多少種不同的有限數列，就需要遊多少種不同的公式或者編號。接下來你需要用符號把它們表示出來，然而要表示這麼多種不同的有限數列，需要的最小平均編碼長度，跟最開始有限數列的長度是一樣的。
舉個例子，你要用一種方法表示所有三位二進位制數，這個很短的有限數列有8種，你用0-7分別表示，然而傳送0-7也需要3位二進位制數。最終來說並不能減少要傳送的資訊量。
再來說說壓縮的原理，壓縮原理在於人要傳送的檔案有其分布規律，而不是任意有限數列概率都相等，所以可以讓概率大的用較短的編碼，概率小的用較長的編碼，比如說傳送三位二進位制數，但是大部分情況下傳送的是000和111，那麼可以用00和01分別表示000和111，用1101表示101之類其他的二進位制數，這樣000和111就可以只用兩位二進位制數表示了，但是其他不常用的反而長度會變長。
2樓：
任何有限序列都是pi的子段。。。。檔案壓縮變成了兩個個數，也就是pi的起始位置和長度。。。。乙個參考實現是pi檔案系統，在github上有。。。
但正如前幾樓有人所講，計算複雜度大幅度提公升。。。甚至難以接受
3樓：
還可以從反證法這個角度想想：
假設題主所言成立，用乙個公式代替數列（即計算機檔案）可以「壓縮」儲存空間。
那麼這個公式本身也是乙個數列，將可以用另乙個公式「簡化」表達。
如此反覆，最終一部幾百G的高畫質電影可以被題主的這種方法壓縮到幾個位元組。
顯然，這是不可能的。
問題就在於，不能保證每一次的壓縮率都小於100%，甚至偶爾會極有可能大於100%，如此一來這個迴圈「壓縮」的過程就不是單調遞減的。
通項公式有時候會比數列更複雜。
4樓：
有但是一般情況下無論是公式還是數列資訊量是一樣的甚至更多所以對壓縮無用還要白白增加計算成本
update:
其實現代的壓縮演算法已經非常接近夏農第一定律的極限了所以LZ想用乙個單一公式的方法到達「給檔案壓縮帶來質的變化」是不可能了
5樓：Filestorm
覺得諸位貌似沒有回答道點子上啊。。。
問題的關鍵是，這個公式的複雜度是否低於這個數列的複雜度？
這個問題的答案才是真正解決樓主所說的「檔案壓縮」問題。
至於這個問題的本質，請參考Kolmogorov複雜度：
而Kolmogorov complexity恰恰正是編碼、壓縮的基石之一。
在實際生活中比較普遍的應用是稀疏分析。這一領域的目標是讓乙個「representation」（對應理解為lz所說的公式）的l1 norm（某種意義上的複雜度）盡量低於原來數列的複雜度。
目前日常生活中的典型應用之一就是jpeg/mpeg編碼。
6樓：doubletony
必須有的。高一的時候就和同桌玩過。他推出來的就是拉格朗日的那個，而我就推出了下面這個土不拉幾的。。。
1 - | |x - n - 0.5| - |x - n + 0.5| |
隨意補充一下：
上面只是係數，完整版本如下：
f(x)=\sum_^(1-\left|\left|x-i-0.5\right|-\left|x-i+0.5\right|\right|)a_
a_ 為 n 個給定值。x = 1時為a_; x = 2時為a_，依此類推
7樓：小離Sidney
這個問題可以有以下幾個考慮方向：是否存在乙個函式，使得x_1到x_n的n個點的分別依次對應函式值為這個有限數列；
是否存在乙個變換矩陣，使得任意有限數列都可由其所構成的n維空間V的基向量變換得到。
對於第一種考慮：
對問題進一步數學化一些，轉述為：對於任意的有限的數列s_1, s_2, ... , s_n是否存在乙個函式f，使得f(x_1)=s_1, f(x_2)=s_2, ...
, f(x_n)=s_n。也就是，對於數對序列，是否對於乙個定義域[a,b]，且有a≤x_1≤x_2≤...≤x_n≤b，存在函式f滿足上述序列。
於是，這就變成了乙個多項式插值問題了，完全可以使用簡單的拉格朗日插值法，求得這樣的為如下形式的函式（按LaTeX的函式書寫方式）：
f(x)=\sum_^n s_j l_j(x)，其中 l_j(x)=\PI_^n \frac
對於第二種考慮：
對問題進一步數學化，轉述為：是否存在乙個n維空間上的變換矩陣F，使得有限數列s_1, s_2, ... , s_n所構成的向量S滿足FS=h，h為基向量。
根據矩陣變換的相關知識，很顯然，必然存在這樣的變換F滿足這一條件。
綜上，是存在這樣的「公式」，滿足問題條件。只是這樣的公式是否唯一有待驗證罷了……
參考：拉格朗日插值法 http://
en.wikipedia.org/wiki/L
agrange_polynomial
多項式插值 http://
en.wikipedia.org/wiki/P
olynomial_interpolation
矩陣變換 http://
en.wikipedia.org/wiki/T
ransformation_matrix
8樓：催眠
因為序列可以看作是乙個定義在整數子集上的離散函式，求通項公式就類似於求函式表示式，容易處理的是多項式函式。知道了前n個項，就知道了多項式函式（對應的n次方程）的n個根，那麼簡單的形式就是：(x-x1)(x-x2)...
(x-xn)，這樣總是可以寫出「公式」來，進一步，可以為這個乘積新增任意其它因子，所以符合前n項的序列不會只有一種。
9樓：garfieldking
必須可以。這也是為什麼所有的「找規律填數字」的「智力題」（在數學上）毫無意義的原因：理論上你可以在留空處填上任意數字。
不過你明白你說的「公式」是什麼東西麼？嚴謹地說，應該是：對於任意有限數列 a_1,a_2,...
,a_n ，是否存在從集合到集合的對映f使得f(i)＝a_i。答案顯然是肯定的（因為問題本身已經給出了這樣乙個對映的定義）。而且，顯然的，不止是有限數列，對可數數列同樣成立。
手機打字好痛苦！。。。。
10樓：
可以，解多元方程組即可。
比如有限數列是l1, l2, l3 ... ln則令f(x) ＝ l1 * x^(n-1) + l2 * x^(n-2l(n-1) x + ln
解方程組 f(1) = l1 , f(2) = l2 .... f(n) = ln
即可得到公式。
如果無解，則再令 f(x) = k * x^n + l1 * x^(n-1) + l2 * x^(n-2l(n-1) x + ln
（其中k為任選的非零常數），同上方法繼續解方程組即可。
是否所有的 C C 程式都可以被編譯到 WebAssembly 呢？
玄魂 肯定不是了，理清這個問題，需要了解下wasm的基本原理。推薦閱讀 玄魂 系統學習WebAssembly 1 理論篇 堂吉可德 理論上是的，它就是個執行在瀏覽器上的虛擬機器，這個虛擬機器載入了某種語言的執行環境，那麼就能執行這種語言。不能執行部分就在於瀏覽器的安全限制，這個安全限制使應用程式成為...
所有的咖啡豆都可以做espresso嗎？還有espresso萃取的量是多少？
蛋蛋IN北京 這件事可以深講也可以淺聊.首先你要先知道，所有的咖啡生豆，經過烘焙之後就是咖啡熟豆。但在烘焙的過程，是有一些操作，使咖啡 相對 適合用於 有壓or 無壓的萃取。我嘗試想用別的東西舉例，但沒想好找什麼?勉強的說就有點像搓麵糰，都是麵糰，但有的更合適做麵條，有的更合適做包子。我只是想表達，...
大家來安利自己家愛豆吧，所有的團都可以？
大型男團NCT 飯圈稱 記憶體條，簡稱 條 如此Neo不入坑嗎姐妹？我先占個坑，後期在慢慢補充吧。先上另乙個問題的回答，請各位簡單了解一下NCT初代青少年隊 NCT dream。過期糖也好甜吶！假如從kpop男愛豆裡面選人重組男團，你會怎麼選配置？ SJ希大與小盒 粉過的韓團司機和CROWN愛宰澈雲...