A constructive characterization of total domination vertex critical graphs

Let G be a graph of order n and maximum degree Δ(G) and let γ_t(G) denote the minimum cardinality of a total dominating set of a graph G. A graph G with no isolated vertex is the total domination vertex critical if for any vertex v of G that is not adjacent to a vertex of degree one, the total domination number of G−v is less than the total domination number of G. We call these graphs γ_t-critical. For any γ_t-critical graph G, it can be shown that n≤Δ(G)(γ_t(G)−1)+1. In this paper, we prove that: Let G be a connected γ_t-critical graph of order n (n≥3), then n=Δ(G)(γ_t(G)−1)+1 if and only if G is regular and, for each v∈V(G), there is an A⊆V(G)−{v} such that N(v)∩A=0?, the subgraph induced by A is 1-regular, and every vertex in V(G)−A−{v} has exactly one neighbor in A.     

一类非单调二阶锥互补问题解集的非空性与有界性

本文在二阶锥上引入一类新的映射,称之为笛卡尔P_*(κ)映射,它是单调映射的推广.文中讨论涉及这类映射的二阶锥互补问题的解的存在性和解集的有界性.主要结论为:如果所考虑的互补问题是严格可行的,那么它的解集是非空有界的.     

Partial regularity and singular sets of solutions of higher order parabolic systems

In the present paper we provide a broad survey of the regularity theory for non-differentiable higher order parabolic systems of the type

Scheduling of corrugated paper production

Corrugated paper is produced by gluing three types of papers of the same breadth. Given a set of orders, we first assign each order to one of the standard breadths, and then sequence those assigned to each standard breadth so that they are continuously manufactured from the three rolls of the specified standard breadth equipped in the machine called corrugator. Here we are asked to achieve multi-goals of minimizing total length of roll papers, total loss of papers caused by the differences between standard breadths and real breadths of the orders, and the number of machine stops needed during production. We use integer programming to assign orders to standard breadths, and then develop a special purpose algorithm to sequence the orders assigned to each standard breadth. This is a first attempt to handle scheduling problems of the corrugator machine.     

Rough set approach to multiple criteria classification with imprecise evaluations and assignments

Dominance-based Rough Set Approach (DRSA) has been introduced to deal with multiple criteria classification (also called multiple criteria sorting, or ordinal classification with monotonicity constraints), where assignments of objects may be inconsistent with respect to dominance principle. In this paper, we consider an extension of DRSA to the context of imprecise evaluations of objects on condition criteria and imprecise assignments of objects to decision classes. The imprecisions are given in the form of intervals of possible values. In order to solve the problem, we reformulate the dominance principle and introduce second-order rough approximations. The presented methodology preserves well-known properties of rough approximations, such as rough inclusion, complementarity, identity of boundaries and precisiation. Moreover, the meaning of the precisiation property is extended to the considered case. The paper presents also a way to reduce decision tables and to induce decision rules from rough approximations.     

Optimal risk probability for first passage models in semi-Markov decision processes

This paper studies the risk minimization problem in semi-Markov decision processes with denumerable states. The criterion to be optimized is the risk probability (or risk function) that a first passage time to some target set doesn't exceed a threshold value. We first characterize such risk functions and the corresponding optimal value function, and prove that the optimal value function satisfies the optimality equation by using a successive approximation technique. Then, we present some properties of optimal policies, and further give conditions for the existence of optimal policies. In addition, a value iteration algorithm and a policy improvement method for obtaining respectively the optimal value function and optimal policies are developed. Finally, two examples are given to illustrate the value iteration procedure and essential characterization of the risk function.     

Grey dynamic input-output analysis

A system whose information is partially known and partially unknown is named as a grey system and it is general situation in reality. On the basis of grey number/matrix and their covered operation, some definitions of grey functions are enumerated. Combining grey system theory with traditional dynamic input-output analysis, we propose the grey dynamic input-output analysis. It has two types, i.e., the continuous and the disperse. The most important results are the computational formulas of the matrix-covered set of inverse grey investment coefficient matrix. By using them, we can forecast and control the economic system under the uncertain situation. For the calculation of the matrix-covered set of inverse grey matrices, we obtain the desired formulas, which can be applied to general grey matrices. The formulas can greatly promote the development of grey theory and enrich the applied fields of uncertain mathematics. The modified case illustrates our method.     

On certain spanning subgraphs of embeddings with applications to domination

We prove the existence of certain spanning subgraphs of graphs embedded in the torus and the Klein bottle. Matheson and Tarjan proved that a triangulated disc with n vertices can be dominated by a set of no more than n/3 of its vertices and thus, so can any finite graph which triangulates the plane. We use our existence theorems to prove results closely allied to those of Matheson and Tarjan, but for the torus and the Klein bottle.     

Banach spaces with projectional skeletons

A projectional skeleton in a Banach space is a σ-directed family of projections onto separable subspaces, covering the entire space. The class of Banach spaces with projectional skeletons is strictly larger than the class of Plichko spaces (i.e. Banach spaces with a countably norming Markushevich basis). We show that every space with a projectional skeleton has a projectional resolution of the identity and has a norming space with similar properties to Σ-spaces. We characterize the existence of a projectional skeleton in terms of elementary substructures, providing simple proofs of known results concerning weakly compactly generated spaces and Plichko spaces. We prove a preservation result for Plichko Banach spaces, involving transfinite sequences of projections. As a corollary, we show that a Banach space is Plichko if and only if it has a commutative projectional skeleton.