English
Related papers

Related papers: Minor-closed classes of binary functions

200 papers

We present a general method for introducing finitely axiomatizable "minimal" two-sorted theories for various subclasses of P (problems solvable in polynomial time). The two sorts are natural numbers and finite sets of natural numbers. The…

Logic in Computer Science · Computer Science 2017-01-11 Phuong Nguyen , Stephen Cook

Finding the minimum and the minimizers of convex functions has been of primary concern in convex analysis since its conception. It is well-known that if a convex function has a minimum, then that minimum is global. The minimizers, however,…

Optimization and Control · Mathematics 2014-10-07 C. Planiden , X. Wang

The notion of a root functional of a system of polynomials or ideal of polynomials is a generalization of the notion of a root, in particular, for a multiple root. A root functional is a linear functional that is defined on a polynomial…

Commutative Algebra · Mathematics 2009-02-02 Timur R. Seifullin

Boolean functions have important applications in cryptography and coding theory. Two famous classes of binary codes derived from Boolean functions are the Reed-Muller codes and Kerdock codes. In the past two decades, a lot of progress on…

Information Theory · Computer Science 2015-11-23 Cunsheng Ding

This work studies slice functions over finite-dimensional division algebras. Their zero sets are studied in detail along with their multiplicative inverses, for which some unexpected phenomena are discovered. The results are applied to…

Complex Variables · Mathematics 2020-07-15 Riccardo Ghiloni , Alessandro Perotti , Caterina Stoppato

Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…

Logic in Computer Science · Computer Science 2021-12-30 Eric Finster , Samuel Mimram , Maxime Lucas , Thomas Seiller

Based upon properties of ordinal length, we introduce a new class of modules, the binary modules, and study their endomorphism ring. The nilpotent endomorphisms form a two-sided ideal, and after factoring this out, we get a commutative…

Commutative Algebra · Mathematics 2012-12-11 Hans Schoutens

We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular…

Formal Languages and Automata Theory · Computer Science 2018-03-19 Mikolaj Bojanczyk , Laure Daviaud , Krishna Shankara Narayanan

We consider a class of optimization problems that involve determining the maximum value that a function in a particular class can attain subject to a collection of difference constraints. We show that a particular linear programming…

Data Structures and Algorithms · Computer Science 2022-11-16 Sungjin Im , Benjamin Moseley , Hung Q. Ngo , Kirk Pruhs , Alireza Samadian

We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures…

Programming Languages · Computer Science 2017-01-11 James Laird

We propose a unified view of the polarity of functions, that encompasses all specific definitions, generalizes several well-known properties and provides new results. We show that bipolar sets and bipolar functions are isomorphic lattices.…

Optimization and Control · Mathematics 2024-10-23 Jean-Philippe Chancelier , Michel de Lara

Submodular functions are relevant to machine learning for at least two reasons: (1) some problems may be expressed directly as the optimization of submodular functions and (2) the lovasz extension of submodular functions provides a useful…

Machine Learning · Computer Science 2013-10-09 Francis Bach

Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the…

Combinatorics · Mathematics 2007-05-23 David G. Wagner

We define and study binary operations for homotopy groups with coefficients. We give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carrying over properties of…

Algebraic Topology · Mathematics 2017-08-28 Martin Arkowitz

We consider functions $f:B\to\Rset$ that obey tropical analogs of classical Pl\"ucker relations on minors of a matrix. The most general set $B$ that we deal with in this paper is of the form $\{x\in \Zset^n\colon 0\le x\le a, m\le…

Combinatorics · Mathematics 2008-02-11 Vladimir I. Danilov , Alexander V. Karzanov , Gleb A. Koshevoy

The paper addresses the study and applications of a broad class of extended-real-valued functions, known as optimal value or marginal functions, which are frequently appeared in variational analysis, parametric optimization, and a variety…

Optimization and Control · Mathematics 2025-02-05 Le Phuoc Hai , Felipe Lara , Boris S. Mordukhovich

To illustrate that the notion of convergence of submodular function sequences fits reasonably into the limit theory of graphs, we describe several classes of matroids and other submodular setfunctions for which convergence of appropriate…

Combinatorics · Mathematics 2025-07-22 Kristóf Bérczi , Márton Borbényi , László Lovász , László Márton Tóth

This paper studies the problem of decomposing a low-rank matrix into a factor with binary entries, either from $\{\pm 1\}$ or from $\{0,1\}$, and an unconstrained factor. The research answers fundamental questions about the existence and…

Data Structures and Algorithms · Computer Science 2019-08-01 Richard Kueng , Joel A. Tropp

The main goal in this manuscript is to present a class of functions satisfying a certain orthogonality property for which there also exists a three term recurrence formula. This class of functions, which can be considered as an extension to…

Numerical Analysis · Mathematics 2016-06-28 Cleonice F. Bracciali , John H. McCabe , Teresa E. Pérez , A. Sri Ranga

In model selection problems for machine learning, the desire for a well-performing model with meaningful structure is typically expressed through a regularized optimization problem. In many scenarios, however, the meaningful structure is…

Optimization and Control · Mathematics 2022-11-09 Jonathan Bunton , Paulo Tabuada