中文
相关论文

相关论文: Solving systems of linear equations through zero f…

200 篇论文

We are concerned with the tensor equation with an M-tensor or Z-tensor, which we call the M- tensor equation or Z-tensor equation respectively. We derive a necessary and sufficient condition for a Z (or M)-tensor equation to have…

最优化与控制 · 数学 2018-12-27 Dong-Hui Li , Hong-Bo Guan , Xiao-Zhou Wang

We consider a dynamic traffic routing game over an urban road network involving a large number of drivers in which each driver selecting a particular route is subject to a penalty that is affine in the logarithm of the number of drivers…

最优化与控制 · 数学 2020-01-22 Takashi Tanaka , Ehsan Nekouei , Ali Reza Pedram , Karl Henrik Johansson

What is the time complexity of matrix multiplication of sparse integer matrices with $m_{in}$ nonzeros in the input and $m_{out}$ nonzeros in the output? This paper provides improved upper bounds for this question for almost any choice of…

数据结构与算法 · 计算机科学 2023-09-13 Amir Abboud , Karl Bringmann , Nick Fischer , Marvin Künnemann

This paper presents a general technique for optimally transforming any dynamic data structure that operates on atomic and indivisible keys by constant-time comparisons, into a data structure that handles unbounded-length keys whose…

数据结构与算法 · 计算机科学 2013-06-04 Amihood Amir , Gianni Franceschini , Roberto Grossi , Tsvi Kopelowitz , Moshe Lewenstein , Noa Lewenstein

We study the problem of cutting a length-$n$ string of positive real numbers into $k$ pieces so that every piece has sum at least $b$. The problem can also be phrased as transforming such a string into a new one by merging adjacent numbers.…

数据结构与算法 · 计算机科学 2023-09-29 Yinqi Cai

We consider linear dynamical systems under floating-point rounding. In these systems, a matrix is repeatedly applied to a vector, but the numbers are rounded into floating-point representation after each step (i.e., stored as a…

计算机科学中的逻辑 · 计算机科学 2023-01-30 Engel Lefaucheux , Joël Ouaknine , David Purser , Mohammadamin Sharifi

In this paper, we study minimal (with respect to inclusion) zero forcing sets. We first investigate when a graph can have polynomially or exponentially many distinct minimal zero forcing sets. We also study the maximum size of a minimal…

组合数学 · 数学 2022-04-18 Boris Brimkov , Joshua Carlson

We present an O(n^3 log^2 n)-time algorithm for the following problem: given a finite metric space X, create a star-topology network with the points of X as its leaves, such that the distances in the star are at least as large as in X, with…

数据结构与算法 · 计算机科学 2009-05-05 David Eppstein , Kevin A. Wortman

Using semi-tensor product of matrices, the structures of several kinds of symmetric games are investigated via the linear representation of symmetric group in the structure vector of games as its representation space. First of all, the…

计算机科学与博弈论 · 计算机科学 2017-03-09 Daizhan Cheng , Ting Liu

Here, we give an algorithm for deciding if the nonnegative rank of a matrix $M$ of dimension $m \times n$ is at most $r$ which runs in time $(nm)^{O(r^2)}$. This is the first exact algorithm that runs in time singly-exponential in $r$. This…

数据结构与算法 · 计算机科学 2012-05-02 Ankur Moitra

In this note, we establish a new closed formula for the solution of homogeneous second-order linear difference equations with constant coefficients by using matrix theory. This, in turn, gives new closed formulas concerning all sequences of…

数论 · 数学 2021-01-01 Issam Kaddoura , Bassam Mourad

We transform a Muller game with n vertices into a safety game with (n!)^3 vertices whose solution allows to determine the winning regions of the Muller game and to compute a finite-state winning strategy for one player. This yields a novel…

计算机科学中的逻辑 · 计算机科学 2012-10-10 Daniel Neider , Roman Rabinovich , Martin Zimmermann

The largest experiments in machine learning now require resources far beyond the budget of all but a few institutions. Fortunately, it has recently been shown that the results of these huge experiments can often be extrapolated from the…

机器学习 · 计算机科学 2021-04-16 Andy L. Jones

In this paper, we propose a new family of graphs, matrix graphs, whose vertex set $\mathbb{F}^{N\times n}_q$ is the set of all $N\times n$ matrices over a finite field $\mathbb{F}_q$ for any positive integers $N$ and $n$. And any two…

组合数学 · 数学 2015-12-23 Zhe Han , Mei Lu

Given a pattern of length $m$ and a text of length $n$, the goal in $k$-mismatch pattern matching is to compute, for every $m$-substring of the text, the exact Hamming distance to the pattern or report that it exceeds $k$. This can be…

数据结构与算法 · 计算机科学 2017-04-06 Paweł Gawrychowski , Przemysław Uznański

In many problems in Computational Physics and Chemistry, one finds a special kind of sparse matrices, termed "banded matrices". These matrices, which are defined as having non-zero entries only within a given distance from the main…

计算物理 · 物理学 2013-06-21 Pablo García-Risueño , Pablo Echenique

In order to solve a system of nonlinear rate equations one can try to use some soliton methods. The procedure involves three steps: (1) Find a `Lax representation' where all the kinetic variables are combined into a single matrix $\rho$,…

种群与进化 · 定量生物学 2018-03-13 Maciej Kuna

For a graph $G$ in which vertices are either black or white, a zero forcing process is an iterative vertex color changing process such that the only white neighbor of a black vertex becomes black in the next time step. A zero forcing set is…

组合数学 · 数学 2025-08-26 Hau-Yi Lin , Wu-Hsiung Lin , Gerard Jennhwa Chang

We present a fast direct solver for structured linear systems based on multilevel matrix compression. Using the recently developed interpolative decomposition of a low-rank matrix in a recursive manner, we embed an approximation of the…

数值分析 · 数学 2014-04-10 Kenneth L. Ho , Leslie Greengard

We propose a B tree representation storing $n$ keys, each of $k$ bits, in either (a) $nk + O(nk / \lg n)$ bits or (b) $nk + O(nk \lg \lg n/ \lg n)$ bits of space supporting all B tree operations in either (a) $O(\lg n )$ time or (b) $O(\lg…

数据结构与算法 · 计算机科学 2021-04-20 Tomohiro I , Dominik Köppl