scholarly journals Matchings under Preferences: Strength of Stability and Tradeoffs

2021 ◽  
Vol 9 (4) ◽  
pp. 1-55
Author(s):  
Jiehua Chen ◽  
Piotr Skowron ◽  
Manuel Sorge
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Solution Concepts ◽  
Classical Sense ◽  
Fine Grained ◽  
The Stability ◽  
Definition Of ◽  
Social Optimality

We propose two solution concepts for matchings under preferences: robustness and near stability . The former strengthens while the latter relaxes the classical definition of stability by Gale and Shapley (1962). Informally speaking, robustness requires that a matching must be stable in the classical sense, even if the agents slightly change their preferences. Near stability, however, imposes that a matching must become stable (again, in the classical sense) provided the agents are willing to adjust their preferences a bit. Both of our concepts are quantitative; together they provide means for a fine-grained analysis of the stability of matchings. Moreover, our concepts allow the exploration of tradeoffs between stability and other criteria of social optimality, such as the egalitarian cost and the number of unmatched agents. We investigate the computational complexity of finding matchings that implement certain predefined tradeoffs. We provide a polynomial-time algorithm that, given agent preferences, returns a socially optimal robust matching (if it exists), and we prove that finding a socially optimal and nearly stable matching is computationally hard.

scholarly journals ADVICE FOR SEMIFEASIBLE SETS AND THE COMPLEXITY-THEORETIC COST(LESSNESS) OF ALGEBRAIC PROPERTIES

2005 ◽  
Vol 16 (05) ◽  
pp. 913-928 ◽  
Author(s):  
PIOTR FALISZEWSKI ◽  
LANE A. HEMASPAANDRA
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Worst Case ◽  
Advice Complexity ◽  
The Core ◽  
Case Complexity ◽  
Worst Case Complexity ◽  
Algebraic Properties

Informally put, the semifeasible sets are the class of sets having a polynomial-time algorithm that, given as input any two strings of which at least one belongs to the set, will choose one that does belong to the set. We provide a tutorial overview of the advice complexity of the semifeasible sets. No previous familiarity with either the semifeasible sets or advice complexity will be assumed, and when we include proofs we will try to make the material as accessible as possible via providing intuitive, informal presentations. Karp and Lipton introduced advice complexity about a quarter of a century ago.18 Advice complexity asks, for a given power of interpreter, how many bits of "help" suffice to accept a given set. Thus, this is a notion that contains aspects both of descriptional/informational complexity and of computational complexity. We will see that for some powers of interpreter the (worst-case) complexity of the semifeasible sets is known right down to the bit (and beyond), but that for the most central power of interpreter—deterministic polynomial time—the complexity is currently known only to be at least linear and at most quadratic. While overviewing the advice complexity of the semifeasible sets, we will stress also the issue of whether the functions at the core of semifeasibility—so-called selector functions—can without cost be chosen to possess such algebraic properties as commutativity and associativity. We will see that this is relevant, in ways both potential and actual, to the study of the advice complexity of the semifeasible sets.

COMPUTATIONAL COMPLEXITY OF THE PERFECT MATCHING PROBLEM IN HYPERGRAPHS WITH SUBCRITICAL DENSITY

2010 ◽  
Vol 21 (06) ◽  
pp. 905-924 ◽  
Author(s):  
MAREK KARPIŃSKI ◽  
ANDRZEJ RUCIŃSKI ◽  
EDYTA SZYMAŃSKA
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Perfect Matching ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Existence Problem ◽  
Matching Problem ◽  
Uniform Hypergraphs ◽  
The Status ◽  
Np Complete

In this paper we consider the computational complexity of deciding the existence of a perfect matching in certain classes of dense k-uniform hypergraphs. It has been known that the perfect matching problem for the classes of hypergraphs H with minimum ((k - 1)–wise) vertex degreeδ(H) at least c|V(H)| is NP-complete for [Formula: see text] and trivial for c ≥ ½, leaving the status of the problem with c in the interval [Formula: see text] widely open. In this paper we show, somehow surprisingly, that ½ is not the threshold for tractability of the perfect matching problem, and prove the existence of an ε > 0 such that the perfect matching problem for the class of hypergraphs H with δ(H) ≥ (½ - ε)|V(H)| is solvable in polynomial time. This seems to be the first polynomial time algorithm for the perfect matching problem on hypergraphs for which the existence problem is nontrivial. In addition, we consider parallel complexity of the problem, which could be also of independent interest.

scholarly journals Computing the Weighted Isolated Scattering Number of Interval Graphs in Polynomial Time

Complexity ◽  
2019 ◽  
Vol 2019 ◽  
pp. 1-8
Author(s):  
Fengwei Li ◽  
Xiaoyan Zhang ◽  
Qingfang Ye ◽  
Yuefang Sun
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Interval Graphs ◽  
Perfect Graphs ◽  
Network Vulnerability ◽  
Hamiltonian Properties

The scattering number and isolated scattering number of a graph have been introduced in relation to Hamiltonian properties and network vulnerability, and the isolated scattering number plays an important role in characterizing graphs with a fractional 1-factor. Here we investigate the computational complexity of one variant, namely, the weighted isolated scattering number. We give a polynomial time algorithm to compute this parameter of interval graphs, an important subclass of perfect graphs.

