Results 1  10
of
28
Algorithmic Complexity in Coding Theory and the Minimum Distance Problem
, 1997
"... We start with an overview of algorithmiccomplexity problems in coding theory We then show that the problem of computing the minimum distance of a binary linear code is NPhard, and the corresponding decision problem is NPcomplete. This constitutes a proof of the conjecture Bedekamp, McEliece, van T ..."
Abstract

Cited by 44 (2 self)
 Add to MetaCart
We start with an overview of algorithmiccomplexity problems in coding theory We then show that the problem of computing the minimum distance of a binary linear code is NPhard, and the corresponding decision problem is NPcomplete. This constitutes a proof of the conjecture Bedekamp, McEliece, van Tilborg, dating back to 1978. Extensions and applications of this result to other problems in coding theory are discussed.
The Perfect Binary OneErrorCorrecting Codes of Length 15: Part II  Properties
, 2009
"... A complete classification of the perfect binary oneerrorcorrecting codes of length 15 as well as their extensions of length 16 was recently carried out in [P. R. J. Östergård and O. Pottonen, “The perfect binary oneerrorcorrecting codes of length 15: Part I—Classification, ” submitted for publica ..."
Abstract

Cited by 29 (4 self)
 Add to MetaCart
A complete classification of the perfect binary oneerrorcorrecting codes of length 15 as well as their extensions of length 16 was recently carried out in [P. R. J. Östergård and O. Pottonen, “The perfect binary oneerrorcorrecting codes of length 15: Part I—Classification, ” submitted for publication]. In the current accompanying work, the classified codes are studied in great detail, and their main properties are tabulated. The results include the fact that 33 of the 80 Steiner triple systems of order 15 occur in such codes. Further understanding is gained on fullrank codes via icomponents, as it turns out that all but two fullrank codes can be obtained through a series of transformations from the Hamming code. Other topics studied include (non)systematic codes, embedded oneerrorcorrecting codes, and defining sets of codes. A classification of certain mixed perfect codes is also obtained.
The Structure of TailBiting Trellises: Minimality and Basic Principles
 IEEE Trans. Inform. Theory
, 2002
"... Basic structural properties of tailbiting trellises are investigated. We start with rigorous definitions of various types of minimality for tailbiting trellises. ..."
Abstract

Cited by 26 (1 self)
 Add to MetaCart
Basic structural properties of tailbiting trellises are investigated. We start with rigorous definitions of various types of minimality for tailbiting trellises.
An Efficient Algorithm for Constructing Minimal Trellises for Codes over Finite Abelian Groups
, 1996
"... We present an efficient algorithm for computing the minimal trellis for a group code over a finite Abelian group, given a generator matrix for the code. We also show how to cornpure a succinct representation of the minimal trellis for such a code, andpresent algorithms that use this information to e ..."
Abstract

Cited by 19 (2 self)
 Add to MetaCart
We present an efficient algorithm for computing the minimal trellis for a group code over a finite Abelian group, given a generator matrix for the code. We also show how to cornpure a succinct representation of the minimal trellis for such a code, andpresent algorithms that use this information to efficiently compute local descriptions of the minimal trellis. This extends the work of Kschischang and Sorokine, who handled the case of linear codes over fields. An important application of our algorithms is to the construction qf minireal trellises for lattices. A key step in our work is handling codes over cyclic groups C'p, where p is a prime. Such a code can be viewed as a submodule over the ring Zp. Because of the presence of zerodivisors in the ring, submodules do not share the useful properties of vector spaces. We get around this difficulty by restricting the notion of linear combination to plinear combination, and introducing the notion of a pgenerator equence, which enjoys properties similar to that of a generector matrix for a vector space.
Random redundant softin softout decoding of linear block codes
 in Proc. IEEE International Symposium on Inf. Theory
