9,868 research outputs found
Power and Channel Allocation for Non-orthogonal Multiple Access in 5G Systems: Tractability and Computation
Network capacity calls for significant increase for 5G cellular systems. A
promising multi-user access scheme, non-orthogonal multiple access (NOMA) with
successive interference cancellation (SIC), is currently under consideration.
In NOMA, spectrum efficiency is improved by allowing more than one user to
simultaneously access the same frequency-time resource and separating
multi-user signals by SIC at the receiver. These render resource allocation and
optimization in NOMA different from orthogonal multiple access in 4G. In this
paper, we provide theoretical insights and algorithmic solutions to jointly
optimize power and channel allocation in NOMA. For utility maximization, we
mathematically formulate NOMA resource allocation problems. We characterize and
analyze the problems' tractability under a range of constraints and utility
functions. For tractable cases, we provide polynomial-time solutions for global
optimality. For intractable cases, we prove the NP-hardness and propose an
algorithmic framework combining Lagrangian duality and dynamic programming
(LDDP) to deliver near-optimal solutions. To gauge the performance of the
obtained solutions, we also provide optimality bounds on the global optimum.
Numerical results demonstrate that the proposed algorithmic solution can
significantly improve the system performance in both throughput and fairness
over orthogonal multiple access as well as over a previous NOMA resource
allocation scheme.Comment: IEEE Transactions on Wireless Communications, revisio
Fast Parallel Fixed-Parameter Algorithms via Color Coding
Fixed-parameter algorithms have been successfully applied to solve numerous
difficult problems within acceptable time bounds on large inputs. However, most
fixed-parameter algorithms are inherently \emph{sequential} and, thus, make no
use of the parallel hardware present in modern computers. We show that parallel
fixed-parameter algorithms do not only exist for numerous parameterized
problems from the literature -- including vertex cover, packing problems,
cluster editing, cutting vertices, finding embeddings, or finding matchings --
but that there are parallel algorithms working in \emph{constant} time or at
least in time \emph{depending only on the parameter} (and not on the size of
the input) for these problems. Phrased in terms of complexity classes, we place
numerous natural parameterized problems in parameterized versions of AC. On
a more technical level, we show how the \emph{color coding} method can be
implemented in constant time and apply it to embedding problems for graphs of
bounded tree-width or tree-depth and to model checking first-order formulas in
graphs of bounded degree
Transformation As Search
In model-driven engineering, model transformations are con- sidered a key element to generate and maintain consistency between re- lated models. Rule-based approaches have become a mature technology and are widely used in different application domains. However, in var- ious scenarios, these solutions still suffer from a number of limitations that stem from their injective and deterministic nature. This article pro- poses an original approach, based on non-deterministic constraint-based search engines, to define and execute bidirectional model transforma- tions and synchronizations from single specifications. Since these solely rely on basic existing modeling concepts, it does not require the intro- duction of a dedicated language. We first describe and formally define this model operation, called transformation as search, then describe a proof-of-concept implementation and discuss experiments on a reference use case in software engineering
- …