Fugu-MT 論文翻訳(概要): Counting the Number of Solutions to Constraints

論文の概要: Counting the Number of Solutions to Constraints

arxiv url: http://arxiv.org/abs/2012.14366v1
Date: Mon, 28 Dec 2020 17:11:57 GMT
ステータス: 処理完了
システム内更新日: 2021-04-19 10:59:05.098951
Title: Counting the Number of Solutions to Constraints
Title（参考訳）: 制約に対する解の数を数える
Authors: Jian Zhang, Cunjing Ge, Feifei Ma
Abstract要約: 本稿では,制約に対する解の数をカウントする問題に関する調査研究を行う。制約は、命題論理の論理式、実数や整数上の線型不等式など、様々な形式をとることができる。数える問題を解くための技術やツールや、いくつかのアプリケーションについて説明する。
参考スコア（独自算出の注目度）: 7.642720485480099
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Compared with constraint satisfaction problems, counting problems have received less attention. In this paper, we survey research works on the problems of counting the number of solutions to constraints. The constraints may take various forms, including, formulas in the propositional logic, linear inequalities over the reals or integers, Boolean combination of linear constraints. We describe some techniques and tools for solving the counting problems, as well as some applications (e.g., applications to automated reasoning, program analysis, formal verification and information security).
Abstract（参考訳）: 制約満足度問題と比較して、問題のカウントは注目されていない。本稿では,制約に対する解の数をカウントする問題に関する調査研究を行う。制約は、命題論理の論理式、実数や整数上の線型不等式、線形制約のブール結合など、様々な形式をとることができる。計算問題を解くためのいくつかの技術やツール、アプリケーション(例えば、自動推論、プログラム解析、形式的検証、情報セキュリティなど)について述べる。

関連論文リスト

Case-Based Reasoning Approach for Solving Financial Question Answering [5.10832476049103]
FinQAは財務文書の数値推論データセットを導入した。ケースベース推論(CBR)を用いた数値推論問題に対する新しいアプローチを提案する。本モデルでは,質問に対処する関連事例を検索し,検索した事例と文脈情報に基づいて回答を生成する。
論文参考訳（メタデータ） (2024-05-18T10:06:55Z)
Faith and Fate: Limits of Transformers on Compositionality [109.79516190693415]
3つの代表的構成課題にまたがる変圧器大言語モデルの限界について検討する。これらのタスクは、問題をサブステップに分割し、これらのステップを正確な答えに合成する必要があります。実験結果から,多段階合成推論を線形化部分グラフマッチングに還元することにより,トランスフォーマーLLMが構成課題を解くことが示唆された。
論文参考訳（メタデータ） (2023-05-29T23:24:14Z)
Conjunctive Query Based Constraint Solving For Feature Model Configuration [79.14348940034351]
本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
論文参考訳（メタデータ） (2023-04-26T10:08:07Z)
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming [0.0]
我々は,小問題インスタンスのSBCを解釈可能な一階制約の集合に引き上げる,新しいモデル指向アンサーセットプログラミングを導入する。簡単な問題をターゲットにして,先進的な意思決定問題にも適用できるように拡張することを目指している。
論文参考訳（メタデータ） (2022-08-05T10:50:03Z)
Efficient lifting of symmetry breaking constraints for complex combinatorial problems [9.156939957189502]
この作業は、Answer Set Programmingのためのモデルベースのアプローチの学習フレームワークと実装を拡張します。 Inductive Logic Programming System ILASPに新たなコンフリクト解析アルゴリズムを組み込む。
論文参考訳（メタデータ） (2022-05-14T20:42:13Z)
Lifting Symmetry Breaking Constraints with Inductive Logic Programming [2.036811219647753]
我々は、Symmetry Breaking Constraintsを解釈可能な一階制約の集合に引き上げる、Answer Set Programmingのための新しいモデル指向のアプローチを導入する。実験は、我々のフレームワークがインスタンス固有のSBCから一般的な制約を学習できることを実証する。
論文参考訳（メタデータ） (2021-12-22T11:27:48Z)
An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
論文参考訳（メタデータ） (2021-02-17T19:55:42Z)
Conditional gradient methods for stochastically constrained convex minimization [54.53786593679331]
構造凸最適化問題に対する条件勾配に基づく2つの新しい解法を提案する。私たちのフレームワークの最も重要な特徴は、各イテレーションで制約のサブセットだけが処理されることです。提案アルゴリズムは, 条件勾配のステップとともに, 分散の低減と平滑化に頼り, 厳密な収束保証を伴っている。
論文参考訳（メタデータ） (2020-07-07T21:26:35Z)
An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文参考訳（メタデータ） (2020-06-18T20:09:53Z)
The empirical duality gap of constrained statistical learning [115.23598260228587]
本研究では,制約付き統計学習問題(制約なし版)について,ほぼ全ての現代情報処理のコアとなる研究を行った。本稿では, 有限次元パラメータ化, サンプル平均, 双対性理論を利用して, 無限次元, 未知分布, 制約を克服する制約付き統計問題に取り組むことを提案する。フェアラーニングアプリケーションにおいて,この制約付き定式化の有効性と有用性を示す。
論文参考訳（メタデータ） (2020-02-12T19:12:29Z)
A Survey on String Constraint Solving [0.9137554315375919]
文字列制約解決とは、文字列変数に対する制約を含む問題を解くことを指す。文字列解決のアプローチは、さまざまなアプリケーションドメインでの文字列の大量使用から、ここ数年で人気を集めている。
論文参考訳（メタデータ） (2020-01-31T01:05:38Z)

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