Computerwissenschaften

12
Erraten der kleinsten eindeutigen positiven Ganzzahl

Betrachten wir das folgende Spiel: Es gibt einige Spieler und einen Computer. Jeder Spieler gibt eine positive ganze Zahl und seinen Namen ein (der Spieler kennt nicht die Zahlen eines anderen, sondern nur seine eigenen). Wenn alle Spieler ihre Züge gemacht haben, gibt der Computer einen Namen des...

12
Bedeutet coNP-Vollständigkeit NP-Härte?

Bedeutet coNP-Vollständigkeit NP-Härte? Insbesondere habe ich ein Problem, von dem ich gezeigt habe, dass es coNP-vollständig ist. Kann ich behaupten, dass es NP-schwer ist? Mir ist klar, dass ich CoNP-Härte beanspruchen kann, aber ich bin nicht sicher, ob diese Terminologie Standard ist. Ich bin...

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...

12
Ist der Quantencomputer analog?

Vor einigen Jahrzehnten hatten wir analoge Computer. Moderne Computer sind digital. Was ist mit Quantencomputern? Ist es analog oder digital? Ich frage dies, da Qubit viele Dinge gleichzeitig sein

12
Forschung in der Graphentheorie versus Graphalgorithmen

Ich habe eine sehr allgemeine Frage zu stellen. Es hängt mit der Forschung zusammen. Ich interessiere mich für Graphentheorie. Ich habe einen Kurs darin gemacht. Ich habe einige Themen im Zusammenhang mit der Graphentheorie aus der Sicht eines Mathematikstudenten behandelt und auch einige...