English
Related papers

Related papers: Duality for Min-Max Orderings and Dichotomy for Mi…

200 papers

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

Logic in Computer Science · Computer Science 2025-10-10 Rémi Morvan

We study graph ordering problems with a min-max objective. A classical problem of this type is cutwidth, where given a graph we want to order its vertices such that the number of edges crossing any point is minimized. We give a $…

Data Structures and Algorithms · Computer Science 2024-04-15 Nikhil Bansal , Dor Katzelnick , Roy Schwartz

We address the problem of finding the minimum decomposition of a permutation in terms of transpositions with non-uniform cost. For arbitrary non-negative cost functions, we describe polynomial-time, constant-approximation decomposition…

Information Theory · Computer Science 2010-07-27 Farzad Farnoud , Olgica Milenkovic

Finding maximum-cardinality matchings in undirected graphs is arguably one of the most central graph problems. For general m-edge and n-vertex graphs, it is well-known to be solvable in $O(m \sqrt{n})$ time. We develop a linear-time…

Data Structures and Algorithms · Computer Science 2018-10-23 George B. Mertzios , André Nichterlein , Rolf Niedermeier

We propose a new arrangement problem on directed graphs, Maximum Directed Linear Arrangement (MaxDLA). This is a directed variant of a similar problem for undirected graphs, in which however one seeks maximum and not minimum; this problem…

Data Structures and Algorithms · Computer Science 2025-12-18 Matt DeVos , Kathryn Nurse

Fagin defined the class $NP$ by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-Order logic (SNP), while the authors used forbidden expanded…

Computational Complexity · Computer Science 2026-01-09 Gábor Kun , Jaroslav Nešetřil

Strongly chordal digraphs are included in the class of chordal digraphs and generalize strongly chordal graphs and chordal bipartite graphs. They are the digraphs that admit a linear ordering of its vertex set for which their adjacency…

Combinatorics · Mathematics 2025-09-24 Pavol Hell , César Hernández-Cruz , Jing Huang

Let $M$ and $N$ be compact smooth oriented Riemannian $n$-manifolds without boundary embedded in $\mathbb{R}^{n+1}$. Several problems about minimal distortion bending and morphing of $M$ to $N$ are posed. Cost functionals that measure…

Optimization and Control · Mathematics 2007-09-03 Oksana Bihun , Carmen Chicone

The max-cut problem is a classical graph theory problem which is NP-complete. The best polynomial time approximation scheme relies on \emph{semidefinite programming} (SDP). We study the conditions under which graphs of certain classes have…

Optimization and Control · Mathematics 2021-09-07 Daniel Hong , Hyunwoo Lee , Alex Wei

In various research papers, such as [2], one will find the claim that the minLA is optimally solvable on outerplanar graphs, with a reference to [1]. However, the problem solved in that publication, which we refer to as the planar minimum…

Data Structures and Algorithms · Computer Science 2014-09-04 Alexander Setzer

The NP-hard maximum value preordering problem is both a joint relaxation and a hybrid of the clique partition problem (a clustering problem) and the partial ordering problem. Toward approximate solutions and lower bounds, we introduce a…

Machine Learning · Computer Science 2025-08-29 Jannik Irmai , Maximilian Moeller , Bjoern Andres

We consider the problem of minimal correction of the training set to make it consistent with monotonic constraints. This problem arises during analysis of data sets via techniques that require monotone data. We show that this problem is…

Machine Learning · Computer Science 2007-05-23 Rustem Takhanov

Harmonic morphisms, maps which preserve Laplace's equation, are intimately connected to the topic of minimal submanifolds. In this article we first characterise harmonic morphisms between Riemannian manifolds as the weakly horizontally…

Differential Geometry · Mathematics 2026-03-03 Oskar Riedler

The problem of covering minimum cost common bases of two matroids is NP-complete, even if the two matroids coincide, and the costs are all equal to 1. In this paper we show that the following special case is solvable in polynomial time:…

Combinatorics · Mathematics 2015-06-19 Attila Bernáth , Gyula Pap

We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous…

Logic · Mathematics 2020-01-09 Samuel Coskey , Paul Ellis

Given a digraph with two terminal vertices $s$ and $t$ as well as a conservative cost function and several not necessarily disjoint color classes on its arc set, our goal is to find a minimum-cost subset of the arcs such that its…

Data Structures and Algorithms · Computer Science 2025-07-15 Naonori Kakimura , Péter Madarasi , Jannik Matuschke , Kitti Varga

Consider two planar graphs which are subject to edge insertions and deletions. We show that whether the two graphs are isomorphic can be maintained with first-order logic formulas and auxiliary data of polynomial size. This places the…

Logic in Computer Science · Computer Science 2026-04-27 Samir Datta , Asif Khan , Felix Tschirbs , Nils Vortmeier , Thomas Zeume

In this paper we study the computational complexity of the (extended) minimum cost homomorphism problem (Min-Cost-Hom) as a function of a constraint language, i.e. a set of constraint relations and cost functions that are allowed to appear…

Computational Complexity · Computer Science 2013-10-01 Hannes Uppman

Subgraph complementation is an operation that toggles all adjacencies inside a selected vertex set. Given a graph \(G\) and a target class \(\mathcal{C}\), the Minimum Subgraph Complementation problem asks for a minimum-size vertex set…

Data Structures and Algorithms · Computer Science 2025-12-30 Juan Gutiérrez , Sagartanu Pal

The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A.…

Computational Complexity · Computer Science 2013-08-02 Laszlo Egri , Pavol Hell , Benoit Larose , Arash Rafiey