Some further remarks on good sets

We show that in n-fold cartesian product, n ≥ 4, a related component need not be a full component. We also prove that when n ≥ 4, uniform boundedness of lengths of geodesics is not a necessary condition for boundedness of solutions of (1) for bounded function f.     

Bargaining set theory and stability in coalition governments

Various bargaining set theories are compared as predictors of coalition government portfolio distribution. While the kernel and B₁-bargaining set are known to exist in voting games with side payments, it is argued that the kernel, and thus B₁, are poor predictors. The B₂-bargaining set, a subset of B₁, when it exists is shown to be a good payoff predictor in a fractionalized and depolarized parliamentary situation (Finland: 1945ndash;1971). Moreover this predictor provides some explanation for the formation of surplus (winning but not minimal) coalitions.     

A special ordered set approach for optimizing a discontinuous separable piecewise linear function

We give a special ordered set (SOS) approach that optimizes a discontinuous separable piecewise linear function, even when a mixed-integer programming (MIP) model is not available for it. When a MIP model is available, our SOS model gives a linear programming relaxation bound that is as good as the MIPs.     

Locating and paired-dominating sets in graphs

In this paper, we continue the study of paired-domination in graphs introduced by Haynes and Slater [T.W. Haynes, P.J. Slater, Paired-domination in graphs, Networks 32 (1998), 199–206]. A paired-dominating set of a graph G with no isolated vertex is a dominating set S of vertices whose induced subgraph has a perfect matching. We consider paired-dominating sets which are also locating sets, that is distinct vertices of G are dominated by distinct subsets of the paired-dominating set. We consider three variations of sets which are paired-dominating and locating sets and investigate their properties.     

关于矩阵方程求解的另一点注记

对任意给定的矩阵A∈Pm×n,B∈Pm×s(s≤n),探讨了矩阵方程AX=B有列满秩解,同时BY=A有行满秩解的充分必要条件,并且给出了基于矩阵的等价、齐次方程组的同解、向量组的等价及线性空间语言的推广.     

关于树的完美邻域集与无冗余集 (英)

本文首先给出了求树图T的完美邻域的多项式时间复杂度算法(A),并在此基础上证明了当S是T的任一完美邻域且｜S｜=θ(T),则S是T的一极大无冗余集．然后给出了由T的一极大无冗余集生成完美邻域集的多项式时间复杂度算法(B),并依此算法证明了若S为T的任一极大无冗余集,则T存在一独立完美邻域集U且｜U｜≤｜S｜．     

扰动模糊集的粗糙度

首先,将扰动模糊集和粗糙集理论相结合,提出了粗糙扰动模糊集的概念并研究了其基本性质.接着,通过引进扰动模糊集水平上、下边界区域的概念,克服了粗糙集理论中普遍存在的两个集合的上近似的交不等于两个集合的交的上近似(两个集合的下近似的并不等于两个集合的并的下近似)的缺陷.最后,定义了依参数的扰动模糊集的粗糙度的定义,讨论了其基本性质.     

Variable-precision dominance-based rough set approach and attribute reduction

In this paper, a variable-precision dominance-based rough set approach (VP-DRSA) is proposed together with several VP-DRSA-based approaches to attribute reduction. The properties of VP-DRSA are shown in comparison to previous dominance-based rough set approaches. An advantage of VP-DRSA over variable-consistency dominance-based rough set approach in decision rule induction is emphasized. Some relations among the VP-DRSA-based attribute reduction approaches are investigated.     

变测度的积分-水平集确定性算法

提出了一个求总极值的变测度确定性算法,对不同的箱子采用不同的测度,结合确定性数论方法选取一致分布佳点集来代替Monte-Carlo随机投点,使水平值充分地下降,更快地到达全局最小,从而提高算法的计算效率.在文中给出了算法的收敛性证明,并通过数值算例验证了它的有效性.     

优良抽样设计下总体均值的比率估计

当研究目标的实际测量具有不可修复的破坏性或耗资巨大时,有效的抽样设计将是一项重要的研究课题.在统计推断方面,排序集抽样被视为一种更为有效的收集数据的方式.极值排序集抽样(ERSS)是一种改进的排序集抽样.文章在ERSS下研究了总体均值的比率估计.以正态分布为例,比较了简单随机抽样和ERSS下比率估计的相对效率.数值结果表明ERSS下的比率估计优于简单随机抽样下的比率估计.     

Using support vector machines to learn the efficient set in multiple objective discrete optimization

