English
Related papers

Related papers: Computing metric hulls in graphs

200 papers

We give a polynomial-time algorithm for computing upper bounds on some of the smaller energy eigenvalues in a spin-1/2 ferromagnetic Heisenberg model with any graph $G$ for the underlying interactions. An important ingredient is the…

Quantum Physics · Physics 2019-07-29 Yingkai Ouyang

A set $S$ of isometric paths of a graph $G$ is ``$v$-rooted'', where $v$ is a vertex of $G$, if $v$ is one of the endpoints of all the isometric paths in $S$. The isometric path complexity of a graph $G$, denoted by $ipco{G}$, is the…

Combinatorics · Mathematics 2025-09-03 Dibyayan Chakraborty , Jérémie Chalopin , Florent Foucaud , Yann Vaxès

The main purpose of this paper is to report on the state of the art of computing integer hulls and their facets as well as counting lattice points in convex polytopes. Using the polymake system we explore various algorithms and…

For a graph $G$ define the parameters $\ell(G)$ and $L(G)$ as the minimum and maximum value of $\nu(G\backslash F)$, where $F$ is a maximum matching of $G$ and $\nu(G)$ is the matching number of $G$. In this paper, we show that there is a…

Combinatorics · Mathematics 2025-04-29 Vahan Mkrtchyan

Multiple interval graphs are variants of interval graphs where instead of a single interval, each vertex is assigned a set of intervals on the real line. We study the complexity of the MAXIMUM CLIQUE problem in several classes of multiple…

Discrete Mathematics · Computer Science 2012-03-12 Mathew C. Francis , Daniel Gonçalves , Pascal Ochem

The perfect matching polytope, i.e. the convex hull of (incidence vectors of) perfect matchings of a graph is used in many combinatorial algorithms. Kotzig, Lov\'asz and Plummer developed a decomposition theory for graphs with perfect…

Combinatorics · Mathematics 2019-03-01 Isabel Beckenbach , Meike Hatzel , Sebastian Wiederrecht

Generally, a graph G, an independent set is a subset S of vertices in G such that no two vertices in S are adjacent (connected by an edge) and a vertex cover is a subset S of vertices such that each edge of G has at least one of its…

Data Structures and Algorithms · Computer Science 2009-09-02 Kamanashis Biswas , S. A. M. Harun

We prove a characterization of all polynomial-time computable queries on the class of interval graphs by sentences of fixed-point logic with counting. More precisely, it is shown that on the class of unordered interval graphs, any query is…

Logic in Computer Science · Computer Science 2011-01-14 Bastian Laubner

Given two sets $A$ and $B$ of integers, we consider the problem of finding a set $S \subseteq A$ of the smallest possible cardinality such the greatest common divisor of the elements of $S \cup B$ equals that of those of $A \cup B$. The…

Computational Complexity · Computer Science 2014-02-25 Joachim von zur Gathen , Igor E. Shparlinski

The distinguishing result of this paper is a $\mathbf{P}$-time enumerable partition of all the potential perfect matchings in a bipartite graph. This partition is a set of equivalence classes induced by the missing edges in the potential…

Computational Complexity · Computer Science 2017-10-31 Javaid Aslam

We study the convex hull of the graph of a quadratic function $f(\mathbf{x})=\sum_{ij\in E}x_ix_j$, where the sum is over the edge set of a graph $G$ with vertex set $\{1,\dots,n\}$. Using an approach proposed by Gupte et al. (Discrete…

Optimization and Control · Mathematics 2020-07-14 Mitchell Harris , Thomas Kalinowski

The Cluster Deletion problem takes a graph $G$ as input and asks for a minimum size set of edges $X$ such that $G-X$ is the disjoint union of complete graphs. An equivalent formulation is the Clique Partition problem, which asks to find a…

Data Structures and Algorithms · Computer Science 2025-09-26 Nicola Galesi , Tony Huynh , Fariba Ranjbar

This paper presents a new algorithm for the convex hull problem, which is based on a reduction to a combinatorial decision problem POLYTOPE-COMPLETENESS-COMBINATORIAL, which in turn can be solved by a simplicial homology computation. Like…

Metric Geometry · Mathematics 2007-05-23 Michael Joswig , G"unter M. Ziegler

Let $G$ be a graph and $S \subseteq V(G)$. In the cycle convexity, we say that $S$ is \textit{cycle convex} if for any $u\in V(G)\setminus S$, the induced subgraph of $S\cup\{u\}$ contains no cycle that includes $u$. The \textit{cycle…

Combinatorics · Mathematics 2024-12-30 Bijo S. Anand , Ullas Chandran S. V. , Julliano R. Nascimento , Revathy S. Nair

The widely studied edge modification problems ask how to minimally alter a graph to satisfy certain structural properties. In this paper, we introduce and study a new edge modification problem centered around transforming a given graph into…

Data Structures and Algorithms · Computer Science 2025-09-16 Amirali Madani , Anil Maheshwari , Babak Miraftab , Paweł Żyliński

Let us be given two graphs $\Gamma_1$, $\Gamma_2$ of $n$ vertices. Are they isomorphic? If they are, the set of isomorphisms from $\Gamma_1$ to $\Gamma_2$ can be identified with a coset $H\cdot\pi$ inside the symmetric group on $n$…

Group Theory · Mathematics 2017-10-13 Harald Andrés Helfgott , Jitendra Bajpai , Daniele Dona

Suppose that we are given two independent sets I_b and I_r of a graph such that |I_b|=|I_r|, and imagine that a token is placed on each vertex in |I_b|. Then, the sliding token problem is to determine whether there exists a sequence of…

Data Structures and Algorithms · Computer Science 2015-11-03 Takeshi Yamada , Ryuhei Uehara

We show that any submodular minimization (SM) problem defined on a linear constraint set with constraints having up to two variables per inequality, are 2-approximable in polynomial time. If the constraints are monotone (the two variables…

Discrete Mathematics · Computer Science 2017-05-01 Dorit S. Hochbaum

We study a generalization of the classic Global Min-Cut problem, called Global Label Min-Cut (or sometimes Global Hedge Min-Cut): the edges of the input (multi)graph are labeled (or partitioned into color classes or hedges), and removing…

Data Structures and Algorithms · Computer Science 2026-03-16 Lars Jaffke , Paloma T. Lima , Tomáš Masařík , Marcin Pilipczuk , Ueverton S. Souza

Graph polynomials which are definable in Monadic Second Order Logic (MSOL) on the vocabulary of graphs are Fixed-Parameter Tractable (FPT) with respect to clique-width. In contrast, graph polynomials which are definable in MSOL on the…

Logic in Computer Science · Computer Science 2015-05-26 Tomer Kotek , Johann A. Makowsky