研究/出版のサポートはどこで受けられますか？

私はしばらくSATアルゴリズムを開発してきましたが、それを共有したいと思っています。私はコンピューターサイエンスの多くの人々を知りません、そして、私は正確にどこを向くべきかわかりません。

公開を検討しているアルゴリズムを持っている人が利用できるリソースは何かと思っています。また、アルゴリズムの実行時間と正確さを分析するのに助けが必要です。

私の主な問題は、ランタイムの分析です。これについての詳細な分析の助けが必要です。アルゴリズムが正しいことはかなり確信していますが、誰かがこれを検証してくれると助かります。

それで、私のアルゴリズムを喜んで分析したいと思う人はいますか？また、このようなタスクに使用できるリソースは何ですか？

SATアルゴリズムが実用的である場合、SAT競合ベンチマークを実行する必要があります。あなたのアプローチが既存のソルバーと競合していることを示すことができれば、SATソルビングコミュニティはあなたの仕事をより真剣に受け止めます。ソルバーは、すべてのソルバーよりも高速である必要はありません。または、より多くのインスタンスを解決する必要はありませんが、深刻な競合他社である必要があります。ベンチマークを実行するのに、非常に高速または強力なマシンは必要ありません。MiniSATやPicoSATなどの無料のSATソルバーの1つとランタイムを単純に比較できます。これらのソルバーを使用すると、答えがどのように見えるかを確認することもできます。

新しい手法を使用する実用的なソルバーに取り組んでいて、アプローチがまだ競争力がない場合は、これらのベンチマークを試すことをお勧めします。彼らは、あなたが解決を目指しているべき問題の種類、そしてあなたが目指しているべき性能の種類を理解するのに役立ちます。また、「ハンドブックの満足度」の主要な章のいくつか、または最近の調査を読むこともできます。

• Knot PipatsrisawatおよびAdnan Darwiche、「Modern Clause-Learning Satisfiability Solvers」、Journal of Automated Reasoning 44 277–301、2010年（PDF）

主要なソルバーをサポートする引数の種類を確認します。トップソルバーと同様に実行するためにまだ最適化されていない新しいアイデアがある場合、現在の一連の「最良の」実践」デザインの決定。

貢献が純粋に理論的なものである場合、この分野の多くの論文を認識し、少なくとも何らかの形でアプローチが優れている理由を論文で説明する必要があります。たとえば、Amin Coja-OghlanやAlan Friezeによる最近の作品を見て、最新技術や重要な論文への有用な指針を感じてください。

アルゴリズムを共有したいので、個人的な提案は次のとおりです。非常に単純なWebサイトを構築します。サイトでは、次の2つのことを利用できるようにする必要があります。

1. アルゴリズムのソースコード。
2. アプローチを簡単に説明するドキュメント。あなたのアプローチはどこで違いますか？その背後にある新しいアイデアはどれですか？この文書は完全に作成された技術論文である必要はなく、正式な証拠を含む必要もありません。アイデアの核心を「伝える」には、パワーポイントのプレゼンテーションで十分です。アルゴリズムが異なると思う理由を説明してください。たぶん、それはユニークな人です。

1. アイデアを標準的な紙の形式で書き留めることができます。
2. ArXivで公開します。
3. githubでソースコードを共有します。
4. ランタイム分析の学習に時間を費やし、完了したら論文を更新します。

たとえば、アンケート用紙を作成し、最後に新しい有望なアプローチとしてソリューションを提案できます。しかし、正確性とランタイム分析の証拠がなければ、多くの人は真剣に受け止めないでしょう（しかし一部はそうします）。