On randomized approximation for finding a level ideal of a poset and the generalized median stable matchings

Shuji Kijima, Toshio Nemoto

Research output: Contribution to journalReview article

Abstract

This study is concerned with finding a level ideal (LI) of a partially ordered set (poset). Given a finite poset P, the level of each element p ε P is defined as the number of ideals that do not include p, then the problem is to find the ith LI-the ideal consisting of elements whose levels are less than a given integer i. The concept of a level ideal is naturally derived from the generalized median stable matchings, introduced by Teo and Sethuraman [Teo, C. P., J. Sethuraman. 1998. The geometry of fractional stable matchings and its applications. Math. Oper. Res. 23(4) 874-891] in the context of "fairness" of matchings in a stable marriage problem. Cheng [Cheng, C. T. 2010. Understanding the generalized median stable matchings. Algorithmica 58(1) 34-51] showed that finding the ith LI is #P-hard when i = Θ4N5, where N is the total number of ideals of P. This paper shows that finding the ith LI is #P-hard even if i = Θ4N1/c5, where c is an arbitrary constant at least one. Meanwhile, we present a polynomial time exact algorithm when i - O44logN5c0 5, where c0 is an arbitrary positive constant. We also devise two randomized approximation schemes for the ideals of a poset, by using an oracle of an almost-uniform sampler.

Original languageEnglish
Pages (from-to)356-371
Number of pages16
JournalMathematics of Operations Research
Volume37
Issue number2
DOIs
Publication statusPublished - May 1 2012

Fingerprint

Stable Matching
Partially Ordered Set
Polynomials
Geometry
Approximation
Stable Marriage Problem
Median
Stable matching
Arbitrary
Exact Algorithms
Approximation Scheme
Fairness
Polynomial-time Algorithm
Fractional

All Science Journal Classification (ASJC) codes

  • Mathematics(all)
  • Computer Science Applications
  • Management Science and Operations Research

Cite this

On randomized approximation for finding a level ideal of a poset and the generalized median stable matchings. / Kijima, Shuji; Nemoto, Toshio.

In: Mathematics of Operations Research, Vol. 37, No. 2, 01.05.2012, p. 356-371.

Research output: Contribution to journalReview article

@article{df0435f53f174d91932862e6aa05e592,
title = "On randomized approximation for finding a level ideal of a poset and the generalized median stable matchings",
abstract = "This study is concerned with finding a level ideal (LI) of a partially ordered set (poset). Given a finite poset P, the level of each element p ε P is defined as the number of ideals that do not include p, then the problem is to find the ith LI-the ideal consisting of elements whose levels are less than a given integer i. The concept of a level ideal is naturally derived from the generalized median stable matchings, introduced by Teo and Sethuraman [Teo, C. P., J. Sethuraman. 1998. The geometry of fractional stable matchings and its applications. Math. Oper. Res. 23(4) 874-891] in the context of {"}fairness{"} of matchings in a stable marriage problem. Cheng [Cheng, C. T. 2010. Understanding the generalized median stable matchings. Algorithmica 58(1) 34-51] showed that finding the ith LI is #P-hard when i = Θ4N5, where N is the total number of ideals of P. This paper shows that finding the ith LI is #P-hard even if i = Θ4N1/c5, where c is an arbitrary constant at least one. Meanwhile, we present a polynomial time exact algorithm when i - O44logN5c0 5, where c0 is an arbitrary positive constant. We also devise two randomized approximation schemes for the ideals of a poset, by using an oracle of an almost-uniform sampler.",
author = "Shuji Kijima and Toshio Nemoto",
year = "2012",
month = "5",
day = "1",
doi = "10.1287/moor.1110.0526",
language = "English",
volume = "37",
pages = "356--371",
journal = "Mathematics of Operations Research",
issn = "0364-765X",
publisher = "INFORMS Inst.for Operations Res.and the Management Sciences",
number = "2",

}

TY - JOUR

T1 - On randomized approximation for finding a level ideal of a poset and the generalized median stable matchings

AU - Kijima, Shuji

AU - Nemoto, Toshio

PY - 2012/5/1

Y1 - 2012/5/1

N2 - This study is concerned with finding a level ideal (LI) of a partially ordered set (poset). Given a finite poset P, the level of each element p ε P is defined as the number of ideals that do not include p, then the problem is to find the ith LI-the ideal consisting of elements whose levels are less than a given integer i. The concept of a level ideal is naturally derived from the generalized median stable matchings, introduced by Teo and Sethuraman [Teo, C. P., J. Sethuraman. 1998. The geometry of fractional stable matchings and its applications. Math. Oper. Res. 23(4) 874-891] in the context of "fairness" of matchings in a stable marriage problem. Cheng [Cheng, C. T. 2010. Understanding the generalized median stable matchings. Algorithmica 58(1) 34-51] showed that finding the ith LI is #P-hard when i = Θ4N5, where N is the total number of ideals of P. This paper shows that finding the ith LI is #P-hard even if i = Θ4N1/c5, where c is an arbitrary constant at least one. Meanwhile, we present a polynomial time exact algorithm when i - O44logN5c0 5, where c0 is an arbitrary positive constant. We also devise two randomized approximation schemes for the ideals of a poset, by using an oracle of an almost-uniform sampler.

AB - This study is concerned with finding a level ideal (LI) of a partially ordered set (poset). Given a finite poset P, the level of each element p ε P is defined as the number of ideals that do not include p, then the problem is to find the ith LI-the ideal consisting of elements whose levels are less than a given integer i. The concept of a level ideal is naturally derived from the generalized median stable matchings, introduced by Teo and Sethuraman [Teo, C. P., J. Sethuraman. 1998. The geometry of fractional stable matchings and its applications. Math. Oper. Res. 23(4) 874-891] in the context of "fairness" of matchings in a stable marriage problem. Cheng [Cheng, C. T. 2010. Understanding the generalized median stable matchings. Algorithmica 58(1) 34-51] showed that finding the ith LI is #P-hard when i = Θ4N5, where N is the total number of ideals of P. This paper shows that finding the ith LI is #P-hard even if i = Θ4N1/c5, where c is an arbitrary constant at least one. Meanwhile, we present a polynomial time exact algorithm when i - O44logN5c0 5, where c0 is an arbitrary positive constant. We also devise two randomized approximation schemes for the ideals of a poset, by using an oracle of an almost-uniform sampler.

UR - http://www.scopus.com/inward/record.url?scp=84861377081&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84861377081&partnerID=8YFLogxK

U2 - 10.1287/moor.1110.0526

DO - 10.1287/moor.1110.0526

M3 - Review article

AN - SCOPUS:84861377081

VL - 37

SP - 356

EP - 371

JO - Mathematics of Operations Research

JF - Mathematics of Operations Research

SN - 0364-765X

IS - 2

ER -