問題タブ [deterministic]

このDFAは問題を解決して、単純な算術文字列を受け入れるDFAを作成しますか?

例えば

負の数を受け入れたいと思っていますが、これは必須ではないので、このDFAを作成しました

もしそうなら、これはどのようにグラフとして描かれますか? あなたの最初の状態を何に分類しますか? また、右から左に移動するようにグラフを描画しますか?

FA の単純な実装では、ノードは次のようになります。

しかし、トランジションの 1 つが "![a]" (文字 'a' 以外) の場合はどうでしょう。また、アルファベットが大きすぎて、「a」以外のすべての可能な文字を格納できません。私の言いたいことがわかりますか？

編集。私の現在の推測は

NFA ノードの場合。

私は、Peter Linz による An Introduction to Formal Languages and Automata のいくつかの問題を解決しようとしています。セクション 2.1 (決定論的有限アクセプター) では、オートマトンを書くことができず、それを解決するために助けが必要です。

質問 17-(f)、第 2 章:

naは単語のa文字数、 は単語 nbのb文字数です。

解決策はありますが、ここに描く方法がわかりません。

MarxanとConsNetという 2 つの保全地域設計ツールの比較を行っています。どちらもメタヒューリスティック アルゴリズムを使用して、最小集合被覆問題のバージョンを解決します。Marxan はシミュレーテッド アニーリングを使用し、ConsNet はタブー検索を使用します。私のバックグラウンドは生物学ですが、メタヒューリスティクスを通じて最適化の概念のいくつかを理解できたと思います。

しかし、タブー検索について、まだわかっていないことが 2 つあります。1 つ目は、ローカル オプティマを回避する方法です。私はそれがその動きを元に戻すことができないことを知っています、そしてそれはそれが循環するのを止めます、しかし私はそれがそれを見つけたらそれが局所最適を残す理由を知りません. シミュレーテッド アニーリングがどのようにそれを行うかは理解できます - より悪い解決策を受け入れなくなるまで時間の経過とともに減少するより悪い解決策を受け入れる可能性がありますが、TS がどのようにそれを行うかはわかりません。

2 番目の問題は、ConsNet のマニュアルに次の記述があることです。

検索は完全に決定論的ですが、ソリューション アーカイブの現在の状態または目標の現在の状態に基づいて、どのように進めるかを決定できます。

TS は常に決定論的ですか? いくつかの情報源を読んで、移動は SA のようにランダムである可能性があるという考えを得ました。しかし、「決定論的タブー検索」について話している論文がいくつかあります。決定論的タブー検索は、どの動きを取るべきかをどのように認識し、どのように局所最適を回避しますか? 時にはもっと悪い解決策を受け入れなければなりませんよね？

よろしくお願いします

プログラムの実行ごとにわずかに異なる結果が得られます。FFTW_ESTIMATEフラグ付きで計画されたマルチスレッド FFTW を使用します。マルチスレッド FFTW 決定論的:

1. 固定数のスレッドの場合?
2. 異なる実行で使用される異なる数のスレッド間で?

FFTW faq は、そのFFTW_ESTIMATEフラグは実行間で使用される同じアルゴリズムになると述べていますが、マルチスレッドの場合に決定論的であるとは明示的に述べていません。

lein uberjar2 回続けて実行すると、2 つの異なるビルドが得られます。いくつかのunzip / find / sort / diff shell魔法の後、Maven ファイル、より具体的にはpom.propertiesファイルにたどり着きました。

ここに違いがあります：

Leiningen (したがって Maven) を使用して決定論的な Clojure ビルドを取得するにはどうすればよいですか?