## Abstract

An edge-weighted graph G = (V, E) is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of G. We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from G yields a stable graph, for any weighted graph G. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application. In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph G yields a stable graph, does not admit any constant-factor approximation algorithm, unless P = NP. In this setting, we develop an O()-approximation algorithm for the problem, where is the maximum degree of a node in G.

Original language | English |
---|---|

Title of host publication | 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018 |

Editors | Christos Kaklamanis, Daniel Marx, Ioannis Chatzigiannakis, Donald Sannella |

Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |

ISBN (Electronic) | 9783959770767 |

DOIs | |

Publication status | Published - 1 Jul 2018 |

Externally published | Yes |

Event | 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018 - Prague, Czech Republic Duration: 9 Jul 2018 → 13 Jul 2018 |

### Publication series

Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|

Volume | 107 |

ISSN (Print) | 1868-8969 |

### Conference

Conference | 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018 |
---|---|

Country | Czech Republic |

City | Prague |

Period | 9/07/18 → 13/07/18 |

## Keywords

- Combinatorial optimization
- Cooperative game
- Network bargaining