English
Related papers

Related papers: Recognizing Graph Theoretic Properties with Polyno…

200 papers

Vladimir Shpilrain and Jie-Tai Yu have asked for an effective algorithm to decide if two elements of C[x,y] are related by an automorphism of C[x,y]. We describe here an efficient algorithm that decides this question and finds the…

Algebraic Geometry · Mathematics 2007-05-23 Walter D. Neumann , Penelope G. Wightwick

We present a novel neural architecture to solve graph optimization problems where the solution consists of arbitrary node labels, allowing us to solve hard problems like graph coloring. We train our model using reinforcement learning,…

Machine Learning · Computer Science 2022-05-11 Lukas Gianinazzi , Maximilian Fries , Nikoli Dryden , Tal Ben-Nun , Maciej Besta , Torsten Hoefler

We give a polynomial-time algorithm for detecting very long cycles in dense regular graphs. Specifically, we show that, given $\alpha \in (0,1)$, there exists a $c=c(\alpha)$ such that the following holds: there is a polynomial-time…

Combinatorics · Mathematics 2020-07-30 Viresh Patel , Fabian Stroh

In this article we introduce a definition of k-uniform thresholds hypergraphs through a binary sequence, a natural extension of the classical definition for thresholds graphs. We characterize some of its eigenvalues and multiplicities by…

Combinatorics · Mathematics 2026-02-26 Miriam Abdón , Lucas Portugal , Renata Del-Vecchio , Renata de Freitas

Many statistical models are algebraic in that they are defined by polynomial constraints or by parameterizations that are polynomial or rational maps. This opens the door for tools from computational algebraic geometry. These tools can be…

Statistics Theory · Mathematics 2007-06-13 Mathias Drton

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has been extensively studied, due to both its interesting structure…

Computational Complexity · Computer Science 2010-02-03 George B. Mertzios , Ignasi Sau , Shmuel Zaks

In an attempt to understanding the complexity of the independent set problem, Chv{\'a}tal defined t-perfect graphs. While a full characterization of this class is still at large, progress has been achieved for claw-free graphs [Bruhn and…

Discrete Mathematics · Computer Science 2022-11-08 Yixin Cao , Shenghua Wang

We present randomized algorithms for some well-studied, hard combinatorial problems: the k-path problem, the p-packing of q-sets problem, and the q-dimensional p-matching problem. Our algorithms solve these problems with high probability in…

Data Structures and Algorithms · Computer Science 2010-07-08 Andreas Björklund , Thore Husfeldt , Petteri Kaski , Mikko Koivisto

We consider the problem of deterministically factoring a univariate polynomial over a finite field under the assumption of the Extended Riemann Hypothesis (ERH). This work builds upon the line of approach first explored by Gao in $2001$.…

Discrete Mathematics · Computer Science 2015-12-16 Aurko Roy

Distinctive power of the alliance polynomial has been studied in previous works, for instance, it has been proved that the empty, path, cycle, complete, complete without one edge and star graphs are characterized by its alliance polynomial.…

Combinatorics · Mathematics 2020-01-07 Walter Carballosa , Omar Rosario , José M. Sigarreta , Yadira Torres-Nuñez

Many important problems in extremal combinatorics can be stated as certifying polynomial inequalities in graph homomorphism numbers, and in particular, many ask to certify pure binomial inequalities. For a fixed collection of graphs…

Combinatorics · Mathematics 2023-08-14 Maria Dascălu , Annie Raymond

This paper has dual aims. First is to develop practical universal coding methods for unlabeled graphs. Second is to use these for graph anomaly detection. The paper develops two coding methods for unlabeled graphs: one based on the degree…

Information Theory · Computer Science 2018-04-10 Anders Host-Madsen , June Zhang

This paper investigates the independence polynomials arising from iterated strong products of cycle graphs, examining their algebraic symmetries and combinatorial structures. Leveraging modular arithmetic and Galois theory, we establish…

Combinatorics · Mathematics 2026-01-13 Todd Hildebrant

Motivated by recently discovered privacy attacks on social networks, we study the problem of anonymizing the underlying graph of interactions in a social network. We call a graph (k,l)-anonymous if for every node in the graph there exist at…

Databases · Computer Science 2008-11-03 Tomas Feder , Shubha U. Nabar , Evimaria Terzi

This paper presents an alternative proof of the Fundamental Theorem of Algebra that has several distinct advantages. The proof is based on simple ideas involving continuity and differentiation. Visual software demonstrations can be used to…

General Mathematics · Mathematics 2020-10-02 Christopher Thron , Jordan T. Barry

Graph coloring problems are a central topic of study in the theory of algorithms. We study the problem of partially coloring partially colorable graphs. For $\alpha \leq 1$ and $k \in \mathbb{Z}^+$, we say that a graph $G=(V,E)$ is…

Data Structures and Algorithms · Computer Science 2019-09-02 Suprovat Ghoshal , Anand Louis , Rahul Raychaudhury

We study the graphs formed from instances of the stable matching problem by connecting pairs of elements with an edge when there exists a stable matching in which they are matched. Our results include the NP-completeness of recognizing…

Discrete Mathematics · Computer Science 2020-10-20 David Eppstein

There are many variations on partition functions for graph homomorphisms or colorings. The case considered here is a counting or hard constraint problem in which the range or color graph carries a free and vertex transitive Abelian group…

Combinatorics · Mathematics 2012-04-06 Eric Babson , Matthias Beck

We propose an effective algorithm that decides if a prime ideal in a polynomial ring over the complex numbers can be transformed into a toric ideal by a linear automorphism of the ambient space. If this is the case, the algorithm computes…

Commutative Algebra · Mathematics 2025-09-18 Thomas Kahle , Julian Vill

We compare the capabilities of two approaches to approximating graph isomorphism using linear algebraic methods: the \emph{invertible map tests} (introduced by Dawar and Holm) and proof systems with algebraic rules, namely \emph{polynomial…

Logic in Computer Science · Computer Science 2021-03-31 Anuj Dawar , Danny Vagnozzi