論文の概要: Inapproximability of Minimizing a Pair of DNFs or Binary Decision Trees
Defining a Partial Boolean Function
- arxiv url: http://arxiv.org/abs/2102.04703v1
- Date: Tue, 9 Feb 2021 08:46:50 GMT
- ステータス: 処理完了
- システム内更新日: 2021-02-10 14:48:55.613244
- Title: Inapproximability of Minimizing a Pair of DNFs or Binary Decision Trees
Defining a Partial Boolean Function
- Title(参考訳): 部分ブール関数を定義するDNFまたは二元決定木ペアの最小化の非近似性
- Authors: David Stein and Bjoern Andres
- Abstract要約: 一対のブール関数 $f, g colon 0,1J to 0,1$ で定義される部分ブール関数を考えると、$f cdot g = 0$ であり、$f$ と $g$ は可分正規形式または二分決定木で定義される。
- 参考スコア(独自算出の注目度): 13.713089043895959
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The desire to apply machine learning techniques in safety-critical
environments has renewed interest in the learning of partial functions for
distinguishing between positive, negative and unclear observations. We
contribute to the understanding of the hardness of this problem. Specifically,
we consider partial Boolean functions defined by a pair of Boolean functions
$f, g \colon \{0,1\}^J \to \{0,1\}$ such that $f \cdot g = 0$ and such that $f$
and $g$ are defined by disjunctive normal forms or binary decision trees. We
show: Minimizing the sum of the lengths or depths of these forms while
separating disjoint sets $A \cup B = S \subseteq \{0,1\}^J$ such that $f(A) =
\{1\}$ and $g(B) = \{1\}$ is inapproximable to within $(1 - \epsilon) \ln
(|S|-1)$ for any $\epsilon > 0$, unless P=NP.
- Abstract(参考訳): 安全クリティカルな環境で機械学習技術を適用するという欲求は、ポジティブ、ネガティブ、不明瞭な観察を区別するための部分関数の学習に新たな関心を寄せています。
私たちはこの問題の難しさの理解に貢献する。
具体的には、あるブール函数の対 $f, g \colon \{0,1\}^J \to \{0,1\}$ で定義される部分ブール函数について、$f \cdot g = 0$ であり、$f$ と $g$ が可分正規形式または二分決定木で定義されるとする。
A \cup B = S \subseteq \{0,1\}^J$ {\displaystyle $f(A) = \{1\}$ and $g(B) = \{1\}$ is inapproximable to within $(1 - \epsilon) \ln (|S|-1)$ for any $\epsilon > 0$} である。
関連論文リスト
- Fast $(1+\varepsilon)$-Approximation Algorithms for Binary Matrix
Factorization [54.29685789885059]
本稿では, 2次行列分解(BMF)問題に対する効率的な$(1+varepsilon)$-approximationアルゴリズムを提案する。
目標は、低ランク因子の積として$mathbfA$を近似することである。
我々の手法はBMF問題の他の一般的な変種に一般化する。
論文 参考訳(メタデータ) (2023-06-02T18:55:27Z) - The Approximate Degree of DNF and CNF Formulas [95.94432031144716]
すべての$delta>0に対して、$はCNFと近似次数$Omega(n1-delta)の式を構築し、基本的には$nの自明な上限に一致する。
すべての$delta>0$に対して、これらのモデルは$Omega(n1-delta)$、$Omega(n/4kk2)1-delta$、$Omega(n/4kk2)1-delta$が必要です。
論文 参考訳(メタデータ) (2022-09-04T10:01:39Z) - Learning low-degree functions from a logarithmic number of random
queries [77.34726150561087]
任意の整数 $ninmathbbN$, $din1,ldots,n$ および任意の $varepsilon,deltain(0,1)$ に対して、有界関数 $f:-1,1nto[-1,1]$ に対して、少なくとも$d$ の次数を学ぶことができる。
論文 参考訳(メタデータ) (2021-09-21T13:19:04Z) - Approximate Maximum Halfspace Discrepancy [6.35821487778241]
範囲空間 $(X, MathcalH_d)$ ここで、$X の部分集合 mathbbRd$ と $mathcalH_d$ は、$d$ハーフスペースで定義される範囲の集合である。
数学 H_d$ における各半空間 $h に対して、$Phi(h)$ は、赤の分数と青の点の分数の差を測る関数 $Phi(h)$ を定義する。
論文 参考訳(メタデータ) (2021-06-25T19:14:45Z) - Breaking The Dimension Dependence in Sparse Distribution Estimation
under Communication Constraints [18.03695167610009]
サンプルサイズ$n$が最低しきい値$n*(s, d, b)$を超えると、$Oleft( fracsn2bright)$の$ell$推定誤差を達成できることを示す。
対話的な設定のために,新しい木に基づく推定手法を提案し,次元自由収束を実現するために必要な最小サンプルサイズを,さらに$n*(s, d, b)$に縮めることを示した。
論文 参考訳(メタデータ) (2021-06-16T07:52:14Z) - Universal guarantees for decision tree induction via a higher-order
splitting criterion [16.832966312395126]
本アルゴリズムは,全対象関数に対して,一様分布に対して, -1,1n から -1,1$ の証明可能な保証を実現する。
我々の拡張の要点は、その属性の$f$と小さなサブセットの相関を考慮に入れた、新しい分割基準である。
我々のアルゴリズムは以下の保証を満たす: すべての対象関数 $f : -1,1n to -1,1$, sizes $sin mathbbN$, error parameters $epsilon$ に対して、決定を構成する。
論文 参考訳(メタデータ) (2020-10-16T21:20:45Z) - Agnostic Q-learning with Function Approximation in Deterministic
Systems: Tight Bounds on Approximation Error and Sample Complexity [94.37110094442136]
本稿では,決定論的システムにおける関数近似を用いたQ$学習の問題について検討する。
もし$delta = Oleft(rho/sqrtdim_Eright)$なら、$Oleft(dim_Eright)$を使って最適なポリシーを見つけることができる。
論文 参考訳(メタデータ) (2020-02-17T18:41:49Z) - Fixed-Support Wasserstein Barycenters: Computational Hardness and Fast
Algorithm [100.11971836788437]
固定支持ワッサーシュタインバリセンタ問題(FS-WBP)について検討する。
我々は,有望な反復的ブレグマン射影 (IBP) アルゴリズムであるtextscFastIBP の,証明可能な高速なテキスト決定論的変種を開発する。
論文 参考訳(メタデータ) (2020-02-12T03:40:52Z) - On the Complexity of Minimizing Convex Finite Sums Without Using the
Indices of the Individual Functions [62.01594253618911]
有限和の有限ノイズ構造を利用して、大域オラクルモデルの下での一致する$O(n2)$-upper境界を導出する。
同様のアプローチを踏襲したSVRGの新規な適応法を提案し、これはオラクルと互換性があり、$tildeO(n2+nsqrtL/mu)log (1/epsilon)$と$O(nsqrtL/epsilon)$, for $mu>0$と$mu=0$の複雑さ境界を実現する。
論文 参考訳(メタデータ) (2020-02-09T03:39:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。