BECKER, Florent; KOSOWSKI, Adrian; NISSE, Nicolas; RAPAPORT, Ivan; SUCHAN, Karol

Métadonnées

Licence d’utilisation du document

BECKER, Florent
Laboratoire d'Informatique Fondamentale d'Orléans [LIFO]

KOSOWSKI, Adrian
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]

NISSE, Nicolas
Algorithms, simulation, combinatorics and optimization for telecommunications [MASCOTTE]

Langue

Rapport

Ce document a été publié dans

2011

Résumé en anglais

In this work we study the computational power of graph-based models of distributed computing in which each node additionally has access to a global whiteboard. A node can read the contents of the whiteboard and, when activated, can write one message of $O(\log n)$ bits on it. A message is only based on the local knowledge of the node and the current content of the whiteboard. When the protocol terminates, each node computes the output based on the final contents of the whiteboard in order to answer some question on the network's topology. We propose a framework to formally define several scenarios modelling how nodes access the whiteboard, in a synchronous way or not. This extends the work of Becker {\it et al.} [IPDPS 2011] where nodes were imposed to create their messages only based on their local knowledge (i.e., with the whiteboard empty). We prove that the four models studied have increasing power of computation: any problem that can be solved in the weakest one can be solved in the the second, and so on. Moreover, we exhibit problems that {\it separate} models, i.e., that can be solved in one model but not in a weaker one. These problems are related to Maximal Independent Set and detection of cycles. Finally we investigate problems related to connectivity as the construction of spanning- or BFS-tree in our different models.< Réduire

URI

https://oskar-bordeaux.fr/handle/20.500.12278/198047

Projet Européen

EUropean software defined radio for WireLEss in joint secuRity operations.

Origine

Importé de hal

Unités de recherche

Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800