English
Related papers

Related papers: A Polynomial Time Delta-Decomposition Algorithm fo…

200 papers

Value decomposition (VD) has become one of the most prominent solutions in cooperative multi-agent reinforcement learning. Most existing methods generally explore how to factorize the joint value and minimize the discrepancies between agent…

Multiagent Systems · Computer Science 2025-02-06 Siying Wang , Yang Zhou , Zhitong Zhao , Ruoning Zhang , Jinliang Shao , Wenyu Chen , Yuhua Cheng

Let PT-DFA mean a deterministic finite automaton whose transition relation is a partial function. We present an algorithm for minimizing a PT-DFA in $O(m \lg n)$ time and $O(m+n+\alpha)$ memory, where $n$ is the number of states, $m$ is the…

Information Theory · Computer Science 2008-02-21 Antti Valmari , Petri Lehtinen

This paper investigates the problem of decomposition with respect to outputs for Boolean control networks (BCNs). First, with the linear expression of BCNs and the matrix semi-tensor product, some algebraic equivalent conditions for the…

Optimization and Control · Mathematics 2014-07-09 Yunlei Zou , Jiandong Zhu

Learning finite automata from positive examples has recently gained attention as a powerful approach for understanding, explaining, analyzing, and verifying black-box systems. The motivation for focusing solely on positive examples arises…

Computational Complexity · Computer Science 2025-12-08 Benjamin Bordais , Daniel Neider

Unlike the matrix case, computing low-rank approximations of tensors is NP-hard and numerically ill-posed in general. Even the best rank-1 approximation of a tensor is NP-hard. In this paper, we use convex optimization to develop…

Statistics Theory · Mathematics 2016-09-14 Anil Aswani

This paper provides a unifying view of a wide range of problems of interest in machine learning by framing them as the minimization of functionals defined on the space of probability measures. In particular, we show that generative…

Machine Learning · Computer Science 2019-05-21 Casey Chu , Jose Blanchet , Peter Glynn

Coupled decompositions are a widely used tool for data fusion. As the volume of data increases, so does the dimensionality of matrices and tensors, highlighting the need for more efficient coupled decomposition algorithms. This paper…

Numerical Analysis · Mathematics 2026-04-22 Erna Begovic , Anita Carevic , Ivana Sain Glibic

This work studies the linear approximation of high-dimensional dynamical systems using low-rank dynamic mode decomposition (DMD). Searching this approximation in a data-driven approach is formalised as attempting to solve a low-rank…

Machine Learning · Statistics 2021-08-23 Patrick Héas , Cédric Herzet

We propose a modularization method that decomposes a deep neural network (DNN) into small modules from a functionality perspective and recomposes them into a new model for some other task. Decomposed modules are expected to have the…

Machine Learning · Computer Science 2021-12-28 Hiroaki Kingetsu , Kenichi Kobayashi , Taiji Suzuki

In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a…

Computer Science and Game Theory · Computer Science 2015-03-19 Chenyi Zhang , Jun Pang

In this paper, we give a theoretical analysis for the algorithms to compute functional decomposition for multivariate polynomials based on differentiation and homogenization which are proposed by Ye, Dai, Lam (1999) and Faug$\mu$ere, Perret…

Cryptography and Security · Computer Science 2010-11-29 Shangwei Zhao , Ruyong Feng , Xiao-Shan Gao

The success of Deep Neural Networks (DNNs) highly depends on data quality. Moreover, predictive uncertainty makes high performing DNNs risky for real-world deployment. In this paper, we aim to address these two issues by proposing a unified…

Machine Learning · Computer Science 2020-09-28 Krishanu Sarker , Xiulong Yang , Yang Li , Saeid Belkasim , Shihao Ji

We present a general-purpose data compression algorithm, Regularized L21 Semi-NonNegative Matrix Factorization (L21 SNF). L21 SNF provides robust, parts-based compression applicable to mixed-sign data for which high fidelity, individualdata…

Machine Learning · Computer Science 2020-05-12 Anthony D. Rhodes , Bin Jiang

Designing faster optimization algorithms is of ever-growing interest. In recent years, learning to learn methods that learn how to optimize demonstrated very encouraging results. Current approaches usually do not effectively include the…

Machine Learning · Computer Science 2022-12-01 Petr Šimánek , Daniel Vašata , Pavel Kordík

Configurable systems typically consist of reusable assets that have dependencies between each other. To specify such dependencies, feature models are commonly used. As feature models in practice are often complex, automated reasoning is…

Artificial Intelligence · Computer Science 2025-05-12 Chico Sundermann , Stefan Vill , Elias Kuiter , Sebastian Krieter , Thomas Thüm , Matthias Tichy

We study the problem of constructing a deterministic polynomial time algorithm that achieves omniscience, in a rate-optimal manner, among a set of users that are interested in a common file but each has only partial knowledge about it as…

Information Theory · Computer Science 2011-08-31 Nebojsa Milosavljevic , Sameer Pawar , Salim El Rouayheb , Michael Gastpar , Kannan Ramchandran

Fast time-domain algorithms have been developed in signal processing applications to reduce the multiplication complexity. For example, fast convolution structures using Cook-Toom and Winograd algorithms are well understood. Short length…

Signal Processing · Electrical Eng. & Systems 2026-04-21 Keshab K. Parhi

Inspired by scenarios where the strategic network design and defense or immunisation are of the central importance, Goyal et al. [3] defined a new Network Formation Game with Attack and Immunisation. The authors showed that despite the…

Computer Science and Game Theory · Computer Science 2023-02-13 Carme Àlvarez , Arnau Messegué

In the PATH COVER problem, one asks to cover the vertices of a graph using the smallest possible number of (not necessarily disjoint) paths. While the variant where the paths need to be pairwise vertex-disjoint, which we call PATH…

Data Structures and Algorithms · Computer Science 2025-11-11 Florent Foucaud , Atrayee Majumder , Tobias Mömke , Aida Roshany-Tabrizi

We show the existence of an FPTAS for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed.

Optimization and Control · Mathematics 2017-01-03 Jesús A. De Loera , Raymond Hemmecke , Matthias Köppe , Robert Weismantel