Bu algoritmanın sonunda sona erdiğini kanıtlamanın kolay yolu

Giriş ve gösterimler:

İşte algoritmamın (deneylerime göre) sona ermiş gibi görünen yeni ve basit bir sürümü ve şimdi bunu kanıtlamak istiyorum.

Gösterim olsun bir bakınız s boyutlu veri noktası (bir vektör). Üç set A, B ve C var, öyle ki | A | = n , | B | = m , | C | = l : A = { x i | ı = 1 , . . , n } B = { x j | j = n + $x_i \in \mathbb{R}^p$$p$$|A| = n$$|B| = m$$|C| = l$

verildiğinde , d A x i'nin x i ile A arasındaki en yakın k arasındaki ortalama Öklid mesafesini göstermesine izin verin ; ve d Cı x i göstermektedirler ortalama Öklid mesafe x i onun için k noktalar yakın C .$k \in \mathbb{N^*}$$d_{x_i}^A$$x_i$$k$$A$$d_{x_i}^C$$x_i$$k$$C$

Algoritma:

$A$$B$$B$$C$$A$$C$$B$

• $A' = \{ x_i \in A \mid d_{x_i}^A > d_{x_i}^C \}$
• $A = A \setminus A'$$B = B \cup A'$
• $B' = \{ x_i \in B \mid d_{x_i}^A < d_{x_i}^C$
• $B = B \setminus B'$$A = A \cup B'$
• $A$$B$$B$$A$$|A| \leq k$$|B| \leq k$

Algoritma iki durumda sona erer:

• $|A|$$|B|$$k$
• $A' = B' = \emptyset$

Soru:

$\sum_{x \in A} d_x^C + \sum_{x \in B} d_x^A$$\sum_{x \in A} d_x^A + \sum_{x \in B} d_x^C$$\sum_{x \in A} d_x^A + \sum_{x \in B} d_x^B$$\sum_{x \in A} d_x^B + \sum_{x \in B} d_x^A$

Notlar:

• $k$$x$$S$$k$$x$$S$$x$$k = 1$
• $A, B, C$$\forall x_i \in B, x_j \in A$$x_b \in C$$x_i$$x_a \in C$$x_j$$distance(x_i, x_b) < distance(x_j, x_a)$$B$$C$$A$
• $A$$B$$A$$B$$A'$$B$

$k = 1$

$A$$B$$A$$B$

$x$$x$$B$$A$$x$$A$$x'$$A$$d_x^C > dist(x, x')$$f$$f(x) = x'$$x'$$A$$B$$x'$$A$$x$$f(f(x)), f(f(f(x))),$

$f^n(x) = f^m(x)$$m > n$$d_{f(x)}^C, d_{f^2(x)}^C, ... d_{f^n(x)}^C, ...$$o$$d_{f^{o-1}(x)}^C \leq d_{f^o(x)}^C$

$f^{o-1}(x)$$f^o(x)$$A$$C$$d_{f^o(x)}^C \geq d_{f^{o-1}(x)}^C > dist(f^{o-1}(x), f^o(x))$$f$

$f^{o-1}(x)$$f^o(x)$$A$$A$$f$$k = 1$