Ich habe eine Weile einen SAT-Algorithmus entwickelt und einen Punkt erreicht, an dem ich ihn gerne teilen möchte. Ich kenne nicht viele Leute in der Informatik und bin mir nicht sicher, wohin ich mich wenden soll.
Ich frage mich, welche Ressourcen für jemanden mit einem Algorithmus verfügbar sind, der eine Veröffentlichung in Betracht zieht. Ich brauche auch Hilfe bei der Analyse der Laufzeit und Korrektheit meines Algorithmus.
Mein Hauptproblem ist die Analyse der Laufzeit. Ich brauche Hilfe bei einer detaillierten Analyse. Ich bin mir ziemlich sicher, dass der Algorithmus korrekt ist, aber es wäre hilfreich, wenn jemand dies ebenfalls überprüfen würde.
Gibt es also jemanden, der bereit wäre, meinen Algorithmus zu analysieren? Welche Ressourcen stehen für eine solche Aufgabe zur Verfügung?
quelle
Antworten:
Wenn Ihr SAT-Algorithmus praktisch sein soll, sollten Sie den ausführen SAT-Wettbewerbsbenchmarks . Die SAT-Lösungsgemeinschaft wird Ihre Arbeit viel ernster nehmen, wenn Sie zeigen können, dass Ihr Ansatz mit vorhandenen Lösern konkurrenzfähig ist. Ihr Solver muss nicht schneller als jeder Solver sein oder mehr Instanzen lösen, aber er sollte ein ernsthafter Konkurrent sein. Sie benötigen keine sehr schnelle oder leistungsstarke Maschine, um die Benchmarks auszuführen. Sie können die Laufzeit einfach mit einem der kostenlosen SAT-Löser wie MiniSAT oder PicoSAT vergleichen . Mit diesen Lösern können Sie auch sehen, wie die Antworten aussehen sollten.
Wenn Sie an einem praktischen Löser arbeiten, der neue Techniken verwendet, und Ihr Ansatz noch nicht wettbewerbsfähig ist, würde ich dennoch empfehlen, diese Benchmarks auszuprobieren. Sie würden Ihnen helfen, die Art der Probleme zu verstehen, die Sie lösen möchten, und die Art der Leistung, die Sie anstreben sollten. Vielleicht möchten Sie auch einige der wichtigsten Kapitel des Handbuchs zur Zufriedenheit oder der kürzlich durchgeführten Umfrage lesen
um die Arten von Argumenten zu sehen, die die wichtigsten Löser unterstützen. Wenn Sie neue Ideen haben, die noch nicht für die Leistung optimiert sind, sowie die besten Löser, müssen Sie die potenziellen Vorteile Ihres Ansatzes jemandem erklären, der die lange Abfolge theoretischer Überlegungen kennt, die zu den aktuellen "Besten" geführt haben üben "Designentscheidungen.
Wenn Ihr Beitrag rein theoretisch ist, müssen Sie sich der vielen Artikel in diesem Bereich bewusst sein und in Ihrem Artikel erklären, warum Ihr Ansatz zumindest in gewisser Weise besser ist. Werfen Sie einen Blick auf aktuelle Arbeiten von beispielsweise Amin Coja-Oghlan oder Alan Frieze, um ein Gefühl für den Stand der Technik zu bekommen und nützliche Hinweise auf wichtige Artikel zu erhalten.
quelle
Da Sie jetzt Ihren Algorithmus teilen möchten, lautet mein persönlicher Vorschlag: Erstellen Sie eine sehr einfache Website. Die Site sollte diese 2 Dinge zur Verfügung stellen:
quelle
zB Sie können ein Umfragepapier schreiben und am Ende Ihre Lösung als neuen vielversprechenden Ansatz vorschlagen. Aber ohne Korrektheitsnachweis und Laufzeitanalyse werden es nicht viele Menschen ernst nehmen (aber einige werden es).
quelle