Eine Heuristik ist ein Verfahren, das generisch auf viele Probleme angewendet werden kann (z. B. Gradientenabstieg, abwechselnde Optimierung, simuliertes Tempern), jedoch normalerweise keine formalen Garantien für seine Verwendung hat.
Welche theoretischen Erklärungen gibt es für den praktischen Erfolg von SAT-Lösern, und kann jemand einen Überblick im "Wikipedia-Stil" geben und sie alle zusammenfassen? Analog dazu liefert die geglättete Analyse ( arXiv-Version ) für den Simplex-Algorithmus eine hervorragende Erklärung dafür, warum sie in der Praxis so gut funktioniert, obwohl sie im …
Stabiles Eheproblem: http://en.wikipedia.org/wiki/Stable_marriage_problem Mir ist bekannt, dass für eine SMP-Instanz neben der vom Gale-Shapley-Algorithmus zurückgegebenen viele andere stabile Ehen möglich sind. Wenn wir jedoch nur , die Anzahl der Männer / Frauen, erhalten, stellen wir die folgende Frage: Können wir eine Präferenzliste erstellen, die die maximale Anzahl stabiler Ehen angibt? …
Gibt es NP vollständige Probleme ohne unendliche Teilmenge von Fällen so , dass die Mitgliedschaft in in Polynomialzeit, und für alle entschieden werden , in Polynomialzeit gelöst werden? (Angenommen, )& Phi; x ∈ & Phi; x P ≠ N PΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhixxxP≠ NPP≠NPP \neq NP
Ich möchte die Baumbreite eines Graphen berechnen . Es gibt wirklich gute Heuristik für andere NP-hard Graphen Probleme wie VF2 für Subgraphen Isomorphismus, mit dem Code in IGRAPH zum Beispiel. Ich habe sie in meinen Grafiken ausprobiert und finde, dass sie für meine Daten sehr schnell laufen. Gibt es schnelle …
Ich bereite einige Kursmaterialien zu Heuristiken für die Optimierung vor und beschäftige mich mit Methoden der Koordinatenabnahme. Die Einstellung ist hier eine multivariate Funktion , die Sie optimieren möchten. die Eigenschaft auf eine einzelne Variable beschränkt ist, ist die Optimierung einfach. Der Koordinatenabstieg erfolgt also durch Durchlaufen der Koordinaten, Fixieren …
In dieser Arbeit von Kempe-Kleinberg-Tardos schlagen die Autoren einen gierigen Algorithmus vor, der auf submodularen Funktionen basiert, um die einflussreichsten Knoten in einem Graphen mit Anwendungen auf soziale Netzwerke zu bestimmen .kkk Grundsätzlich geht der Algorithmus wie folgt vor: S= e m p t y s e t S=empty setS …
Branch-and-Bound ist eine effektive Heuristik für Suchprobleme, und Wikipedia listet eine Reihe schwerwiegender Probleme auf, bei denen Branch-and-Bound verwendet wurde. Es ist mir jedoch nicht gelungen, Referenzen zu finden, die darauf hindeuten, dass dies mehr als nur eine Methode zur Lösung dieser Probleme ist. Anekdotisch habe ich gehört, dass einige …
SMT-Löser wie Z3 oder Boolector verwenden komplexe Heuristiken, um Probleme zu lösen. Dies macht es jedoch auch sehr schwierig, die Leistung eines solchen Lösers für ein bestimmtes Problem vorherzusagen. Meine Frage lautet also: Frage Gibt es eine Möglichkeit, die Leistung eines SMT-Lösers für einen bestimmten in der Theorie der quantifiziererfreien …
Ich suche nach einer Liste von NP-harten Optimierungsproblemen, bei denen es aktive Forschung in der praktischen Heuristik gibt, um sie zu lösen, und es gibt gemeinsame Benchmarks, die die Leute zu schlagen versuchen. Beispiele sind: Phylogenetische Baumrekonstruktion (zum Beispiel hier heuristisch ) Reisender Verkäufer (nicht so aktiv, aber LKH ist …
Ich unterrichte einen Kurs über Meta-Heuristik und muss interessante Beispiele für klassische kombinatorische Probleme für den Begriff Projekt generieren . Konzentrieren wir uns auf TSP. Wir beschäftigen uns mit Graphen der Dimension und größer. Ich habe natürlich versucht, ein Diagramm mit einer Kostenmatrix mit Werten aus einem zufälligen U ( …
Da es Freitag ist, ist es Zeit für eine CW-Frage. Ich suche nach Heuristiken, die bei Optimierungsproblemen weit verbreitet sind. Um den Umfang auf "theoretisch freundlichere" Heuristiken zu beschränken, sind hier die Regeln (einige willkürlich, andere nicht). Es sollte eine genau definierte Methode ohne zahlreiche Parameter und mit einer konkreten …
Wie kann man die d+1d+1d+1 Ecken des Einheitswürfels in RdRd\mathbb{R}^d einem Punkt xxx im Würfel am nächsten liegen ? Verwenden Sie die L1-Metrik, so dass in 4d | xxx - 0000 | = ∑xi∑xi\sum {x_i} , | xxx - 0001 | = x3+x2+x1+(1−x0)x3+x2+x1+(1−x0)x_3 + x_2 + x_1 + (1 - …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.