Де я звертаюся за допомогою щодо дослідження / публікації?

Я розробляв алгоритм SAT деякий час і дійшов до моменту, коли я хотів би поділитися ним. Я не знаю багатьох людей з інформатики, і не знаю, куди точно звернутись.

Мені цікаво, які ресурси доступні для того, хто має алгоритм, який розглядає можливість публікації. Мені також потрібна допомога в аналізі часу виконання та правильності мого алгоритму.

Моя основна проблема полягає в аналізі часу виконання. Мені потрібна допомога з детальним аналізом цього. Я досить впевнений, що алгоритм правильний, але було б корисно, якби хтось це перевірив.

То чи є хтось, хто буде готовий проаналізувати мій алгоритм? Крім того, які ресурси доступні для такого завдання?

Якщо ваш алгоритм SAT призначений для практичного використання, вам слід запустити на ньому показники конкуренції SAT . Спільнота, що вирішує SAT, сприйме вашу роботу набагато серйозніше, якщо ви зможете показати, що ваш підхід є конкурентоспроможним для існуючих рішень. Ваш вирішувач не повинен бути швидшим за кожен вирішувач або вирішувати більше примірників, але він повинен бути серйозним конкурентом. Для запуску еталонів вам не потрібна дуже швидка або потужна машина; ви можете просто порівняти час виконання з одним із безкоштовних SAT-рішень, таких як MiniSAT або PicoSAT . Ці рішення також дозволять вам побачити, як повинні виглядати відповіді.

Якщо ви працюєте над практичним рішенням, який використовує нові методики, а ваш підхід ще не є конкурентоспроможним, я б все-таки запропонував спробувати ці орієнтири. Вони допоможуть тобі зрозуміти види проблем, які ти повинен прагнути вирішувати, і те, наскільки ти маєш прагнути. Можливо, ви також хочете прочитати деякі ключові глави Посібника про задоволення або останнього опитування

• Вузол Піпатрісават та Аднан Дарвіче, про сучасні рішення щодо задоволеності клаузуванням, Журнал автоматизованих міркувань 44 277–301, 2010. ( PDF )

щоб побачити види аргументів, які підтримують основні рішення. Якщо у вас є нові ідеї, які ще не оптимізовані для виконання, а також найкращі рішення, вам слід пояснити потенційні переваги вашого підходу тому, хто знає довгу послідовність теоретичних міркувань, що призвело до того, що нинішній набір "найкращих" практика "дизайнерські рішення.

Якщо ваш внесок є суто теоретичним, то вам потрібно знати про безліч робіт у цій галузі та пояснити у своєму документі, чому ваш підхід хоча б якимось чином. Погляньте на останні роботи, наприклад, Аміна Коджа-Оглана чи Алана Фриз, щоб відчути сучасний стан та корисні вказівки на важливі статті.

Оскільки тепер ви хочете поділитися своїм алгоритмом, моя особиста пропозиція полягає в наступному: створити дуже простий веб-сайт. На сайті повинні бути доступні наступні дві речі:

1. Вихідний код алгоритму.
2. Документ, який коротко описує ваш підхід. Де ваш підхід відрізняється? Яка нова ідея за ним? Цей документ не повинен бути ідеально написаним технічним документом, він також не повинен містити жодних офіційних доказів: презентації точкової точки зору вистачить, щоб "передати" серцевину вашої ідеї. Просто поясніть нам, чому ви думаєте, що ваш алгоритм відрізняється. Може, це унікально, хто знає.

1. Ви можете записати свої ідеї у стандартний паперовий формат.
2. Опублікуйте його на ArXiv .
3. Поділитися вихідним кодом на github .
4. Витратьте деякий час на вивчення часу виконання роботи та оновіть свою роботу, коли закінчите.

Наприклад, ви можете написати документ для опитування і в кінці запропонувати своє рішення як новий перспективний підхід. Але без підтвердження коректності та аналізу часу роботи не багато людей сприйматимуть це серйозно (але деякі будуть).