Fugu-MT 論文翻訳(概要): On the Hardness of Problems Involving Negator Relationships in an Artificial Hormone System

論文の概要: On the Hardness of Problems Involving Negator Relationships in an Artificial Hormone System

arxiv url: http://arxiv.org/abs/2006.08958v1
Date: Tue, 16 Jun 2020 07:17:40 GMT
ステータス: 処理完了
システム内更新日: 2022-11-20 21:13:42.807858
Title: On the Hardness of Problems Involving Negator Relationships in an Artificial Hormone System
Title（参考訳）: 人工ホルモンシステムにおけるネゲーター関係に関わる問題の難しさについて
Authors: Eric Hutter and Mathias Pacher and Uwe Brinkschulte
Abstract要約: ネガトル・パスとネガトル・サットの例を示し、ネガトル・スタビリティという新しい問題を紹介し、なぜネガトルを含むこれらの問題がアルゴリズム的に解くのが難しいのかを説明する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: The Artificial Hormone System (AHS) is a self-organizing middleware to allocate tasks in a distributed system. We extended it by so-called negator hormones to enable conditional task structures. However, this extension increases the computational complexity of seemingly simple decision problems in the system: In [1] and [2], we defined the problems Negator-Path and Negator-Sat and proved their NP-completeness. In this supplementary report to these papers, we show examples of Negator-Path and Negator-Sat, introduce the novel problem Negator-Stability and explain why all of these problems involving negators are hard to solve algorithmically.
Abstract（参考訳）: 人工ホルモンシステム(artificial hormone system:ahs)は、分散システムでタスクを割り当てる自己組織型ミドルウェアである。条件付きタスク構造を可能にするため,いわゆるネガターホルモンによって拡張した。しかし、この拡張により、システム内の一見単純な決定問題の計算複雑性が増大する: [1] と [2] では、問題 negator-path と negator-sat を定義し、np完全性が証明された。本稿では,ネゲータパスとネゲータsatの例を示し,新しい問題ネゲータ安定性を紹介し,ネゲータが関与するすべての問題はアルゴリズム的に解くのが難しい理由を説明する。

関連論文リスト

Why ETH? On thermalization and locality [0.0]
固有状態熱化仮説(ETH)は、閉じた量子系における熱化に関する現代の議論の基礎となっている。本研究では、演算子局所性の役割を強調することにより、従来のETHの有病率に関する説明を拡大する。本研究では,ある系の演算子の特定のクラスに対するETHのオンセットやブレークダウンを理解する手段として,演算子固有の摂動問題を導入する。
論文参考訳（メタデータ） (2025-02-07T09:42:47Z)
Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach [0.0]
完全拡張である引数の集合の確率を計算する複雑なタスクのアルゴリズムを開発する。実験的評価は我々のアプローチの可能性を示唆している。
論文参考訳（メタデータ） (2024-07-06T12:08:38Z)
Correctness Verification of Neural Networks Approximating Differential Equations [0.0]
ニューラルネットワーク(NN)は部分微分方程式(PDE)の解を近似する NNはシミュレーションソフトウェアツールの不可欠な部分となり、複雑な動的システムのシミュレーションを100回以上加速することができる。この研究は、NN微分を有限差分近似として定義することにより、これらの関数の検証に対処する。初めて、出力領域の事前知識のないNN関数のバウンダリング問題に取り組む。
論文参考訳（メタデータ） (2024-02-12T12:55:35Z)
Sub-linear Regret in Adaptive Model Predictive Control [56.705978425244496]
本稿では,STT-MPC (Self-Tuning tube-based Model Predictive Control) について述べる。システム力学を最初に認識したアルゴリズムと比較して,アルゴリズムの後悔を解析する。
論文参考訳（メタデータ） (2023-10-07T15:07:10Z)
A Hybrid System for Systematic Generalization in Simple Arithmetic Problems [70.91780996370326]
本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
論文参考訳（メタデータ） (2023-06-29T18:35:41Z)
Faith and Fate: Limits of Transformers on Compositionality [109.79516190693415]
3つの代表的構成課題にまたがる変圧器大言語モデルの限界について検討する。これらのタスクは、問題をサブステップに分割し、これらのステップを正確な答えに合成する必要があります。実験結果から,多段階合成推論を線形化部分グラフマッチングに還元することにより,トランスフォーマーLLMが構成課題を解くことが示唆された。
論文参考訳（メタデータ） (2023-05-29T23:24:14Z)
Many bounded versions of undecidable problems are NP-hard [0.0]
有界バージョンにおけるNP硬度は、問題の縮小により容易に従うことを示す。これにより、ポスト対応問題、行列死亡問題、到達可能性問題、タイリング問題、基底状態エネルギー問題のNP-hardnessの新たなより単純な証明が導かれる。
論文参考訳（メタデータ） (2022-11-24T11:05:28Z)
Neural Contextual Bandits without Regret [47.73483756447701]
ニューラルネットワークを用いて未知の報酬関数を近似する文脈的帯域幅のアルゴリズムを提案する。我々のアプローチは、$tildemathcalO(T-1/2d)$ rateで最適ポリシーに収束し、$d$は文脈の次元であることを示す。
論文参考訳（メタデータ） (2021-07-07T11:11:34Z)
Guiding the Growth: Difficulty-Controllable Question Generation through Step-by-Step Rewriting [30.722526598633912]
質問生成システム(QG)は、生成した質問の論理をより強く制御するべきであると論じる。本稿では,段階的な書き直しによる質問の難易度を段階的に向上させる新しい枠組みを提案する。
論文参考訳（メタデータ） (2021-05-25T06:43:13Z)
SMART: A Situation Model for Algebra Story Problems via Attributed Grammar [74.1315776256292]
本稿では, 問題解決における人間の精神状態を表現する心理学研究から生まれた, emphsituation modelの概念を紹介する。提案モデルでは,より優れた解釈性を保ちながら,従来のすべてのニューラルソルバを大きなマージンで上回る結果が得られた。
論文参考訳（メタデータ） (2020-12-27T21:03:40Z)
Syn-QG: Syntactic and Shallow Semantic Rules for Question Generation [49.671882751569534]
我々は、宣言文を質問応答対に変換する透明な統語規則であるSynQGを開発した。 PropBankの引数記述とVerbNet状態述語を利用して、浅いセマンティックコンテンツを組み込む。文法的不正確な質問を排除し,構文の流布性を改善するために,これらの構文規則のアウトプットを逆翻訳する。
論文参考訳（メタデータ） (2020-04-18T19:57:39Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。