English
Related papers

Related papers: Exploiting chordal structure in polynomial ideals:…

200 papers

This paper introduces a chordal decomposition approach for scalable analysis of linear networked systems, including stability, $\mathcal{H}_2$ and $\mathcal{H}_{\infty}$ performance. Our main strategy is to exploit any sparsity within these…

Optimization and Control · Mathematics 2018-03-19 Yang Zheng , Maryam Kamgarpour , Aivar Sootla , Antonis Papachristodoulou

We present a method for nonlinear parametric optimization based on algebraic geometry. The problem to be studied, which arises in optimal control, is to minimize a polynomial function with parameters subject to semialgebraic constraints.…

Optimization and Control · Mathematics 2007-05-23 Ioannis A. Fotiou , Philipp Rostalski , Bernd Sturmfels , Manfred Morari

It is known that problems like Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal are polynomial time solvable in the class of chordal graphs. We consider these problems in a graph that has at most $k$ vertices whose deletion…

Data Structures and Algorithms · Computer Science 2020-02-25 Ashwin Jacob , Fahad Panolan , Venkatesh Raman , Vibha Sahlot

Multiobjective discrete programming is a well-known family of optimization problems with a large spectrum of applications. The linear case has been tackled by many authors during the last years. However, the polynomial case has not been…

Optimization and Control · Mathematics 2011-01-24 Víctor Blanco , Justo Puerto

A new efficient algorithm is proposed for factoring polynomials over an algebraic extension field. The extension field is defined by a polynomial ring modulo a maximal ideal. If the maximal ideal is given by its Groebner basis, no extra…

Symbolic Computation · Computer Science 2010-10-04 Yao Sun , Dingkang Wang

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective…

Discrete Mathematics · Computer Science 2020-05-13 Hans L. Bodlaender , Josse van Dobben de Bruyn , Dion Gijswijt , Harry Smit

In this paper, we first prove that when the associated graph of a polynomial set is chordal, a particular triangular set computed by a general algorithm in top-down style for computing the triangular decomposition of this polynomial set has…

Symbolic Computation · Computer Science 2018-11-28 Chenqi Mou , Yang Bai , Jiahua Lai

Researchers have proposed various methods of incorporating more structured information into the design of Graph Neural Networks (GNNs) to enhance their expressiveness. However, these methods are either computationally expensive or lacking…

Machine Learning · Computer Science 2025-05-27 Hongxu Pan , Shuxian Hu , Mo Zhou , Zhibin Wang , Rong Gu , Chen Tian , Kun Yang , Sheng Zhong

We investigate the computational complexity of problems on toric ideals such as normal forms, Gr\"obner bases, and Graver bases. We show that all these problems are strongly NP-hard in the general case. Nonetheless, we can derive efficient…

Symbolic Computation · Computer Science 2019-02-06 Diego Cifuentes , Shmuel Onn

In the Block Graph Deletion problem, we are given a graph $G$ on $n$ vertices and a positive integer $k$, and the objective is to check whether it is possible to delete at most $k$ vertices from $G$ to make it a block graph, i.e., a graph…

Data Structures and Algorithms · Computer Science 2016-01-18 Eun Jung Kim , O-joung Kwon

In this paper we introduce a binomial ideal derived from a binary linear code. We present some applications of a Gr\"obner basis of this ideal with respect to a total degree ordering. In the first application we give a decoding method for…

Combinatorics · Mathematics 2007-05-23 M. Borges-Quintana , M. A. Borges-Trenard , P. Fitzpatrick , E. Martinez-Moro

A graph $G$ is said to be chordal if it has no induced cycles of length four or more. In a recent preprint Culbertson, Guralnik, and Stiller give a new characterization of chordal graphs in terms of sequences of what they call…

Combinatorics · Mathematics 2021-02-25 Anton Dochtermann

Chordal graphs form one of the most studied graph classes. Several graph problems that are NP-hard in general become solvable in polynomial time on chordal graphs, whereas many others remain NP-hard. For a large group of problems among the…

Discrete Mathematics · Computer Science 2018-11-01 Oylum Şeker , Pinar Heggernes , Tınaz Ekim , Z. Caner Taşkın

The set of common roots of a finite set $I$ (it is an ideal) of homogeneous polynomials is known as projective algebraic set $V$. In this article I show how to dualize such projective algebraic sets $V$ by elimination of variables from a…

Algebraic Geometry · Mathematics 2011-01-14 Călin-Şerban Bărbat

In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…

Rings and Algebras · Mathematics 2013-07-24 Roberto La Scala

A graph is chordal if every cycle of length at least four contains a chord, that is, an edge connecting two nonconsecutive vertices of the cycle. Several classical applications in sparse linear systems, database management, computer vision,…

Data Structures and Algorithms · Computer Science 2016-12-07 David Bergman , Carlos H. Cardonha , Andre A. Cire , Arvind U. Raghunathan

The composition technique is a popular method for excluding polynomial-size problem kernels for NP-hard parameterized problems. We present a new technique exploiting triangle-based fractal structures for extending the range of applicability…

Computational Complexity · Computer Science 2017-12-27 Till Fluschnik , Danny Hermelin , André Nichterlein , Rolf Niedermeier

We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…

Commutative Algebra · Mathematics 2008-06-04 Kei-ichiro Iima , Yuji Yoshino

For associative algebras in many different categories, it is possible to develop the machinery of Gr\"obner bases. A Gr\"obner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra.…

K-Theory and Homology · Mathematics 2011-05-12 Vladimir Dotsenko , Anton Khoroshkin

Polynomial system solving arises in many application areas to model non-linear geometric properties. In such settings, polynomial systems may come with degeneration which the end-user wants to exclude from the solution set. The…

Symbolic Computation · Computer Science 2023-06-12 Christian Eder , Pierre Lairez , Rafael Mohr , Mohab Safey El Din