This paper is concerned with bounds for quantum error-correcting codes. Using the quantum MacWilliams identities, we generalize the linear programming approach from classical coding theory to the quantum case. Using this approach, we obtain Singleton-type, Hamming-type, and the first linearprogramming-type bounds for quantum codes. Using the special structure of linear quantum codes, we derive ...

We present a dynamic algorithm for MAP calculations. The algorithm is based upon Santos’s technique (Santos 1991b) of transforming minimal-cost-proof problems into linearprogramming problems. The algorithm is dynamic in the sense that it is able to use the results from an earlier, near by, problem to lessen its search time. Results are presented which clearly suggest that this is a powerful tec...

We present a new model and a new approach for solving fuzzylinear programming (FLP) problems with various utilities for the satisfactionof the fuzzy constraints. The model, constructed as a multi-objective linearprogramming problem, provides flexibility for the decision maker (DM), andallows for the assignment of distinct weights to the constraints and the objectivefunction. The desired solutio...

we present a new model and a new approach for solving fuzzylinear programming (flp) problems with various utilities for the satisfactionof the fuzzy constraints. the model, constructed as a multi-objective linearprogramming problem, provides flexibility for the decision maker (dm), andallows for the assignment of distinct weights to the constraints and the objectivefunction. the desired solutio...

In this paper, we consider RNA structures with arc-length 4 . First, we represent these structures as matrix models and zero-one linearprogramming problems. Then, we obtain an optimal solution for this problemusing an implicit enumeration method. The optimal solution corresponds toan RNA structure with the maximum number of hydrogen bonds.

This work combines two distinct research efforts, the coefficient design and the adder-number reduction, of fixed-point FIR filters into an automatic design flow. Given the normalized peak-ripplemagnitude (NPRM) specifications, the canonic-signed-digit (CSD) filter coefficients are calculated by the partial mixed-integer-linearprogramming (PMILP) algorithm. Then a signed common subexpression sh...

An elementary proof is given of the Wielandt-Hofftnan Theorem for normal matrices and of a generalization of this theorem. The proof makes no direct appeal to results fron linearprogramming theory. Reproduction in whole or in part is permitted for any purpose of the United States Government, Division of Numerical and Applied Mathematics) National Physical Laboratory, Teddington, Middlesex, Engl...

in this paper, we consider rna structures with arc-length 4 . first, we represent thesestructures as matrix models and zero-one linearprogramming problems. then, we obtain anoptimal solution for this problemusing an implicit enumeration method. the optimal solutioncorresponds toan rna structure with the maximum number of hydrogen bonds.

We present optimal solutions to the test scheduling problem for core-based systems. Given a set of tasks (test sets for the cores), a set of test resources (e.g., test buses, BIST hardware) and a test access architecture, we determine start times for the tasks such that the total test application time is minimized. We show that the test scheduling decision problem is equivalent to the -processo...

Theminimum-cost multicommodity ow problem involves simultaneously shipping multiple commodities through a single network so that the total ow obeys arc capacity constraints and has minimum cost. Multicommodity ow problems can be expressed as linear programs, and most theoretical and practical algorithms use linear-programming algorithms specialized for the problems' structures. Combinatorial ap...