Araştırma / yayınlama konusunda nereden yardım alabilirim?

Bir süredir bir SAT algoritması geliştiriyorum ve paylaşmak istediğim bir noktaya geldim. Bilgisayar bilimlerinde çok insan tanımıyorum ve tam olarak nereye döneceğimi bilmiyorum.

Yayınlamayı düşünen bir algoritmaya sahip biri için hangi kaynakların kullanılabilir olduğunu merak ediyorum. Ayrıca algoritmamın çalışma zamanını ve doğruluğunu analiz etmek için yardıma ihtiyacım var.

Benim en büyük sorunum çalışma zamanını analiz etmektir. Bunun ayrıntılı bir analizinde yardıma ihtiyacım var. Algoritmanın doğru olduğundan oldukça eminim, ancak birisi bunu da doğrularsa yardımcı olacaktır.

Yani algoritmamı analiz etmek isteyen biri var mı? Ayrıca, böyle bir görev için hangi kaynaklar mevcuttur?

SAT algoritmanızın pratik olması gerekiyorsa, üzerinde SAT rekabet kriterlerini çalıştırmalısınız . Yaklaşımınızın mevcut çözücülerle rekabet edebilir olduğunu gösterebilirseniz, SAT çözme topluluğu işinizi çok daha ciddiye alacaktır. Çözücünüzün her çözücüden daha hızlı olması veya daha fazla örneği çözmesi gerekmez, ancak ciddi bir rakip olmalıdır. Karşılaştırmaları çalıştırmak için çok hızlı veya güçlü bir makineye ihtiyacınız yoktur; çalışma zamanını MiniSAT veya PicoSAT gibi ücretsiz SAT çözücülerden biriyle karşılaştırabilirsiniz . Bu çözücüler aynı zamanda cevapların nasıl görünmesi gerektiğini de görmenizi sağlayacaktır.

Yeni teknikler kullanan pratik bir çözücü üzerinde çalışıyorsanız ve yaklaşımınız henüz rekabetçi değilse, yine de bu kriterleri denemenizi öneririz. Çözmeniz gereken problem türlerini ve hedeflediğiniz performans türünü anlamanıza yardımcı olurlar. Ayrıca Satisfiability El Kitabı'nın bazı son bölümlerini veya son anketi okumak isteyebilirsiniz.

• Knot Pipatsrisawat ve Adnan Darwiche, Modern Maddeyi Öğrenme Memnuniyeti Çözücüleri Üzerine, Otomatik Akıl Yürütme Dergisi 44 277-301, 2010. ( PDF )

ana çözücüleri destekleyen argüman türlerini görmek için. En iyi çözücülerin yanı sıra henüz performans için optimize edilmemiş yeni fikirleriniz varsa, mevcut "en iyi" dizisine yol açan uzun teorik akıl yürütme dizisini bilen birine yaklaşımınızın potansiyel avantajlarını açıklamanız gerekir. tasarım kararları.

Katkınız tamamen teorik ise, bu alandaki birçok makalenin farkında olmanız ve makalenizde yaklaşımınızın neden en azından bir şekilde daha iyi olduğunu açıklamanız gerekir. En son çalışmalara göz atmak için örneğin Amin Coja-Oghlan veya Alan Frieze gibi en son çalışmalara göz atın.

Şimdi algoritmanızı paylaşmak istediğiniz için kişisel önerim şudur: çok basit bir web sitesi oluşturun. Site şu iki şeyi kullanılabilir yapmalıdır:

1. Algoritmanın kaynak kodu.
2. Yaklaşımınızı kısaca açıklayan bir belge. Yaklaşımınız nerede farklı? Arkasındaki yeni fikir hangisidir? Bu belgenin mükemmel yazılmış bir teknik belge olması veya resmi bir kanıt içermesi gerekmemektedir: bir power point sunumu fikrinizin özünü "iletmek" için yeterli olacaktır. Sadece algoritmanızın neden farklı olduğunu düşündüğünüzü açıklayın. Belki benzersizdir, kim bilir.

1. Fikirlerinizi standart kağıt formatında yazabilirsiniz.
2. ArXiv'de yayınlayın .
3. Kaynak kodunu github'da paylaşın .
4. Çalışma zamanı analizini öğrenmek için biraz zaman ayırın ve işiniz bittiğinde makalenizi güncelleyin.

Örneğin, bir anket belgesi yazabilir ve sonunda çözümünüzü yeni gelecek vaat eden bir yaklaşım olarak önerebilirsiniz. Ancak doğruluk kanıtı ve çalışma süresi analizi olmadan pek çok kişi bunu ciddiye almaz (ancak bazıları alacaktır).