中文
相关论文

相关论文: On Exact Learning of $d$-Monotone Functions

200 篇论文

We consider the problem of exact identification for read-once functions over arbitrary Boolean bases. We introduce a new type of queries (subcube identity ones), discuss its connection to previously known ones, and study the complexity of…

计算复杂性 · 计算机科学 2010-07-08 Dmitry V. Chistikov , Andrey A. Voronenko

We give a poly$(s,1/\epsilon)$-query algorithm for testing whether an unknown and arbitrary function $f: \{0,1\}^n \to \{0,1\}$ is an $s$-term DNF, in the challenging relative-error framework for Boolean function property testing that was…

计算复杂性 · 计算机科学 2026-01-23 Xi Chen , William Pires , Toniann Pitassi , Rocco A. Servedio

We investigate the existence of Boolean degree $d$ functions on the Grassmann graph of $k$-spaces in the vector space $\mathbb{F}_q^n$. For $d=1$ several non-existence and classification results are known, and no non-trivial examples are…

组合数学 · 数学 2022-11-14 Jan De Beule , Jozefien D'haeseleer , Ferdinand Ihringer , Jonathan Mannaert

We study the complexity of approximate representation and learning of submodular functions over the uniform distribution on the Boolean hypercube $\{0,1\}^n$. Our main result is the following structural theorem: any submodular function is…

机器学习 · 计算机科学 2013-04-03 Vitaly Feldman , Pravesh Kothari , Jan Vondrak

Deep learning is also known as hierarchical learning, where the learner _learns_ to represent a complicated target function by decomposing it into a sequence of simpler functions to reduce sample and time complexity. This paper formally…

机器学习 · 计算机科学 2023-07-10 Zeyuan Allen-Zhu , Yuanzhi Li

The ability to compose learned skills to solve new tasks is an important property of lifelong-learning agents. In this work, we formalise the logical composition of tasks as a Boolean algebra. This allows us to formulate new tasks in terms…

机器学习 · 计算机科学 2020-10-16 Geraud Nangue Tasse , Steven James , Benjamin Rosman

Dualization of a monotone Boolean function on a finite lattice can be represented by transforming the set of its minimal 1 to the set of its maximal 0 values. In this paper we consider finite lattices given by ordered sets of their meet and…

计算机科学中的逻辑 · 计算机科学 2015-12-31 Mikhail A. Babin , Sergei O. Kuznetsov

We continue the study of doubly-efficient proof systems for verifying agnostic PAC learning, for which we obtain the following results. - We construct an interactive protocol for learning the $t$ largest Fourier characters of a given…

We study solutions of the Klein-Gordon, Maxwell, and linearized Einstein equations in $\mathbb{R}^{1,d+1}$ that transform as $d$-dimensional conformal primaries under the Lorentz group $SO(1,d+1)$. Such solutions, called conformal primary…

高能物理 - 理论 · 物理学 2017-10-04 Sabrina Pasterski , Shu-Heng Shao

We study the problem of learning a single neuron $\mathbf{x}\mapsto \sigma(\mathbf{w}^T\mathbf{x})$ with gradient descent (GD). All the existing positive results are limited to the case where $\sigma$ is monotonic. However, it is recently…

机器学习 · 统计学 2022-02-17 Lei Wu

Consider the model where we can access a parity function through random uniform labeled examples in the presence of random classification noise. In this paper, we show that approximating the number of relevant variables in the parity…

机器学习 · 计算机科学 2024-07-17 Nader H. Bshouty , George Haddad

Let $f$ be a homogeneous polynomial with rational coefficients in $d$ variables. We prove several results concerning uniform simultaneous approximation to points on the graph of $f$, as well as on the hypersurface $\{f(x_1,\dots,x_d) =…

数论 · 数学 2018-09-20 Dmitry Kleinbock , Nikolay Moshchevitin

Multi-index models - functions which only depend on the covariates through a non-linear transformation of their projection on a subspace - are a useful benchmark for investigating feature learning with neural nets. This paper examines the…

It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support…

逻辑 · 数学 2016-09-07 Martin Goldstern , Saharon Shelah

The goal of the paper is to relate complexity measures associated with the evaluation of Boolean functions (certificate complexity, decision tree complexity) and learning dimensions used to characterize exact learning (teaching dimension,…

机器学习 · 计算机科学 2012-05-22 Sergiu Goschin

We study the problem of learning a binary classifier on the vertices of a graph. In particular, we consider classifiers given by monophonic halfspaces, partitions of the vertices that are convex in a certain abstract sense. Monophonic…

机器学习 · 计算机科学 2024-06-19 Marco Bressan , Emmanuel Esposito , Maximilian Thiessen

We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon…

环与代数 · 数学 2014-06-10 Jean-Luc Marichal , Bruno Teheux

We investigate the approximation of $d$-variate periodic functions in Sobolev spaces of dominating mixed (fractional) smoothness $s>0$ on the $d$-dimensional torus, where the approximation error is measured in the $L_2-$norm. In other…

数值分析 · 数学 2013-12-24 Thomas Kuehn , Winfried Sickel , Tino Ullrich

This paper outlines connections between Monotone Boolean Functions, LP-Type problems and the Maximum Consensus Problem. The latter refers to a particular type of robust fitting characterisation, popular in Computer Vision (MaxCon). Indeed,…

机器学习 · 计算机科学 2020-05-14 David Suter , Ruwan Tennakoon , Erchuan Zhang , Tat-Jun Chin , Alireza Bab-Hadiashar

Hardness results for maximum agreement problems have close connections to hardness results for proper learning in computational learning theory. In this paper we prove two hardness results for the problem of finding a low degree polynomial…

机器学习 · 计算机科学 2010-10-19 Ilias Diakonikolas , Ryan O'Donnell , Rocco A. Servedio , Yi Wu