English
Related papers

Related papers: Decomposition of the NVALUE constraint

200 papers

The decomposition of a matrix, as a product of factors with particular properties, is a much used tool in numerical analysis. Here we develop methods for decomposing a matrix $C$ into a product $X Y$, where the factors $X$ and $Y$ are…

Optimization and Control · Mathematics 2016-01-07 Veit Elser

The sparse generalized eigenvalue problem arises in a number of standard and modern statistical learning models, including sparse principal component analysis, sparse Fisher discriminant analysis, and sparse canonical correlation analysis.…

Numerical Analysis · Computer Science 2019-03-05 Ganzhao Yuan , Li Shen , Wei-Shi Zheng

Solving a system of nonlinear inequalities is an important problem for which conventional numerical analysis has no satisfactory method. With a box-consistency algorithm one can compute a cover for the solution set to arbitrarily close…

Numerical Analysis · Mathematics 2021-08-23 M. H. van Emden , B. Moa

Parties connected to independent sources through a network can generate correlations among themselves. Notably, the space of feasible correlations for a given network, depends on the physical nature of the sources and the measurements…

Quantum Physics · Physics 2022-02-15 Salman Beigi , Marc-Olivier Renou

Practical optimization problems may contain different kinds of difficulties that are often not tractable if one relies on a particular optimization method. Different optimization approaches offer different strengths that are good at…

Neural and Evolutionary Computing · Computer Science 2024-07-08 Ankur Sinha , Dhaval Pujara , Hemant Kumar Singh

Dey and Xin (J.Appl.Comput.Top., 2022, arXiv:1904.03766) describe an algorithm to decompose finitely presented multiparameter persistence modules using a matrix reduction algorithm. Their algorithm only works for modules whose generators…

Representation Theory · Mathematics 2025-11-25 Tamal K. Dey , Jan Jendrysiak , Michael Kerber

This paper presents a decomposition method for solving elliptic boundary value problems in one-dimension. The method is an improvement to an existing technique for approximating elliptic systems. It is demonstrated to be computationally…

Analysis of PDEs · Mathematics 2024-10-10 Christian O. Bernal Zelaya , Prosper Torsu

This paper is about how to partition decision variables while decomposing a large-scale optimization problem for the best performance of distributed solution methods. Solving a large-scale optimization problem sequen- tially can be…

Optimization and Control · Mathematics 2017-10-26 Yuchen Zheng , Ilbin Lee , Nicoleta Serban

An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the Regular and Grammar constraints specify constraints in terms of the languages accepted by an automaton and a…

Artificial Intelligence · Computer Science 2009-03-04 George Katsirelos , Nina Narodytska , Toby Walsh

Survey Propagation is an algorithm designed for solving typical instances of random constraint satisfiability problems. It has been successfully tested on random 3-SAT and random $G(n,\frac{c}{n})$ graph 3-coloring, in the hard region of…

Disordered Systems and Neural Networks · Physics 2010-04-02 A. Braunstein , M. Mezard , M. Weigt , R. Zecchina

Marginal MAP inference involves making MAP predictions in systems defined with latent variables or missing information. It is significantly more difficult than pure marginalization and MAP tasks, for which a large class of efficient and…

Machine Learning · Computer Science 2015-11-10 Wei Ping , Qiang Liu , Alexander Ihler

We study the characterization and computation of general policies for families of problems that share a structure characterized by a common reduction into a single abstract problem. Policies $\mu$ that solve the abstract problem P have been…

Artificial Intelligence · Computer Science 2019-09-27 Blai Bonet , Giuseppe De Giacomo , Hector Geffner , Sasha Rubin

We present here a review of existing analytical methods to solve boundary value problems of diffusion in media containing N non-overlapping inclusions.

General Physics · Physics 2015-12-15 Sergey D. Traytak

We show that several constraint propagation algorithms (also called (local) consistency, consistency enforcing, Waltz, filtering or narrowing algorithms) are instances of algorithms that deal with chaotic iteration. To this end we propose a…

Artificial Intelligence · Computer Science 2007-05-23 Krzysztof R. Apt

A mathematical programming problem with affine equilibrium constraints (AMPEC) is a bilevel programming problem where the lower one is a parametric affine variational inequality. We formulate some classes of bilevel programming in forms of…

Optimization and Control · Mathematics 2011-05-18 Le Dung Muu , Tran Dinh Quoc , Le Thi Hoai An , Pham Dinh Tao

In this work, we are concerned with a nonlinear wave equation with variable exponents. A distributive delay is imposed into the damping term with variable exponents nonlinearity. Firstly, we show that the global nonexistence time can be…

Analysis of PDEs · Mathematics 2024-11-26 Mohammad Kafini

Several variants of the Constraint Satisfaction Problem have been proposed and investigated in the literature for modelling those scenarios where solutions are associated with some given costs. Within these frameworks computing an optimal…

Artificial Intelligence · Computer Science 2012-09-18 Georg Gottlob , Gianluigi Greco , Francesco Scarcello

Convolution system is linear and time invariant, and can describe the optical imaging process. Based on convolution system, many deconvolution techniques have been developed for optical image analysis, such as boosting the space resolution…

Image and Video Processing · Electrical Eng. & Systems 2017-12-01 Song Yizhi , Xu Cheng , Ding Daoxin , Zhou Hang , Quan Tingwei , Li Shiwei

Multi-view learning algorithms typically assume a complete bipartite mapping between the different views in order to exchange information during the learning process. However, many applications provide only a partial mapping between the…

Machine Learning · Computer Science 2014-11-03 Eric Eaton , Marie desJardins , Sara Jacob

We revisit the SeqBin constraint. This meta-constraint subsumes a number of important global constraints like Change, Smooth and IncreasingNValue. We show that the previously proposed filtering algorithm for SeqBin has two drawbacks even…

Artificial Intelligence · Computer Science 2015-03-20 George Katsirelos , Nina Narodytska , Toby Walsh