Als «heuristics» getaggte Fragen

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.

5
Theoretische Erklärungen für den praktischen Erfolg von SAT-Lösern?
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 …

5
Was ist die maximale Anzahl von stabilen Ehen für eine Instanz des Problems der stabilen Ehe?
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? …


5
Schnelle Baumbreitenalgorithmen
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 …

4
Theoretische Untersuchung von Koordinatenabstiegsmethoden
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 …

2
Dezentraler Algorithmus zur Ermittlung einflussreicher Knoten in sozialen Netzwerken
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 …

3
Erfolgreiche Anwendung von Branch-and-Bound-Methoden für NP-harte Probleme
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 …

1
Grundlegendes zur Leistung von QFBV SMT-Solvern
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 …



1
Heuristiken zur Optimierung
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 …

3
Finden Sie die nächsten
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 - …
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.