Stable marriage problem | EPFL Graph Search

In mathematics, economics, and computer science, the stable marriage problem (also stable matching problem or SMP) is the problem of finding a stable matching between two equally sized sets of elements given an ordering of preferences for each element. A matching is a bijection from the elements of one set to the elements of the other set. A matching is not stable if: In other words, a matching is stable when there does not exist any pair (A, B) which both prefer each other to their current partner under the matching. The stable marriage problem has been stated as follows: Given n men and n women, where each person has ranked all members of the opposite sex in order of preference, marry the men and women together such that there are no two people of opposite sex who would both rather have each other than their current partners. When there are no such pairs of people, the set of marriages is deemed stable. The existence of two classes that need to be paired with each other (heter

Streaming and Matching Problems with Submodular Functions

Paritosh Garg

Submodular functions are a widely studied topic in theoretical computer science. They have found several applications both theoretical and practical in the fields of economics, combinatorial optimization and machine learning. More recently, there have also been numerous works that study combinatorial problems with submodular objective functions. This is motivated by their natural diminishing returns property which is useful in real-world applications. The thesis at hand is concerned with the study of streaming and matching problems with submodular functions.Firstly, motivated by developing robust algorithms, we propose a new adversarial injections model, in which the input is ordered randomly, but an adversary may inject misleading elements at arbitrary positions. We study the maximum matching problem and cardinality constrained monotone submodular maximization. We show that even under this seemingly powerful adversary, it is possible to break the barrier of 1/2 for both these problems in the streaming setting. Our main result is a novel streaming algorithm that computes a 0.55-approximation for cardinality constrained monotone submodular maximization.In the second part of the thesis, we study the problem of matroid intersection in the semi-streaming setting. Our main result is a (2 + e)-approximate semi-streaming algorithm for weighted matroid inter- section improving upon the previous best guarantee of 4 + e. While our algorithm is based on the local ratio technique, its analysis differs from the related problem of weighted maximum matching and uses the concept of matroid kernels. We are also able to generalize our results to work for submodular functions by adapting ideas from a recent result by Levin and Wajc (SODA'21) on submodular maximization subject to matching constraints.Finally, we study the submodular Santa Claus problem in the restricted assignment case. The submodular Santa Claus problem was introduced in a seminal work by Goemans, Harvey, Iwata, and Mirrokni (SODA'09) as an application of their structural result. In the mentioned problem n unsplittable resources have to be assigned to m players, each with a monotone submodular utility function fi. The goal is to maximize mini fi(Si) where S1, . . . , Sm is a partition of the resources. The result by Goemans et al. implies a polynomial time O(n1/2+e)-approximation algorithm. In the restricted assignment case, each player is given a set of desired resources Gi and the individual valuation functions are defined as fi(S)= f(SnGi). OurmainresultisaO(loglog(n))-approximation algorithm for the problem. Our proof is inspired by the approach of Bansal and Srividenko (STOC'06) to the Santa Claus problem. Com- pared to the more basic linear setting, the introduction of submodularity requires a much more involved analysis and several new ideas.

EPFL2022

Exploring stabilisation techniques for the reduced basis approximation of avection-diffusion PDEs

Christèle Marie Zbinden

In this thesis, we explore possible stabilisation methods for the reduce basis approximation of advection-diffusion problems, for which the advection term is dominating. The options we consider are mainly inspired by the Variational Multiscale method (VMS), which decomposes the solution of a variational problem into its coarse scale component, from a coarse scale space, and a fine scale component, from a fine scale space. Our stabilisation proposals are divided into three classes. The first one groups methods that rely on a stabilisation parameter. The second class uses VMS at the algebraic level to attempt stabilisation. Finally the third class is also inspired by VMS at the algebraic level, but with the additional constraint that the fine scale space is orthogonal to the coarse scale space. Numericals tests reported in this thesis show that the methods of the first class is not viable options as the best stabilisation parameter among those tested is the stabilisation parameter that is used at the high fidelity level. Although the stabilisation methods of the second class give accurate results when applied to stable problems, they were also dismissed by the numerical tests, as they did not improve the accuracy of the already stabilised problem. The third class also performs well when applied to stable problems. It has been shown in [7] one of those methods can improve accuracy. However in the current implementation, this result was not achieved here.

2016

Streaming and Matching Problems with Submodular Functions

Paritosh Garg

EPFL2022