English
Related papers

Related papers: On Satisfiability Problems with a Linear Structure

200 papers

We study the problem of partitioning the edge set of the complete graph into bipartite subgraphs under certain constraints defined by forbidden subgraphs. These constraints lead to both classical problems, such as partitioning into…

Combinatorics · Mathematics 2025-11-26 Lajos Győrffy , András London , Gábor V. Nagy , András Pluhár

In this paper, we give a lengthy proof of a small result! A graph is bisplit if its vertex set can be partitioned into three stable sets with two of them inducing a complete bipartite graph. We prove that these graphs satisfy the…

Discrete Mathematics · Computer Science 2023-06-22 Laurent Beaudou , Giacomo Kahn , Matthieu Rosenfeld

Our main result is a full classification, for every connected graph $H$, of the computational complexity of Steiner Forest on $H$-subgraph-free graphs. To obtain this dichotomy, we establish the following new algorithmic, hardness, and…

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

We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star…

Combinatorics · Mathematics 2020-02-26 Jungho Ahn , Lars Jaffke , O-joung Kwon , Paloma T. Lima

Geometric modeling by constraints leads to large systems of algebraic equations. This paper studies bipartite graphs underlaid by systems of equations. It shows how these graphs make possible to polynomially decompose these systems into…

Discrete Mathematics · Computer Science 2014-05-26 Samy Ait-Aoudia , Roland Jegou , Dominique Michelucci

We investigate the terminal-pairability problem in the case when the base graph is a complete bipartite graph, and the demand graph is a (not necessarily bipartite) multigraph on the same vertex set. In computer science, this problem is…

Combinatorics · Mathematics 2020-04-22 Lucas Colucci , Péter L. Erdős , Ervin Győri , Tamás Róbert Mezei

We introduce a problem class we call Polynomial Constraint Satisfaction Problems, or PCSP. Where the usual CSPs from computer science and optimization have real-valued score functions, and partition functions from physics have monomials,…

Discrete Mathematics · Computer Science 2010-01-14 Alexander D. Scott , Gregory B. Sorkin

We study the problem of connecting the parts of a multipartite graph using a minimum number of edges under a matching constraint. We introduce interconnection trees, defined as matchings whose projections onto the quotient graph form a…

Computational Complexity · Computer Science 2026-05-19 Noé Demange , Yann Strozecki

We introduce a new bilevel version of the classic shortest path problem and completely characterize its computational complexity with respect to several problem variants. In our problem, the leader and the follower each control a subset of…

Data Structures and Algorithms · Computer Science 2026-02-19 Dorothee Henke , Lasse Wulf

We study the problem of transforming bipartite graphs into bicluster graphs. Abu-Khzam, Isenmann, and Merchad [IWOCA '25] introduced two variants of this problem. In both problems, the goal is to transform a bipartite graph into a bicluster…

Data Structures and Algorithms · Computer Science 2025-12-02 Matthias Bentert , Pål Grønås Drange , Erlend Haugen

We consider combinatorial problems that can be solved in polynomial time for graphs of bounded treewidth but where the order of the polynomial that bounds the running time is expected to depend on the treewidth bound. First we review some…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Szeider

We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems.

Optimization and Control · Mathematics 2015-10-05 Volker Kaibel , Shmuel Onn , Pauline Sarrabezolles

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

A bipartite graph is chordal bipartite if every cycle of length at least 6 has a chord in it. In this paper, we investigate the structure of $P_5$-free chordal bipartite graphs and show that these graphs have a Nested Neighborhood Ordering,…

Discrete Mathematics · Computer Science 2017-12-27 S Aadhavan , P Renjith , N Sadagopan

Numerous applications in scheduling, such as resource allocation or steel manufacturing, can be modeled using the NP-hard Independent Set problem (given an undirected graph and an integer k, find a set of at least k pairwise non-adjacent…

Discrete Mathematics · Computer Science 2016-01-12 René van Bevern , Matthias Mnich , Rolf Niedermeier , Mathias Weller

Here we prove that counting maximum matchings in planar, bipartite graphs is #P-complete. This is somewhat surprising in the light that the number of perfect matchings in planar graphs can be computed in polynomial time. We also prove that…

Computational Complexity · Computer Science 2021-03-09 Istvan Miklos , Miklos Kresz

In this paper we consider graphs whose edges are associated with a degree of {\em importance}, which may depend on the type of connections they represent or on how recently they appeared in the scene, in a streaming setting. The goal is to…

Data Structures and Algorithms · Computer Science 2017-07-24 Patrizio Angelini , Michael A. Bekos

The class of 2-interval graphs has been introduced for modelling scheduling and allocation problems, and more recently for specific bioinformatic problems. Some of those applications imply restrictions on the 2-interval graphs, and justify…

Discrete Mathematics · Computer Science 2008-02-04 Philippe Gambette , Stéphane Vialette

In [{Structural properties and decomposition of linear balanced matrices}, {\it Mathematical Programming}, 55:129--168, 1992], Conforti and Rao conjectured that every balanced bipartite graph contains an edge that is not the unique chord of…