Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Arten von automatisierten Theoremprüfern
Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess . Welches sind die relevanten automatisierten Theorembeweiser? Ich fand eine Übersicht über Theorem Provers Ist das noch aktuell? Welche sind noch sehr aktiv, dh welche werden derzeit außerhalb der Gruppe verwendet, …
2
Wie erstelle ich einen Algorithmus, um (veränderbare) Fenster auf dem Bildschirm so anzuordnen, dass so viel Platz wie möglich abgedeckt wird?
Ich möchte ein einfaches Programm schreiben, das eine Reihe von Fenstern (Breite + Höhe) und die Bildschirmauflösung akzeptiert und eine Anordnung dieser Fenster auf dem Bildschirm ausgibt, so dass die Fenster den größten Platz beanspruchen. Daher ist es möglich, die Größe eines Fensters unter Beibehaltung output size >= initial sizedes …
3
HALF CLIQUE - NP Schließe das Problem ab
Lassen Sie mich mit der Feststellung beginnen, dass dies ein Problem bei den Hausaufgaben ist. Bitte geben Sie nur Ratschläge und entsprechende Beobachtungen, KEINE DIREKTEN ANTWORTEN, bitte . Nachdem dies gesagt wurde, ist hier das Problem, das ich betrachte: Sei HALF-CLIQUE = { | ist ein ungerichteter Graph mit einem …
1
Implementieren des GSAT-Algorithmus - Wie wähle ich das zu spiegelnde Literal aus?
Der GSAT-Algorithmus ist größtenteils unkompliziert: Sie erhalten eine Formel in konjunktiver Normalform und spiegeln die Literale der Klauseln, bis Sie eine Lösung finden, die der Formel entspricht, oder Sie die Grenze max_tries / max_flips erreichen und keine Lösung finden. Ich implementiere den folgenden Algorithmus: procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF …
3
Sind die heutigen massiven Parallelverarbeitungseinheiten in der Lage, zellulare Automaten effizient zu betreiben?
Ich frage mich, ob die massiv parallelen Recheneinheiten, die heutzutage in Grafikkarten zur Verfügung stehen (eine , die zum Beispiel in OpenCL programmierbar ist ), gut genug sind, um 1D-Zellularautomaten (oder vielleicht 2D-Zellularautomaten?) Effizient zu simulieren. Wenn wir ein endliches Gitter wählen, das in den Speicher des Chips passt, können …
3
Weg zu formalen Methoden
Es ist nicht ungewöhnlich, dass Studenten ihre Doktorarbeit mit nur begrenztem Hintergrund in Mathematik und den formalen Aspekten der Informatik beginnen. Offensichtlich wird es für solche Studenten sehr schwierig sein, theoretische Informatiker zu werden, aber es wäre gut, wenn sie es verstehen könnten, formale Methoden anzuwenden und Papiere zu lesen, …
1
Verhältnis der entscheidbaren Probleme
Betrachten Sie Entscheidungsprobleme, die in einer „vernünftigen“ formalen Sprache angegeben sind. Sagen wir, Formeln in Peano-Arithmetik höherer Ordnung mit einer freien Variablen als Bezugsrahmen, aber ich interessiere mich auch für andere Berechnungsmodelle: diophantische Gleichungen, Wortprobleme durch das Umschreiben von Regeln mit Turing-Maschinen usw. Eine in any ausgedrückte Antwort Eine klassische …
1
Gleichwertigkeit von Kolmogorov-Komplexitätsdefinitionen
Es gibt viele Möglichkeiten, die Kolmogorov-Komplexität zu definieren , und normalerweise sind alle diese Definitionen bis zu einer additiven Konstante äquivalent. Das heißt , wenn und Kolmogorov Komplexität Funktionen (definiert über verschiedene Sprachen oder Modelle) sind, dann gibt es eine Konstante , so dass für jeden String , . Ich …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.