Od jakiegoś czasu opracowuję algorytm SAT i doszedłem do punktu, w którym chciałbym się nim podzielić. Nie znam wielu ludzi informatyki i nie jestem pewien, dokąd się zwrócić.
Zastanawiam się, jakie zasoby są dostępne dla kogoś z algorytmem, który rozważa publikację. Potrzebuję również pomocy w analizie czasu działania i poprawności mojego algorytmu.
Moim głównym problemem jest analiza środowiska wykonawczego. Potrzebuję pomocy w szczegółowej analizie tego. Jestem całkiem pewien, że algorytm jest poprawny, ale byłoby pomocne, gdyby ktoś również to zweryfikował.
Czy jest ktoś, kto byłby skłonny przeanalizować mój algorytm? Ponadto jakie zasoby są dostępne dla takiego zadania?
Mówisz o publikacji lub sprawdzeniu swojego pomysłu? Co rozumiesz przez „zasoby”; czasopisma czy środki kontroli?
—
Raphael,
Wydaje mi się, że jeśli celem jest publikowanie, musisz mieć przynajmniej analizę środowiska wykonawczego i poczucie „poprawności” algorytmu, zakładając, że jest on heurystyczny. Trzeba też porównać to, co robi algorytm z wcześniejszą pracą - bez tego publikacja jest nie-nie. W rzeczywistości poleciłbym to zrobić najpierw.
—
Suresh Venkat
Zastanawiam się nad publikacją, ale na razie naprawdę szukam pomocy w analizie. Zdaję sobie sprawę, że ta strona może pomóc w konkretnych pytaniach, ale mam nadzieję znaleźć miejsca, w których mogę spotkać ludzi, którzy byliby gotowi pomóc w analizie. Nie mam też dużego doświadczenia w zakresie innych algorytmów, ale zastanawiam się, czy moje podejście może być w jakiś sposób wyjątkowe.
—
Matt Groff,
Zobacz także powiązane pytanie cstheory.stackexchange.com/questions/7600/…
—
András Salamon