Da der Begriff überladen ist, eine kurze Definition zuerst. Ein Poset ist eine Menge mit einer Teilordnung ≤ . Gegeben seien zwei Elemente a , b ∈ X , können wir definieren x ∨ y (Join) als ihre kleinste obere gebunden in X und in ähnlicher Weise definieren x ∧ y (treffen) (zusammen) als größte untere Schranke.
Ein Gitter ist ein Poset, in dem zwei beliebige Elemente ein eindeutiges Treffen und eine eindeutige Verknüpfung haben.
Gitter (in dieser Form) tauchen in Theorie CS (kurz) in der Theorie der Submodularität (mit dem Teilmengengitter) und der Clusterbildung (dem Partitionsgitter) sowie in der Domänentheorie (die ich nicht so gut verstehe) und in der statischen Theorie auf Analyse.
Aber ich interessiere mich für Anwendungen, die metrische Strukturen auf Gittern verwenden. Ein einfaches Beispiel stammt aus der Clusterbildung, bei der jede antimonotone submodulare Funktion (antimonotone bedeutet, dass wenn x ≤ y , f ( x ) ≤ f ( y ) ) eine Metrik d ( x , y ) = 2 f ( x induziert ∧ y ) - f ( x ) - f ( y )
Diese Metrik wurde ausgiebig verwendet, um zwei verschiedene Cluster eines Datensatzes zu vergleichen.
Gibt es andere Anwendungen von Gittern, die sich um metrische Strukturen kümmern? Ich habe mich für die Anwendung der Domänentheorie / statischen Analyse interessiert, aber bisher keine Notwendigkeit für Metriken gesehen .