We propose using support vector machines (SVMs) to learn the efficient set in multiple objective discrete optimization (MODO). We conjecture that a surface generated by SVM could provide a good approximation of the efficient set. As one way of testing this idea, we embed the SVM-approximated efficient set information into a Genetic Algorithm (GA). This is accomplished by using a SVM-based fitness function that guides the GA search. We implement our SVM-guided GA on the multiple objective knapsack and assignment problems. We observe that using SVM improves the performance of the GA compared to a benchmark distance based fitness function and may provide competitive results.     

Global periodicity and openness of the set of solutions for discrete dynamical systems

In this paper, we find additional conditions to be satisfied by a globally periodic discrete dynamical system, so that its good set (the set of initial conditions providing well-defined solutions) is an open set of ? ^k or ? ^k . We will pay especial attention to the rational case and several examples will be given.     

物元可拓集集合性质研究

在可拓集合概念基础上,提出了向量可拓集和区间可拓集概念,研究了物元可拓集合的交、并、求补等集合运算及其性质.     

拟正则双序集用矩形双序集的余扩张

称双序集E为双序集F用矩形双序集的余扩张,若存在满双序集态射θ：E→F,使对每个α∈F,αθ－1是E的矩形双序子集．本文讨论了拟正则双序集的这种余扩张的性质,给出了它们的结构．作为应用,证明了拟正则的硬双序集实为正则双序集．     

拟多项式的迭代

讨论了更广泛的拟多项式映射,研究了拟多项式的迭代,证明了关于逃逸集,充满 Julia集和Julia集的几个定理.推广了多项式动力系统的相关结果.     

Cantor集并的自相似性(英文)

本文研究了Cantor集和其并的自相似性.利用Cantor展式的方法,得到了关于Cantor集和迭代函数系的一个基本关系:T∪(T+α)为自相似的当且仅当存在一个非负整数n使得α=±(k2-k1)dn.进一步,若T∪(T+α)是自相似的,则它满足开集条件.     

Some New Lattice Constructions in High R. E. Degrees

A well-known theorem by Martin asserts that the degrees of maximal sets are precisely the high recursively enumerable (r. e.) degrees, and the same is true with ‘maximal’ replaced by ‘dense simple’, ‘r-maximal’, ‘strongly hypersimple’ or ‘finitely strongly hypersimple’. Many other constructions can also be carried out in any given high r. e. degree, for instance r-maximal or hyperhypersimple sets without maximal supersets (Lerman, Lachlan). In this paper questions of this type are considered systematically. Ultimately it is shown that every conjunction of simplicity- and non-extensibility properties can be accomplished, unless it is ruled out by well-known, elementary results. Moreover, each construction can be carried out in any given high r. e. degree, as might be expected. For instance, every high r. e. degree contains a dense simple, strongly hypersimple set A which is contained neither in a hyperhypersimple nor in an r-maximal set. The paper also contains some auxiliary results, for instance: every r. e. set B can be transformed into an r. e. set A such that (i) A has no dense simple superset, (ii) the transformation preserves simplicity- or non-extensibility properties as far as this is consistent with (i), and (iii) A ?_T B if B is high, and A ≥_T B otherwise. Several proofs involve refinements of known constructions; relationships to earlier results are discussed in detail.     

Computing the minimal covering set

We present the first polynomial-time algorithm for computing the minimal covering set of a (weak) tournament. The algorithm draws upon a linear programming formulation of a subset of the minimal covering set known as the essential set. On the other hand, we show that no efficient algorithm exists for two variants of the minimal covering set–the minimal upward covering set and the minimal downward covering set–unless P equals NP. Finally, we observe a strong relationship between von Neumann–Morgenstern stable sets and upward covering on the one hand, and the Banks set and downward covering on the other.     

Sensitivity of Pareto Solutions in Multiobjective Optimization

The paper presents a sensitivity analysis of Pareto solutions on the basis of the Karush-Kuhn-Tucker (KKT) necessary conditions applied to nonlinear multiobjective programs (MOP) continuously depending on a parameter. Since the KKT conditions are of the first order, the sensitivity properties are considered in the first approximation. An analogue of the shadow prices, well known for scalar linear programs, is obtained for nonlinear MOPs. Two types of sensitivity are investigated: sensitivity in the state space (on the Pareto set) and sensitivity in the cost function space (on the balance set) for a vector cost function. The results obtained can be used in applications for sensitivity computation under small variations of parameters. Illustrative examples are presented.Research of this author was partially supported by Grant BEC2003-09067-C04-03.Research of this author was partially supported by NSERC Grant RGPIN-3492-00.Research of this author was partially supported by Grant BEC2003-09067-C04-02.