Computerwissenschaften heuristics

3

Messung der Schwierigkeit von SAT-Instanzen

Bei einer Instanz von SAT möchte ich abschätzen können, wie schwierig es sein wird, die Instanz zu lösen. Eine Möglichkeit besteht darin, vorhandene Löser auszuführen, aber diese Art von Funktion verhindert das Abschätzen der Schwierigkeit. Ein zweiter Weg könnte darin bestehen, das Verhältnis von Klauseln zu Variablen zu untersuchen, wie …

28 complexity-theory satisfiability heuristics

1

Wann ist SAT vs. Constraint Satisfaction anzuwenden?

Wenn ich ein schweres Problem habe, besteht ein Standardansatz darin, es als SAT-Instanz auszudrücken und einen SAT-Solver darauf auszuführen. Ein weiterer Standardansatz besteht darin, es als Problem der Einschränkungszufriedenheit auszudrücken und einen CSP-Löser zu verwenden. Die beiden fühlen sich irgendwie vage ähnlich, was Arten von Problemen angeht, die sich natürlich …

18 heuristics sat-solvers constraint-programming

2

Wie stellt eine zulässige Heuristik eine optimale Lösung sicher?

Bei Verwendung von A * (oder eines anderen Algorithmus zur Ermittlung des besten Pfades) sollte die verwendete Heuristik zulässig sein , dh die tatsächliche Länge des Lösungspfades (oder der Bewegungen) sollte niemals überschätzt werden. Wie stellt eine zulässige Heuristik eine optimale Lösung sicher? Ich suche vorzugsweise eine intuitive Erklärung. Wenn …

16 algorithms artificial-intelligence search-algorithms heuristics

2

Anfangstemperatur im simulierten Glühalgorithmus

Ich habe verschiedene Anfangstemperaturen in meinem Simulationsglühalgorithmus getestet und festgestellt, dass sich die Starttemperatur auf die Leistung des Algorithmus auswirkt. Gibt es eine Möglichkeit, eine gute Anfangstemperatur zu berechnen?

14 optimization artificial-intelligence heuristics

1

Wie impliziert Konsistenz, dass eine Heuristik auch zulässig ist?

Eine heuristische Funktion h(n)h(n)h (n) ist ... Konsistent, wenn die geschätzten Kosten vom Knoten nnn zum Ziel nicht größer sind als die Schrittkosten für seinen Nachfolger n′n′n' zuzüglich der geschätzten Kosten vom Nachfolger zum Ziel. Zulässig, wenn h(n)h(n)h(n) niemals die wahren Kosten für den Zielzustand überschätzt. Das Lehrbuch für meinen …

12 algorithms shortest-path heuristics

3

Unterschied zwischen heuristischem und Approximationsalgorithmus?

Ich habe ein Problem in Bezug auf die folgende Situation. Ich habe zwei Reihen von Zahlen wie diese: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 …

9 approximation heuristics

1

Problem mit der maximalen Stapelhöhe

Wurde das folgende Problem bereits untersucht? Wenn ja, welche Ansätze / Algorithmen wurden entwickelt, um das Problem zu lösen? Problem ("Problem mit der maximalen Stapelhöhe") Gegeben Polygonen, finden ihre stabile, nicht-überlappenden Anordnung , die ihre Stapelhöhe maximiert , auf einem festen Boden unter dem Einfluss der Schwerkraft.nnn Beispiel Drei Polygone: …

8 algorithms time-complexity optimization computational-geometry heuristics

3

Warum ist die A * -Suchheuristik optimal, auch wenn sie die Kosten unterschätzt?

Eine * Suche findet eine optimale Lösung für Probleme, solange die Heuristik zulässig ist. Dies bedeutet, dass die Kosten des Pfads von einem bestimmten Knoten zu einem nie überschätzt werden (und konsistent sind, aber konzentrieren wir uns darauf, im Moment zulässig zu sein). Aber warum findet es immer die optimale …

8 algorithms search-algorithms heuristics

3

Wie funktioniert der 3-Opt-Algorithmus für TSP?

Ich verstehe, dass die 3-Opt-Heuristik zur Lösung des Problems des Handlungsreisenden darin besteht, drei Kanten aus einem Diagramm zu entfernen und drei weitere hinzuzufügen, um die Tour erneut abzuschließen. Ich habe jedoch viele Artikel gesehen, in denen erwähnt wird, dass es beim Entfernen von drei Kanten nur noch zwei Möglichkeiten …

8 algorithms optimization heuristics traveling-salesman

2

Was ist der Satz ohne kostenloses Mittagessen?

Ich habe über das No Free Lunch Theorem gelesen, aber ich kann nicht ganz verstehen, worum es geht. Ich habe diesen Satz an anderer Stelle als die Behauptung beschrieben, dass "kein universeller Allzweckoptimierer existiert". Auf der anderen Seite spricht der Wikipedia-Artikel von "Kandidatenlösungen", die "einzeln bewertet" werden - wenn wir …

7 algorithms terminology optimization heuristics

1

Problem ähnlich wie beim Packen

Rufen Sie eine Familie von Sets an F={S1,…,Sk}F={S1,…,Sk}\mathcal{F} = \{S_1, \dotsc, S_k\} "vielfältig" wenn jeder Satz Si∈FSi∈FS_i \in \mathcal{F}hat mindestens ein eindeutiges Element. Was sind mögliche Ansätze, um die größte Vielfalt zu findenSSS in einer Familie von Sets FF\mathcal{F}? Ein Ansatz besteht darin, ein modifiziertes Packungsproblem zu lösen. AnnehmenF={S1,…,Sk}F={S1,…,Sk}\mathcal{F}=\{S_1,\dotsc,S_k\}. LassenKKK …

7 algorithms combinatorics heuristics

2

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 …

7 algorithms loop-invariants correctness-proof formal-languages regular-languages pumping-lemma logic logic programming-languages lambda-calculus term-rewriting operational-semantics complexity-theory time-complexity computability proof-techniques reductions digital-preservation distributed-systems storage algorithms dynamic-programming check-my-algorithm reference-request cryptography quantum-computing formal-languages regular-languages context-free formal-grammars algorithms graphs network-flow algorithms data-structures randomized-algorithms lists computability proof-techniques undecidability terminology distributed-systems parallel-computing artificial-intelligence heuristics search-problem algorithms computational-geometry algorithm-analysis asymptotics recurrence-relation mathematical-analysis master-theorem algorithms algorithm-analysis runtime-analysis computability reductions turing-machines formal-languages context-free

1

Wie können die Details des Bergsteigens mit Schrotflinten implementiert werden, um es effektiv zu machen?

Ich arbeite derzeit an einer Lösung für ein Problem , für die (nach einem wenig Forschung) die Verwendung eines Hügel Klettern und mehr specificly eine Schrotflinte (oder Zufallswiederanlauf ) Hügel klettern algorithmische Idee scheint die beste Lösung , wie ich zu sein Ich habe keine Ahnung, wie der beste Startwert …

7 algorithms optimization heuristics

Als «heuristics» getaggte Fragen