English
Related papers

Related papers: The Complexity of Bisimulation and Simulation on F…

200 papers

We consider a class of fixed-charge transportation problems over graphs. We show that this problem is strongly NP-hard, but solvable in pseudo-polynomial time over trees using dynamic programming. We also show that the LP formulation…

Optimization and Control · Mathematics 2015-11-26 Gustavo Angulo , Mathieu Van Vyve

We investigate the complexity of bilevel combinatorial optimization with uncertainty in the follower's objective, in a robust optimization approach. We show that the robust counterpart of the bilevel problem under interval uncertainty can…

Optimization and Control · Mathematics 2021-08-05 Christoph Buchheim , Dorothee Henke , Felix Hommelsheim

It was recently shown \cite{STV} that satisfiability is polynomially solvable when the incidence graph is an interval bipartite graph (an interval graph turned into a bipartite graph by omitting all edges within each partite set). Here we…

Data Structures and Algorithms · Computer Science 2016-02-26 Serge Gaspers , Christos Papadimitriou , Sigve Hortemo Saether , Jan Arne Telle

Bilevel programming problems frequently arise in real-world applications across various fields, including transportation, economics, energy markets and healthcare. These problems have been proven to be NP-hard even in the simplest form with…

Optimization and Control · Mathematics 2024-09-06 Sina Hajikazemi , Florian Steinke

We systematically explore a class of constrained optimization problems with linear objective function and constraints that are linear combinations of logarithms of the optimization variables. Such problems can be viewed as a generalization…

Classical Analysis and ODEs · Mathematics 2021-01-01 Sergey Sadov

Matrix partition problems generalize a number of natural graph partition problems, and have been studied for several standard graph classes. We prove that each matrix partition problem has only finitely many minimal obstructions for split…

Discrete Mathematics · Computer Science 2013-06-21 Tomás Feder , Pavol Hell , Oren Shklarsky

We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph…

Data Structures and Algorithms · Computer Science 2025-11-04 Oscar Defrain , Arthur Ohana , Simon Vilmin

There are different categorical approaches to variations of transition systems and their bisimulations. One is coalgebra for a functor G, where a bisimulation is defined as a span of G-coalgebra homomorphism. Another one is in terms of path…

Formal Languages and Automata Theory · Computer Science 2019-02-18 Thorsten Wißmann , Jérémy Dubut , Shin-ya Katsumata , Ichiro Hasuo

We study the possible values of the matching number among all trees with a given degree sequence as well as all bipartite graphs with a given bipartite degree sequence. For tree degree sequences, we obtain closed formulas for the possible…

Combinatorics · Mathematics 2018-08-30 F. Bock , D. Rautenbach

In the spanning-tree congestion problem ($\mathsf{STC}$), we are given a graph $G$, and the objective is to compute a spanning tree of $G$ that minimizes the maximum edge congestion. While $\mathsf{STC}$ is known to be $\mathbb{NP}$-hard,…

Data Structures and Algorithms · Computer Science 2026-02-12 Sunny Atalig , Marek Chrobak , Christoph Dürr , Petr Kolman , Huong Luu , Jiří Sgall , Gregory Zhu

We begin with a review of the notion of a braid group. We then discuss some known solutions to decision problems in braid groups. We then move on to proving new results in braid group algorithmics. We offer a quick solution to the…

Group Theory · Mathematics 2007-05-23 Elie Feder

This note is on the structures of line graphs and 2-variegated graphs. We have given here solutions of some graph equations involving line graphs and 2-variegated graphs.

Combinatorics · Mathematics 2025-08-08 Ranjan N. Naik

Phase transitions in combinatorial problems have recently been shown to be useful in locating "hard" instances of combinatorial problems. The connection between computational complexity and the existence of phase transitions has been…

Computational Complexity · Computer Science 2016-11-17 Gabriel Istrate

We give polynomial-time approximation schemes for monotone maximization problems expressible in terms of distances (up to a fixed upper bound) and efficiently solvable in graphs of bounded treewidth. These schemes apply in all fractionally…

Data Structures and Algorithms · Computer Science 2021-05-06 Zdeněk Dvořák , Abhiruk Lahiri

We consider the algorithmic complexity of recognizing bipartite temporal graphs. Rather than defining these graphs solely by their underlying graph or individual layers, we define a bipartite temporal graph as one in which every layer can…

Computational Complexity · Computer Science 2021-11-18 Till Fluschnik , Pascal Kunz

Graph neural networks are promising architecture for learning and inference with graph-structured data. Yet difficulties in modelling the ``parts'' and their ``interactions'' still persist in terms of graph classification, where graph-level…

Machine Learning · Computer Science 2020-06-30 Kai Zhang , Yaokang Zhu , Jun Wang , Jie Zhang , Hongyuan Zha

A \emph{binary tanglegram} is a drawing of a pair of rooted binary trees whose leaf sets are in one-to-one correspondence; matching leaves are connected by inter-tree edges. For applications, for example, in phylogenetics, it is essential…

Computational Geometry · Computer Science 2010-09-17 Kevin Buchin , Maike Buchin , Jaroslaw Byrka , Martin Nöllenburg , Yoshio Okamoto , Rodrigo I. Silveira , Alexander Wolff

In [1], whether a target binary string s can be represented from a boolean formula with operands chosen from a set of binary strings W was studied. In this paper, we first examine selecting a maximum subset X from W, so that for any string…

Computational Complexity · Computer Science 2012-01-17 Peng Zhang

We convert, within polynomial-time and sequential processing, NP-Complete Problems into a problem of deciding feasibility of a given system S of linear equations with constants and coefficients of binary-variables that are 0, 1, or -1. S is…

Computational Complexity · Computer Science 2012-10-23 Deepak Ponvel Chermakani

We study the complexity of the Graph Isomorphism problem on graph classes that are characterized by a finite number of forbidden induced subgraphs, focusing mostly on the case of two forbidden subgraphs. We show hardness results and develop…

Data Structures and Algorithms · Computer Science 2015-03-20 Stefan Kratsch , Pascal Schweitzer
‹ Prev 1 8 9 10 Next ›