, 2006
"... Abstract — A number of authors have recently considered iterative softin softout (SISO) decoding algorithms for classical linear block codes that utilize redundant Tanner graphs. Jiang and Narayanan presented a practically realizable algorithm that applies only to cyclic codes while Kothiyal et al ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
(Show Context)
Abstract — A number of authors have recently considered iterative softin softout (SISO) decoding algorithms for classical linear block codes that utilize redundant Tanner graphs. Jiang and Narayanan presented a practically realizable algorithm that applies only to cyclic codes while Kothiyal et al. presented an algorithm that, while applicable to arbitrary linear block codes, does not imply a lowcomplexity implementation. This work first presents the aforementioned algorithms in a common framework and then presents a related algorithm random redundant iterative decoding that is both practically realizable and applicable to arbitrary linear block codes. Simulation results illustrate the successful application of the random redundant iterative decoding algorithm to the extended binary Golay code. Additionally, the proposed algorithm is shown to outperform Jiang and Narayanan’s algorithm for a number of BoseChaudhuriHocquenghem (BCH) codes. I.
Interleaver properties and their applications to the trellis complexity analysis of turbo codes
, 2001
"... ..."
(Show Context)
The Extraction and Complexity Limits of Graphical Models for Linear Codes
, 2007
"... Two broad classes of graphical modeling problems for codes can be identified in the literature: constructive and extractive problems. The former class of problems concern the construction of a graphical model in order to define a new code. The latter class of problems concern the extraction of a gra ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
Two broad classes of graphical modeling problems for codes can be identified in the literature: constructive and extractive problems. The former class of problems concern the construction of a graphical model in order to define a new code. The latter class of problems concern the extraction of a graphical model for a (fixed) given code. The design of a new lowdensity paritycheck code for some given criteria (e.g. target block length and code rate) is an example of a constructive problem. The determination of a graphical model for a classical linear block code which implies a decoding algorithm with desired performance and complexity characteristics is an example of an extractive problem. This work focuses on extractive graphical model problems and aims to lay out some of the foundations of the theory of such problems for linear codes. The primary focus of this work is a study of the space of all graphical models for a (fixed) given code. The tradeoff between cyclic topology and complexity in this space is characterized via the introduction of a new bound: the treeinducing cutset bound. The proposed bound provides a more precise characterization of this tradeoff than that which can be obtained using existing tools (e.g. the CutSet Bound) and can be viewed as a generalization of the squareroot bound for tailbiting trellises to graphical models with arbitrary cyclic topologies. Searching the space of graphical models for a given code is then enabled by introducing a set of basic graphical model transformation operations which are shown to span this space. Finally, heuristics for extracting novel graphical models for linear block codes using these transformations are investigated.
Computational Methods in Coding Theory
, 1996
"... We consider various computational techniques in algebraic coding theory along two lines of work. First we investigate optimization of nonlinear codes by relaxing minimum distance constraints, developing, in the process, two algorithms for improving a given nonlinear code and a method of visualizin ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We consider various computational techniques in algebraic coding theory along two lines of work. First we investigate optimization of nonlinear codes by relaxing minimum distance constraints, developing, in the process, two algorithms for improving a given nonlinear code and a method of visualizing algebraic codes in three dimensions. Secondly, we study the Generalized Lexicographic Construction, and show that it produces as special cases the lexicodes and derivatives with properties such as trellisorientation, trellisstate boundedness, and local optimality. We implement algorithms for generating these families of codes and, in the process, improve upon work by Conway and Sloane, Brualdi and Pless, Kschischang and Horn, and Zhang.
Generalized hamming weights of nonlinear codes and the relation to the Z_4linear representation
 IEEE TRANS. INFORM. THEORY
, 1999
"... In this correspondence, we give a new definition of generalized Hamming weights of nonlinear codes and a new interpretation connected with it. These generalized weights are determined by the entropy/length profile of the code. We show that this definition characterizes the performance of nonlinear c ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In this correspondence, we give a new definition of generalized Hamming weights of nonlinear codes and a new interpretation connected with it. These generalized weights are determined by the entropy/length profile of the code. We show that this definition characterizes the performance of nonlinear codes on the wiretap channel of type II. The new definition is invariant under translates of the code, it satisfies the property of strict monotonicity and the generalized Singleton bound. We check the relations between the generalized weight hierarchies of Rlinear codes and their binary image under the Gray map. We also show that the binary image of a Rlinear code is a symmetric, not necessarily rectangular code. Moreover, if this binary image is a linear code then it admits a twisted squaring construction.