-
Overcoming Congestion in Distributed Coloring
Authors:
Magnús M. Halldórsson,
Alexandre Nolin,
Tigran Tonoyan
Abstract:
We present a new technique to efficiently sample and communicate a large number of elements from a distributed sampling space. When used in the context of a recent LOCAL algorithm for $(\operatorname{degree}+1)$-list-coloring (D1LC), this allows us to solve D1LC in $O(\log^5 \log n)$ CONGEST rounds, and in only $O(\log^* n)$ rounds when the graph has minimum degree $Ω(\log^7 n)$, w.h.p.
The tech…
▽ More
We present a new technique to efficiently sample and communicate a large number of elements from a distributed sampling space. When used in the context of a recent LOCAL algorithm for $(\operatorname{degree}+1)$-list-coloring (D1LC), this allows us to solve D1LC in $O(\log^5 \log n)$ CONGEST rounds, and in only $O(\log^* n)$ rounds when the graph has minimum degree $Ω(\log^7 n)$, w.h.p.
The technique also has immediate applications in testing some graph properties locally, and for estimating the sparsity/density of local subgraphs in $O(1)$ CONGEST rounds, w.h.p.
△ Less
Submitted 28 May, 2022;
originally announced May 2022.
-
Near-Optimal Distributed Degree+1 Coloring
Authors:
Magnús M. Halldórsson,
Fabian Kuhn,
Alexandre Nolin,
Tigran Tonoyan
Abstract:
We present a new approach to randomized distributed graph coloring that is simpler and more efficient than previous ones. In particular, it allows us to tackle the $(\operatorname{deg}+1)$-list-coloring (D1LC) problem, where each node $v$ of degree $d_v$ is assigned a palette of $d_v+1$ colors, and the objective is to find a proper coloring using these palettes. While for $(Δ+1)$-coloring (where…
▽ More
We present a new approach to randomized distributed graph coloring that is simpler and more efficient than previous ones. In particular, it allows us to tackle the $(\operatorname{deg}+1)$-list-coloring (D1LC) problem, where each node $v$ of degree $d_v$ is assigned a palette of $d_v+1$ colors, and the objective is to find a proper coloring using these palettes. While for $(Δ+1)$-coloring (where $Δ$ is the maximum degree), there is a fast randomized distributed $O(\log^3\log n)$-round algorithm (Chang, Li, and Pettie [SIAM J. Comp. 2020]), no $o(\log n)$-round algorithms are known for the D1LC problem.
We give a randomized distributed algorithm for D1LC that is optimal under plausible assumptions about the deterministic complexity of the problem. Using the recent deterministic algorithm of Ghaffari and Kuhn [FOCS2021], our algorithm runs in $O(\log^3 \log n)$ time, matching the best bound known for $(Δ+1)$-coloring. In addition, it colors all nodes of degree $Ω(\log^7 n)$ in $O(\log^* n)$ rounds.
A key contribution is a subroutine to generate slack for D1LC. When placed into the framework of Assadi, Chen, and Khanna [SODA2019] and Alon and Assadi [APPROX/RANDOM2020], this almost immediately leads to a palette sparsification theorem for D1LC, generalizing previous results. That gives fast algorithms for D1LC in three different models: an $O(1)$-round algorithm in the MPC model with $\tilde{O}(n)$ memory per machine; a single-pass semi-streaming algorithm in dynamic streams; and an $\tilde{O}(n\sqrt{n})$-time algorithm in the standard query model.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Distributed Vertex Cover Reconfiguration
Authors:
Keren Censor-Hillel,
Yannic Maus,
Shahar Romem-Peled,
Tigran Tonoyan
Abstract:
Reconfiguration schedules, i.e., sequences that gradually transform one solution of a problem to another while always maintaining feasibility, have been extensively studied. Most research has dealt with the decision problem of whether a reconfiguration schedule exists, and the complexity of finding one. A prime example is the reconfiguration of vertex covers. We initiate the study of batched verte…
▽ More
Reconfiguration schedules, i.e., sequences that gradually transform one solution of a problem to another while always maintaining feasibility, have been extensively studied. Most research has dealt with the decision problem of whether a reconfiguration schedule exists, and the complexity of finding one. A prime example is the reconfiguration of vertex covers. We initiate the study of batched vertex cover reconfiguration, which allows to reconfigure multiple vertices concurrently while requiring that any adversarial reconfiguration order within a batch maintains feasibility. The latter provides robustness, e.g., if the simultaneous reconfiguration of a batch cannot be guaranteed. The quality of a schedule is measured by the number of batches until all nodes are reconfigured, and its cost, i.e., the maximum size of an intermediate vertex cover.
To set a baseline for batch reconfiguration, we show that for graphs belonging to one of the classes $\{\mathsf{cycles, trees, forests, chordal, cactus, even\text{-}hole\text{-}free, claw\text{-}free}\}$, there are schedules that use $O(\varepsilon^{-1})$ batches and incur only a $1+\varepsilon$ multiplicative increase in cost over the best sequential schedules. Our main contribution is to compute such batch schedules in $O(\varepsilon^{-1}\log^* n)$ distributed time, which we also show to be tight. Further, we show that once we step out of these graph classes we face a very different situation. There are graph classes on which no efficient distributed algorithm can obtain the best (or almost best) existing schedule. Moreover, there are classes of bounded degree graphs which do not admit any reconfiguration schedules without incurring a large multiplicative increase in the cost at all.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Ultrafast Distributed Coloring of High Degree Graphs
Authors:
Magnús M. Halldórsson,
Alexandre Nolin,
Tigran Tonoyan
Abstract:
We give a new randomized distributed algorithm for the $Δ+1$-list coloring problem. The algorithm and its analysis dramatically simplify the previous best result known of Chang, Li, and Pettie [SICOMP 2020]. This allows for numerous refinements, and in particular, we can color all $n$-node graphs of maximum degree $Δ\ge \log^{2+Ω(1)} n$ in $O(\log^* n)$ rounds. The algorithm works in the CONGEST m…
▽ More
We give a new randomized distributed algorithm for the $Δ+1$-list coloring problem. The algorithm and its analysis dramatically simplify the previous best result known of Chang, Li, and Pettie [SICOMP 2020]. This allows for numerous refinements, and in particular, we can color all $n$-node graphs of maximum degree $Δ\ge \log^{2+Ω(1)} n$ in $O(\log^* n)$ rounds. The algorithm works in the CONGEST model, i.e., it uses only $O(\log n)$ bits per message for communication. On low-degree graphs, the algorithm shatters the graph into components of size $\operatorname{poly}(\log n)$ in $O(\log^* Δ)$ rounds, showing that the randomized complexity of $Δ+1$-list coloring in CONGEST depends inherently on the deterministic complexity of related coloring problems.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Fault Tolerant Max-Cut
Authors:
Keren Censor-Hillel,
Noa Marelly,
Roy Schwartz,
Tigran Tonoyan
Abstract:
In this work, we initiate the study of fault tolerant Max Cut, where given an edge-weighted undirected graph $G=(V,E)$, the goal is to find a cut $S\subseteq V$ that maximizes the total weight of edges that cross $S$ even after an adversary removes $k$ vertices from $G$. We consider two types of adversaries: an adaptive adversary that sees the outcome of the random coin tosses used by the algorith…
▽ More
In this work, we initiate the study of fault tolerant Max Cut, where given an edge-weighted undirected graph $G=(V,E)$, the goal is to find a cut $S\subseteq V$ that maximizes the total weight of edges that cross $S$ even after an adversary removes $k$ vertices from $G$. We consider two types of adversaries: an adaptive adversary that sees the outcome of the random coin tosses used by the algorithm, and an oblivious adversary that does not. For any constant number of failures $k$ we present an approximation of $(0.878-ε)$ against an adaptive adversary and of $α_{GW}\approx 0.8786$ against an oblivious adversary (here $α_{GW}$ is the approximation achieved by the random hyperplane algorithm of [Goemans-Williamson J. ACM `95]). Additionally, we present a hardness of approximation of $α_{GW}$ against both types of adversaries, rendering our results (virtually) tight.
The non-linear nature of the fault tolerant objective makes the design and analysis of algorithms harder when compared to the classic Max Cut. Hence, we employ approaches ranging from multi-objective optimization to LP duality and the ellipsoid algorithm to obtain our results.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
Efficient Randomized Distributed Coloring in CONGEST
Authors:
Magnús M. Halldórsson,
Fabian Kuhn,
Yannic Maus,
Tigran Tonoyan
Abstract:
Distributed vertex coloring is one of the classic problems and probably also the most widely studied problems in the area of distributed graph algorithms. We present a new randomized distributed vertex coloring algorithm for the standard CONGEST model, where the network is modeled as an $n$-node graph $G$, and where the nodes of $G$ operate in synchronous communication rounds in which they can exc…
▽ More
Distributed vertex coloring is one of the classic problems and probably also the most widely studied problems in the area of distributed graph algorithms. We present a new randomized distributed vertex coloring algorithm for the standard CONGEST model, where the network is modeled as an $n$-node graph $G$, and where the nodes of $G$ operate in synchronous communication rounds in which they can exchange $O(\log n)$-bit messages over all the edges of $G$. For graphs with maximum degree $Δ$, we show that the $(Δ+1)$-list coloring problem (and therefore also the standard $(Δ+1)$-coloring problem) can be solved in $O(\log^5\log n)$ rounds. Previously such a result was only known for the significantly more powerful LOCAL model, where in each round, neighboring nodes can exchange messages of arbitrary size. The best previous $(Δ+1)$-coloring algorithm in the CONGEST model had a running time of $O(\logΔ+ \log^6\log n)$ rounds. As a function of $n$ alone, the best previous algorithm therefore had a round complexity of $O(\log n)$, which is a bound that can also be achieved by a naïve folklore algorithm. For large maximum degree $Δ$, our algorithm hence is an exponential improvement over the previous state of the art.
△ Less
Submitted 11 April, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Query Minimization under Stochastic Uncertainty
Authors:
Steven Chaplick,
Magnús M. Halldórsson,
Murilo S. de Lima,
Tigran Tonoyan
Abstract:
We study problems with stochastic uncertainty information on intervals for which the precise value can be queried by paying a cost. The goal is to devise an adaptive decision tree to find a correct solution to the problem in consideration while minimizing the expected total query cost. We show that, for the sorting problem, such a decision tree can be found in polynomial time. For the problem of f…
▽ More
We study problems with stochastic uncertainty information on intervals for which the precise value can be queried by paying a cost. The goal is to devise an adaptive decision tree to find a correct solution to the problem in consideration while minimizing the expected total query cost. We show that, for the sorting problem, such a decision tree can be found in polynomial time. For the problem of finding the data item with minimum value, we have some evidence for hardness. This contradicts intuition, since the minimum problem is easier both in the online setting with adversarial inputs and in the offline verification setting. However, the stochastic assumption can be leveraged to beat both deterministic and randomized approximation lower bounds for the online setting.
△ Less
Submitted 21 September, 2021; v1 submitted 7 October, 2020;
originally announced October 2020.
-
Local Conflict Coloring Revisited: Linial for Lists
Authors:
Yannic Maus,
Tigran Tonoyan
Abstract:
Linial's famous color reduction algorithm reduces a given $m$-coloring of a graph with maximum degree $Δ$ to a $O(Δ^2\log m)$-coloring, in a single round in the LOCAL model. We show a similar result when nodes are restricted to choose their color from a list of allowed colors: given an $m$-coloring in a directed graph of maximum outdegree $β$, if every node has a list of size…
▽ More
Linial's famous color reduction algorithm reduces a given $m$-coloring of a graph with maximum degree $Δ$ to a $O(Δ^2\log m)$-coloring, in a single round in the LOCAL model. We show a similar result when nodes are restricted to choose their color from a list of allowed colors: given an $m$-coloring in a directed graph of maximum outdegree $β$, if every node has a list of size $Ω(β^2 (\log β+\log\log m + \log \log |\mathcal{C}|))$ from a color space $\mathcal{C}$ then they can select a color in two rounds in the LOCAL model. Moreover, the communication of a node essentially consists of sending its list to the neighbors. This is obtained as part of a framework that also contains Linial's color reduction (with an alternative proof) as a special case. Our result also leads to a defective list coloring algorithm. As a corollary, we improve the state-of-the-art truly local $(deg+1)$-list coloring algorithm from Barenboim et al. [PODC'18] by slightly reducing the runtime to $O(\sqrt{Δ\logΔ})+\log^* n$ and significantly reducing the message size (from huge to roughly $Δ$). Our techniques are inspired by the local conflict coloring framework of Fraigniaud et al. [FOCS'16].
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Effective Wireless Scheduling via Hypergraph Sketches
Authors:
Magnus M. Halldorsson,
Tigran Tonoyan
Abstract:
An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model of wireless interference that addresses these questions in f…
▽ More
An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model of wireless interference that addresses these questions in full. The approximations obtained are at most doubly logarithmic in the link length and rate diversity. Where previous bounds are known, this gives an exponential improvement (or better).
A key contribution is showing that the complex interference relationship of the physical model can be simplified, at a small cost, into a novel type of amenable conflict graphs. We also show that the approximation obtained is provably the best possible for any conflict graph formulation.
△ Less
Submitted 28 June, 2018;
originally announced June 2018.
-
Spanning Trees With Edge Conflicts and Wireless Connectivity
Authors:
Magnus M. Halldorsson,
Guy Kortsarz,
Pradipta Mitra,
Tigran Tonoyan
Abstract:
We introduce the problem of finding a spanning tree along with a partition of the tree edges into fewest number of feasible sets, where constraints on the edges define feasibility. The motivation comes from wireless networking, where we seek to model the irregularities seen in actual wireless environments. Not all node pairs may be able to communicate, even if geographically close --- thus, the av…
▽ More
We introduce the problem of finding a spanning tree along with a partition of the tree edges into fewest number of feasible sets, where constraints on the edges define feasibility. The motivation comes from wireless networking, where we seek to model the irregularities seen in actual wireless environments. Not all node pairs may be able to communicate, even if geographically close --- thus, the available pairs are modeled with a link graph $\mathcal{L}=(V,E)$. Also, signal attenuation need not follow a nice geometric formulas --- hence, interference is modeled by a conflict (hyper)graph $\mathcal{C}=(E,F)$ on the links. The objective is to maximize the efficiency of the communication, or equivalently minimizing the length of a schedule of the tree edges in the form of a coloring.
We find that in spite of all this generality, the problem can be approximated linearly in terms of a versatile parameter, the inductive independence of the interference graph. Specifically, we give a simple algorithm that attains a $O(ρ\log n)$-approximation, where $n$ is the number of nodes and $ρ$ is the inductive independence, and show that near-linear dependence on $ρ$ is also necessary. We also treat an extension to Steiner trees, modeling multicasting, and obtain a comparable result.
Our results suggest that several canonical assumptions of geometry, regularity and "niceness" in wireless settings can sometimes be relaxed without a significant hit in algorithm performance.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Wireless Aggregation at Nearly Constant Rate
Authors:
Magnus M. Halldorsson,
Tigran Tonoyan
Abstract:
One of the most fundamental tasks in sensor networks is the computation of a (compressible) aggregation function of the input measurements. What rate of computation can be maintained, by properly choosing the aggregation tree, the TDMA schedule of the tree edges, and the transmission powers? This can be viewed as the convergecast capacity of a wireless network. We show here that the optimal rate i…
▽ More
One of the most fundamental tasks in sensor networks is the computation of a (compressible) aggregation function of the input measurements. What rate of computation can be maintained, by properly choosing the aggregation tree, the TDMA schedule of the tree edges, and the transmission powers? This can be viewed as the convergecast capacity of a wireless network. We show here that the optimal rate is effectively a constant. This holds even in \emph{arbitrary} networks, under the physical model of interference. This compares with previous bounds that are logarithmic (e.g., $Ω(1/\log n)$). Namely, we show that a rate of $Ω(1/\log^* Δ)$ is possible, where $Δ$ is the length diversity (ratio between the furthest to the shortest distance between nodes). It also implies that the \emph{scheduling complexity} of wireless connectivity is $O(\log^* Δ)$. This is achieved using the natural minimum spanning tree (MST). Our method crucially depends on choosing the appropriate power assignment for the instance at hand, since without power control, only a trivial linear rate can be guaranteed. We also show that there is a fixed power assignment that allows for a rate of $Ω(1/\log\log Δ)$. Surprisingly, these bounds are best possible. No aggregation network can guarantee a rate better than $O(1/\log\log Δ)$ using fixed power assignment. Also, when using arbitrary power control, there are instances whose MSTs cannot be scheduled in fewer than $Ω(1/\log^* Δ)$ slots.
△ Less
Submitted 8 December, 2017;
originally announced December 2017.
-
Wireless Link Capacity under Shadowing and Fading
Authors:
Magnus M. Halldorsson,
Tigran Tonoyan
Abstract:
We consider the following basic link capacity (a.k.a., one-shot scheduling) problem in wireless networks: Given a set of communication links, find a maximum subset of links that can successfully transmit simultaneously. Good performance guarantees are known only for deterministic models, such as the physical model with geometric (log-distance) pathloss. We treat this problem under stochastic shado…
▽ More
We consider the following basic link capacity (a.k.a., one-shot scheduling) problem in wireless networks: Given a set of communication links, find a maximum subset of links that can successfully transmit simultaneously. Good performance guarantees are known only for deterministic models, such as the physical model with geometric (log-distance) pathloss. We treat this problem under stochastic shadowing under general distributions, bound the effects of shadowing on optimal capacity, and derive constant approximation algorithms. We also consider temporal fading under Rayleigh distribution, and show that it affects non-fading solutions only by a constant-factor. These can be combined into a constant approximation link capacity algorithm under both time-invariant shadowing and temporal fading.
△ Less
Submitted 16 June, 2017;
originally announced June 2017.
-
Universal Framework for Wireless Scheduling Problems
Authors:
Magnus M. Halldorsson,
Tigran Tonoyan
Abstract:
An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model that addresses these questions in full, including rate contr…
▽ More
An overarching issue in resource management of wireless networks is assessing their capacity: How much communication can be achieved in a network, utilizing all the tools available: power control, scheduling, routing, channel assignment and rate adjustment? We propose the first framework for approximation algorithms in the physical model that addresses these questions in full, including rate control. The approximations obtained are doubly logarithmic in the link length and rate diversity. Where previous bounds are known, this gives an exponential improvement.
A key contribution is showing that the complex interference relationship of the physical model can be simplified into a novel type of amenable conflict graphs, at a small cost. We also show that the approximation obtained is provably the best possible for any conflict graph formulation.
△ Less
Submitted 29 May, 2017;
originally announced May 2017.
-
Preemptive Online Partitioning of Sequences
Authors:
Christian Konrad,
Tigran Tonoyan
Abstract:
Online algorithms process their inputs piece by piece, taking irrevocable decisions for each data item. This model is too restrictive for most partitioning problems, since data that is yet to arrive may render it impossible to extend partial partitionings to the entire data set reasonably well.
In this work, we show that preemption might be a potential remedy. We consider the problem of partitio…
▽ More
Online algorithms process their inputs piece by piece, taking irrevocable decisions for each data item. This model is too restrictive for most partitioning problems, since data that is yet to arrive may render it impossible to extend partial partitionings to the entire data set reasonably well.
In this work, we show that preemption might be a potential remedy. We consider the problem of partitioning online sequences, where $p-1$ separators need to be inserted into a sequence of integers that arrives online so as to create $p$ contiguous partitions of similar weight. While without preemption no algorithm with non-trivial competitive ratio is possible, if preemption is allowed, i.e., inserted partition separators may be removed but not reinserted again, then we show that constant competitive algorithms can be obtained. Our contributions include:
We first give a simple deterministic $2$-competitive preemptive algorithm for arbitrary $p$ and arbitrary sequences. Our main contribution is the design of a highly non-trivial partitioning scheme, which, under some natural conditions and $p$ being a power of two, allows us to improve the competitiveness to $1.68$. We also show that the competitiveness of deterministic (randomized) algorithms is at least $\frac{4}{3}$ (resp. $\frac{6}{5}$).
For $p=2$, the problem corresponds to the interesting special case of preemptively guessing the center of a weighted request sequence. While deterministic algorithms fail here, we provide a randomized $1.345$-competitive algorithm for all-ones sequences and prove that this is optimal. For weighted sequences, we give a $1.628$-competitive algorithm and a lower bound of $1.5$.
△ Less
Submitted 20 February, 2017;
originally announced February 2017.
-
Data Dissemination in Unified Dynamic Wireless Networks
Authors:
Magnus M. Halldorsson,
Tigran Tonoyan,
Yuexuan Wang,
Dongxiao Yu
Abstract:
We give efficient algorithms for the fundamental problems of Broadcast and Local Broadcast in dynamic wireless networks. We propose a general model of communication which captures and includes both fading models (like SINR) and graph-based models (such as quasi unit disc graphs, bounded-independence graphs, and protocol model). The only requirement is that the nodes can be embedded in a bounded gr…
▽ More
We give efficient algorithms for the fundamental problems of Broadcast and Local Broadcast in dynamic wireless networks. We propose a general model of communication which captures and includes both fading models (like SINR) and graph-based models (such as quasi unit disc graphs, bounded-independence graphs, and protocol model). The only requirement is that the nodes can be embedded in a bounded growth quasi-metric, which is the weakest condition known to ensure distributed operability. Both the nodes and the links of the network are dynamic: nodes can come and go, while the signal strength on links can go up or down.
The results improve some of the known bounds even in the static setting, including an optimal algorithm for local broadcasting in the SINR model, which is additionally uniform (independent of network size). An essential component is a procedure for balancing contention, which has potentially wide applicability. The results illustrate the importance of carrier sensing, a stock feature of wireless nodes today, which we encapsulate in primitives to better explore its uses and usefulness.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
The Price of Local Power Control in Wireless Scheduling
Authors:
Magnus M. Halldorsson,
Tigran Tonoyan
Abstract:
We consider the problem of scheduling wireless links in the physical model, where we seek an assignment of power levels and a partition of the given set of links into the minimum number of subsets satisfying the signal-to-interference-and-noise-ratio (SINR) constraints. Specifically, we are interested in the efficiency of local power assignment schemes, or oblivious power schemes, in approximating…
▽ More
We consider the problem of scheduling wireless links in the physical model, where we seek an assignment of power levels and a partition of the given set of links into the minimum number of subsets satisfying the signal-to-interference-and-noise-ratio (SINR) constraints. Specifically, we are interested in the efficiency of local power assignment schemes, or oblivious power schemes, in approximating wireless scheduling. Oblivious power schemes are motivated by networking scenarios when power levels must be decided in advance, and not as part of the scheduling computation.
We first show that the known algorithms fail to obtain sub-logarithmic bounds; that is, their approximation ratio are $\tildeΩ(\log \max(Δ,n))$, where $n$ is the number of links, $Δ$ is the ratio of the maximum and minimum link lengths, and $\tildeΩ$ hides doubly-logarithmic factors. We then present the first $O(\log{\logΔ})$-approximation algorithm, which is known to be best possible (in terms of $Δ$) for oblivious power schemes. We achieve this by representing interference by a conflict graph, which allows the application of graph-theoretic results for a variety of related problems, including the weighted capacity problem. We explore further the contours of approximability, and find the choice of power assignment matters; that not all metric spaces are equal; and that the presence of weak links makes the problem harder. Combined, our result resolve the price of oblivious power for wireless scheduling, or the value of allowing unfettered power control.
△ Less
Submitted 18 February, 2015;
originally announced February 2015.
-
How Well Can Graphs Represent Wireless Interference?
Authors:
Magnus M. Halldorsson,
Tigran Tonoyan
Abstract:
Efficient use of a wireless network requires that transmissions be grouped into feasible sets, where feasibility means that each transmission can be successfully decoded in spite of the interference caused by simultaneous transmissions. Feasibility is most closely modeled by a signal-to-interference-plus-noise (SINR) formula, which unfortunately is conceptually complicated, being an asymmetric, cu…
▽ More
Efficient use of a wireless network requires that transmissions be grouped into feasible sets, where feasibility means that each transmission can be successfully decoded in spite of the interference caused by simultaneous transmissions. Feasibility is most closely modeled by a signal-to-interference-plus-noise (SINR) formula, which unfortunately is conceptually complicated, being an asymmetric, cumulative, many-to-one relationship. We re-examine how well graphs can capture wireless receptions as encoded in SINR relationships, placing them in a framework in order to understand the limits of such modelling. We seek for each wireless instance a pair of graphs that provide upper and lower bounds on the feasibility relation, while aiming to minimize the gap between the two graphs. The cost of a graph formulation is the worst gap over all instances, and the price of (graph) abstraction is the smallest cost of a graph formulation. We propose a family of conflict graphs that is parameterized by a non-decreasing sub-linear function, and show that with a judicious choice of functions, the graphs can capture feasibility with a cost of $O(\log^* Δ)$, where $Δ$ is the ratio between the longest and the shortest link length. This holds on the plane and more generally in doubling metrics. We use this to give greatly improved $O(\log^* Δ)$-approximation for fundamental link scheduling problems with arbitrary power control. We explore the limits of graph representations and find that our upper bound is tight: the price of graph abstraction is $Ω(\log^* Δ)$. We also give strong impossibility results for general metrics, and for approximations in terms of the number of links.
△ Less
Submitted 5 November, 2014;
originally announced November 2014.
-
On the Problem of Wireless Scheduling with Linear Power Levels
Authors:
Tigran Tonoyan
Abstract:
In this paper we consider the problem of communication scheduling in wireless networks with respect to the SINR(Signal to Interference plus Noise Ratio) constraint in metric spaces. The nodes are assigned linear powers, i.e. for each sender node the power is constant times the path loss between the sender and corresponding receiver. This is the minimal power for a successful transmission. We prese…
▽ More
In this paper we consider the problem of communication scheduling in wireless networks with respect to the SINR(Signal to Interference plus Noise Ratio) constraint in metric spaces. The nodes are assigned linear powers, i.e. for each sender node the power is constant times the path loss between the sender and corresponding receiver. This is the minimal power for a successful transmission. We present a constant factor deterministic approximation algorithm, which works for at least Euclidean fading metrics. Simultaneously we obtain the approximate value of the optimal schedule length with error at most a constant factor. To give an insight into the complexity of the problem, we show that in some metric spaces the problem is NP-hard and cannot be approximated within a factor less than 1.5.
△ Less
Submitted 25 July, 2011;
originally announced July 2011.
-
On Wireless Scheduling Using the Mean Power Assignment
Authors:
Tigran Tonoyan
Abstract:
In this paper the problem of scheduling with power control in wireless networks is studied: given a set of communication requests, one needs to assign the powers of the network nodes, and schedule the transmissions so that they can be done in a minimum time, taking into account the signal interference of concurrently transmitting nodes. The signal interference is modeled by SINR constraints. Appro…
▽ More
In this paper the problem of scheduling with power control in wireless networks is studied: given a set of communication requests, one needs to assign the powers of the network nodes, and schedule the transmissions so that they can be done in a minimum time, taking into account the signal interference of concurrently transmitting nodes. The signal interference is modeled by SINR constraints. Approximation algorithms are given for this problem, which use the mean power assignment. The problem of schduling with fixed mean power assignment is also considered, and approximation guarantees are proven.
△ Less
Submitted 25 July, 2011; v1 submitted 26 October, 2010;
originally announced October 2010.