Source author record

Slobodan Mitrović

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

5works
5topics
4close collaborators

Published work

5 publications

preprint2022arXiv

Improved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex Cover

We present O(log⁡log⁡n)O(\log\log n)-round algorithms in the Massively Parallel Computation (MPC) model, with O~(n)\tilde{O}(n) memory per machine, that compute a maximal independent set, a 1+ε1+ε approximation of maximum matching, and a 2+ε2+ε approximation of minimum vertex cover, for any nn-vertex graph and any constant ε>0ε>0. These improve the state of the art as follows: - Our MIS algorithm leads to a simple O(log⁡log⁡Δ)O(\log\log Δ)-round MIS algorithm in the Congested Clique model of distributed computing, which improves on the O~(log⁡Δ)\tilde{O}(\sqrt{\log Δ})-round algorithm of Ghaffari [PODC'17]. - Our O(log⁡log⁡n)O(\log\log n)-round (1+ε)(1+ε)-approximate maximum matching algorithm simplifies or improves on the following prior work: O(log⁡2log⁡n)O(\log^2\log n)-round (1+ε)(1+ε)-approximation algorithm of Czumaj et al. [STOC'18] and O(log⁡log⁡n)O(\log\log n)-round (1+ε)(1+ε)-approximation algorithm of Assadi et al. [SODA'19]. - Our O(log⁡log⁡n)O(\log\log n)-round (2+ε)(2+ε)-approximate minimum vertex cover algorithm improves on an O(log⁡log⁡n)O(\log\log n)-round O(1)O(1)-approximation of Assadi et al. [arXiv'17].

preprint2022arXiv

Massively Parallel Algorithms for Small Subgraph Counting

Over the last two decades, frameworks for distributed-memory parallel computation, such as MapReduce, Hadoop, Spark and Dryad, have gained significant popularity with the growing prevalence of large network datasets. The Massively Parallel Computation (MPC) model is the de-facto standard for studying graph algorithms in these frameworks theoretically. Subgraph counting is one such fundamental problem in analyzing massive graphs, with the main algorithmic challenges centering on designing methods which are both scalable and accurate. Given a graph G=(V,E)G=(V, E) with nn vertices, mm edges and TT triangles, our first result is an algorithm that outputs a (1+ε)(1+\varepsilon)-approximation to TT, with asymptotically \emph{optimal round and total space complexity} provided any S≥max⁡(m,n2/m)S \geq \max{(\sqrt m, n^2/m)} space per machine and assuming T=Ω(m/n)T=Ω(\sqrt{m/n}). Our result gives a quadratic improvement on the bound on TT over previous works. We also provide a simple extension of our result to counting \emph{any} subgraph of kk size for constant k≥1k \geq 1. Our second result is an Oε(log⁡log⁡n)O_{\varepsilon}(\log \log n)-round algorithm for exactly counting the number of triangles, whose total space usage is parametrized by the \emph{arboricity} αα of the input graph. We extend this result to exactly counting kk-cliques for any constant kk. Finally, we prove that a recent result of Bera, Pashanasangi and Seshadhri (ITCS 2020) for exactly counting all subgraphs of size at most 55 can be implemented in the MPC model in total space.

preprint2020arXiv

Online Page Migration with ML Advice

We consider online algorithms for the {\em page migration problem} that use predictions, potentially imperfect, to improve their performance. The best known online algorithms for this problem, due to Westbrook'94 and Bienkowski et al'17, have competitive ratios strictly bounded away from 1. In contrast, we show that if the algorithm is given a prediction of the input sequence, then it can achieve a competitive ratio that tends to 11 as the prediction error rate tends to 00. Specifically, the competitive ratio is equal to 1+O(q)1+O(q), where qq is the prediction error rate. We also design a ``fallback option'' that ensures that the competitive ratio of the algorithm for {\em any} input sequence is at most O(1/q)O(1/q). Our result adds to the recent body of work that uses machine learning to improve the performance of ``classic'' algorithms.

preprint2016arXiv

Exploring the Limits of Static Failover Routing

We present and study the Static-Routing-Resiliency problem, motivated by routing on the Internet: Given a graph GG, a unique destination vertex dd, and an integer constant c>0c>0, does there exist a static and destination-based routing scheme such that the correct delivery of packets from any source ss to the destination dd is guaranteed so long as (1) no more than cc edges fail and (2) there exists a physical path from ss to dd? We embark upon a systematic exploration of this fundamental question in a variety of models (deterministic routing, randomized routing, with packet-duplication, with packet-header-rewriting) and present both positive and negative results that relate the edge-connectivity of a graph, i.e., the minimum number of edges whose deletion partitions GG, to its resiliency.

preprint2013arXiv

Homometric sets in trees

Let G=(V,E)G = (V,E) denote a simple graph with the vertex set VV and the edge set EE. The profile of a vertex set V′⊆VV'\subseteq V denotes the multiset of pairwise distances between the vertices of V′V'. Two disjoint subsets of VV are \emph{homometric}, if their profiles are the same. If GG is a tree on nn vertices we prove that its vertex sets contains a pair of disjoint homometric subsets of size at least n/2−1\sqrt{n/2} - 1. Previously it was known that such a pair of size at least roughly n1/3n^{1/3} exists. We get a better result in case of haircomb trees, in which we are able to find a pair of disjoint homometric sets of size at least cn2/3cn^{2/3} for a constant c>0c > 0.

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.