English
Related papers

Related papers: Border basis detection is NP-complete

200 papers

The Gr\"obner basis detection (GBD) is defined as follows: Given a set of polynomials, decide whether there exists -and if "yes" find- a term order such that the set of polynomials is a Gr\"obner basis. This problem was shown to be NP-hard…

Computational Complexity · Computer Science 2011-05-04 Prabhanjan Ananth , Ambedkar Dukkipati

Border bases arise as a canonical generalization of Gr\"obner bases. We provide a polyhedral characterization of all order ideals (and hence border bases) that are supported by a zero-dimensional ideal: order ideals that support a border…

Commutative Algebra · Mathematics 2016-10-26 Gábor Braun , Sebastian Pokutta

Border bases can be considered to be the natural extension of Gr\"obner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced…

Commutative Algebra · Mathematics 2010-02-05 Gábor Braun , Sebastian Pokutta

In this paper, we extend the idea of comprehensive Gr\"{o}bner bases given by Weispfenning (1992) to border bases for zero dimensional parametric polynomial ideals. For this, we introduce a notion of comprehensive border bases and border…

Symbolic Computation · Computer Science 2013-12-31 Abhishek Dubey , Ambedkar Dukkipati

Border bases, a generalization of Groebner bases, have actively been researched during recent years due to their applicability to industrial problems. A. Kehrein and M. Kreuzer formulated the so called Border Basis Algorithm, an algorithm…

Commutative Algebra · Mathematics 2025-08-13 Stefan Kaspar

Computational complexity of the design problem for a network with a target value of Region-Based Component Decomposition Number (RBCDN) has been proven to be NP-complete.

Computational Complexity · Computer Science 2010-12-13 Sujogya Banerjee , Shahrzad Shirazipourazad , Pavel Ghosh , Arunabha Sen

Border complexity captures functions that can be approximated by low-complexity ones. Debordering is the task of proving an upper bound on some non-border complexity measure in terms of a border complexity measure, thus getting rid of…

Computational Complexity · Computer Science 2025-10-16 Pranjal Dutta , Vladimir Lysikov

An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…

Symbolic Computation · Computer Science 2020-03-19 Deepak Kapur , Yiming Yang

Border bases are traditionally restricted to 0-dimensional ideals due to the finiteness of the underlying order ideal. In this paper we extend the theory to homogeneous ideals of positive Krull dimension by introducing homogeneous border…

Commutative Algebra · Mathematics 2026-03-09 Cristina Bertone , Sofia Bovero

In this paper, we generalize the notion of border bases of zero-dimensional polynomial ideals to the module setting. To this end, we introduce order modules as a generalization of order ideals and module border bases of submodules with…

Commutative Algebra · Mathematics 2013-02-27 Markus Kriegl

This paper studies a class of binomial ideals associated to graphs with finite vertex sets. They generalize the binomial edge ideals, and they arise in the study of conditional independence ideals. A Gr\"obner basis can be computed by…

Commutative Algebra · Mathematics 2014-06-18 Johannes Rauh

One important issue implied by the finite nature of real-world networks regards the identification of their more external (border) and internal nodes. The present work proposes a formal and objective definition of these properties, founded…

Physics and Society · Physics 2015-05-13 Bruno A. N. Travencolo , Matheus P. Viana , Luciano da F. Costa

A border basis scheme is an affine scheme that can be viewed as an open subscheme of the Hilbert scheme of \mu points of affine n-space. We study syzygies of the generators of a border basis scheme's defining ideal. These generators arise…

Algebraic Geometry · Mathematics 2015-03-13 Mark E. Huibregtse

For supervised learning models, the analysis of generalization ability (generalizability) is vital because the generalizability expresses how well a model will perform on unseen data. Traditional generalization methods, such as the VC…

Machine Learning · Computer Science 2021-03-01 Shuyue Guan , Murray Loew

The current paper investigates the bounded distance decoding (BDD) problem for ensembles of lattices whose generator matrices have sub-Gaussian entries. We first prove that, for these ensembles the BDD problem is NP-hard in the worst case.…

Computational Complexity · Computer Science 2025-06-23 Shuhong Gao

A universal Gr\"obner basis of an ideal is the union of all its reduced Gr\"obner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp…

Commutative Algebra · Mathematics 2007-11-22 Sonja Petrović

Boundary detection is essential for a variety of computer vision tasks such as segmentation and recognition. In this paper we propose a unified formulation and a novel algorithm that are applicable to the detection of different types of…

Computer Vision and Pattern Recognition · Computer Science 2012-02-17 Marius Leordeanu , Rahul Sukthankar , Cristian Sminchisescu

The computation of Gr\"obner bases is an established hard problem. By contrast with many other problems, however, there has been little investigation of whether this hardness is robust. In this paper, we frame and present results on the…

Symbolic Computation · Computer Science 2018-07-18 Gwen Spencer , David Rolnick

Hilbert schemes of zero-dimensional ideals in a polynomial ring can be covered with suitable affine open subschemes whose construction is achieved using border bases. Moreover, border bases have proved to be an excellent tool for describing…

Commutative Algebra · Mathematics 2008-06-26 Lorenzo Robbiano

The theory of border bases for zero-dimensional ideals has attracted several researchers in symbolic computation due to their numerical stability and mathematical elegance. As shown in (Francis & Dukkipati, J. Symb. Comp., 2014), one can…

Symbolic Computation · Computer Science 2017-02-03 Ambedkar Dukkipati , Nithish Pai , Maria Francis
‹ Prev 1 2 3 10 Next ›