Als «parallel-computing» getaggte Fragen

Fragen zu Algorithmen oder Programmen, die gleichzeitig auf mehreren Verarbeitungseinheiten berechnet werden. Nicht zu verwechseln mit Concurrent oder Distributed Computing!

28
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...

23
P-Vollständigkeit und parallele Berechnung

Ich habe kürzlich über Algorithmen zur Überprüfung der Bisimilarität gelesen und gelesen, dass das Problem P-vollständig ist . Darüber hinaus hat dies zur Folge, dass es unwahrscheinlich ist, dass dieses Problem oder ein beliebiges P-vollständiges Problem effiziente parallele Algorithmen aufweist....

12
Multicore-SAT-Löser

Ich versuche, ein SAT-Problem mit 25k Klauseln und 5k Variablen zu lösen. Da es seit einer Stunde läuft (Precosat) und ich später größere Probleme lösen möchte, suche ich einen Mehrkern-SAT-Solver. Da es anscheinend viele SAT-Solver gibt, bin ich ziemlich verloren. Könnte mir jemand das beste für...