論文の概要: A Systematic Evaluation of Evolving Highly Nonlinear Boolean Functions
in Odd Sizes
- arxiv url: http://arxiv.org/abs/2402.09937v1
- Date: Thu, 15 Feb 2024 13:39:34 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-16 15:36:36.135986
- Title: A Systematic Evaluation of Evolving Highly Nonlinear Boolean Functions
in Odd Sizes
- Title(参考訳): 奇数な大きさの高度非線形ブール関数の体系的評価
- Authors: Claude Carlet, Marko {\DH}urasevic, Domagoj Jakobovic, Stjepan Picek,
Luca Mariot
- Abstract要約: 奇サイズの高非線形ブール関数の進化問題を考察する。
最適解を見つけることは、最小のテストサイズを除いて不可能である。
非線形性241の9つの入力にブール関数を求める。
- 参考スコア(独自算出の注目度): 35.305121158674964
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Boolean functions are mathematical objects used in diverse applications.
Different applications also have different requirements, making the research on
Boolean functions very active. In the last 30 years, evolutionary algorithms
have been shown to be a strong option for evolving Boolean functions in
different sizes and with different properties. Still, most of those works
consider similar settings and provide results that are mostly interesting from
the evolutionary algorithm's perspective. This work considers the problem of
evolving highly nonlinear Boolean functions in odd sizes. While the problem
formulation sounds simple, the problem is remarkably difficult, and the related
work is extremely scarce. We consider three solutions encodings and four
Boolean function sizes and run a detailed experimental analysis. Our results
show that the problem is challenging, and finding optimal solutions is
impossible except for the smallest tested size. However, once we added local
search to the evolutionary algorithm, we managed to find a Boolean function in
nine inputs with nonlinearity 241, which, to our knowledge, had never been
accomplished before with evolutionary algorithms.
- Abstract(参考訳): ブール関数は様々な用途で用いられる数学的対象である。
異なるアプリケーションにも異なる要件があり、Boolean関数の研究は非常に活発である。
過去30年間で、進化的アルゴリズムは異なる大きさと異なる性質でブール関数を進化させる強力な選択肢であることが示されている。
それでも、これらの作品の多くは同様の設定を考慮し、進化的アルゴリズムの観点から最も興味深い結果を提供する。
この研究は、奇サイズの高非線形ブール関数を進化させる問題を考える。
問題定式化はシンプルに聞こえるが、問題は極めて困難であり、関連する作業は非常に少ない。
3つの解エンコーディングと4つのブール関数サイズを考慮し、詳細な実験解析を行う。
その結果,この問題は困難であり,最小の試験サイズを除いて最適解を見つけることは不可能であることがわかった。
しかし、進化的アルゴリズムに局所探索を追加すると、非線形性241の9つの入力でブール関数を見つけることができました。
関連論文リスト
- Look into the Mirror: Evolving Self-Dual Bent Boolean Functions [35.305121158674964]
本稿では,自己双対屈曲ブール関数の進化を目標とした進化的アルゴリズムを実験する。
各次元に対する自己双対曲がり関数の構築に成功した。
また, 自己双対屈曲関数の二次構造を進化させる試みを行ったが, 結果は得られなかった。
論文 参考訳(メタデータ) (2023-11-20T16:20:16Z) - A New Angle: On Evolving Rotation Symmetric Boolean Functions [32.90791284928444]
本稿では、いくつかの進化的アルゴリズムを用いて、異なる性質を持つ回転対称ブール関数を進化させる。
驚いたことに、ビットストリングと浮動小数点エンコーディングはツリーエンコーディングよりもうまく機能している。
論文 参考訳(メタデータ) (2023-11-20T16:16:45Z) - The Clock and the Pizza: Two Stories in Mechanistic Explanation of
Neural Networks [59.26515696183751]
ニューラルネットワークにおけるアルゴリズム発見は、時としてより複雑であることを示す。
単純な学習問題でさえ、驚くほど多様なソリューションを許容できることが示されています。
論文 参考訳(メタデータ) (2023-06-30T17:59:13Z) - Digging Deeper: Operator Analysis for Optimizing Nonlinearity of Boolean
Functions [8.382710169577447]
ビットストリング符号化における遺伝的演算子の非線形性を最適化する効果について検討する。
オペレータが提供できる可能性のある変更の範囲を観察することで、この情報を使用して、より効果的な遺伝子操作子の組み合わせを設計することができる。
論文 参考訳(メタデータ) (2023-02-12T10:34:01Z) - Evolving Constructions for Balanced, Highly Nonlinear Boolean Functions [37.84234862910533]
遺伝的プログラミングは、高い非線形性を持つバランスの取れたブール関数をもたらす構造を進化させることができることを示す。
以上の結果から,GP はよく一般化される構造,すなわち,複数のテストサイズに必要な関数を見つけることができることがわかった。
興味深いことに、GPによって発見された最も単純な解は、よく知られた間接和構成の特別な場合である。
論文 参考訳(メタデータ) (2022-02-17T16:33:24Z) - Searching for a practical evidence of the No Free Lunch theorems [0.0]
No Free Lunch (NFL) の定理によると、最適化問題全体と比較すると、すべてのブラックボックスアルゴリズムは等しくうまく機能する。
与えられたアルゴリズムAが、与えられたアルゴリズムBより優れているテスト関数を進化させる。
論文 参考訳(メタデータ) (2021-08-21T19:28:48Z) - Bayesian Algorithm Execution: Estimating Computable Properties of
Black-box Functions Using Mutual Information [78.78486761923855]
多くの現実世界では、T関数の評価の予算を考えると、高価なブラックボックス関数 f の性質を推測したい。
本稿では,アルゴリズムの出力に対して相互情報を最大化するクエリを逐次選択する手法InfoBAXを提案する。
これらの問題に対してInfoBAXは、元のアルゴリズムで要求されるより500倍少ないクエリをfに使用する。
論文 参考訳(メタデータ) (2021-04-19T17:22:11Z) - Task-Agnostic Morphology Evolution [94.97384298872286]
モルフォロジーと振る舞いを共同適用する現在のアプローチでは、特定のタスクの報酬をモルフォロジー最適化のシグナルとして使用します。
これはしばしば高価なポリシー最適化を必要とし、一般化するために構築されていないタスクに依存した形態をもたらす。
我々は,これらの問題を緩和するための新しいアプローチであるタスク非依存形態進化(tame)を提案する。
論文 参考訳(メタデータ) (2021-02-25T18:59:21Z) - Towards Optimally Efficient Tree Search with Deep Learning [76.64632985696237]
本稿では,線形モデルから信号整数を推定する古典整数最小二乗問題について検討する。
問題はNPハードであり、信号処理、バイオインフォマティクス、通信、機械学習といった様々な応用でしばしば発生する。
本稿では, 深いニューラルネットワークを用いて, 単純化されたメモリバウンドA*アルゴリズムの最適推定を推定し, HATSアルゴリズムを提案する。
論文 参考訳(メタデータ) (2021-01-07T08:00:02Z) - Hardness of Random Optimization Problems for Boolean Circuits,
Low-Degree Polynomials, and Langevin Dynamics [78.46689176407936]
アルゴリズムの族は高い確率でほぼ最適な解を生成できないことを示す。
ブール回路の場合、回路複雑性理論で知られている最先端境界を改善する。
論文 参考訳(メタデータ) (2020-04-25T05:45:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。