¿Dónde busco ayuda con la investigación / publicación?

He estado desarrollando un algoritmo SAT durante un tiempo y he llegado a un punto en el que me gustaría compartirlo. No conozco a muchas personas en ciencias de la computación, y no estoy seguro exactamente a dónde acudir.

Me pregunto qué recursos están disponibles para alguien con un algoritmo que está considerando publicar. También necesito ayuda para analizar el tiempo de ejecución y la corrección de mi algoritmo.

Mi principal problema es analizar el tiempo de ejecución. Necesito ayuda con un análisis detallado de esto. Estoy bastante seguro de que el algoritmo es correcto, pero sería útil si alguien verificara esto también.

Entonces, ¿hay alguien que esté dispuesto a analizar mi algoritmo? Además, ¿qué recursos están disponibles para una tarea como esta?

Si su algoritmo SAT está destinado a ser práctico, entonces debe ejecutar los puntos de referencia de la competencia SAT en él. La comunidad de resolución de SAT tomará su trabajo mucho más en serio si puede demostrar que su enfoque es competitivo con los solucionadores existentes. Su solucionador no tiene que ser más rápido que cualquier solucionador, o resolver más casos, pero debe ser un competidor serio. No necesita una máquina muy rápida o potente para ejecutar los puntos de referencia; simplemente puede comparar el tiempo de ejecución con uno de los solucionadores SAT gratuitos como MiniSAT o PicoSAT . Estos solucionadores también le permitirán ver cómo deberían ser las respuestas.

Si está trabajando en un solucionador práctico que utiliza nuevas técnicas, y su enfoque aún no es competitivo, le sugiero que pruebe estos puntos de referencia. Le ayudarán a comprender los tipos de problemas que debe intentar resolver y el tipo de rendimiento al que debe aspirar. Es posible que también desee leer algunos de los capítulos clave del Manual de satisfacción o la encuesta reciente.

• Nudo Pipatsrisawat y Adnan Darwiche, Sobre solucionadores modernos de satisfacción de la cláusula de aprendizaje , Journal of Automated Reasoning 44 277–301, 2010. ( PDF )

para ver los tipos de argumentos que respaldan a los principales solucionadores. Si tiene nuevas ideas que aún no están optimizadas para desempeñarse tan bien como los mejores solucionadores, deberá explicar las ventajas potenciales de su enfoque a alguien que conozca la larga secuencia de razonamiento teórico que ha llevado al conjunto actual de "mejores practicar "decisiones de diseño".

Si su contribución es puramente teórica, entonces debe conocer los numerosos documentos en esta área y explicar en su documento por qué su enfoque es mejor al menos de alguna manera. Eche un vistazo al trabajo reciente de, por ejemplo, Amin Coja-Oghlan o Alan Frieze para tener una idea del estado del arte y de consejos útiles para documentos importantes.

Como ahora desea compartir su algoritmo, mi sugerencia personal es la siguiente: cree un sitio web muy simple. El sitio debe poner a disposición estas 2 cosas:

1. El código fuente del algoritmo.
2. Un documento que describe brevemente su enfoque. ¿Dónde tu enfoque es diferente? ¿Cuál es la nueva idea detrás de esto? Este documento no necesita ser un documento técnico perfectamente escrito, ni debe contener ninguna prueba formal: una presentación en power point sería suficiente para "transmitir" el núcleo de su idea. Simplemente explíquenos por qué cree que su algoritmo es diferente. Quizás sea único, quién sabe.

1. Puede escribir sus ideas en formato de papel estándar.
2. Publícalo en ArXiv .
3. Compartir código fuente en github .
4. Dedique un tiempo a aprender el análisis del tiempo de ejecución y actualice su trabajo cuando haya terminado.

Por ejemplo, puede escribir una encuesta y al final sugerir su solución como un nuevo enfoque prometedor. Pero sin pruebas de corrección y análisis de tiempo de ejecución, no mucha gente lo tomará en serio (pero algunos lo harán).