arXiv subjects

Gregory Z. Gutin

Publications and source records attributed to Gregory Z. Gutin.

6 recordsLinked to original sources

arXiv2026

Note on the size of a stable matching

Consider a one-to-one two-sided matching market with workers on one side and single-position firms on the other, and suppose that the largest individually rational matching contains $n$ pairs. We show that the number of workers employed and positions filled in every stable matching is bounded from below by $\lceil\frac{n}{2}\rceil$ and we characterise the class of preferences that attain the bound. We then identify the minimum number of equilibrium pairings that must be ``sacrificed'' when maximising the employment rate is the objective; if each stable matching is of size $\ceiling{\frac{n}{2}}$, then no such pairs appear when all vacancies are filled.

econ.TH↗

arXiv2024

Speeding up deferred acceptance

A run of the deferred acceptance (DA) algorithm may contain proposals that are sure to be rejected. We introduce the accelerated deferred acceptance algorithm that proceeds in a similar manner to DA but with sure-to-be rejected proposals ruled out. Accelerated deferred acceptance outputs the same stable matching as DA but does so more efficiently: it terminates in weakly fewer rounds, requires weakly fewer proposals, and final pairs match no later. Computational experiments show that these efficiency savings can be strict.

econ.TH↗

arXiv2024

Approximation Algorithm of Minimum All-Ones Problem for Arbitrary Graphs

Let $G=(V, E)$ be a graph and let each vertex of $G$ has a lamp and a button. Each button can be of $σ^+$-type or $σ$-type. Assume that initially some lamps are on and others are off. The button on vertex $x$ is of $σ^+$-type ($σ$-type, respectively) if pressing the button changes the lamp states on $x$ and on its neighbors in $G$ (the lamp states on the neighbors of $x$ only, respectively). Assume that there is a set $X\subseteq V$ such that pressing buttons on vertices of $X$ lights all lamps on vertices of $G$. In particular, it is known to hold when initially all lamps are off and all buttons are of $σ^+$-type. Finding such a set $X$ of the smallest size is NP-hard even if initially all lamps are off and all buttons are of $σ^+$-type. Using a linear algebraic approach we design a polynomial-time approximation algorithm for the problem such that for the set $X$ constructed by the algorithm, we have $|X|\le \min\{r,(|V|+{\rm opt})/2\},$ where $r$ is the rank of a (modified) adjacent matrix of $G$ and ${\rm opt}$ is the size of an optimal solution to the problem. To the best of our knowledge, this is the first polynomial-time approximation algorithm for the problem with a nontrivial approximation guarantee.

cs.DS↗

arXiv2023

Unique Stable Matchings

In this paper we consider the issue of a unique prediction in one to one two sided matching markets, as defined by Gale and Shapley (1962), and we prove the following. Theorem. Let P be a one-to-one two-sided matching market and let P be its associated normal form, a (weakly) smaller matching market with the same set of stable matchings, that can be obtained using procedures introduced in Irving and Leather (1986) and Balinski and Ratier (1997). The following three statements are equivalent (a) P has a unique stable matching. (b) Preferences on P* are acyclic, as defined by Chung (2000). (c) In P* every market participant's preference list is a singleton.

econ.TH↗

arXiv2021

On $d$-panconnected tournaments with large semidegrees

We prove the following new results. (a) Let $T$ be a regular tournament of order $2n+1\geq 11$ and $S$ a subset of $V(T)$. Suppose that $|S|\leq \frac{1}{2}(n-2)$ and $x$, $y$ are distinct vertices in $V(T)\setminus S$. If the subtournament $T-S$ contains an $(x,y)$-path of length $r$, where $3\leq r\leq |V(T)\setminus S|-2$, then $T-S$ also contains an $(x,y)$-path of length $r+1$. (b) Let $T$ be an $m$-irregular tournament of order $p$, i.e., $|d^+(x)-d^-(x)|\le m$ for every vertex $x$ of $T.$ If $m\leq \frac{1}{3}(p-5)$ (respectively, $m\leq \frac{1}{5}(p-3)$), then for every pair of vertices $x$ and $y$, $T$ has an $(x,y)$-path of any length $k$, $4\leq k\leq p-1$ (respectively, $3\leq k\leq p-1$ or $T$ belongs to a family $\cal G$ of tournaments, which is defined in the paper). In other words, (b) means that if the semidegrees of every vertex of a tournament $T$ of order $p$ are between $\frac{1}{3}(p+1)$ and $\frac{2}{3}(p-2)$ (respectively, between $\frac{1}{5}(2p-1)$ and $\frac{1}{5}(3p-4)$), then the claims in (b) hold. Our results improve in a sense related results of Alspach (1967), Jacobsen (1972), Alspach et al. (1974), Thomassen (1978) and Darbinyan (1977, 1978, 1979), and are sharp in a sense.

math.CO↗

arXiv2015

Valued Workflow Satisfiability Problem

A workflow is a collection of steps that must be executed in some specific order to achieve an objective. A computerised workflow management system may enforce authorisation policies and constraints, thereby restricting which users can perform particular steps in a workflow. The existence of policies and constraints may mean that a workflow is unsatisfiable, in the sense that it is impossible to find an authorised user for each step in the workflow and satisfy all constraints. In this paper, we consider the problem of finding the "least bad" assignment of users to workflow steps by assigning a weight to each policy and constraint violation. To this end, we introduce a framework for associating costs with the violation of workflow policies and constraints and define the \emph{valued workflow satisfiability problem} (Valued WSP), whose solution is an assignment of steps to users of minimum cost. We establish the computational complexity of Valued WSP with user-independent constraints and show that it is fixed-parameter tractable. We then describe an algorithm for solving Valued WSP with user-independent constraints and evaluate its performance, comparing it to that of an off-the-shelf mixed integer programming package.

cs.DS↗