English
Related papers

Related papers: Counting Vanishing Matrix-Vector Products

200 papers

Based on the partition of parameter space, two algorithms for computing the rational univariate representation of zero-dimensional ideals with parameters are presented in the paper. Unlike the rational univariate representation of…

Symbolic Computation · Computer Science 2024-07-25 Dingkang Wang , Jingjing Wei , Fanghui Xiao , Xiaopeng Zheng

A previously developed quantum search algorithm for solving 1-SAT problems in a single step is generalized to apply to a range of highly constrained k-SAT problems. We identify a bound on the number of clauses in satisfiability problems for…

Artificial Intelligence · Computer Science 2011-05-30 T. Hogg

Recently it was shown that, for every fixed k>1, given a finite simply connected simplicial complex X, the kth homotopy group \pi_k(X) can be computed in time polynomial in the number n of simplices of X. We prove that this problem is…

Computational Complexity · Computer Science 2013-04-30 Jiri Matousek

In this work, we study the $d$-Hitting Set and Feedback Vertex Set problems through the paradigm of finding diverse collections of $r$ solutions of size at most $k$ each, which has recently been introduced to the field of parameterized…

Data Structures and Algorithms · Computer Science 2019-12-10 Julien Baste , Lars Jaffke , Tomáš Masařík , Geevarghese Philip , Günter Rote

This paper considers a restriction to non-negative matrix factorization in which at least one matrix factor is stochastic. That is, the elements of the matrix factors are non-negative and the columns of one matrix factor sum to 1. This…

Machine Learning · Statistics 2016-09-20 Christopher Adams

The $d$-bounded-degree vertex deletion problem, to delete at most $k$ vertices in a given graph to make the maximum degree of the remaining graph at most $d$, finds applications in computational biology, social network analysis and some…

Data Structures and Algorithms · Computer Science 2016-08-23 Mingyu Xiao

Motivated by Tucker tensor decomposition, this paper imposes low-rank structures to the column and row spaces of coefficient matrices in a multivariate infinite-order vector autoregression (VAR), which leads to a supervised factor model…

Methodology · Statistics 2023-12-04 Feiqing Huang , Kexin Lu , Guodong Li

We consider the problem of counting matchings in planar graphs. While perfect matchings in planar graphs can be counted by a classical polynomial-time algorithm, the problem of counting all matchings (possibly containing unmatched vertices,…

Computational Complexity · Computer Science 2016-07-28 Radu Curticapean

In the probabilistic topic models, the quantity of interest---a low-rank matrix consisting of topic vectors---is hidden in the text corpus matrix, masked by noise, and the Singular Value Decomposition (SVD) is a potentially useful tool for…

Methodology · Statistics 2016-08-17 Zheng Tracy Ke

We consider a class of linear codes associated to projective algebraic varieties defined by the vanishing of minors of a fixed size of a generic matrix. It is seen that the resulting code has only a small number of distinct weights. The…

Combinatorics · Mathematics 2016-04-26 Peter Beelen , Sudhir R. Ghorpade , Sartaj Ul Hasan

In this paper, we consider the weighted online set k-multicover problem. In this problem, we have a universe V of elements, a family S of subsets of V with a positive real cost for every set in S and a "coverage factor" (positive integer)…

Data Structures and Algorithms · Computer Science 2015-03-19 Piotr Berman , Bhaskar DasGupta

We consider the parameterised complexity of several list problems on graphs, with parameter treewidth or pathwidth. In particular, we show that List Edge Chromatic Number and List Total Chromatic Number are fixed parameter tractable,…

Computational Complexity · Computer Science 2016-08-05 Kitty Meeks , Alexander Scott

A finite element methodology for large classes of variational boundary value problems is defined which involves discretizing two linear operators: (1) the differential operator defining the spatial boundary value problem; and (2) a Riesz…

Numerical Analysis · Mathematics 2017-12-08 Brendan Keith , Socratis Petrides , Federico Fuentes , Leszek Demkowicz

Seymour's decomposition theorem for regular matroids is a fundamental result with a number of combinatorial and algorithmic applications. In this work we demonstrate how this theorem can be used in the design of parameterized algorithms on…

Data Structures and Algorithms · Computer Science 2017-10-09 Fedor V. Fomin , Petr A. Golovach , Daniel Lokshtanov , Saket Saurabh

We consider the following natural graph cut problem called Critical Node Cut (CNC): Given a graph $G$ on $n$ vertices, and two positive integers $k$ and $x$, determine whether $G$ has a set of $k$ vertices whose removal leaves $G$ with at…

Data Structures and Algorithms · Computer Science 2015-06-30 Danny Hermelin , Moshe Kaspi , Christian Komusiewicz , Barak Navon

Multiwinner Elections have emerged as a prominent area of research with numerous practical applications. We contribute to this area by designing parameterized approximation algorithms and also resolving an open question by Yang and Wang…

Computer Science and Game Theory · Computer Science 2025-07-21 Sushmita Gupta , Pallavi Jain , Souvik Saha , Saket Saurabh , Anannya Upasana

A vertex-subset graph problem Q defines which subsets of the vertices of an input graph are feasible solutions. A reconfiguration variant of a vertex-subset problem asks, given two feasible solutions S and T of size k, whether it is…

Computational Complexity · Computer Science 2015-02-18 Daniel Lokshtanov , Amer E. Mouawad , Fahad Panolan , M. S. Ramanujan , Saket Saurabh

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…

Combinatorics · Mathematics 2022-07-28 Peter Ayre , Amin Coja-Oghlan , Pu Gao , Noëla Müller

Our work is motivated by the challenges presented in preparing arrays of atoms for use in quantum simulation. The recently-developed process of loading atoms into traps results in approximately half of the traps being filled. To consolidate…

Computational Complexity · Computer Science 2025-04-09 Alexandre Cooper , Stephanie Maaz , Amer E. Mouawad , Naomi Nishimura

Given a simple connected undirected graph G = (V, E), a set X \subseteq V(G), and integers k and p, STEINER SUBGRAPH EXTENSION problem asks if there exists a set S \supseteq X with at most k vertices such that G[S] is p-edge-connected. This…

Data Structures and Algorithms · Computer Science 2025-10-07 Eduard Eiben , Diptapriyo Majumdar , M. S. Ramanujan