例を使用したロマノフアルゴリズムの操作の説明

昨日の議論の続き。



前回、統一およびフィルタリングアルゴリズムが特定の例でどのように機能するかを説明することをやめました。 例自体は、アルゴリズムの特定のプロパティをテストするための特別な方法で構築されました。



さらに議論するために、この例の式で動作する小さな単体テストを作成しました。 ユニットテストは、初期式がCTFのセットに分解されるロマノフアルゴリズムのステップをスキップするために必要です。 代わりに、分解は最初に質問の著者によって提案されます。



ここに投稿したアプリケーションの単体テストと詳細なログ：



gist.github.com/791064



可能であれば、行番号で参照することをお勧めします（行番号への直接リンクを提供できないため、手動で検索する必要があるため、あまり便利ではありません。誰かがより便利なサービスを提供する場合、ログを転送します）。



作業ログからわかるように、ハイパーストラクチャを構築する次のステップでベースグラフが空のセットであることが判明した場合、テストは終了します。これは、アルゴリズムによると、式が実行不可能であることを意味します（記事のテキストの 11ページの下部の項目2b）。



ここで記事を再度書き直さないために、議論で追加の説明を必要とする質問をすることを提案します。