Source author record

Carla Michini

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
5topics
2close collaborators

Published work

3 publications

preprint2020arXiv

Short simplex paths in lattice polytopes

The goal of this paper is to design a simplex algorithm for linear programs on lattice polytopes that traces `short' simplex paths from any given vertex to an optimal one. We consider a lattice polytope PP contained in [0,k]n[0,k]^n and defined via mm linear inequalities. Our first contribution is a simplex algorithm that reaches an optimal vertex by tracing a path along the edges of PP of length in O(n4klog⁡(nk)O(n^4 k\log(nk). The length of this path is independent from mm and it is the best possible up to a polynomial function. In fact, it is only polynomially far from the worst-case diameter, which roughly grows as a linear function in nn and kk. Motivated by the fact that most known lattice polytopes are defined via 0,±10,\pm 1 constraint matrices, our second contribution is an iterative algorithm which exploits the largest absolute value αα of the entries in the constraint matrix. We show that the length of the simplex path generated by the iterative algorithm is in O(n2klog⁡(nkα))O(n^2k \log(nkα)). In particular, if αα is bounded by a polynomial in n,kn, k, then the length of the simplex path is in O(n2klog⁡(nk))O(n^2k \log(nk)). For both algorithms, the number of arithmetic operations needed to compute the next vertex in the path is polynomial in nn, mm and log⁡k\log k. If kk is polynomially bounded by nn and mm, the algorithm runs in strongly polynomial time.

preprint2016arXiv

Totally Unimodular Congestion Games

We investigate a new class of congestion games, called Totally Unimodular (TU) Congestion Games, where the players' strategies are binary vectors inside polyhedra defined by totally unimodular constraint matrices. Network congestion games belong to this class. In the symmetric case, when all players have the same strategy set, we design an algorithm that finds an optimal aggregated strategy and then decomposes it into the single players' strategies. This approach yields strongly polynomial-time algorithms to (i) find a pure Nash equilibrium, and (ii) compute a socially optimal state, if the delay functions are weakly convex. We also show how this technique can be extended to matroid congestion games. We introduce some combinatorial TU congestion games, where the players' strategies are matchings, vertex covers, edge covers, and stable sets of a given bipartite graph. In the asymmetric case, we show that for these games (i) it is PLS-complete to find a pure Nash equilibrium even in case of linear delay functions, and (ii) it is NP-hard to compute a socially optimal state, even in case of weakly convex delay functions.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.