Lösungsansatz

Für die Lösung werden die Ungleichungen als lineare Hyperflächen angesehen, welche den konvexen Hyperkörper der Lösungen begrenzen. Dabei ist die Anzahl der Dimension gleich der Anzahl der Parameter $d$.

Um den Hyperkörper der Lösungen zu bestimmen, werden nacheinander die Hyperflächen (zu den Ungleichungen) hinzugefügt. Dabei wird der Hyperkörper der Lösungen immer weiter eingeschränkt. Wenn der Hyperkörper der Lösungen durch das hinzufügen der nächsten Ungleichung verschwinden würde (dann würde keine Lösungen mehr existieren), wird das Verfahren gestoppt und ein Punkt aus dem Hyperkörper der Lösungen als Lösung zurückgegeben.