4.5.5 Shamirs Algorithmus

Zum Ermitteln der Anhäufungspunkte werden die Ungleichungen

|q*b(1) - p*b(2)| < delta
|r*b(1) - p*b(3)| < delta

gelöst mit delta = SQRT(b(1)/2).

Zum Lösen der Ungleichungen wird ein frei verfügbarer Java IP-Solver benutzt. Dieser IP-Solver führt rekursive Aufrufe aus; daher kann es zu einem Stapelüberlauf (stackoverflow) kommen. Die Schrittweite (width) bestimmt die Größe des Intervalls, in dem in einem Schritt nach p-Werten gesucht wird. Gegebenenfalls sollte sie reduziert werden.

source

DES