8.3.3.5 Hull-Konsistenz (1)

Die Strategie mit dem Namen interval_consistency propagiert die vorliegenden solution functions entsprechend dem in Kapitel 5 ausführlich vorgestellten Beispiel 5.3.5. Ausgehend von den Wertebereichen [2,12] für die Intervallvariable v1, [4,9] für v2 und [2,8] für v3, müssen im Ergebnis die Wertebereiche von v1 und v2 auf das Punktintervall [4,4] und der Wertebereich von v3 auf das Punktintervall [8,8] beschränkt werden:

Ergebnis fuer Hull-Konsistenz:
==============================
Strategie: 'interval_consistency'
Expression: ((v1+v2)=v3); (v2=(v3-v1)); (v1=(v3-v2)); (v2=v1); (v1=v2)
Primitive Constraints: (5)
((v1+v2)=v3)
(v2=(v3-v1))
(v1=(v3-v2))
(v2=v1)
(v1=v2)
Variablen: [v1, v3, v2]
Domaenen der Constraint-Variablen: (3)
v1: [(4.0                 +/- 8.881784197001252E-16) ]
v3: [(8.0                 +/- 0.0                ) ]
v2: [(4.0                 +/- 8.881784197001252E-16) ]
Inkonsistenz: false

Ergebnis ist konsistent!

Die Einschränkungen der Intervalldomänen erfolgen analog zu dem in Abschnitt 5.3.5 ff. beschriebenen Beispiel. Die Einschränkungen erfolgten allerdings nicht soweit, wie es maximal möglich wäre. Stattdessen sind die Ergebnisintervalle geringfügig größer als erwartet, was mit der Unvollständigkeit von Berechnungen mit reellwertigen Intervallen durch die verwendete Intervallarithmetik-Bibliothek IAMath zu erklären ist.^8.7

Fußnoten

...^8.7

Aufgrund der begrenzten Berechnungskapazität von Computern ist auch die IAMath-Bibliothek nur unvollständig - aber korrekt: Es ist sichergestellt, dass sich das gesuchte Ergebnis einer intervallarithmetischen Operationen innerhalb der zurückgegebenen Intervallgrenzen befindet. Dies bedingt allerdings, dass für manche Berechnungen geringfügig kleinere oder größere Ergebnisse für die untere bzw. obere Schranke zurückgegeben werden, als der Beobachter erwarten würde. Sind lediglich einfache Berechnungen notwendig und ,,aussagekräftige`` Ergebnisse erwünscht, wird man daher nicht um das Auf- bzw. Abrunden der oberen und unteren Schranken der Ergebnisintervalle umhin kommen.