Ich möchte ein mathematisches Problem in ein boolesches Erfüllbarkeitsproblem (SAT) umwandeln und es dann mit einem SAT-Solver lösen. Ich frage mich, ob jemand ein Handbuch, eine Anleitung oder etwas anderes kennt, das mir hilft, mein Problem in eine SAT-Instanz umzuwandeln. Außerdem möchte ich...
Generische Sortieralgorithmen verwenden im Allgemeinen einen Datensatz zum Sortieren und eine Komparatorfunktion, mit der zwei einzelne Elemente verglichen werden können. Wenn der Komparator eine Ordnungsrelation¹ ist, ist die Ausgabe des Algorithmus eine sortierte Liste / ein sortiertes Array. Ich...
Beim Entwurf von Algorithmen werden häufig die folgenden Techniken angewendet: Dynamische Programmierung Die Gier-Strategie Teilen und Erobern Während es für die ersten beiden Methoden bekannte theoretische Grundlagen gibt, nämlich das Bellman-Optimalitätsprinzip und die Matroid- (bzw. Greedoid-)...
Ein Array oder Vektor ist nur eine Folge von Werten. Sie können sicher mit einer verknüpften Liste implementiert werden. Dies ist nur ein Bündel von Knoten mit Zeigern auf den nächsten Knoten. Stapel und Warteschlangen sind zwei abstrakte Datentypen, die in Intro CS-Kursen gelehrt werden. Irgendwo...
Titel gibt die Frage an. Wir haben als Eingaben eine Liste von Elementen, die wir vergleichen können (bestimmen, welches das größte ist ). Kein Element kann gleich sein. Wichtige Punkte: Der Vergleich ist nicht transitiv (denken Sie an eine Steinpapierschere): Dies kann wahr sein: A> B, B> C,...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich möchte die Existenz eines Algorithmus beweisen oder widerlegen, der bei einem Array von ganzen Zahlen drei Indizes und so...
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich bin gespannt, wie man die Domain eines beliebigen IDN- Hostnamens (wie in RFC5890 definiert ) sehr kompakt komprimieren kann, und vermute, dass dies eine...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Laut dieser Seite ist der Dijkstra-Algorithmus nur BFS mit einer Prioritätswarteschlange. Ist es wirklich so einfach? Ich denke...
Ich habe den größten Teil des Materials in Cormens Intro to Algorithms-Buch fertiggestellt und suche nach einem Algorithmus-Buch, das Material über Cormans Buch hinaus abdeckt. Gibt es irgendwelche Empfehlungen? HINWEIS: Ich habe dies beim Stackoverflow gefragt, war aber mit der Antwort nicht allzu...
In der Mathematik gibt es viele Existenzbeweise, die nicht konstruktiv sind, so dass wir wissen, dass ein bestimmtes Objekt existiert, obwohl wir nicht wissen, wie wir es finden können. Ich suche nach ähnlichen Ergebnissen in der Informatik. Insbesondere: Gibt es ein Problem, das wir beweisen...
Ich möchte wissen, welcher Algorithmus für die Multiplikation von zwei n-stelligen Zahlen am schnellsten ist. Platzkomplexität kann hier gelockert
Ich habe eine Aufgabe, bei der ich einen binären Suchbaum verwenden und ihn so ändern muss, dass sich die Elemente, auf die am häufigsten zugegriffen wird (mit höherer Priorität), am oberen Rand des Baums befinden. Dabei ist der Stamm der Knoten, auf den am häufigsten zugegriffen wird . Der...
Der diskrete Logarithmus ist derselbe wie in , wenn , und .bbbab=cmodNab=cmodNa^b=c \bmod NaaacccNNN Ich frage mich, in welchen Komplexitätsgruppen (z. B. für klassische Computer und Quantencomputer) sich dies befindet und welche Ansätze (dh Algorithmen) sich am besten für diese Aufgabe eignen. Der...
WalkSAT und GSAT sind bekannte und einfache lokale Suchalgorithmen zur Lösung des Problems der booleschen Erfüllbarkeit. Der Pseudocode für den GSAT-Algorithmus wird aus der Frage Implementieren des GSAT-Algorithmus kopiert. Wie wird ausgewählt, welches Literal umgedreht werden soll? und unten...
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...
Diese Frage wurde von Artificial Intelligence Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . Bei den meisten Implementierungen genetischer Algorithmen liegt der Fokus auf Crossover und Mutation. Aber irgendwie lassen die...
Bevor ich The Art of Computer Programming (TAOCP) gelesen habe , habe ich diese Fragen nicht gründlich untersucht. Ich würde Pseudocode verwenden, um Algorithmen zu beschreiben, sie zu verstehen und die Laufzeit nur über Wachstumsordnungen zu schätzen. Das TAOCP ändert meine Meinung gründlich....
Ich interagiere oft mit Leuten, die nach einem Algorithmus für ein Rechenproblem (oder dessen Komplexität) fragen möchten, aber sie drücken ihn nicht so aus, dass wir (Informatiker) ihn verstehen. Es ist nicht hilfreich, sie auf Bücher wie CLRS zu verweisen, da die Beispiele dort in der Regel recht...
PP\mathsf{P}kkkP T I M E ( f ( n ) )DTIME(nk)⊊PTIME(nk)DTIME(nk)⊊PTIME(nk)\mathsf{DTIME}(n^k) \subsetneq \mathsf{PTIME}(n^k)PTIME(f(n))PTIME(f(n))\mathsf{PTIME}(f(n)) die Menge von Sprachen, die durch ein randomisiertes TM mit konstant begrenztem (einseitigem oder zweiseitigem) Fehler in Schritten...
Ich muss einen negativen Zyklus in einem gerichteten gewichteten Graphen finden. Ich weiß, wie der Bellman Ford-Algorithmus funktioniert und ob es einen erreichbaren negativen Zyklus gibt. Es nennt es aber nicht explizit. Wie kann ich den tatsächlichen Pfad des Zyklus