English
Related papers

Related papers: Gr\"obner Bases and Nullstellens\"atze for Graph-C…

200 papers

In this paper, we consider some general properties of block graphs as well as the equitable coloring problem in this class of graphs. In the first part we establish the relation between two structural parameters for general block graphs. We…

Combinatorics · Mathematics 2024-02-09 Hanna Furmańczyk , Vahan Mkrtchyan

We show that the universal Gr\"obner basis and the Graver basis of a binomial edge ideal coincide. We provide a description for this basis set in terms of certain paths in the underlying graph. We conjecture a similar result for a parity…

Commutative Algebra · Mathematics 2020-04-08 Mourtadha Badiane , Isaac Burke , Emil Sköldberg

For an integer $r>0$, a conditional $(k,r)$-coloring of a graph $G$ is a proper $k$-coloring of the vertices of $G$ such that every vertex $v$ of degree $d(v)$ in $G$ is adjacent to vertices with at least $min\{r, d(v)\}$ different colors.…

Discrete Mathematics · Computer Science 2007-11-20 Xueliang Li , Xiangmei Yao , Wenli Zhou

We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game,…

Operator Algebras · Mathematics 2017-03-06 William Helton , Kyle P. Meyer , Vern I. Paulsen , Matthew Satriano

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

We use a Gr\"obner basis technique first introduced by Knutson, Miller and Yong to study the interplay between properties of a graph $G$ and algebraic properties of the toric ideal that it defines. We first recover a well-known height…

Commutative Algebra · Mathematics 2025-02-13 Sergio Da Silva , Emma Naguit , Jenna Rajchgot

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

We prove that polynomial calculus (and hence also Nullstellensatz) over any field requires linear degree to refute that sparse random regular graphs, as well as sparse Erd\H{o}s-R\'{e}nyi random graphs, are $3$-colourable. Using the known…

Computational Complexity · Computer Science 2025-03-24 Jonas Conneryd , Susanna F. de Rezende , Jakob Nordström , Shuo Pang , Kilian Risse

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

Motivated by the definition of linear coloring on simplicial complexes, recently introduced in the context of algebraic topology \cite{Civan}, and the framework through which it was studied, we introduce the linear coloring on graphs. We…

Discrete Mathematics · Computer Science 2008-07-29 Kyriaki Ioannidou , Stavros D. Nikolopoulos

Graph coloring is a computationally difficult problem, and currently the best known classical algorithm for $k$-coloring of graphs on $n$ vertices has runtimes $\Omega(2^n)$ for $k\ge 5$. The list coloring problem asks the following more…

Quantum Physics · Physics 2022-03-04 Sayan Mukherjee

For graph classes $P_1,...,P_k$, Generalized Graph Coloring is the problem of deciding whether the vertex set of a given graph $G$ can be partitioned into subsets $V_1,...,V_k$ so that $V_j$ induces a graph in the class $P_j$…

Combinatorics · Mathematics 2007-05-23 Vladimir E. Alekseev , Alastair Farrugia , Vadim V. Lozin

We introduce binomial edge ideals attached to a simple graph $G$ and study their algebraic properties. We characterize those graphs for which the quadratic generators form a Gr\"obner basis in a lexicographic order induced by a vertex…

Commutative Algebra · Mathematics 2009-10-16 Juergen Herzog , Takayuki Hibi , Freyja Hreinsdottir , Thomas Kahle , Johannes Rauh

Two correspondences have been provided that associate any linear code over a finite field with a binomial ideal. In this paper, algorithms for computing their Graver bases and universal Gr\"obner bases are given. To this end, a connection…

Commutative Algebra · Mathematics 2014-05-08 Natalia Dück , Karl-Heinz Zimmermann

Associated to any vector configuration A is a toric ideal encoded by vectors in the kernel of A. Each toric ideal has two special generating sets: the universal Gr\"obner basis and the Graver basis. While the former is generally a proper…

Commutative Algebra · Mathematics 2013-05-07 Tristram Bogart , Raymond Hemmecke , Sonja Petrović

Grassmann manifolds $G_{k,n}$ are among the central objects in geometry and topology. The Borel picture of the mod 2 cohomology of $G_{k,n}$ is given as a polynomial algebra modulo a certain ideal $I_{k,n}$. The purpose of this paper is to…

Algebraic Topology · Mathematics 2013-05-20 Zoran Z. Petrović , Branislav I. Prvulović , Marko Radovanović

Using polynomial equations to model combinatorial problems has been a popular tool both in computational combinatorics as well as an approach to proving new theorems. In this paper, we look at several combinatorics problems modeled by…

Combinatorics · Mathematics 2016-07-19 Bart Sevenster , Jacob Turner

In the $\ell$-Coloring Problem, we are given a graph on $n$ nodes, and tasked with determining if its vertices can be properly colored using $\ell$ colors. In this paper we study below-guarantee graph coloring, which tests whether an…

Data Structures and Algorithms · Computer Science 2025-09-17 Shyan Akmal , Tomohiro Koana

NP-complete problems should be hard on some instances but those may be extremely rare. On generic instances many such problems, especially related to random graphs, have been proven easy. We show the intractability of random instances of a…

Computational Complexity · Computer Science 2018-10-25 Leonid A. Levin , Ramarathnam Venkatesan

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