Searcharxiv⌕ Search

arXiv subjects

Paolo G. Franciosa

Publications and source records attributed to Paolo G. Franciosa.

7 recordsLinked to original sources

Network homophily via tail inequalities

Homophily is the principle whereby "similarity breeds connections". We give a quantitative formulation of this principle within networks. Given a network and a labeled partition of its vertices, the vector indexed by each class of the partition, whose entries are the number of edges of the subgraphs induced by the corresponding classes, is viewed as the observed outcome of the random vector described by picking labeled partitions at random among labeled partitions whose classes have the same cardinalities as the given one. In this perspective, the value of any homophily score $Θ$, namely a non decreasing real valued function in the sizes of subgraphs induced by the classes of the partition, evaluated at the observed outcome, can be thought of as the observed value of a random variable. Consequently, according to the score $Θ$, the input network is homophillic at the significance level $α$ whenever the one-sided tail probability of observing a value of $Θ$ at least as extreme as the observed one, is smaller than $α$. Since, as we show, even approximating $α$ is an NP-hard problem, we resort to classical tails inequality to bound $α$ from above. These upper bounds, obtained by specializing $Θ$, yield a class of quantifiers of network homophily. Computing the upper bounds requires the knowledge of the covariance matrix of the random vector which was not previously known within the random coloring model. In this paper we close this gap, giving a meaningful, easy to compute class of indices for measuring network homophily. As demonstrated in real-world network applications, these indices are effective, reliable, and lead to new discoveries that could not be captured by the current state of the art.

math.ST↗

How Vulnerable is an Undirected Planar Graph with respect to Max Flow

We study the problem of computing the vitality of edges and vertices with respect to the $st$-max flow in undirected planar graphs, where the vitality of an edge/vertex is the $st$-max flow decrease when the edge/vertex is removed from the graph. This allows us to establish the vulnerability of the graph with respect to the $st$-max flow. We give efficient algorithms to compute an additive guaranteed approximation of the vitality of edges and vertices in planar undirected graphs. We show that in the general case high vitality values are well approximated in time close to the time currently required to compute $st$-max flow $O(n\log\log n)$. We also give improved, and sometimes optimal, results in the case of integer capacities. All our algorithms work in $O(n)$ space.

cs.DS↗

A Linear Time Algorithm for Computing Max-Flow Vitality in Undirected Unweighted Planar Graphs

The vitality of an edge in a graph with respect to the maximum flow between two fixed vertices $s$ and $t$ is defined as the reduction of the maximum flow value caused by the removal of that edge. The max-flow vitality problem has already been efficiently solved for $st$-planar graphs but has remained open for general planar graphs. For the first time our result provides an optimal solution for general planar graphs although restricted to the case of unweighted planar graphs.

cs.DS↗

Computing Lengths of Non-Crossing Shortest Paths in Planar Graphs

Given a plane undirected graph $G$ with non-negative edge weights and a set of $k$ terminal pairs on the external face, it is shown in Takahashi et al. (Algorithmica, 16, 1996, pp. 339-357) that the union $U$ of $k$ non-crossing shortest paths joining the $k$ terminal pairs (if they exist) can be computed in $O(n\log n)$ time, where $n$ is the number of vertices of $G$. In the restricted case in which the union $U$ of the shortest paths is a forest, it is also shown that their lengths can be computed in the same time bound. We show in this paper that it is always possible to compute the lengths of $k$ non-crossing shortest paths joining the $k$ terminal pairs in linear time, once the shortest paths union $U$ has been computed, also in the case $U$ contains cycles. Moreover, each shortest path $π$ can be listed in $O(\max\{\ell, \ell \log\frac{k}{\ell} \})$, where $\ell$ is the number of edges in $π$. As a consequence, the problem of computing non-crossing shortest paths and their lengths in a plane undirected weighted graph can be solved in $O(n\log k)$ time in the general case.

cs.DS↗

Non-Crossing Shortest Paths in Undirected Unweighted Planar Graphs in Linear Time

Given a set of well-formed terminal pairs on the external face of an undirected planar graph with unit edge weights, we give a linear-time algorithm for computing the union of non-crossing shortest paths joining each terminal pair, where well-formed means that such a set of non-crossing paths exists. This allows us to compute distances between each terminal pair, within the same time bound. We also give a novel concept of incremental shortest path subgraph of a planar graph, i.e., a partition of the planar embedding in subregions that preserve distances, that can be of interest itself.

cs.DS↗

Incremental DFS Trees on Arbitrary Directed Graphs

We present a new algorithm for maintaining a DFS tree of an arbitrary directed graph under any sequence of edge insertions. Our algorithm requires a total of $O(m\cdot n)$ time in the worst case to process a sequence of edge insertions, where $n$ is the number of vertices in the graph and $m$ is the total number of edges in the final graph. We also prove lower bounds for variations of this problem.

cs.DS↗

Max-flow vitality in undirected unweighted planar graphs

We show a fast algorithm for determining the set of edges in a planar undirected unweighted graph, whose deletion reduces the maximum flow between two fixed vertices. This is a special case of the max flow vitality problem, that has been efficiently solved for general undirected graphs and st-planar graphs. The vitality of an edge of a graph with respect to the maximum flow between two fixed vertices s and t is defined as the reduction of the maximum flow caused by the removal of that edge. In this paper we show that the set of edges having vitality greater than zero in a planar undirected unweighted graph with n vertices can be found in O(n log n) worst-case time and O(n) space.

cs.DS↗