Als «computational-geometry» getaggte Fragen

7
Wenn 3 Punkte kollinear sind

Wenn eine Menge von Punkten den effizientesten Algorithmus zum Bestimmen, ob 3 Punkte der Menge kollinear sind.S.SSp1, . . ,p2p1,..,p2p_1,..,p_2 Das Problem ist, dass ich mit der allgemeinen Definition begonnen habe, aber ich kann das Problem nicht weiter lösen. Was können wir über kollineare...

7
Konvexe Polygonformulierung

Wir haben eine sortierte Liste von Seitenlängen, die zur Bildung eines Polygons verwendet werden können. Es gibt solche Werte ( ).nnnn ≤ 1000n≤1000n \le 1000 Jetzt müssen wir herausfinden, ob wir 10 dieser Werte verwenden können, um ein nicht entartetes konvexes Polygon zu bilden. Wie gehen wir das...

7
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm

Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...