scholarly journals Non-commutative lattice problems

2016 ◽  
Vol 19 (3) ◽  
Author(s):  
Alexei Myasnikov ◽  
Andrey Nikolaev ◽  
Alexander Ushakov
Keyword(s):  
Computational Complexity ◽  
Large Class ◽  
Polynomial Time ◽  
Coxeter Groups ◽  
Nilpotent Groups ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Group Element ◽  
Surface Groups ◽  
Nontrivial Element

AbstractWe consider several subgroup-related algorithmic questions in groups, modeled after the classic computational lattice problems, and study their computational complexity. We find polynomial time solutions to problems like finding a subgroup element closest to a given group element, or finding a shortest nontrivial element of a subgroup in the case of nilpotent groups, and a large class of surface groups and Coxeter groups. We also provide polynomial time algorithm to compute geodesics in given generators of a subgroup of a free group.

scholarly journals A Maximal Tractable Class of Soft Constraints

2004 ◽  
Vol 22 ◽  
pp. 1-22 ◽  
Author(s):  
D. Cohen ◽  
M. Cooper ◽  
P. Jeavons ◽  
A. Krokhin
Keyword(s):  
Artificial Intelligence ◽  
Computational Complexity ◽  
Polynomial Time ◽  
Optimal Solution ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Soft Constraints ◽  
Soft Constraint ◽  
Binary Constraints ◽  
Binary Constraint

Many researchers in artificial intelligence are beginning to explore the use of soft constraints to express a set of (possibly conflicting) problem requirements. A soft constraint is a function defined on a collection of variables which associates some measure of desirability with each possible combination of values for those variables. However, the crucial question of the computational complexity of finding the optimal solution to a collection of soft constraints has so far received very little attention. In this paper we identify a class of soft binary constraints for which the problem of finding the optimal solution is tractable. In other words, we show that for any given set of such constraints, there exists a polynomial time algorithm to determine the assignment having the best overall combined measure of desirability. This tractable class includes many commonly-occurring soft constraints, such as 'as near as possible' or 'as soon as possible after', as well as crisp constraints such as 'greater than'. Finally, we show that this tractable class is maximal, in the sense that adding any other form of soft binary constraint which is not in the class gives rise to a class of problems which is NP-hard.

scholarly journals On the Computational Complexity of Non-Dictatorial Aggregation

2021 ◽  
Vol 72 ◽  
pp. 137-183
Author(s):  
John Livieratos ◽  
Phokion G. Kolaitis ◽  
Lefteris Kirousis
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Propositional Formula

We investigate when non-dictatorial aggregation is possible from an algorithmic perspective, where non-dictatorial aggregation means that the votes cast by the members of a society can be aggregated in such a way that there is no single member of the society that always dictates the collective outcome. We consider the setting in which the members of a society take a position on a fixed collection of issues, where for each issue several different alternatives are possible, but the combination of choices must belong to a given set X of allowable voting patterns. Such a set X is called a possibility domain if there is an aggregator that is non-dictatorial, operates separately on each issue, and returns values among those cast by the society on each issue. We design a polynomial-time algorithm that decides, given a set X of voting patterns, whether or not X is a possibility domain. Furthermore, if X is a possibility domain, then the algorithm constructs in polynomial time a non-dictatorial aggregator for X. Furthermore, we show that the question of whether a Boolean domain X is a possibility domain is in NLOGSPACE. We also design a polynomial-time algorithm that decides whether X is a uniform possibility domain, that is, whether X admits an aggregator that is non-dictatorial even when restricted to any two positions for each issue. As in the case of possibility domains, the algorithm also constructs in polynomial time a uniform non-dictatorial aggregator, if one exists. Then, we turn our attention to the case where X is given implicitly, either as the set of assignments satisfying a propositional formula, or as a set of consistent evaluations of a sequence of propositional formulas. In both cases, we provide bounds to the complexity of deciding if X is a (uniform) possibility domain. Finally, we extend our results to four types of aggregators that have appeared in the literature: generalized dictatorships, whose outcome is always an element of their input, anonymous aggregators, whose outcome is not affected by permutations of their input, monotone, whose outcome does not change if more individuals agree with it and systematic, which aggregate every issue in the same way.

Learning Importance of Preferences

10.29007/v68w ◽  
2018 ◽  
Author(s):  
Ying Zhu ◽  
Mirek Truszczynski
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Scoring Rules ◽  
Np Hard ◽  
Individual Preferences

We study the problem of learning the importance of preferences in preference profiles in two important cases: when individual preferences are aggregated by the ranked Pareto rule, and when they are aggregated by positional scoring rules. For the ranked Pareto rule, we provide a polynomial-time algorithm that finds a ranking of preferences such that the ranked profile correctly decides all the examples, whenever such a ranking exists. We also show that the problem to learn a ranking maximizing the number of correctly decided examples (also under the ranked Pareto rule) is NP-hard. We obtain similar results for the case of weighted profiles when positional scoring rules are used for aggregation.

Sign in / Sign up

Export Citation Format

Share Document