English
Related papers

Related papers: Implicit representations via the polynomial method

200 papers

Pedigree polytopes are extensions of the classical Symmetric Traveling Salesman Problem polytopes whose graphs (1-skeletons) contain the TSP polytope graphs as spanning subgraphs. While deciding adjacency of vertices in TSP polytopes is…

Discrete Mathematics · Computer Science 2016-11-29 Abdullah Makkeh , Mozhgan Pourmoradnasseri , Dirk Oliver Theis

Molecular graphs generally contain subgraphs (known as groups) that are identifiable and significant in composition, functionality, geometry, etc. Flat latent representations (node embeddings or graph embeddings) fail to represent, and…

Machine Learning · Computer Science 2019-04-05 Daniel T. Chang

This paper defines, for each graph $G$, a flag vector $fG$. The flag vectors of the graphs on $n$ vertices span a space whose dimension is $p(n)$, the number of partitions on $n$. The analogy with convex polytopes indicates that the linear…

Combinatorics · Mathematics 2007-05-23 Jonathan Fine

We consider labeling nodes of a directed graph for reachability queries. A reachability labeling scheme for such a graph assigns a binary string, called a label, to each node. Then, given the labels of nodes $u$ and $v$ and no other…

Data Structures and Algorithms · Computer Science 2020-07-14 Maciej Dulęba , Paweł Gawrychowski , Wojciech Janczewski

The fastest deterministic algorithms for connected components take logarithmic time and perform superlinear work on a Parallel Random Access Machine (PRAM). These algorithms maintain a spanning forest by merging and compressing trees, which…

Data Structures and Algorithms · Computer Science 2021-12-09 Paul Burkhardt

A total dominating set in a graph is a set of vertices such that every vertex of the graph has a neighbor in the set. We introduce and study graphs that admit non-negative real weights associated to their vertices such that a set of…

Combinatorics · Mathematics 2015-05-12 Nina Chiarelli , Martin Milanic

A distance labeling scheme is an assignment of bit-labels to the vertices of an undirected, unweighted graph such that the distance between any pair of vertices can be decoded solely from their labels. An important class of distance…

Data Structures and Algorithms · Computer Science 2019-06-25 Adrian Kosowski , Przemysław Uznański , Laurent Viennot

Series-parallel (SP) graphs are binary edge-labeled graphs with a designated source and target vertex, built using serial and parallel composition. A set of graphs is recognizable if membership depends only on its image under a homomorphism…

Formal Languages and Automata Theory · Computer Science 2026-04-28 Marius Bozga , Radu Iosif , Florian Zuleger

We consider complete graphs with edge weights and/or node weights taking values in some set. In the first part of this paper, we show that a large number of graphs are completely determined, up to isomorphism, by the distribution of their…

Combinatorics · Mathematics 2007-10-11 Mireille Boutin , Gregor Kemper

We prove an asymptotically tight bound (asymptotic with respect to the number of polynomials for fixed degrees and number of variables) on the number of semi-algebraically connected components of the realizations of all realizable sign…

Combinatorics · Mathematics 2009-07-14 Saugata Basu , Richard Pollack , Marie-Francoise Roy

In this paper, we introduce a method for finding all edge-transitive graphs of small order, using faithful representations of transitive permutation groups of small degree, and we explain how we used this method to find all edge-transitive…

Combinatorics · Mathematics 2018-08-17 Marston Conder , Gabriel Verret

Connected components of real algebraic sets are semi-algebraic, i.e. they are described by a boolean formula whose atoms are polynomial constraints with real coefficients. Computing such descriptions finds topical applications in optical…

Symbolic Computation · Computer Science 2026-03-18 Elisabetta Rocchi , Mohab Safey El Din

A graph $G = (V,E)$ can be described by the characteristic function of the edge set $\chi_E$ which maps a pair of binary encoded nodes to 1 iff the nodes are adjacent. Using \emph{Ordered Binary Decision Diagrams} (OBDDs) to store $\chi_E$…

Data Structures and Algorithms · Computer Science 2013-05-14 Marc Gillé

The recently introduced problem of extending partial interval representations asks, for an interval graph with some intervals pre-drawn by the input, whether the partial representation can be extended to a representation of the entire…

Discrete Mathematics · Computer Science 2014-08-26 Pavel Klavík , Jan Kratochvíl , Yota Otachi , Ignaz Rutter , Toshiki Saitoh , Maria Saumell , Tomáš Vyskočil

An \emph{obstacle representation} of a graph consists of a set of polygonal obstacles and a distinct point for each vertex such that two points see each other if and only if the corresponding vertices are adjacent. Obstacle representations…

Computational Geometry · Computer Science 2013-06-14 Alexander Koch , Marcus Krug , Ignaz Rutter

An obstacle representation of a graph is a mapping of the vertices onto points in the plane and a set of connected regions of the plane (called obstacles) such that the straight-line segment connecting the points corresponding to two…

Graph embedding algorithms are used to efficiently represent (encode) a graph in a low-dimensional continuous vector space that preserves the most important properties of the graph. One aspect that is often overlooked is whether the graph…

Machine Learning · Computer Science 2020-01-31 Zekarias T. Kefato , Nasrullah Sheikh , Alberto Montresor

It is known that a graph isomorphism testing algorithm is polynomially equivalent to a detecting of a graph non-trivial automorphism algorithm. The polynomiality of the latter algorithm, is obtained by consideration of symmetry properties…

General Mathematics · Mathematics 2007-05-23 Aleksandr Golubchik

A graph $G$ is said to be $d$-distinguishable if there is a labeling of the vertices with $d$ labels so that only the trivial automorphism preserves the labels. The smallest such $d$ is the distinguishing number, Dist($G$). A subset of…

Combinatorics · Mathematics 2024-06-13 Debra Boutin , Sally Cockburn

Compact and I/O-efficient data representations play an important role in efficient algorithm design, as memory bandwidth and latency can present a significant performance bottleneck, slowing the computation by orders of magnitude. While…

Data Structures and Algorithms · Computer Science 2018-11-19 Tomáš Gavenčiak , Jakub Tětek