中文
相关论文

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

200 篇论文

We present a randomized linear-space solver for general linear systems $\mathbf{A} \mathbf{x} = \mathbf{b}$ with $\mathbf{A} \in \mathbb{Z}^{n \times n}$ and $\mathbf{b} \in \mathbb{Z}^n$, without any assumption on the condition number of…

数据结构与算法 · 计算机科学 2025-07-04 Yiping Liu , Hoai-An Nguyen , Junzhao Yang

We study the following optimization problem over a dynamical system that consists of several linear subsystems: Given a finite set of $n\times n$ matrices and an $n$-dimensional vector, find a sequence of $K$ matrices, each chosen from the…

最优化与控制 · 数学 2020-02-17 Zeyang Wu , Qie He

This paper shows how to solve linear programs of the form $\min_{Ax=b,x\geq0} c^\top x$ with $n$ variables in time $$O^*((n^{\omega}+n^{2.5-\alpha/2}+n^{2+1/6}) \log(n/\delta))$$ where $\omega$ is the exponent of matrix multiplication,…

数据结构与算法 · 计算机科学 2020-10-21 Michael B. Cohen , Yin Tat Lee , Zhao Song

We present a novel algorithm attaining excessively fast, the sought solution of linear systems of equations. The algorithm is short in its basic formulation and, by definition, vectorized, while the memory allocation demands are trivial,…

机器学习 · 计算机科学 2023-09-26 Nikolaos P. Bakas

We present a linear-system solver that, given an $n$-by-$n$ symmetric positive semi-definite, diagonally dominant matrix $A$ with $m$ non-zero entries and an $n$-vector $\bb $, produces a vector $\xxt$ within relative distance $\epsilon$ of…

数据结构与算法 · 计算机科学 2025-10-20 Daniel A. Spielman , Shang-Hua Teng

In this paper we present a new algorithm for solving linear programs that requires only $\tilde{O}(\sqrt{rank(A)}L)$ iterations to solve a linear program with $m$ constraints, $n$ variables, and constraint matrix $A$, and bit complexity…

数据结构与算法 · 计算机科学 2015-03-06 Yin Tat Lee , Aaron Sidford

We give a stochastic optimization algorithm that solves a dense $n\times n$ real-valued linear system $Ax=b$, returning $\tilde x$ such that $\|A\tilde x-b\|\leq \epsilon\|b\|$ in time: $$\tilde O((n^2+nk^{\omega-1})\log1/\epsilon),$$ where…

数据结构与算法 · 计算机科学 2024-06-10 Michał Dereziński , Jiaming Yang

Given a full column rank matrix $A \in \mathbb{R}^{m\times n}$ ($m\geq n$), we consider a special class of linear systems of the form $A^\top Ax=A^\top b+c$ with $x, c \in \mathbb{R}^{n}$ and $b \in \mathbb{R}^{m}$. The occurrence of $c$ in…

数值分析 · 数学 2019-11-04 Henri Calandra , Serge Gratton , Elisa Riccietti , Xavier Vasseur

We show that if the nearly-linear time solvers for Laplacian matrices and their generalizations can be extended to solve just slightly larger families of linear systems, then they can be used to quickly solve all systems of linear equations…

计算复杂性 · 计算机科学 2017-09-26 Rasmus Kyng , Peng Zhang

Let $A$ be a random $m\times n$ matrix over the finite field $F_q$ with precisely $k$ non-zero entries per row and let $y\in F_q^m$ be a random vector chosen independently of $A$. We identify the threshold $m/n$ up to which the linear…

组合数学 · 数学 2022-07-28 Peter Ayre , Amin Coja-Oghlan , Pu Gao , Noëla Müller

The $k$-SUM problem is given $n$ input real numbers to determine whether any $k$ of them sum to zero. The problem is of tremendous importance in the emerging field of complexity theory within $P$, and it is in particular open whether it…

数据结构与算法 · 计算机科学 2016-02-19 Jean Cardinal , John Iacono , Aurélien Ooms

We present an alternative proof of a theorem by Courcelle, Makowski and Rotics which states that problems expressible in MSO are solvable in linear time for graphs of bounded rankwidth. Our proof uses a game-theoretic approach and has the…

数据结构与算法 · 计算机科学 2011-02-07 Alexander Langer , Peter Rossmanith , Somnath Sikdar

We introduce a new variant of zero forcing - signed zero forcing. The classical zero forcing number provides an upper bound on the maximum nullity of a matrix with a given graph (i.e. zero-nonzero pattern). Our new variant provides an…

组合数学 · 数学 2013-07-09 Felix Goldberg , Abraham Berman

The time-harmonic Maxwell equations are used to study the effect of electric and magnetic fields on each other. Although the linear systems resulting from solving this system using FEMs are sparse, direct solvers cannot reach the linear…

数值分析 · 数学 2023-04-28 Maryam Parvizi , Amirreza Khodadadian , Sven Beuchler , Thomas Wick

The solution to systems of moment differential equations of the form $z\partial_my=(zA+B)y$ are provided, for a matrix $B$ with general good spectrum. Existence and convergence of Floquet-type solutions is studied. A generalized definition…

复变函数 · 数学 2025-11-11 Alberto Lastra , Cruz Prisuelos-Arribas , Victor Soto-Larrosa

Given the matrix equation ${\bf A X} + {\bf X B} + f({\bf X }) {\bf C} ={\bf D}$ in the unknown $n\times m$ matrix ${\bf X }$, we analyze existence and uniqueness conditions, together with computational solution strategies for $f \,:…

数值分析 · 数学 2022-09-05 Margherita Porcelli , Valeria Simoncini

This paper shows the weighted matching problem on general graphs can be solved in time $O(n(m + n\log n))$ for $n$ and $m$ the number of vertices and edges, respectively. This was previously known only for bipartite graphs. The crux is a…

数据结构与算法 · 计算机科学 2016-11-24 Harold N. Gabow

Given $A\in \Z^{m\times n}$ and $b\in\Z^m$, we consider the issue of existence of a nonnegative integral solution $x\in \N^n$ to the system of linear equations $Ax=b$. We provide a discrete and explicit analogue of the celebrated Farkas…

组合数学 · 数学 2007-05-23 Jean B. Lasserre

We consider the problem of efficiently solving large-scale linear least squares problems that have one or more linear constraints that must be satisfied exactly. Whilst some classical approaches are theoretically well founded, they can face…

数值分析 · 数学 2021-12-24 Jennifer Scott , Miroslav Tuma

Zero forcing is a one-player game played on a graph. The player chooses some set of vertices to color, then iteratively applies a color change rule: If all but one of a colored vertex's neighbors are colored, color (i.e. "force") the…

组合数学 · 数学 2019-10-02 Shannon Dillman , Franklin Kenter