English
Related papers

Related papers: The directed Oberwolfach problem with variable cyc…

200 papers

For $n$-vertex $m$-edge graphs with integer polynomially-bounded costs and capacities, we provide a randomized parallel algorithm for the minimum cost flow problem with $\tilde O(m+n^ {1.5})$ work and $\tilde O(\sqrt{n})$ depth. On…

Data Structures and Algorithms · Computer Science 2025-03-18 Jan van den Brand , Hossein Gholizadeh , Yonggang Jiang , Tijn de Vos

We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of…

Combinatorics · Mathematics 2023-12-22 Maximilian Gorsky , Ken-ichi Kawarabayashi , Stephan Kreutzer , Sebastian Wiederrecht

We introduce a logic called distance neighborhood logic with acyclicity and connectivity constraints ($\mathsf{A\&C~DN}$ for short) which extends existential $\mathsf{MSO_1}$ with predicates for querying neighborhoods of vertex sets and for…

Data Structures and Algorithms · Computer Science 2022-12-09 Benjamin Bergougnoux , Jan Dreier , Lars Jaffke

We examine directed spanners through flow-based linear programming relaxations. We design an $\~O(n^{2/3})$-approximation algorithm for the directed $k$-spanner problem that works for all $k\geq 1$, which is the first sublinear…

Data Structures and Algorithms · Computer Science 2010-11-23 Michael Dinitz , Robert Krauthgamer

Benders decomposition is a widely used method for solving large optimization problems, but its performance is often hindered by the repeated solution of subproblems. We propose a flexible and modular algorithmic framework for accelerating…

Optimization and Control · Mathematics 2025-08-05 Parth Brahmbhatt , David L. Cole , Victor M. Zavala , Styliani Avraamidou

Let $\Delta =\{ \delta_1,\delta_2,...,\delta_m \} $ be a finite set of 2-connected patterns, i.e. graphs up to vertex relabelling. We study the generating function $D_{\Delta }(z,u_1,u_2,...,u_m),$ which counts polygon dissections and marks…

Combinatorics · Mathematics 2018-08-29 Vasiliki Velona

Unbounded SubsetSum is a classical textbook problem: given integers $w_1,w_2,\cdots,w_n\in [1,u],~c,u$, we need to find if there exists $m_1,m_2,\cdots,m_n\in \mathbb{N}$ satisfying $c=\sum_{i=1}^n w_im_i$. In its all-target version, $t\in…

Data Structures and Algorithms · Computer Science 2022-03-01 Mingyang Deng , Xiao Mao , Ziqian Zhong

We consider two inverse problems for the multi-channel two-dimensional Schr\"odinger equation at fixed positive energy, i.e. the equation $-\Delta \psi + V(x)\psi = E \psi$ at fixed positive $E$, where $V$ is a matrix-valued potential. The…

Analysis of PDEs · Mathematics 2014-02-07 Roman Novikov , Matteo Santacesaria

In this paper we consider an optimal control problem (OCP) for the coupled system of a nonlinear monotone Dirichlet problem with matrix- valued non-smooth controls in coefficients and a nonlinear equation of Ham- merstein type. Since…

Optimization and Control · Mathematics 2017-02-28 Olha P. Kupenko , Rosanna Manzo

Motivated by applications in in-vivo DNA storage, we study codes for correcting duplications. A reverse-complement duplication of length $k$ is the insertion of the reversed and complemented copy of a substring of length $k$ adjacent to its…

Information Theory · Computer Science 2026-02-03 Yubo Sun , Gennian Ge

A vertex-subset graph problem $Q$ defines which subsets of the vertices of an input graph are feasible solutions. The reconfiguration version of a vertex-subset problem $Q$ asks whether it is possible to transform one feasible solution for…

Computational Complexity · Computer Science 2014-09-30 Amer E. Mouawad , Naomi Nishimura , Venkatesh Raman , Marcin Wrochna

In the Directed Disjoint Paths problem, we are given a digraph $D$ and a set of requests $\{(s_1, t_1), \ldots, (s_k, t_k)\}$, and the task is to find a collection of pairwise vertex-disjoint paths $\{P_1, \ldots, P_k\}$ such that each…

Data Structures and Algorithms · Computer Science 2021-12-21 Raul Lopes , Ignasi Sau

We consider a sequence of Dirichlet problems in varying domains (or, more generally, of relaxed Dirichlet problems involving measures in M_0) for second order linear elliptic operators in divergence form with varying matrices of…

Analysis of PDEs · Mathematics 2007-05-23 Gianni Dal Maso , Francois Murat

It is known (E.L. Green (1997), O. Post (2003)) that for an arbitrary $m\in\mathbb{N}$ one can construct a periodic non-compact Riemannian manifold $M$ with at least $m$ gaps in the spectrum of the corresponding Laplace-Beltrami operator…

Spectral Theory · Mathematics 2011-11-01 Andrii Khrabustovskyi

Optimal power flow (OPF) is an important problem for power generation and it is in general non-convex. With the employment of renewable energy, it will be desirable if OPF can be solved very efficiently so its solution can be used in real…

Optimization and Control · Mathematics 2011-09-27 Albert Y. S. Lam , Baosen Zhang , David Tse

We settle the complexity of the $(\Delta+1)$-coloring and $(\Delta+1)$-list coloring problems in the CONGESTED CLIQUE model by presenting a simple deterministic algorithm for both problems running in a constant number of rounds. This…

Data Structures and Algorithms · Computer Science 2020-09-15 Artur Czumaj , Peter Davies , Merav Parter

In the Directed $k$-Chinese Postman Problem ($k$-DCPP), we are given a connected weighted digraph $G$ and asked to find $k$ non-empty closed directed walks covering all arcs of $G$ such that the total weight of the walks is minimum. Gutin,…

Data Structures and Algorithms · Computer Science 2014-02-11 Gregory Gutin , Mark Jones , Bin Sheng , Magnus Wahlstrom

We prove that every oriented tree on $n$ vertices with bounded maximum degree appears as a spanning subdigraph of every directed graph on $n$ vertices with minimum semidegree at least $n/2+o(n)$. This can be seen as a directed graph…

Combinatorics · Mathematics 2026-05-20 Richard Mycroft , Tássio Naia

A long-investigated problem in circuit complexity theory is to decompose an $n$-input or $n$-variable Majority Boolean function (call it $M_n$) using $k$-input ones ($M_k$), $k < n$, where the objective is to achieve the decomposition using…

Logic in Computer Science · Computer Science 2025-04-07 Anupam Chattopadhyay , Debjyoti Bhattacharjee , Subhamoy Maitra

Solving large-scale Helmholtz problems discretized with high-order finite elements is notoriously difficult, especially in 3D where direct factorization of the system matrix is very expensive and memory demanding, and robust convergence of…

Numerical Analysis · Mathematics 2025-06-23 Boris Martin , Pierre Jolivet , Christophe Geuzaine