-
New Bounds for Time-Dependent Scheduling with Uniform Deterioration
Authors:
Angelos Gkikas,
Dimitrios Letsios,
Tomasz Radzik,
Kathleen Steinhöfel
Abstract:
Time-dependent scheduling with linear deterioration involves determining when to execute jobs whose processing times degrade as their beginning is delayed. Each job i is associated with a release time r_i and a processing time function p_i(s_i)=alpha_i + beta_i*s_i, where alpha_i, beta_i>0$ are constants and s_i is the job's start time. In this setting, the approximability of both single-machine m…
▽ More
Time-dependent scheduling with linear deterioration involves determining when to execute jobs whose processing times degrade as their beginning is delayed. Each job i is associated with a release time r_i and a processing time function p_i(s_i)=alpha_i + beta_i*s_i, where alpha_i, beta_i>0$ are constants and s_i is the job's start time. In this setting, the approximability of both single-machine minimum makespan and total completion time problems remains open. Here, we take a step forward by develo** new bounds and approximation results for the interesting special case of the problems with uniform deterioration, i.e.\ beta_i=beta, for each i. The key contribution is a O(1+1/beta)-approximation algorithm for the makespan problem and a O(1+1/beta^2)-approximation algorithm for the total completion time problem. Further, we propose greedy constant-factor approximation algorithms for instances with beta=O(1/n) and beta=Omega(n), where n is the number of jobs. Our analysis is based on a new approach for comparing computed and optimal schedules via bounding pseudomatchings.
△ Less
Submitted 2 July, 2023;
originally announced July 2023.
-
Discrete Incremental Voting
Authors:
Colin Cooper,
Tomasz Radzik,
Takeharu Shiraga
Abstract:
We consider a type of pull voting suitable for discrete numeric opinions which can be compared on a linear scale, for example, 1 ('disagree strongly'), 2 ('disagree'), $\ldots,$ 5 ('agree strongly'). On observing the opinion of a random neighbour, a vertex changes its opinion incrementally towards the value of the neighbour's opinion, if different. For opinions drawn from a set $\{1,2,\ldots,k\}$,…
▽ More
We consider a type of pull voting suitable for discrete numeric opinions which can be compared on a linear scale, for example, 1 ('disagree strongly'), 2 ('disagree'), $\ldots,$ 5 ('agree strongly'). On observing the opinion of a random neighbour, a vertex changes its opinion incrementally towards the value of the neighbour's opinion, if different. For opinions drawn from a set $\{1,2,\ldots,k\}$, the opinion of the vertex would change by $+1$ if the opinion of the neighbour is larger, or by $-1$, if it is smaller.
It is not clear how to predict the outcome of this process, but we observe that the total weight of the system, that is, the sum of the individual opinions of all vertices, is a martingale. This allows us analyse the outcome of the process on some classes of dense expanders such as clique graphs $K_n$ and random graphs $ G_{n,p}$ for suitably large $p$. If the average of the original opinions satisfies $i \le c \le i+1$ for some integer $i$, then the asymptotic probability that opinion $i$ wins is $i+1-c$, and the probability that opinion $i+1$ wins is $c-i$. With high probability, the winning opinion cannot be other than $i$ or $i+1$.
To contrast this, we show that for a path and opinions $0,1,2$ arranged initially in non-decreasing order along the path, the outcome is very different. Any of the opinions can win with constant probability, provided that each of the two extreme opinions $0$ and $2$ is initially supported by a constant fraction of vertices.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
A simple model of influence
Authors:
Colin Cooper,
Nan Kang,
Tomasz Radzik
Abstract:
We propose a simple model of influence in a network, based on edge density. In the model vertices (people) follow the opinion of the group they belong to. The opinion percolates down from an active vertex, the influencer, at the head of the group. Groups can merge, based on interactions between influencers (i.e., interactions along `active edges' of the network), so that the number of opinions is…
▽ More
We propose a simple model of influence in a network, based on edge density. In the model vertices (people) follow the opinion of the group they belong to. The opinion percolates down from an active vertex, the influencer, at the head of the group. Groups can merge, based on interactions between influencers (i.e., interactions along `active edges' of the network), so that the number of opinions is reduced. Eventually no active edges remain, and the groups and their opinions become static.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Distributed Averaging in Opinion Dynamics
Authors:
Petra Berenbrink,
Colin Cooper,
Cristina Gava,
David Kohan Marzagão,
Frederik Mallmann-Trenn,
Nicolás Rivera,
Tomasz Radzik
Abstract:
We consider two simple asynchronous opinion dynamics on arbitrary graphs where every node $u$ has an initial value $ξ_u(0)$. In the first process, the NodeModel, at each time step $t\ge 0$, a random node $u$ and a random sample of $k$ of its neighbours $v_1,v_2,\cdots,v_k$ are selected. Then, $u$ updates its current value $ξ_u(t)$ to $ξ_u(t+1) = αξ_u(t) + \frac{(1-α)}{k} \sum_{i=1}^k ξ_{v_i}(t)$,…
▽ More
We consider two simple asynchronous opinion dynamics on arbitrary graphs where every node $u$ has an initial value $ξ_u(0)$. In the first process, the NodeModel, at each time step $t\ge 0$, a random node $u$ and a random sample of $k$ of its neighbours $v_1,v_2,\cdots,v_k$ are selected. Then, $u$ updates its current value $ξ_u(t)$ to $ξ_u(t+1) = αξ_u(t) + \frac{(1-α)}{k} \sum_{i=1}^k ξ_{v_i}(t)$, where $α\in (0,1)$ and $k\ge 1$ are parameters of the process. In the second process, the EdgeModel, at each step a random pair of adjacent nodes $(u,v)$ is selected, and then node $u$ updates its value equivalently to the NodeModel with $k=1$ and $v$ as the selected neighbour. For both processes, the values of all nodes converge to $F$, a random variable depending on the random choices made in each step. For the NodeModel and regular graphs, and for the EdgeModel and arbitrary graphs, the expectation of $F$ is the average of the initial values $\frac{1}{n}\sum_{u\in V} ξ_u(0)$. For the NodeModel and non-regular graphs, the expectation of $F$ is the degree-weighted average of the initial values. Our results are two-fold. We consider the concentration of $F$ and show tight bounds on the variance of $F$ for regular graphs. We show that, when the initial values do not depend on the number of nodes, then the variance is negligible, hence the nodes are able to estimate the initial average of the node values. Interestingly, this variance does not depend on the graph structure. For the proof we introduce a duality between our processes and a process of two correlated random walks. We also analyse the convergence time for both models and for arbitrary graphs, showing bounds on the time $T_\varepsilon$ required to make all node values `$\varepsilon$-close' to each other. Our bounds are asymptotically tight under assumptions on the distribution of the initial values.
△ Less
Submitted 11 May, 2023; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Perpetual maintenance of machines with different urgency requirements
Authors:
Leszek Gąsieniec,
Tomasz Jurdziński,
Ralf Klasing,
Christos Levcopoulos,
Andrzej Lingas,
Jie Min,
Tomasz Radzik
Abstract:
A garden $G$ is populated by $n\ge 1$ bamboos $b_1, b_2, ..., b_n$ with the respective daily growth rates $h_1 \ge h_2 \ge \dots \ge h_n$. It is assumed that the initial heights of bamboos are zero. The robotic gardener maintaining the garden regularly attends bamboos and trims them to height zero according to some schedule. The Bamboo Garden Trimming Problem (BGT) is to design a perpetual schedul…
▽ More
A garden $G$ is populated by $n\ge 1$ bamboos $b_1, b_2, ..., b_n$ with the respective daily growth rates $h_1 \ge h_2 \ge \dots \ge h_n$. It is assumed that the initial heights of bamboos are zero. The robotic gardener maintaining the garden regularly attends bamboos and trims them to height zero according to some schedule. The Bamboo Garden Trimming Problem (BGT) is to design a perpetual schedule of cuts to maintain the elevation of the bamboo garden as low as possible. The bamboo garden is a metaphor for a collection of machines which have to be serviced, with different frequencies, by a robot which can service only one machine at a time. The objective is to design a perpetual schedule of servicing which minimizes the maximum (weighted) waiting time for servicing.
We consider two variants of BGT. In discrete BGT the robot trims only one bamboo at the end of each day. In continuous BGT the bamboos can be cut at any time, however, the robot needs time to move from one bamboo to the next.
For discrete BGT, we show tighter approximation algorithms for the case when the growth rates are balanced and for the general case. The former algorithm settles one of the conjectures about the Pinwheel problem. The general approximation algorithm improves on the previous best approximation ratio. For continuous BGT, we propose approximation algorithms which achieve approximation ratios $O(\log \lceil h_1/h_n\rceil)$ and $O(\log n)$.
△ Less
Submitted 25 August, 2023; v1 submitted 3 February, 2022;
originally announced February 2022.
-
Servicing Timed Requests on a Line
Authors:
A. Gkikas,
T. Radzik
Abstract:
We consider an off-line optimisation problem where $k$ robots must service $n$ requests on a single line. A request $i$ has weight $w_i$ and takes place at time $t_i$ at location $d_i$ on the line. A robot can service a request and collect the weight $w_i$, if it is present at $d_i$ at time $t_i$. The objective is to find $k$ robot-schedules that maximize the total weight. The optimisation problem…
▽ More
We consider an off-line optimisation problem where $k$ robots must service $n$ requests on a single line. A request $i$ has weight $w_i$ and takes place at time $t_i$ at location $d_i$ on the line. A robot can service a request and collect the weight $w_i$, if it is present at $d_i$ at time $t_i$. The objective is to find $k$ robot-schedules that maximize the total weight. The optimisation problem is motivated by a robotics application [Asahiro et al. Discrete Applied Mathematics, 2006] and can be modeled as a minimum cost flow problem with unit capacities in a flow network $\mathcal{N}$. Consequently, we ask for a collection of $k$ node-disjoint paths from the source $s$ to the sink $t$ in $\mathcal{N}$, with minimum total weight. It was shown in [Asahiro et al. Discrete Applied Mathematics, 2006] that the flow network $\mathcal{N}$ can be implicitly represented by $n$ points on the plane which yields to an $O(n \log n)$-time algorithm for $k=1$ and the special case where all requests have the same weight. However, for $k \geq 2$ the problem can be solved in $O(kn^2)$ time with the successive shortest path algorithm which does not use this implicit representation. We consider arbitrary request weights and show a recursive $O(k^{2k}n \log^{2k} n)$-time algorithm which improves the previous bound if $k$ is considered constant. Our result also improves the running time of previous algorithms for other variants of the optimisation problem. Finally, we show problem properties that may be useful within the context of applications that motivate the problem and may yield to more efficient algorithms.
△ Less
Submitted 30 November, 2021;
originally announced November 2021.
-
On Counting the Population Size
Authors:
Petra Berenbrink,
Dominik Kaaser,
Tomasz Radzik
Abstract:
We consider the problem of counting the population size in the population model. In this model, we are given a distributed system of $n$ identical agents which interact in pairs with the goal to solve a common task. In each time step, the two interacting agents are selected uniformly at random. In this paper, we consider so-called uniform protocols, where the actions of two agents upon an interact…
▽ More
We consider the problem of counting the population size in the population model. In this model, we are given a distributed system of $n$ identical agents which interact in pairs with the goal to solve a common task. In each time step, the two interacting agents are selected uniformly at random. In this paper, we consider so-called uniform protocols, where the actions of two agents upon an interaction may not depend on the population size $n$. We present two population protocols to count the size of the population: protocol Approximate, which computes with high probability either $\lfloor\log n\rfloor$ or $\lceil\log n\rceil$, and protocol CountExact, which computes the exact population size in optimal $\operatorname{O}({n\log{n}})$ interactions, using $\tilde{\operatorname{O}}({n})$ states. Both protocols can also be converted to stable protocols that give a correct result with probability $1$ by using an additional multiplicative factor of $\operatorname{O}({\log{n}})$ states.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
A population protocol for exact majority with $O(\log^{5/3} n)$ stabilization time and asymptotically optimal number of states
Authors:
Petra Berenbrink,
Robert Elsässer,
Tom Friedetzky,
Dominik Kaaser,
Peter Kling,
Tomasz Radzik
Abstract:
A population protocol can be viewed as a sequence of pairwise interactions of $n$ agents (nodes). During one interaction, two agents selected uniformly at random update their states by applying a specified deterministic transition function. In a long run, the whole system should stabilize at the correct output property. The main performance objectives in designing population protocols are small nu…
▽ More
A population protocol can be viewed as a sequence of pairwise interactions of $n$ agents (nodes). During one interaction, two agents selected uniformly at random update their states by applying a specified deterministic transition function. In a long run, the whole system should stabilize at the correct output property. The main performance objectives in designing population protocols are small number of states per agent and fast stabilization time.
We present a fast population protocol for the exact-majority problem which uses $Θ(\log n)$ states (per agent) and stabilizes in $O(\log^{5/3} n)$ parallel time (i.e., $O(n\log^{5/3} n)$ interactions) in expectation and with high probability. Alistarh et al. [SODA 2018] showed that any exact-majority protocol which stabilizes in expected $O(n^{1-ε})$ parallel time, for any constant $ε> 0$, requires $Ω(\log n)$ states. They also showed an $O(\log^2 n)$-time protocol with $O(\log n)$ states, the currently fastest exact-majority protocol with polylogarithmic number of states. The standard design framework for majority protocols is based on $O(\log n)$ phases and requires that all nodes are well synchronized within each phase, leading naturally to upper bounds of the order of at least $\log^2 n$ because of $Θ(\log n)$ synchronization time per phase. We show how this framework can be tightened with {\em weak synchronization} to break the $O(\log^2 n)$ upper bound of previous protocols.
△ Less
Submitted 10 June, 2018; v1 submitted 14 May, 2018;
originally announced May 2018.
-
Time-space Trade-offs in Population Protocols for the Majority Problem
Authors:
Petra Berenbrink,
Robert Elsässer,
Tom Friedetzky,
Dominik Kaaser,
Peter Kling,
Tomasz Radzik
Abstract:
Population protocols are a model for distributed computing that is focused on simplicity and robustness. A system of $n$ identical agents (finite state machines) performs a global task like electing a unique leader or determining the majority opinion when each agent has one of two opinions. Agents communicate in pairwise interactions with randomly assigned communication partners. Quality is measur…
▽ More
Population protocols are a model for distributed computing that is focused on simplicity and robustness. A system of $n$ identical agents (finite state machines) performs a global task like electing a unique leader or determining the majority opinion when each agent has one of two opinions. Agents communicate in pairwise interactions with randomly assigned communication partners. Quality is measured in two ways: the number of interactions to complete the task and the number of states per agent. We present protocols for the majority problem that allow for a trade-off between these two measures. Compared to the only other trade-off result [Alistarh, Gelashvili, Vojnovic; PODC'15], we improve the number of interactions by almost a linear factor. Furthermore, our protocols can be made uniform (working correctly without any information on the population size $n$), yielding the first uniform majority protocols that stabilize in a subquadratic number of interactions.
△ Less
Submitted 17 July, 2020; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Dispersion processes
Authors:
Colin Cooper,
Andrew McDowell,
Tomasz Radzik,
Nicolas Rivera,
Takeharu Shiraga
Abstract:
We study a synchronous dispersion process in which $M$ particles are initially placed at a distinguished origin vertex of a graph $G$. At each time step, at each vertex $v$ occupied by more than one particle at the beginning of this step, each of these particles moves to a neighbour of $v$ chosen independently and uniformly at random. The dispersion process ends once the particles have all stopped…
▽ More
We study a synchronous dispersion process in which $M$ particles are initially placed at a distinguished origin vertex of a graph $G$. At each time step, at each vertex $v$ occupied by more than one particle at the beginning of this step, each of these particles moves to a neighbour of $v$ chosen independently and uniformly at random. The dispersion process ends once the particles have all stopped moving, i.e. at the first step at which each vertex is occupied by at most one particle.
For the complete graph $K_n$ and star graph $S_n$, we show that for any constant $δ>1$, with high probability, if $M \le n/2(1-δ)$, then the process finishes in $O(\log n)$ steps, whereas if $M \ge n/2(1+δ)$, then the process needs $e^{Ω(n)}$ steps to complete (if ever). We also show that an analogous lazy variant of the process exhibits the same behaviour but for higher thresholds, allowing faster dispersion of more particles.
For paths, trees, grids, hypercubes and Cayley graphs of large enough sizes (in terms of $M$) we give bounds on the time to finish and the maximum distance traveled from the origin as a function of the number of particles $M$.
△ Less
Submitted 9 December, 2017;
originally announced December 2017.
-
Population protocols for leader election and exact majority with O(log^2 n) states and O(log^2 n) convergence time
Authors:
Andreas Bilke,
Colin Cooper,
Robert Elsaesser,
Tomasz Radzik
Abstract:
We consider the model of population protocols, which can be viewed as a sequence of random pairwise interactions of $n$ agents (nodes). We show population protocols for two problems: the leader election and the exact majority voting. The leader election starts with all agents in the same initial state and the goal is to converge to the (global) state when exactly one agent is in a distinct state…
▽ More
We consider the model of population protocols, which can be viewed as a sequence of random pairwise interactions of $n$ agents (nodes). We show population protocols for two problems: the leader election and the exact majority voting. The leader election starts with all agents in the same initial state and the goal is to converge to the (global) state when exactly one agent is in a distinct state $L$. The exact majority voting starts with each agent in one of the two distinct states $A$ or $B$ and the goal is to make all nodes know which of these two states was the initial majority state, even if that majority was just by a single vote.
Alistarh and Gelashvili [ICALP 2015] showed a leader-election protocol which converges in $O(\log^3 n)$ time w.h.p. and in expectation and needs $Θ(\log^3 n)$ states per agent. We present a protocol which elects the leader in $O(\log^2 n)$ time w.h.p. and in expectation and uses $Θ(\log^2 n)$ states per agent. For the exact majority voting, we show a population protocol with the same asymptotic performance: $O(\log^2 n)$ time and $Θ(\log^2 n)$ states per agent. The exact-majority protocol proposed by Alistarh et al. [PODC 2015] achieves expected $O(\log^2 n)$ time, but requires a relatively high initial imbalance between $A$'s and $B$'s or a large number of states per agent. More recently, Alistarh et al. [SODA 2017] showed $O(\log^2 n)$-state protocols for both problems, with the exact majority protocol converging in time $O(\log^3 n)$, and the leader election protocol converging in time $O(\log^{6.3} n)$ w.h.p. and $O(\log^{5.3} n)$ in expectation.
Our leader election and exact majority protocols are based on the idea of agents counting their local interactions and rely on the probabilistic fact that the uniform random selection would limit the divergence of the individual counts.
△ Less
Submitted 2 May, 2017;
originally announced May 2017.
-
Fast plurality consensus in regular expanders
Authors:
Colin Cooper,
Tomasz Radzik,
Nicolás Rivera,
Takeharu Shiraga
Abstract:
Pull voting is a classic method to reach consensus among $n$ vertices with differing opinions in a distributed network: each vertex at each step takes on the opinion of a random neighbour. This method, however, suffers from two drawbacks. Even if there are only two opposing opinions, the time taken for a single opinion to emerge can be slow and the final opinion is not necessarily the initially he…
▽ More
Pull voting is a classic method to reach consensus among $n$ vertices with differing opinions in a distributed network: each vertex at each step takes on the opinion of a random neighbour. This method, however, suffers from two drawbacks. Even if there are only two opposing opinions, the time taken for a single opinion to emerge can be slow and the final opinion is not necessarily the initially held majority.
We refer to a protocol where 2 neighbours are contacted at each step as a 2-sample voting protocol. In the two-sample protocol a vertex updates its opinion only if both sampled opinions are the same. Not much was known about the performance of two-sample voting on general expanders in the case of three or more opinions. In this paper we show that the following performance can be achieved on a $d$-regular expander using two-sample voting. We suppose there are $k \ge 3$ opinions, and that the initial size of the largest and second largest opinions is $A_1, A_2$ respectively.
We prove that, if $A_1 - A_2 \ge C n \max\{\sqrt{(\log n)/A_1}, λ\}$, where $λ$ is the absolute second eigenvalue of matrix $P=Adj(G)/d$ and $C$ is a suitable constant, then the largest opinion wins in $O((n \log n)/A_1)$ steps with high probability.
For almost all $d$-regular graphs, we have $λ=c/\sqrt{d}$ for some constant $c>0$. This means that as $d$ increases we can separate an opinion whose majority is $o(n)$, whereas $Θ(n)$ majority is required for $d$ constant.
This work generalizes the results of Becchetti et. al (SPAA 2014) for the complete graph $K_n$.
△ Less
Submitted 13 April, 2017; v1 submitted 26 May, 2016;
originally announced May 2016.
-
The coalescing-branching random walk on expanders and the dual epidemic process
Authors:
Colin Cooper,
Tomasz Radzik,
Nicolas Rivera
Abstract:
Information propagation on graphs is a fundamental topic in distributed computing. One of the simplest models of information propagation is the push protocol in which at each round each agent independently pushes the current knowledge to a random neighbour. In this paper we study the so-called coalescing-branching random walk (COBRA), in which each vertex pushes the information to $k$ randomly sel…
▽ More
Information propagation on graphs is a fundamental topic in distributed computing. One of the simplest models of information propagation is the push protocol in which at each round each agent independently pushes the current knowledge to a random neighbour. In this paper we study the so-called coalescing-branching random walk (COBRA), in which each vertex pushes the information to $k$ randomly selected neighbours and then stops passing information until it receives the information again. The aim of COBRA is to propagate information fast but with a limited number of transmissions per vertex per step. In this paper we study the cover time of the COBRA process defined as the minimum time until each vertex has received the information at least once. Our main result says that if $G$ is an $n$-vertex $r$-regular graph whose transition matrix has second eigenvalue $λ$, then the COBRA cover time of $G$ is $\mathcal O(\log n )$, if $1-λ$ is greater than a positive constant, and $\mathcal O((\log n)/(1-λ)^3))$, if $1-λ\gg \sqrt{\log( n)/n}$. These bounds are independent of $r$ and hold for $3 \le r \le n-1$. They improve the previous bound of $O(\log^2 n)$ for expander graphs. Our main tool in analysing the COBRA process is a novel duality relation between this process and a discrete epidemic process, which we call a biased infection with persistent source (BIPS). A fixed vertex $v$ is the source of an infection and remains permanently infected. At each step each vertex $u$ other than $v$ selects $k$ neighbours, independently and uniformly, and $u$ is infected in this step if and only if at least one of the selected neighbours has been infected in the previous step. We show the duality between COBRA and BIPS which says that the time to infect the whole graph in the BIPS process is of the same order as the cover time of the COBRA process
△ Less
Submitted 26 May, 2016; v1 submitted 18 February, 2016;
originally announced February 2016.
-
The Power of Two Choices in Distributed Voting
Authors:
Colin Cooper,
Robert Elsässer,
Tomasz Radzik
Abstract:
Distributed voting is a fundamental topic in distributed computing. In pull voting, in each step every vertex chooses a neighbour uniformly at random, and adopts its opinion. The voting is completed when all vertices hold the same opinion. On many graph classes including regular graphs, pull voting requires $Θ(n)$ expected steps to complete, even if initially there are only two distinct opinions.…
▽ More
Distributed voting is a fundamental topic in distributed computing. In pull voting, in each step every vertex chooses a neighbour uniformly at random, and adopts its opinion. The voting is completed when all vertices hold the same opinion. On many graph classes including regular graphs, pull voting requires $Θ(n)$ expected steps to complete, even if initially there are only two distinct opinions.
In this paper we consider a related process which we call two-sample voting: every vertex chooses two random neighbours in each step. If the opinions of these neighbours coincide, then the vertex revises its opinion according to the chosen sample. Otherwise, it keeps its own opinion. We consider the performance of this process in the case where two different opinions reside on vertices of some (arbitrary) sets $A$ and $B$, respectively. Here, $|A| + |B| = n$ is the number of vertices of the graph.
We show that there is a constant $K$ such that if the initial imbalance between the two opinions is ?$ν_0 = (|A| - |B|)/n \geq K \sqrt{(1/d) + (d/n)}$, then with high probability two sample voting completes in a random $d$ regular graph in $O(\log n)$ steps and the initial majority opinion wins. We also show the same performance for any regular graph, if $ν_0 \geq K λ_2$ where $λ_2$ is the second largest eigenvalue of the transition matrix. In the graphs we consider, standard pull voting requires $Ω(n)$ steps, and the minority can still win with probability $|B|/n$.
△ Less
Submitted 29 April, 2014;
originally announced April 2014.
-
Coalescing random walks and voting on connected graphs
Authors:
Colin Cooper,
Robert Elsasser,
Hirotaka Ono,
Tomasz Radzik
Abstract:
In a coalescing random walk, a set of particles make independent random walks on a graph. Whenever one or more particles meet at a vertex, they unite to form a single particle, which then continues the random walk through the graph. Coalescing random walks can be used to achieve consensus in distributed networks, and is the basis of the self-stabilizing mutual exclusion algorithm of Israeli and Ja…
▽ More
In a coalescing random walk, a set of particles make independent random walks on a graph. Whenever one or more particles meet at a vertex, they unite to form a single particle, which then continues the random walk through the graph. Coalescing random walks can be used to achieve consensus in distributed networks, and is the basis of the self-stabilizing mutual exclusion algorithm of Israeli and Jalfon.
Let G=(V,E), be an undirected, connected n vertex graph with m edges. Let C(n) be the expected time for all particles to coalesce, when initially one particle is located at each vertex of an n vertex graph.
We study the problem of bounding the coalescence time C(n) for general classes of graphs. Our main result is that C(n)= O(1/(1-lambda_2))*((log n)^4 +n/A)), where lambda_2 is the absolute value of the second largest eigenvalue of the transition matrix of the random walk, A= (sum d^2(v))/(d^2 n), d(v) is the degree of vertex v, and d is the average node degree. The parameter A is an indicator of the variability of node degrees. Thus 1 <= A =O(n), with A=1 for regular graphs.
△ Less
Submitted 25 December, 2016; v1 submitted 17 April, 2012;
originally announced April 2012.
-
Stable partitions in coalitional games
Authors:
Krzysztof R. Apt,
Tadeusz Radzik
Abstract:
We propose a notion of a stable partition in a coalitional game that is parametrized by the concept of a defection function. This function assigns to each partition of the grand coalition a set of different coalition arrangements for a group of defecting players. The alternatives are compared using their social welfare. We characterize the stability of a partition for a number of most natural de…
▽ More
We propose a notion of a stable partition in a coalitional game that is parametrized by the concept of a defection function. This function assigns to each partition of the grand coalition a set of different coalition arrangements for a group of defecting players. The alternatives are compared using their social welfare. We characterize the stability of a partition for a number of most natural defection functions and investigate whether and how so defined stable partitions can be reached from any initial partition by means of simple transformations. The approach is illustrated by analyzing an example in which a set of stores seeks an optimal transportation arrangement.
△ Less
Submitted 29 May, 2006;
originally announced May 2006.