-
Asynchronous Fault-Tolerant Distributed Proper Coloring of Graphs
Authors:
Alkida Balliu,
Pierre Fraigniaud,
Patrick Lambein-Monette,
Dennis Olivetti,
Mikael Rabie
Abstract:
We revisit asynchronous computing in networks of crash-prone processes, under the asynchronous variant of the standard LOCAL model, recently introduced by Fraigniaud et al. [DISC 2022]. We focus on the vertex coloring problem, and our contributions concern both lower and upper bounds for this problem.
On the upper bound side, we design an algorithm tolerating an arbitrarily large number of crash…
▽ More
We revisit asynchronous computing in networks of crash-prone processes, under the asynchronous variant of the standard LOCAL model, recently introduced by Fraigniaud et al. [DISC 2022]. We focus on the vertex coloring problem, and our contributions concern both lower and upper bounds for this problem.
On the upper bound side, we design an algorithm tolerating an arbitrarily large number of crash failures that computes an $O(Δ^2)$-coloring of any $n$-node graph of maximum degree $Δ$, in $O(\log^\star n)$ rounds. This extends Linial's seminal result from the (synchronous failure-free) LOCAL model to its asynchronous crash-prone variant. Then, by allowing a dependency on $Δ$ on the runtime, we show that we can reduce the colors to $\big(\frac12(Δ+1)(Δ+2)-1 \big)$. For cycles (i.e., for $Δ=2$), our algorithm achieves a 5-coloring of any $n$-node cycle, in $O(\log^\star n)$ rounds. This improves the known 6-coloring algorithm by Fraigniaud et al., and fixes a bug in their algorithm, which was erroneously claimed to produce a 5-coloring.
On the lower bound side, we show that, for $k<5$, and for every prime integer~$n$, no algorithm can $k$-color the $n$-node cycle in the asynchronous crash-prone variant of LOCAL, independently from the round-complexities of the algorithms. This lower bound is obtained by reduction from an original extension of the impossibility of solving weak symmetry-breaking in the wait-free shared-memory model. We show that this impossibility still holds even if the processes are provided with inputs susceptible to help breaking symmetry.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Canadian Traveller Problems in Temporal Graphs
Authors:
Thomas Bellitto,
Johanne Cohen,
Bruno Escoffier,
Minh-Hang Nguyen,
Mikael Rabie
Abstract:
This paper formalises the Canadian Traveller problem as a positional two-player game on graphs. We consider two variants depending on whether an edge is blocked. In the locally-informed variant, the traveller learns if an edge is blocked upon reaching one of its endpoints, while in the uninformed variant, they discover this only when the edge is supposed to appear. We provide a polynomial algorith…
▽ More
This paper formalises the Canadian Traveller problem as a positional two-player game on graphs. We consider two variants depending on whether an edge is blocked. In the locally-informed variant, the traveller learns if an edge is blocked upon reaching one of its endpoints, while in the uninformed variant, they discover this only when the edge is supposed to appear. We provide a polynomial algorithm for each shortest path variant in the uninformed case. This algorithm also solves the case of directed acyclic non-temporal graphs.
In the locally-informed case, we prove that finding a winning strategy is PSPACE-complete. Moreover, we establish that the problem is polynomial-time solvable when $k=1$ but NP-hard for $k\geq 2$.
Additionally, we show that the standard (non-temporal) Canadian Traveller Problem is NP-hard when there are $k\geq 4$ blocked edges, which is, to the best of our knowledge, the first hardness result for CTP for a constant number of blocked edges.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
Shared Randomness Helps with Local Distributed Problems
Authors:
Alkida Balliu,
Mohsen Ghaffari,
Fabian Kuhn,
Augusto Modanese,
Dennis Olivetti,
Mikaël Rabie,
Jukka Suomela,
Jara Uitto
Abstract:
By prior work, we have many results related to distributed graph algorithms for problems that can be defined with local constraints; the formal framework used in prior work is locally checkable labeling problems (LCLs), introduced by Naor and Stockmeyer in the 1990s. It is known, for example, that if we have a deterministic algorithm that solves an LCL in $o(\log n)$ rounds, we can speed it up to…
▽ More
By prior work, we have many results related to distributed graph algorithms for problems that can be defined with local constraints; the formal framework used in prior work is locally checkable labeling problems (LCLs), introduced by Naor and Stockmeyer in the 1990s. It is known, for example, that if we have a deterministic algorithm that solves an LCL in $o(\log n)$ rounds, we can speed it up to $O(\log^*n)$ rounds, and if we have a randomized $O(\log^*n)$ rounds algorithm, we can derandomize it for free.
It is also known that randomness helps with some LCL problems: there are LCL problems with randomized complexity $Θ(\log\log n)$ and deterministic complexity $Θ(\log n)$. However, so far there have not been any LCL problems in which the use of shared randomness has been necessary; in all prior algorithms it has been enough that the nodes have access to their own private sources of randomness.
Could it be the case that shared randomness never helps with LCLs? Could we have a general technique that takes any distributed graph algorithm for any LCL that uses shared randomness, and turns it into an equally fast algorithm where private randomness is enough?
In this work we show that the answer is no. We present an LCL problem $Π$ such that the round complexity of $Π$ is $Ω(\sqrt n)$ in the usual randomized \local model with private randomness, but if the nodes have access to a source of shared randomness, then the complexity drops to $O(\log n)$.
As corollaries, we also resolve several other open questions related to the landscape of distributed computing in the context of LCL problems. In particular, problem $Π$ demonstrates that distributed quantum algorithms for LCL problems strictly benefit from a shared quantum state. Problem $Π$ also gives a separation between finitely dependent distributions and non-signaling distributions.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Distributed Coloring in the SLEEPING Model
Authors:
Fabien Dufoulon,
Pierre Fraigniaud,
Mikaël Rabie,
Hening Zheng
Abstract:
In distributed network computing, a variant of the LOCAL model has been recently introduced, referred to as the SLEEPING model. In this model, nodes have the ability to decide on which round they are awake, and on which round they are sleeping. Two (adjacent) nodes can exchange messages in a round only if both of them are awake in that round. The SLEEPING model captures the ability of nodes to sav…
▽ More
In distributed network computing, a variant of the LOCAL model has been recently introduced, referred to as the SLEEPING model. In this model, nodes have the ability to decide on which round they are awake, and on which round they are sleeping. Two (adjacent) nodes can exchange messages in a round only if both of them are awake in that round. The SLEEPING model captures the ability of nodes to save energy when they are sleeping. In this framework, a major question is the following: is it possible to design algorithms that are energy efficient, i.e., where each node is awake for a few number of rounds only, without losing too much on the time efficiency, i.e., on the total number of rounds? This paper answers positively to this question, for one of the most fundamental problems in distributed network computing, namely $(Δ+1)$-coloring networks of maximum degree $Δ$. We provide a randomized algorithm with average awake-complexity constant, maximum awake-complexity $O(\log\log n)$ in $n$-node networks, and round-complexity $poly\!\log n$.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
When Should You Wait Before Updating? Toward a Robustness Refinement
Authors:
Swan Dubois,
Laurent Feuilloley,
Franck Petit,
Mikaël Rabie
Abstract:
Consider a dynamic network and a given distributed problem. At any point in time, there might exist several solutions that are equally good with respect to the problem specification, but that are different from an algorithmic perspective, because some could be easier to update than others when the network changes. In other words, one would prefer to have a solution that is more robust to topologic…
▽ More
Consider a dynamic network and a given distributed problem. At any point in time, there might exist several solutions that are equally good with respect to the problem specification, but that are different from an algorithmic perspective, because some could be easier to update than others when the network changes. In other words, one would prefer to have a solution that is more robust to topological changes in the network; and in this direction the best scenario would be that the solution remains correct despite the dynamic of the network.
In~\cite{CasteigtsDPR20}, the authors introduced a very strong robustness criterion: they required that for any removal of edges that maintain the network connected, the solution remains valid. They focus on the maximal independent set problem, and their approach consists in characterizing the graphs in which there exists a robust solution (the existential problem), or even stronger, where any solution is robust (the universal problem). As the robustness criteria is very demanding, few graphs have a robust solution, and even fewer are such that all of their solutions are robust. In this paper, we ask the following question: \textit{Can we have robustness for a larger class of networks, if we bound the number $k$ of edge removals allowed}? (See the full paper for the full abstract.)
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Forbidden Patterns in Temporal Graphs Resulting from Encounters in a Corridor
Authors:
Michel Habib,
Minh-Hang Nguyen,
Mikaël Rabie,
Laurent Viennot
Abstract:
In this paper, we study temporal graphs arising from mobility models where some agents move in a space and where edges appear each time two agents meet. We propose a rather natural one-dimensional model. If each pair of agents meets exactly once, we get a temporal clique where each possible edge appears exactly once. By ordering the edges according to meeting times, we get a subset of the temporal…
▽ More
In this paper, we study temporal graphs arising from mobility models where some agents move in a space and where edges appear each time two agents meet. We propose a rather natural one-dimensional model. If each pair of agents meets exactly once, we get a temporal clique where each possible edge appears exactly once. By ordering the edges according to meeting times, we get a subset of the temporal cliques. We introduce the first notion of of forbidden patterns in temporal graphs, which leads to a characterization of this class of graphs. We provide, thanks to classical combinatorial results, the number of such cliques for a given number of agents. We consider specific cases where some of the nodes are frozen, and again provide a characterization by forbidden patterns. We give a forbidden pattern when we allow multiple crossings between agents, and leave open the question of a characterization in this situation.
△ Less
Submitted 15 February, 2023;
originally announced February 2023.
-
Outage Performance of Fluid Antenna System (FAS)-aided Terahertz Communication Networks
Authors:
Leila Tlebaldiyeva,
Sultangali Arzykulov,
Khaled M. Rabie,
Xingwang Li,
Galymzhan Nauryzbayev
Abstract:
Millimeter-wave networks have already been successfully rolled out in many countries and now the research direction heads toward new technologies and standards to enable Tbps rates for future sixth-generation (6G) wireless communication systems. This work studies a point-to-point terahertz (THz) communication network exploiting the concept of a fluid antenna system (FAS) over correlated alpha-mu f…
▽ More
Millimeter-wave networks have already been successfully rolled out in many countries and now the research direction heads toward new technologies and standards to enable Tbps rates for future sixth-generation (6G) wireless communication systems. This work studies a point-to-point terahertz (THz) communication network exploiting the concept of a fluid antenna system (FAS) over correlated alpha-mu fading channels, nicely fitting the THz communication. Furthermore, the considered system is expanded to the selection-combining-FAS (SC-FAS) and maximum-gain-combining- FAS (MGC-FAS) diversity variates at the receiver side. The proposed FAS and its diversity configuration techniques are aimed to combat the high path loss, blockages, and molecular absorption effect related to the THz band. Our contribution includes comprehensive outage probability (OP) performance analysis for the THz band given the non-diversity and diversity FAS receivers. Moreover, the derived outage probability formulas are verified via Monte Carlo simulations. Numerical results have confirmed the superior performance of the MGC-FAS scheme in terms of OP. Finally, this work justifies that a higher number of antenna ports dramatically improves the system performance, even in the presence of correlation.
△ Less
Submitted 21 January, 2023;
originally announced January 2023.
-
IRS-Assisted Millimeter-wave Massive MIMO with Transmit Antenna Selection for IoT Networks
Authors:
Taissir Y. Elganimi,
Khaled M. Rabie,
Galymzhan Nauryzbayev
Abstract:
An intelligent reflecting surface (IRS)-assisted millimeter-wave (mmWave) massive multiple input multiple output (MIMO) system with transmit antenna selection (TAS) using orthogonal space-time block codes (OSTBC) scheme is proposed in this paper. This system combines TAS and IRS with hybrid analog-digital beamforming (HBF) for 60 GHz mmWave communications in order to exploit the benefits of TAS, O…
▽ More
An intelligent reflecting surface (IRS)-assisted millimeter-wave (mmWave) massive multiple input multiple output (MIMO) system with transmit antenna selection (TAS) using orthogonal space-time block codes (OSTBC) scheme is proposed in this paper. This system combines TAS and IRS with hybrid analog-digital beamforming (HBF) for 60 GHz mmWave communications in order to exploit the benefits of TAS, OSTBC, analog beamforming (ABF), and transmit digital precoding techniques. The proposed system, however, benefits from the transmit diversity gain of OSTBC scheme as well as from the signal-to-noise ratio (SNR) gains of both the beamformer and the IRS technology. The simulation results demonstrate that TAS-OSTBC system with zero-forcing precoding technique outperforms the conventional TAS system with OSTBC scheme. Furthermore, the bit error rate (BER) performance significantly im-proves as the number of antenna array elements increases due to providing a beamforming gain. In addition, increasing the number of reflecting elements further enhances the error performance. It is also found from the simulation results that the TAS-OSTBC system with hybrid precoding has better BER performance than that of TAS-OSTBC with ABF, and IRS-assisted systems significantly outperform the conventional systems without the IRS technology. This makes the proposed IRS-assisted system an appealing solution for internet-of-things (IoT) networks.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Making Self-Stabilizing any Locally Greedy Problem
Authors:
Johanne Cohen,
Laurence Pilard,
Mikaël Rabie,
Jonas Sénizergues
Abstract:
We propose a way to transform synchronous distributed algorithms solving locally greedy and mendable problems into self-stabilizing algorithms in anonymous networks. Mendable problems are a generalization of greedy problems where any partial solution may be transformed -- instead of completed -- into a global solution: every time we extend the partial solution we are allowed to change the previous…
▽ More
We propose a way to transform synchronous distributed algorithms solving locally greedy and mendable problems into self-stabilizing algorithms in anonymous networks. Mendable problems are a generalization of greedy problems where any partial solution may be transformed -- instead of completed -- into a global solution: every time we extend the partial solution we are allowed to change the previous partial solution up to a given distance. Locally here means that to extend a solution for a node, we need to look at a constant distance from it. In order to do this, we propose the first explicit self-stabilizing algorithm computing a $(k,k-1)$-ruling set (i.e. a "maximal independent set at distance $k$"). By combining multiple time this technique, we compute a distance-$K$ coloring of the graph. With this coloring we can finally simulate \local~model algorithms running in a constant number of rounds, using the colors as unique identifiers. Our algorithms work under the Gouda daemon, which is similar to the probabilistic daemon: if an event should eventually happen, it will occur under this daemon.
△ Less
Submitted 19 April, 2023; v1 submitted 31 August, 2022;
originally announced August 2022.
-
Fault Tolerant Coloring of the Asynchronous Cycle
Authors:
Pierre Fraigniaud,
Patrick Lambein-Monette,
Mikaël Rabie
Abstract:
We present a wait-free algorithm for proper coloring the n nodes of the asynchronous cycle $C_n$, where each crash-prone node starts with its (unique) identifier as input. The algorithm is independent of $n \geq 3$, and runs in $\mathrm{O}(\log^* n)$ rounds in $C_n$. This round-complexity is optimal thanks to a known matching lower bound, which applies even to synchronous (failure-free) executions…
▽ More
We present a wait-free algorithm for proper coloring the n nodes of the asynchronous cycle $C_n$, where each crash-prone node starts with its (unique) identifier as input. The algorithm is independent of $n \geq 3$, and runs in $\mathrm{O}(\log^* n)$ rounds in $C_n$. This round-complexity is optimal thanks to a known matching lower bound, which applies even to synchronous (failure-free) executions. The range of colors used by our algorithm, namely $\{0, ..., 4\}$, is optimal too, thanks to a known lower bound on the minimum number of names for which renaming is solvable wait-free in shared-memory systems, whenever $n$ is a power of a prime. Indeed, our model coincides with the shared-memory model whenever $n = 3$, and the minimum number of names for which renaming is possible in 3-process shared-memory systems is 5.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Short and local transformations between ($Δ+1$)-colorings
Authors:
Nicolas Bousquet,
Laurent Feuilloley,
Marc Heinrich,
Mikaël Rabie
Abstract:
Recoloring a graph is about finding a sequence of proper colorings of this graph from an initial coloring $σ$ to a target coloring $η$. Adding the constraint that each pair of consecutive colorings must differ on exactly one vertex, one asks: Is there a sequence of colorings from $σ$ to $η$? If yes, how short can it be?
In this paper, we focus on $(Δ+1)$-colorings of graphs of maximum degree…
▽ More
Recoloring a graph is about finding a sequence of proper colorings of this graph from an initial coloring $σ$ to a target coloring $η$. Adding the constraint that each pair of consecutive colorings must differ on exactly one vertex, one asks: Is there a sequence of colorings from $σ$ to $η$? If yes, how short can it be?
In this paper, we focus on $(Δ+1)$-colorings of graphs of maximum degree $Δ$. Feghali, Johnson and Paulusma proved that, if both colorings are non-frozen (i.e. we can change the color of a least one vertex), then a quadratic recoloring sequence always exists. We improve their result by proving that there actually exists a linear transformation (assuming that $Δ$ is a constant).
In addition, we prove that the core of our algorithm can be performed locally. Informally, this means that after some preprocessing, the color changes that a given node has to perform only depend on the colors of the vertices in a constant size neighborhood. We make this precise by designing of an efficient recoloring algorithm in the LOCAL model of distributed computing.
△ Less
Submitted 26 September, 2023; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Improved pyrotechnics : Closer to the burning graph conjecture
Authors:
Paul Bastide,
Marthe Bonamy,
Anthony Bonato,
Pierre Charbit,
Shahin Kamali,
Théo Pierron,
Mikaël Rabie
Abstract:
The Burning Number Conjecture claims that for every connected graph $G$ of order $n,$ its burning number satisfies $b(G) \le \lceil \sqrt{n} \rceil.$ While the conjecture remains open, we prove that it is asymptotically true when the order of the graph is much larger than its \emph{growth}, which is the maximal distance of a vertex to a well-chosen path in the graph. We prove that the conjecture f…
▽ More
The Burning Number Conjecture claims that for every connected graph $G$ of order $n,$ its burning number satisfies $b(G) \le \lceil \sqrt{n} \rceil.$ While the conjecture remains open, we prove that it is asymptotically true when the order of the graph is much larger than its \emph{growth}, which is the maximal distance of a vertex to a well-chosen path in the graph. We prove that the conjecture for graphs of bounded growth reduces to a finite number of cases. We provide the best-known bound on the burning number of a connected graph $G$ of order $n,$ given by $b(G) \le \sqrt{4n/3} + 1,$ improving on the previously known $\sqrt{3n/2}+O(1)$ bound. Using the improved upper bound, we show that the conjecture almost holds for all graphs with minimum degree at least $3$ and holds for all large enough graphs with minimum degree at least $4$. The previous best-known result was for graphs with minimum degree $23$.
△ Less
Submitted 4 March, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Distributed recoloring of interval and chordal graphs
Authors:
Nicolas Bousquet,
Laurent Feuilloley,
Marc Heinrich,
Mikaël Rabie
Abstract:
One of the fundamental and most-studied algorithmic problems in distributed computing on networks is graph coloring, both in bounded-degree and in general graphs. Recently, the study of this problem has been extended in two directions. First, the problem of recoloring, that is computing an efficient transformation between two given colorings (instead of computing a new coloring), has been consider…
▽ More
One of the fundamental and most-studied algorithmic problems in distributed computing on networks is graph coloring, both in bounded-degree and in general graphs. Recently, the study of this problem has been extended in two directions. First, the problem of recoloring, that is computing an efficient transformation between two given colorings (instead of computing a new coloring), has been considered, both to model radio network updates, and as a useful subroutine for coloring. Second, as it appears that general graphs and bounded-degree graphs do not model real networks very well (with, respectively, pathological worst-case topologies and too strong assumptions), coloring has been studied in more specific graph classes. In this paper, we study the intersection of these two directions: distributed recoloring in two relevant graph classes, interval and chordal graphs.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
Time-Indexed Parallel Spatial Modulation for Large-scale MIMO Systems with Antenna Grouping
Authors:
Taissir Y. Elganimi,
Khaled M. Rabie
Abstract:
A novel space-time parallel index modulation scheme is proposed in this paper for conveying extra digital information with the aid of space and time indices. In this proposed scheme, time-indexing is cleverly performed in parallel spatial modulation (PSM) schemes using transmit antenna grouping, and referred to as time-indexed parallel spatial modulation (TI-PSM). In this scheme, transmit antennas…
▽ More
A novel space-time parallel index modulation scheme is proposed in this paper for conveying extra digital information with the aid of space and time indices. In this proposed scheme, time-indexing is cleverly performed in parallel spatial modulation (PSM) schemes using transmit antenna grouping, and referred to as time-indexed parallel spatial modulation (TI-PSM). In this scheme, transmit antennas are divided into groups to adopt TI-SM scheme in large-scale multiple input multiple output (MIMO) systems with inter-channel interference (ICI) avoidance. This scheme is attractive due to both the high data rate and good performance improvement that can be achieved. The bit error rate (BER) performance of the TI-PSM scheme is evaluated and compared to that of the conventional schemes. Simulation results demonstrated that a significant improvement is achieved by the TI-PSM scheme as compared to the TI-SM and PSM schemes for the same achieved rate. It is also shown that TI-SM and TI-PSM schemes provide higher performance drop with channel estimation errors (CEEs) than the conventional SM and PSM systems. Therefore, due to the high performance improvements achieved in TI-PSM scheme, it can be effectively regarded as a promising solution for various 5G and beyond wireless networks.
△ Less
Submitted 13 March, 2021;
originally announced March 2021.
-
Multidimensional Generalized Quadrature Index Modulation for 5G Wireless Communications
Authors:
Taissir Y. Elganimi,
Khaled M. Rabie
Abstract:
Multidimensional generalized quadrature index modulation scheme is proposed in this paper for conveying extra digital information with the aid of the space, radio frequency (RF) mirrors, and time indices. Explicitly, this proposed scheme cleverly combines another proposed time-indexed generalized quadrature spatial modulation (TI-GQSM) system with media-based modulation (MBM) transmission principl…
▽ More
Multidimensional generalized quadrature index modulation scheme is proposed in this paper for conveying extra digital information with the aid of the space, radio frequency (RF) mirrors, and time indices. Explicitly, this proposed scheme cleverly combines another proposed time-indexed generalized quadrature spatial modulation (TI-GQSM) system with media-based modulation (MBM) transmission principle using RF mirrors, and it is referred to as TI-GQSM-MBM scheme. This scheme is attractive because of both the high data rate and the significant performance improvements that can be achieved. The system performance of the proposed schemes in terms of the bit error rate (BER) is evaluated and compared to the performance of the conventional schemes. Simulation results showed that a significant improvement is achieved by the TI-GQSM-MBM scheme as compared to that of TI-GQSM, time-indexed media-based modulation (TI-MBM) and the conventional generalized quadrature spatial modulation (GQSM) schemes for the same rate. It is also demonstrated that the proposed schemes are robust to channel estimation errors (CEEs) as compared to multidimensional generalized spatial modulation (GSM) schemes. Therefore, the proposed schemes can be effectively used as an alternative solution for various 5G and beyond wireless networks.
△ Less
Submitted 12 March, 2021;
originally announced March 2021.
-
Distributed Computing in the Asynchronous LOCAL model
Authors:
Carole Delporte-Gallet,
Hugues Fauconnier,
Pierre Fraigniaud,
Mikaël Rabie
Abstract:
The LOCAL model is among the main models for studying locality in the framework of distributed network computing. This model is however subject to pertinent criticisms, including the facts that all nodes wake up simultaneously, perform in lock steps, and are failure-free. We show that relaxing these hypotheses to some extent does not hurt local computing. In particular, we show that, for any const…
▽ More
The LOCAL model is among the main models for studying locality in the framework of distributed network computing. This model is however subject to pertinent criticisms, including the facts that all nodes wake up simultaneously, perform in lock steps, and are failure-free. We show that relaxing these hypotheses to some extent does not hurt local computing. In particular, we show that, for any construction task $T$ associated to a locally checkable labeling (LCL), if $T$ is solvable in $t$ rounds in the LOCAL model, then $T$ remains solvable in $O(t)$ rounds in the asynchronous LOCAL model. This improves the result by Castañeda et al. [SSS 2016], which was restricted to 3-coloring the rings. More generally, the main contribution of this paper is to show that, perhaps surprisingly, asynchrony and failures in the computations do not restrict the power of the LOCAL model, as long as the communications remain synchronous and failure-free.
△ Less
Submitted 6 December, 2019; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Wireless Broadcast with short labelling
Authors:
Gewu Bu,
Maria Potop-Butucaru,
Mikael Rabie
Abstract:
In this paper, we study the broadcast problem in wireless networks when the broadcast is helped by a labelling scheme. We focus on two variants of broadcast: broadcast without acknowledgment (i.e. the initiator of the broadcast is not notified at the end of broadcast) and broadcast with acknowledgment. Our contribution is threefold. First, we improve in terms of memory complexity a recent labellin…
▽ More
In this paper, we study the broadcast problem in wireless networks when the broadcast is helped by a labelling scheme. We focus on two variants of broadcast: broadcast without acknowledgment (i.e. the initiator of the broadcast is not notified at the end of broadcast) and broadcast with acknowledgment. Our contribution is threefold. First, we improve in terms of memory complexity a recent labelling-based broadcast scheme with acknowledgment designed for arbitrary networks.Second, we propose label optimal broadcast algorithms in Level Separable Networks (a class of networks issued from recent studies in Wireless Body Area Networks). In this class of networks we propose an acknowledgment-free broadcast strategy using 1-bit labels and broadcast with acknowledgment using 2-bits labels. In the class of level-separable networks, our algorithms finish within 2D rounds, where D is the eccentricity of the broadcast initiator. Interestingly, the time complexity of broadcast in the case of level-separable networks does not depend on the size of the network but rather on the initiator eccentricity which makes this class of graphs interesting for further investigation. Finally, we study the hardness of determining that a graph is level separable. Our study shows that even though checking that a separation is a level separation can be done in polynomial time, determining that a graph has the level separable property is NP-complete. This result opens interesting independent research directions.
△ Less
Submitted 29 January, 2020; v1 submitted 25 January, 2019;
originally announced January 2019.
-
Lower bounds for maximal matchings and maximal independent sets
Authors:
Alkida Balliu,
Sebastian Brandt,
Juho Hirvonen,
Dennis Olivetti,
Mikaël Rabie,
Jukka Suomela
Abstract:
There are distributed graph algorithms for finding maximal matchings and maximal independent sets in $O(Δ+ \log^* n)$ communication rounds; here $n$ is the number of nodes and $Δ$ is the maximum degree. The lower bound by Linial (1987, 1992) shows that the dependency on $n$ is optimal: these problems cannot be solved in $o(\log^* n)$ rounds even if $Δ= 2$. However, the dependency on $Δ$ is a long-…
▽ More
There are distributed graph algorithms for finding maximal matchings and maximal independent sets in $O(Δ+ \log^* n)$ communication rounds; here $n$ is the number of nodes and $Δ$ is the maximum degree. The lower bound by Linial (1987, 1992) shows that the dependency on $n$ is optimal: these problems cannot be solved in $o(\log^* n)$ rounds even if $Δ= 2$. However, the dependency on $Δ$ is a long-standing open question, and there is currently an exponential gap between the upper and lower bounds.
We prove that the upper bounds are tight. We show that any algorithm that finds a maximal matching or maximal independent set with probability at least $1-1/n$ requires $Ω(\min\{Δ,\log \log n / \log \log \log n\})$ rounds in the LOCAL model of distributed computing. As a corollary, it follows that any deterministic algorithm that finds a maximal matching or maximal independent set requires $Ω(\min\{Δ, \log n / \log \log n\})$ rounds; this is an improvement over prior lower bounds also as a function of $n$.
△ Less
Submitted 10 December, 2021; v1 submitted 8 January, 2019;
originally announced January 2019.
-
The distributed complexity of locally checkable problems on paths is decidable
Authors:
Alkida Balliu,
Sebastian Brandt,
Yi-Jun Chang,
Dennis Olivetti,
Mikaël Rabie,
Jukka Suomela
Abstract:
Consider a computer network that consists of a path with $n$ nodes. The nodes are labeled with inputs from a constant-sized set, and the task is to find output labels from a constant-sized set subject to some local constraints---more formally, we have an LCL (locally checkable labeling) problem. How many communication rounds are needed (in the standard LOCAL model of computing) to solve this probl…
▽ More
Consider a computer network that consists of a path with $n$ nodes. The nodes are labeled with inputs from a constant-sized set, and the task is to find output labels from a constant-sized set subject to some local constraints---more formally, we have an LCL (locally checkable labeling) problem. How many communication rounds are needed (in the standard LOCAL model of computing) to solve this problem?
It is well known that the answer is always either $O(1)$ rounds, or $Θ(\log^* n)$ rounds, or $Θ(n)$ rounds. In this work we show that this question is decidable (albeit PSPACE-hard): we present an algorithm that, given any LCL problem defined on a path, outputs the distributed computational complexity of this problem and the corresponding asymptotically optimal algorithm.
△ Less
Submitted 18 February, 2019; v1 submitted 5 November, 2018;
originally announced November 2018.
-
Distributed Reconfiguration of Maximal Independent Sets
Authors:
Keren Censor-Hillel,
Mikaël Rabie
Abstract:
In this paper, we investigate a distributed maximal independent set (MIS) reconfiguration problem, in which there are two maximal independent sets for which every node is given its membership status, and the nodes need to communicate with their neighbors in order to find a reconfiguration schedule that switches from the first MIS to the second. Such a schedule is a list of independent sets that is…
▽ More
In this paper, we investigate a distributed maximal independent set (MIS) reconfiguration problem, in which there are two maximal independent sets for which every node is given its membership status, and the nodes need to communicate with their neighbors in order to find a reconfiguration schedule that switches from the first MIS to the second. Such a schedule is a list of independent sets that is restricted by forbidding two neighbors to change their membership status at the same step. In addition, these independent sets should provide some covering guarantee. We show that obtaining an actual MIS (and even a 3-dominating set) in each intermediate step is impossible. However, we provide efficient solutions when the intermediate sets are only required to be independent and 4-dominating, which is almost always possible, as we fully characterize. Consequently, our goal is to pin down the tradeoff between the possible length of the schedule and the number of communication rounds. We prove that a constant length schedule can be found in $O(\texttt{MIS}+\texttt{R32})$ rounds, where $\texttt{MIS}$ is the complexity of finding an MIS in a worst-case graph and $\texttt{R32}$ is the complexity of finding a $(3,2)$-ruling set. For bounded degree graphs, this is $O(\log^*n)$ rounds and we show that it is necessary. On the other extreme, we show that with a constant number of rounds we can find a linear length schedule.
△ Less
Submitted 20 February, 2019; v1 submitted 4 October, 2018;
originally announced October 2018.
-
Distributed Recoloring
Authors:
Marthe Bonamy,
Paul Ouvrard,
Mikaël Rabie,
Jukka Suomela,
Jara Uitto
Abstract:
Given two colorings of a graph, we consider the following problem: can we recolor the graph from one coloring to the other through a series of elementary changes, such that the graph is properly colored after each step?
We introduce the notion of distributed recoloring: The input graph represents a network of computers that needs to be recolored. Initially, each node is aware of its own input co…
▽ More
Given two colorings of a graph, we consider the following problem: can we recolor the graph from one coloring to the other through a series of elementary changes, such that the graph is properly colored after each step?
We introduce the notion of distributed recoloring: The input graph represents a network of computers that needs to be recolored. Initially, each node is aware of its own input color and target color. The nodes can exchange messages with each other, and eventually each node has to stop and output its own recoloring schedule, indicating when and how the node changes its color. The recoloring schedules have to be globally consistent so that the graph remains properly colored at each point, and we require that adjacent nodes do not change their colors simultaneously.
We are interested in the following questions: How many communication rounds are needed (in the LOCAL model of distributed computing) to find a recoloring schedule? What is the length of the recoloring schedule? And how does the picture change if we can use extra colors to make recoloring easier?
The main contributions of this work are related to distributed recoloring with one extra color in the following graph classes: trees, $3$-regular graphs, and toroidal grids.
△ Less
Submitted 17 January, 2019; v1 submitted 19 February, 2018;
originally announced February 2018.
-
Ergodic Capacity Analysis of Wireless Powered AF Relaying Systems over $α$-$μ$ Fading Channels
Authors:
Galymzhan Nauryzbayev,
Khaled M. Rabie,
Mohamed Abdallah,
Bamidele Adebisi
Abstract:
In this paper, we consider a two-hop amplify-and-forward (AF) relaying system, where the relay node is energy-constrained and harvests energy from the source node. In the literature, there are three main energy-harvesting (EH) protocols, namely, time-switching relaying (TSR), power-splitting (PS) relaying (PSR) and ideal relaying receiver (IRR). Unlike the existing studies, in this paper, we consi…
▽ More
In this paper, we consider a two-hop amplify-and-forward (AF) relaying system, where the relay node is energy-constrained and harvests energy from the source node. In the literature, there are three main energy-harvesting (EH) protocols, namely, time-switching relaying (TSR), power-splitting (PS) relaying (PSR) and ideal relaying receiver (IRR). Unlike the existing studies, in this paper, we consider $α$-$μ$ fading channels. In this respect, we derive accurate unified analytical expressions for the ergodic capacity for the aforementioned protocols over independent but not identically distributed (i.n.i.d) $α$-$μ$ fading channels. Three special cases of the $α$-$μ$ model, namely, Rayleigh, Nakagami-mandWeibull fading channels were investigated. Our analysis is verified through numerical and simulation results. It is shown that finding the optimal value of the PS factor for the PSR protocol and the EH time fraction for the TSR protocol is a crucial step in achieving the best network performance.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Homonym Population Protocols
Authors:
Olivier Bournez,
Johanne Cohen,
Mikaël Rabie
Abstract:
The population protocol model was introduced by Angluin \emph{et al.} as a model of passively mobile anonymous finite-state agents. This model computes a predicate on the multiset of their inputs via interactions by pairs. The original population protocol model has been proved to compute only semi-linear predicates and has been recently extended in various ways. In the community protocol model by…
▽ More
The population protocol model was introduced by Angluin \emph{et al.} as a model of passively mobile anonymous finite-state agents. This model computes a predicate on the multiset of their inputs via interactions by pairs. The original population protocol model has been proved to compute only semi-linear predicates and has been recently extended in various ways. In the community protocol model by Guerraoui and Ruppert, agents have unique identifiers but may only store a finite number of the identifiers they already heard about. The community protocol model provides the power of a Turing machine with a $O(n\log n)$ space. We consider variations on the two above models and we obtain a whole landscape that covers and extends already known results. Namely, by considering the case of homonyms, that is to say the case when several agents may share the same identifier, we provide a hierarchy that goes from the case of no identifier (population protocol model) to the case of unique identifiers (community protocol model). We obtain in particular that any Turing Machine on space $O(\log^{O(1)} n)$ can be simulated with at least $O(\log^{O(1)} n)$ identifiers, a result filling a gap left open in all previous studies. Our results also extend and revisit in particular the hierarchy provided by Chatzigiannakis \emph{et al.} on population protocols carrying Turing Machines on limited space, solving the problem of the gap left by this work between per-agent space $o(\log \log n)$ (proved to be equivalent to population protocols) and $O(\log n)$ (proved to be equivalent to Turing machines).
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Homonym Population Protocols, or Providing a Small Space of Computation Using a Few Identifiers
Authors:
Olivier Bournez,
Johanne Cohen,
Mikaël Rabie
Abstract:
Population protocols have been introduced by Angluin et al. as a model in which n passively mobile anonymous finite-state agents stably compute a predicate on the multiset of their inputs via interactions by pairs. The model has been extended by Guerraoui and Ruppert to yield the community protocol models where agents have unique identifiers but may only store a finite number of the identifiers th…
▽ More
Population protocols have been introduced by Angluin et al. as a model in which n passively mobile anonymous finite-state agents stably compute a predicate on the multiset of their inputs via interactions by pairs. The model has been extended by Guerraoui and Ruppert to yield the community protocol models where agents have unique identifiers but may only store a finite number of the identifiers they already heard about. The population protocol models can only compute semi-linear predicates, whereas in the community protocol model the whole community of agents provides collectively the power of a Turing machine with a O(n log n) space. We consider variations on the above models and we obtain a whole landscape that covers and extends already known results: By considering the case of homonyms, that is to say the case when several agents may share the same identifier, we provide a hierarchy that goes from the case of no identifier (i.e. a single one for all, i.e. the population protocol model) to the case of unique identifiers (i.e. community protocol model). We obtain in particular that any Turing Machine on space O(logO(1) n) can be simulated with at least O(logO(1) n) identifiers, a result filling a gap left open in all previous studies. Our results also extend and revisit in particular the hierarchy provided by Chatzigiannakis et al. on population protocols carrying Turing Machines on limited space, solving the problem of the gap left by this work between per-agent space o(log log n) (proved to be equivalent to population protocols) and O(log n) (proved to be equivalent to Turing machines).
△ Less
Submitted 20 February, 2019; v1 submitted 8 December, 2014;
originally announced December 2014.
-
Asymetric Pavlovian Populations
Authors:
Olivier Bournez,
Jérémie Chalopin,
Johanne Cohen,
Xavier Koegler,
Mikael Rabie
Abstract:
Population protocols have been introduced by Angluin et al. as a model of networks consisting of very limited mobile agents that interact in pairs but with no control over their own movement. A collection of anonymous agents, modeled by finite automata, interact pairwise according to some rules that update their states. Predicates on the initial configurations that can be computed by such protocol…
▽ More
Population protocols have been introduced by Angluin et al. as a model of networks consisting of very limited mobile agents that interact in pairs but with no control over their own movement. A collection of anonymous agents, modeled by finite automata, interact pairwise according to some rules that update their states. Predicates on the initial configurations that can be computed by such protocols have been characterized as semi-linear predicates. In an orthogonal way, several distributed systems have been termed in literature as being realizations of games in the sense of game theory. We investigate under which conditions population protocols, or more generally pairwise interaction rules, correspond to games. We show that restricting to asymetric games is not really a restric- tion: all predicates computable by protocols can actually be computed by protocols corresponding to games, i.e. any semi-linear predicate can be computed by a Pavlovian population multi-protocol.
△ Less
Submitted 20 September, 2011;
originally announced September 2011.