68,763 research outputs found
Minimum 0-Extension Problems on Directed Metrics
For a metric on a finite set , the minimum 0-extension problem
0-Ext is defined as follows: Given and , minimize
subject to , where the
sum is taken over all unordered pairs in . This problem generalizes several
classical combinatorial optimization problems such as the minimum cut problem
or the multiterminal cut problem. The complexity dichotomy of 0-Ext was
established by Karzanov and Hirai, which is viewed as a manifestation of the
dichotomy theorem for finite-valued CSPs due to Thapper and \v{Z}ivn\'{y}.
In this paper, we consider a directed version -Ext
of the minimum 0-extension problem, where and are not assumed to be
symmetric. We extend the NP-hardness condition of 0-Ext to
-Ext: If cannot be represented as the shortest
path metric of an orientable modular graph with an orbit-invariant ``directed''
edge-length, then -Ext is NP-hard. We also show a
partial converse: If is a directed metric of a modular lattice with an
orbit-invariant directed edge-length, then -Ext is
tractable. We further provide a new NP-hardness condition characteristic of
-Ext, and establish a dichotomy for the case where
is a directed metric of a star
On duality and fractionality of multicommodity flows in directed networks
In this paper we address a topological approach to multiflow (multicommodity
flow) problems in directed networks. Given a terminal weight , we define a
metrized polyhedral complex, called the directed tight span , and
prove that the dual of -weighted maximum multiflow problem reduces to a
facility location problem on . Also, in case where the network is
Eulerian, it further reduces to a facility location problem on the tropical
polytope spanned by . By utilizing this duality, we establish the
classifications of terminal weights admitting combinatorial min-max relation
(i) for every network and (ii) for every Eulerian network. Our result includes
Lomonosov-Frank theorem for directed free multiflows and
Ibaraki-Karzanov-Nagamochi's directed multiflow locking theorem as special
cases.Comment: 27 pages. Fixed minor mistakes and typos. To appear in Discrete
Optimizatio
Graph Metrics for Temporal Networks
Temporal networks, i.e., networks in which the interactions among a set of
elementary units change over time, can be modelled in terms of time-varying
graphs, which are time-ordered sequences of graphs over a set of nodes. In such
graphs, the concepts of node adjacency and reachability crucially depend on the
exact temporal ordering of the links. Consequently, all the concepts and
metrics proposed and used for the characterisation of static complex networks
have to be redefined or appropriately extended to time-varying graphs, in order
to take into account the effects of time ordering on causality. In this chapter
we discuss how to represent temporal networks and we review the definitions of
walks, paths, connectedness and connected components valid for graphs in which
the links fluctuate over time. We then focus on temporal node-node distance,
and we discuss how to characterise link persistence and the temporal
small-world behaviour in this class of networks. Finally, we discuss the
extension of classic centrality measures, including closeness, betweenness and
spectral centrality, to the case of time-varying graphs, and we review the work
on temporal motifs analysis and the definition of modularity for temporal
graphs.Comment: 26 pages, 5 figures, Chapter in Temporal Networks (Petter Holme and
Jari Saram\"aki editors). Springer. Berlin, Heidelberg 201
Searching for Realizations of Finite Metric Spaces in Tight Spans
An important problem that commonly arises in areas such as internet
traffic-flow analysis, phylogenetics and electrical circuit design, is to find
a representation of any given metric on a finite set by an edge-weighted
graph, such that the total edge length of the graph is minimum over all such
graphs. Such a graph is called an optimal realization and finding such
realizations is known to be NP-hard. Recently Varone presented a heuristic
greedy algorithm for computing optimal realizations. Here we present an
alternative heuristic that exploits the relationship between realizations of
the metric and its so-called tight span . The tight span is a
canonical polytopal complex that can be associated to , and our approach
explores parts of for realizations in a way that is similar to the
classical simplex algorithm. We also provide computational results illustrating
the performance of our approach for different types of metrics, including
-distances and two-decomposable metrics for which it is provably possible
to find optimal realizations in their tight spans.Comment: 20 pages, 3 figure
- …