中文
相关论文

相关论文: Duality for Min-Max Orderings and Dichotomy for Mi…

200 篇论文

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.…

计算机科学中的逻辑 · 计算机科学 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 $…

数据结构与算法 · 计算机科学 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…

信息论 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

数据结构与算法 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

组合数学 · 数学 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…

最优化与控制 · 数学 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…

最优化与控制 · 数学 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…

数据结构与算法 · 计算机科学 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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

微分几何 · 数学 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:…

组合数学 · 数学 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…

逻辑 · 数学 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…

数据结构与算法 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

数据结构与算法 · 计算机科学 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.…

计算复杂性 · 计算机科学 2013-08-02 Laszlo Egri , Pavol Hell , Benoit Larose , Arash Rafiey