English
Related papers

Related papers: Subquadratic Algorithms for Succinct Stable Matchi…

200 papers

This paper improves the algorithms based on supporting halfspaces and quadratic programming for convex set intersection problems in our earlier paper in several directions. First, we give conditions so that much smaller quadratic programs…

Optimization and Control · Mathematics 2014-06-17 C. H. Jeffrey Pang

We consider the stable assignment problem on a graph with nonnegative real capacities on the edges and quotas on the vertices, in which the preferences of agents are given via diversifying choice functions. We prove that for any input of…

Combinatorics · Mathematics 2023-08-29 Alexander V. Karzanov

We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient algorithm to solve a restricted case of higher-order…

Logic in Computer Science · Computer Science 2013-04-01 Mauricio Ayala-Rincón , Maribel Fernández , Daniele Nantes-Sobrinho

We consider a natural generalization of an abelian Hidden Subgroup Problem where the subgroups and their cosets correspond to graphs of linear functions over a finite field F with d elements. The hidden functions of the generalized problem…

Quantum Physics · Physics 2008-09-02 Thomas Decker , Jan Draisma , Pawel Wocjan

The dynamical behavior of switched affine systems is known to be more intricate than that of the well-studied switched linear systems, essentially due to the existence of distinct equilibrium points for each subsystem. First, under…

Systems and Control · Electrical Eng. & Systems 2022-03-15 Matteo Della Rossa , Lucas N. Egidio , Raphaël M. Jungers

To any fixed, finite relational structure, $\mathbb{D}$, there is an associated decision problem, CSP$(\mathbb{D})$, which is a restricted version of the constraint satisfaction problem. In [8], the so called "algebraic approach" to the…

Logic · Mathematics 2016-09-14 Ian Payne

This work presents a hybrid approach to solve the maximum stable set problem, using constraint and semidefinite programming. The approach consists of two steps: subproblem generation and subproblem solution. First we rank the variable…

Combinatorics · Mathematics 2007-05-23 W. J. van Hoeve

We consider the algorithmic decision problem that takes as input an $n$-vertex $k$-uniform hypergraph $H$ with minimum codegree at least $m-c$ and decides whether it has a matching of size $m$. We show that this decision problem is fixed…

Combinatorics · Mathematics 2022-10-25 Jie Han , Peter Keevash

We consider the problem of finding optimally stable polynomial approximations to the exponential for application to one-step integration of initial value ordinary and partial differential equations. The objective is to find the largest…

Numerical Analysis · Mathematics 2013-01-10 David I. Ketcheson , Aron J. Ahmadia

The goal of this paper is to understand how exponential-time approximation algorithms can be obtained from existing polynomial-time approximation algorithms, existing parameterized exact algorithms, and existing parameterized approximation…

Data Structures and Algorithms · Computer Science 2023-06-28 Barış Can Esmer , Ariel Kulik , Dániel Marx , Daniel Neuen , Roohani Sharma

In a recent work, Esmer et al. describe a simple method - Approximate Monotone Local Search - to obtain exponential approximation algorithms from existing parameterized exact algorithms, polynomial-time approximation algorithms and, more…

Data Structures and Algorithms · Computer Science 2023-08-30 Baris Can Esmer , Ariel Kulik , Daniel Marx , Daniel Neuen , Roohani Sharma

This paper deals with the convergence time analysis of a class of fixed-time stable systems with the aim to provide a new non-conservative upper bound for its settling time. Our contribution is fourfold. First, we revisit the well-known…

Optimization and Control · Mathematics 2019-07-23 R. Aldana-López , D. Gómez-Gutiérrez , E. Jiménez-Rodríguez , J. D. Sánchez-Torres , M. Defoort

Finding correspondences between 3D shapes is a crucial problem in computer vision and graphics, which is for example relevant for tasks like shape interpolation, pose transfer, or texture transfer. An often neglected but essential property…

Computer Vision and Pattern Recognition · Computer Science 2023-09-12 Viktoria Ehm , Paul Roetzer , Marvin Eisenberger , Maolin Gao , Florian Bernard , Daniel Cremers

We consider the problem of designing uniformly stable first-order optimization algorithms for empirical risk minimization. Uniform stability is often used to obtain generalization error bounds for optimization algorithms, and we are…

Machine Learning · Computer Science 2022-07-19 Amit Attia , Tomer Koren

In this paper, the convergence of the solutions for a discretized linear state-based static peridynamic system to the corresponding continuous solution is analytically proven. To obtain an implementable model, we further apply…

Numerical Analysis · Mathematics 2026-03-04 Lukas Pflug , Michael Stingl , Max Zetzmann

Recently, deep learning based methods have demonstrated promising results on the graph matching problem, by relying on the descriptive capability of deep features extracted on graph nodes. However, one main limitation with existing deep…

Computer Vision and Pattern Recognition · Computer Science 2021-03-16 Quankai Gao , Fudong Wang , Nan Xue , Jin-Gang Yu , Gui-Song Xia

Given a pattern x of length m and a text y of length n, both over an ordered alphabet, the order-preserving pattern matching problem consists in finding all substrings of the text with the same relative order as the pattern. It is an…

Data Structures and Algorithms · Computer Science 2015-01-19 Simone Faro , Oğuzhan Külekci

State space subspace algorithms for input-output systems have been widely applied but also have a reasonably well-developedasymptotic theory dealing with consistency. However, guaranteeing the stability of the estimated system matrix is a…

Systems and Control · Electrical Eng. & Systems 2024-08-19 Xinhui Rong , Victor Solo

Stable matchings have been studied extensively in social choice literature. The focus has been mostly on integral matchings, in which the nodes on the two sides are wholly matched. A fractional matching, which is a convex combination of…

Computer Science and Game Theory · Computer Science 2022-04-20 Shivika Narang , Y Narahari

This paper gives an overview on and summarizes existing complexity and algorithmic results of some variants of the Stable Marriage and the Stable Roommates problems. The last section defines a list of stable matching problems mentioned in…

Computer Science and Game Theory · Computer Science 2019-04-18 Jiehua Chen