33126296
Lower bounds on t[n, k] from linear inequalities
The linear inequality method for covering codes is used to improve the lower bounds of t(n, k), the smallest covering radius of any (n, k) binary linear code. To make better use of the strength of this method, the relation between the covering radius of a code and the minimum distance of its dual code is studied. The authors obtained 65 improved lower bounds for t(n, k) within the range of n >
32960689
On Maximal Shadows of Members in Left-compressed Sets
Whereas Stanley, Proctor and others studied Sperner properties of the poset L(k,m) we consider shadows of left-compressed sets and derive asymptotic bounds on their sizes.
32850524
Linear inequalities for covering codes: Part I: Pair covering inequalities
The lower bounds on K(n,R), minimum number of codewords of any binary code of length n, and covering radius R are improved. A new technique combining the Hamming association scheme and the results of a classic problem of covering pairs by k-tuples is introduced. The new lower bounds are obtained by studying various linear inequalities satisfied by covering codes, and such an inequality is derived. The lower bounds for K(n,R) are studied for some special values of n and R, which serve as examples showing how the methods developed are applied to concrete cases. >
19004655
Identification via compressed data
A new coding problem is introduced for a correlated source (X/sup n/,Y/sup n/)/sub n=1//sup /spl infin//. The observer of X/sup n/ can transmit data depending on X/sup n/ at a prescribed rate R. Based on these data the observer of Y/sup n/ tries to identify whether for some distortion measure /spl rho/ (like the Hamming distance) n/sup -1/ /spl rho/(X/sup n/,Y/sup n/)/spl les/d, a prescribed fidelity criterion. We investigate as functions of R and d the exponents of two error probabilities, the probabilities for misacceptance, and the probabilities for misrejection. In the case where X/sup n/ and Y/sup n/ are independent, we completely characterize the achievable region for the rate R and the exponents of two error probabilities; in the case where X/sup n/ and Y/sup n/ are correlated, we get some interesting partial results for the achievable region. During the process, we develop a new method for proving converses, which is called "the inherently typical subset lemma". This new method goes considerably beyond the "entropy characterization" the "image size characterization," and its extensions. It is conceivable that this new method has a strong impact on multiuser information theory.
43476378
Partial converse for a relay channel
A special case of the general discrete memoryless relay channel is studied. This channel consists of an input x, a relay output z, a channel output y, and a noiseless channel of capacity C/sub r/ allowing the relay sender to send additional information to the decoder. The channel is described by a collection of distributions (p(y, z mod x)). The decoder uses the channel output y and a function f(z) of the relay output at a rate no greater than C/sub r/ to recover the message. Some results on the capacity of the channel are obtained. >
15006226
Bounds on the sizes of constant weight covering codes
Motivated by applications in universal data compression algorithms we study the problem of bounds on the sizes of constant weight covering codes. We are concerned with the minimal sizes of codes of lengthn and constant weightu such that every word of lengthn and weightv is within Hamming distanced from a codeword. In addition to a brief summary of part of the relevant literature, we also give new results on upper and lower bounds to these sizes. We pay particular attention to the asymptotic covering density of these codes. We include tables of the bounds on the sizes of these codes both for small values ofn and for the asymptotic behavior. A comparison with techniques for attaining bounds for packing codes is also given. Some new combinatorial questions are also arising from the techniques.
18878687
Directional Coherence Interpolation For Three-Dimensional Gray-Level Images
A novel three-dimensional gray-level interpolation method called the Directional Coherence Interpolation (DCI) is presented in the paper. The principal advantage of the proposed approach is that it leads to significantly higher visual quality in 3D rendering when compared with traditional image interpolation methods. The basis of DCI is a form of directional image-space coherence. DCI interpolates the missing image data along the maximum coherence directions (MCD), which are estimated from the local image intensity yet constrained by a generic smoothness term. In order to further improve both the algorithm efficiency and robustness, we also propose to apply a pyramidal search strategy for MCD estimation. This coarse-to-fine scheme requires less computation time by starting with the reduced amount of data and propagating searching results to finer resolutions. DCI can incorporate image shape and structure information without the prior requirement of explicit representation of object boundary/surface. Extensive experiments were performed on both synthetic and real medical images to evaluate the proposed approaches. The experimental results show that the proposed methods are able to handle general object interpolation, while achieving both accuracy and efficiency in interpolation compared with the existing techniques.
24660543
A note on the lower bounds of signed domination number of a graph
Abstract Let G = (V, E) be a graph. For a function f : V → {−1, 1}, the weight of f is w(f) = Σv ∈ V f(v). For a vertex v in V, we define f[v] = Σu∈N[v] f(u). A signed dominating function of G is a function f : V → {−1, 1} such that f[v] ⩾ 1 for all v ∈ V. The signed domination number γs(G) of G is the minimum weight of a signed dominating function on G. A signed dominating function of a weight γs(G) we call a γs-function of G. In this paper, we study the signed domination problem of general graph, and obtain some lower bounds of the signed domination number of a graph, and show that these lower bounds are sharp, and extend a result in Dunbar et al. (1995).
45941410
The optimal service time allocation of a versatile server to queue jobs and stochastically available non-queue jobs of different types
Abstract In this paper, we consider a service system in which the server can process N + 1 different types of jobs. Jobs of type 0 are generated randomly according to a Poisson stream. Jobs of types 1 to N are non-queue types which may or may not be available for completion by the server. To optimally allocate the server's time to these jobs, we formulate a finite state semi-Markov decision process model to this environment. With this model, the optimal stationary policies can be numerically determined via a policy-iteration algorithm. We also discuss the practical applications of this model to tele-service and tele-marketing operations.
41203874
Optimal Two-Threshold Policies in an M/G/1 Queue With Two Vacation Types
This paper treats two-threshold policies for an M/G/1 queue with two types of generally distributed random vacations: type 1 (long) and type 2 (short) vacations. Upon returning from a vacation, the server observes the queue length. If this is less than the lower threshold, the server takes a type 1 vacation; if it is between the two thresholds, the server takes a type 2 vacation; and if it is at or above the upper threshold, the server resumes serving the queue exhaustively. There is a shutdown cost for starting a series of vacations, a linear customer waiting cost, and type-dependent vacation reward rates. Renewal theory or the PASTA property is used to develop expressions for the average queue length and the average system cost for generally distributed vacations. A search procedure, which is provably finite for exponentially distributed vacations, is developed for determining the optimal threshold values.
38207892
On the Relations Between Arboricity and Independent Number Or Covering Number
In this paper, the following results are obtained: a(G) + β(G) ⩽ p + 1, ⌈p2⌉ ⩽ a(G)β(G), ⌈p2⌉ ⩽ a′(G) + gb′(G) ⩽ pa′(G) + α′(G) ⩽ 2⌈p2⌉ (δ ⩽ 1) and all bounds are sharp, where p = ¦V(G)¦, ⌈x⌉ denotes the smallest integer greater than or equal to x, a(G) is the vertex arboricity, a′(G) is the edge arboricity, α′(G) is the edge covering number, β(G) is the vertex independent number, β′(G) is the edge independent number, and δ is the minimum degree of G.