24,968 research outputs found
The Price of Anarchy for Network Formation in an Adversary Model
We study network formation with n players and link cost \alpha > 0. After the
network is built, an adversary randomly deletes one link according to a certain
probability distribution. Cost for player v incorporates the expected number of
players to which v will become disconnected. We show existence of equilibria
and a price of stability of 1+o(1) under moderate assumptions on the adversary
and n \geq 9.
As the main result, we prove bounds on the price of anarchy for two special
adversaries: one removes a link chosen uniformly at random, while the other
removes a link that causes a maximum number of player pairs to be separated.
For unilateral link formation we show a bound of O(1) on the price of anarchy
for both adversaries, the constant being bounded by 10+o(1) and 8+o(1),
respectively. For bilateral link formation we show O(1+\sqrt{n/\alpha}) for one
adversary (if \alpha > 1/2), and \Theta(n) for the other (if \alpha > 2
considered constant and n \geq 9). The latter is the worst that can happen for
any adversary in this model (if \alpha = \Omega(1)). This points out
substantial differences between unilateral and bilateral link formation
Bicomponents and the robustness of networks to failure
A common definition of a robust connection between two nodes in a network
such as a communication network is that there should be at least two
independent paths connecting them, so that the failure of no single node in the
network causes them to become disconnected. This definition leads us naturally
to consider bicomponents, subnetworks in which every node has a robust
connection of this kind to every other. Here we study bicomponents in both real
and model networks using a combination of exact analytic techniques and
numerical methods. We show that standard network models predict there to be
essentially no small bicomponents in most networks, but there may be a giant
bicomponent, whose presence coincides with the presence of the ordinary giant
component, and we find that real networks seem by and large to follow this
pattern, although there are some interesting exceptions. We study the size of
the giant bicomponent as nodes in the network fail, using a specially developed
computer algorithm based on data trees, and find in some cases that our
networks are quite robust to failure, with large bicomponents persisting until
almost all vertices have been removed.Comment: 5 pages, 1 figure, 1 tabl
On building 4-critical plane and projective plane multiwheels from odd wheels
We build unbounded classes of plane and projective plane multiwheels that are
4-critical that are received summing odd wheels as edge sums modulo two. These
classes can be considered as ascending from single common graph that can be
received as edge sum modulo two of the octahedron graph O and the minimal wheel
W3. All graphs of these classes belong to 2n-2-edges-class of graphs, among
which are those that quadrangulate projective plane, i.e., graphs from
Gr\"otzsch class, received applying Mycielski's Construction to odd cycle.Comment: 10 page
An Efficient Representation for Filtrations of Simplicial Complexes
A filtration over a simplicial complex is an ordering of the simplices of
such that all prefixes in the ordering are subcomplexes of . Filtrations
are at the core of Persistent Homology, a major tool in Topological Data
Analysis. In order to represent the filtration of a simplicial complex, the
entire filtration can be appended to any data structure that explicitly stores
all the simplices of the complex such as the Hasse diagram or the recently
introduced Simplex Tree [Algorithmica '14]. However, with the popularity of
various computational methods that need to handle simplicial complexes, and
with the rapidly increasing size of the complexes, the task of finding a
compact data structure that can still support efficient queries is of great
interest.
In this paper, we propose a new data structure called the Critical Simplex
Diagram (CSD) which is a variant of the Simplex Array List (SAL) [Algorithmica
'17]. Our data structure allows one to store in a compact way the filtration of
a simplicial complex, and allows for the efficient implementation of a large
range of basic operations. Moreover, we prove that our data structure is
essentially optimal with respect to the requisite storage space. Finally, we
show that the CSD representation admits fast construction algorithms for Flag
complexes and relaxed Delaunay complexes.Comment: A preliminary version appeared in SODA 201
- …