好的,我發現了一些基於幾何觀測的東西。
假設您現在只有4個數字:a1 < = a2和b1 < = b2(0)。
| a1-b1 | + | a2-b2 | < = | a1-b2 | + | a2-b1 | (1)
在這種情況下,我們想檢查(1)是否爲真。
我重寫(1)的基礎上顯而易見的等價關係:
(| A1-B1 | + | A2-B2 |)^ 2 < =(| A1-B2 | + | A2-B1 |)^ 2(2)
-2 * A1 * B1 -2 * A2 * B2 < = -2 * A1 * B2 -2 * A2 * B1(3)
我應該解釋如何從得到(2- )到(3)?我猜不會。
然後我們得到:
A1 * B1 + A2 * B2> = A1 * B2 + A2 * B1(4)
A1(B1-B2)> = A2 *(B1-B2) (5)
A1(B1-B2) - A2 *(B1-B2)> = 0(6)
A1(B1-B2)+ A2 *(B2-B1)> = 0(7 )
但是(5)顯然是真的,因爲b1-b2 < = 0和a1 < = a2(參見(0))。
這對於N = 2嚴格證明。
我的直覺告訴我,這應該得到某種
很容易推廣爲N的情況下,也許我們可以試着從這裏的
感應(在看到這些(1),(2),(3)等等。)。
幾何學,可以想像,在艾和Bj爲點
兩個平行的數字LINEX(軸A,軸B)。一個
配對配置由與段連接從A配對
點和B中定義。您的聲明基本上是
表示最佳配對是其中沒有兩個段(Ai,Bj)彼此交叉(它們可以與
彼此重疊/在最優解決方案中/但可能彼此不交叉) 。
對不對?現在
,如果我們做同樣的事情(這我做了N = 2),
任何N,你會得到這樣一個問題:「是
A1(B1-BI 1)+ A2(B2- BI2)+ A3(B3-BI3)+ ... + AN *(BN-BIN)> = 0(4' )
真」,其中I1,I2,...,IN的任何置換(1, 2,...,N),
並且考慮到A [1] = < A [1 + 1]和b [i]於< = b [I + 1]對於每個i。
現在,我們在這裏做N個感應證明(4' )。
假設(4')對於N和對於所有K都成立,使得K < N.
對A和B增加兩個數字。假設aN + 1和bN + 1。
假設它們以其各自的SORTED序列(A,B)插入位置s1(在A中)和s2(在B中)
中。假設s1 < = s2
(相反的情況是類比的)。所以現在as1 = aN + 1和bs2 = bN + 1,
但是s1和s2是它們在NEW排序序列中的實際指數。
但是,現在證明(4「)爲N + 1變成的
證明它對於N = 2的問題,因爲只有這些術語(從(4」))
無論我們何時做從N到步驟N + 1。
AS1 *(BS1 - BS2)+ AS2 *(BS2 - BS1)> = 0(7' )
和正如我們看到的,這是對於N = 2真(見上述(7))。
對於其它N-1項(其保持從(4「))中,我們得到了
不等式(4」)爲真,由於從感應的假設(它是
真用於N-1)。因此,根據2和N-1的真值,我們得到了N + 1的真值。
希望你明白我是怎麼做到的。在紙上,它更容易
寫它,很難寫在這裏。
所以這應該是你對N情況的嚴格證明。
「*因此S1和P1之間的差值小於Sj和P1 ... *之間的差值」。這是有缺陷的。如果'S = [1,10],P = [10,20]',那麼'| S2-P1 | <| S1-P1 |'。 – Geobits
如果這有幫助,你可以最小化L1範式下兩個向量的差異:http://en.wikipedia.org/wiki/Norm_(mathematics)#Taxicab_norm_or_Manhattan_norm如果你在http://math.stackexchange上提出這個問題, .com /你一定會得到一個快速的答案。我第二個馬特的建議是 – Matt
。我想你會在math.stackexchange上得到更快的答案,並且他們對於這類問題的質量可能會更高。 –