二次曲面和平面位置关系的判式

在解析几何中有二次曲线与直线位置关系的讨论、二次曲面与直线位置关系的讨论,而二次曲面与平面相关位置关系的探讨较少.本文给出二次曲面a11x2+a22y2+a33z2+2a12xy+2a13xz+2a23yz+2a14x+2a24y+2a34z+a44=0(1)和平面Ax+By+Cz+D=0(2)的相对位置的判别式Δ=a11a12a13a14Aa21a22a23a24Ba31a32a33a34Ca41a42a43a44DA B C D0(aij=aji).(3)并证明了:若Δ>0,则二次曲面(1)与平面(2)相交;若Δ=0,则(1)和(2)相切;若Δ<0,则(1)和(2)相离.     

A relaxed extragradient-like method for a generalized mixed equilibrium problem,a general system of generalized equilibria and a fixed point problem

Very recently, Takahashi and Takahashi [S. Takahashi, W. Takahashi, Strong convergence theorem for a generalized equilibrium problem and a nonexpansive mapping in a Hilbert space, Nonlinear Anal. 69 (2008) 1025–1033] suggested and analyzed an iterative method for finding a common solution of a generalized equilibrium problem and a fixed point problem of a nonexpansive mapping in a Hilbert space. In this paper, based on Takahashi–Takahashi’s iterative method and well-known extragradient method we introduce a relaxed extragradient-like method for finding a common solution of a generalized mixed equilibrium problem, a general system of generalized equilibria and a fixed point problem of a strictly pseudocontractive mapping in a Hilbert space and then obtain a strong convergence theorem. Utilizing this theorem, we establish some new strong convergence results in fixed point problems, variational inequalities, mixed equilibrium problems and systems of generalized equilibria.     

On the intersections of circuits and cocircuits in matroids

Seymour has shown that a matroid has a triad, that is, a 3-element set which is the intersection of a circuit and a cocircuit, if and only if it is non-binary. In this paper we determine precisely when a matroidM has a quad, a 4-element set which is the intersection of a circuit and a cocircuit. We also show that this will occur ifM has a circuit and a cocircuit meeting in more than four elements. In addition, we prove that if a 3-connected matroid has a quad, then every pair of elements is in a quad. The corresponding result for triads was proved by Seymour.     

Toader型平均与几种经典平均的确界

给出了最佳参数α_1,α_2,α_3,β_1,β_2,β_3∈R,使得双向不等式α_1Q(a,b)+(1-α_1)G(a,b)0且a≠b成立.其中A(a,b)=(a+b)/2,H(a,b)=2ab/(a+b),G(a,b)=(ab)~(1/2),Q(a,b)=((a~2+b~2)/2)~(1/2),C(a,b)=(a~2+b~2)/(a+b),T(a,b)=2/π∫_0~(π/2)(a~2cos~2t+b~2sin~2)~(1/2)tdt分别是两个正数a和b的算术平均,调和平均,几何平均,二次平均,反调和平均和Toader平均.     

On dominance-based multiobjective local search: design, implementation and experimental analysis on scheduling and traveling salesman problems

This paper discusses simple local search approaches for approximating the efficient set of multiobjective combinatorial optimization problems. We focus on algorithms defined by a neighborhood structure and a dominance relation that iteratively improve an archive of nondominated solutions. Such methods are referred to as dominance-based multiobjective local search. We first provide a concise overview of existing algorithms, and we propose a model trying to unify them through a fine-grained decomposition. The main problem-independent search components of dominance relation, solution selection, neighborhood exploration and archiving are largely discussed. Then, a number of state-of-the-art and original strategies are experimented on solving a permutation flowshop scheduling problem and a traveling salesman problem, both on a two- and a three-objective formulation. Experimental results and a statistical comparison are reported in the paper, and some directions for future research are highlighted.     

Partnership formation based on multiple traits

A model of partnership formation based on two traits, called beauty and character, is presented. There are two classes of individual and partners must be of different classes. Individuals prefer prospective partners with a high beauty measure and of a similar character. This problem may be interpreted as e.g. a job search problem in which the classes are employer and employee, or a mate choice problem in which the classes are male and female. Beauty can be observed instantly. However, a costly date (or interview) is required to observe the character of a prospective partner. On observing the beauty of a prospective partner, an individual decides whether he/she wishes to date. During a date, the participants observe each other’s character and then decide whether to form a pair. Mutual acceptance is required both for a date to occur and pair formation. On finding a partner, an individual stops searching. Beauty has a continuous distribution on a finite interval, while character ‘forms a circle’ and has a uniform distribution. Criteria based on the concept of a subgame perfect Nash equilibrium are used to define a symmetric equilibrium of this game. It is argued that this equilibrium is unique. When dating costs are high, this equilibrium is a block separating equilibrium as in more classical formulations of two-sided job search problems. However, for sufficiently small dating costs the form of this equilibrium is essentially different.     

Subgradient Projectors: Extensions,Theory, and Characterizations

Subgradient projectors play an important role in optimization and for solving convex feasibility problems. For every locally Lipschitz function, we can define a subgradient projector via generalized subgradients even if the function is not convex. The paper consists of three parts. In the first part, we study basic properties of subgradient projectors and give characterizations when a subgradient projector is a cutter, a local cutter, or a quasi-nonexpansive mapping. We present global and local convergence analyses of subgradent projectors. Many examples are provided to illustrate the theory. In the second part, we investigate the relationship between the subgradient projector of a prox-regular function and the subgradient projector of its Moreau envelope. We also characterize when a mapping is the subgradient projector of a convex function. In the third part, we focus on linearity properties of subgradient projectors. We show that, under appropriate conditions, a linear operator is a subgradient projector of a convex function if and only if it is a convex combination of the identity operator and a projection operator onto a subspace. In general, neither a convex combination nor a composition of subgradient projectors of convex functions is a subgradient projector of a convex function.     

Almost-regular factorization of graphs

For integers a and b, 0 ? a ? a ? b, an [a, b]-graph G satisties a ? deg(x, G) ? b for every vertex x of G, and an [a, b]-factor is a spanning subgraph F such that a ? deg(x, F) ? b for every vertex x of F. An [a, b]-factor is almost-regular if b = a + 1. A graph is [a, b]-factorable if its edges can be decomposed into [a, b]-factors. When both K and t are positive integers and s is a nonnegative integer, we prove that every [(12K + 2)t + 2ks, (12k + 4)t + 2ks]-graph is [2k,2k + 1]-factorable. As its corollary, we prove that every [r.r + 1]-graph with r ? 12k² + 2k is [2k + 1]-factorable, which is a partial extension of the two results, one by Thomassen and the other by Era.     

Complex affine distributions

Geometry of affine immersions is the study of hypersurfaces that are invariant under affine transformations. As with the hypersurface theory on the Euclidean space, an affine immersion can induce a torsion-free affine connection and a (pseudo)-Riemannian metric on the hypersurface. Moreover, an affine immersion can induce a statistical manifold, which plays a central role in information geometry. Recently, a statistical manifold with a complex structure is actively studied since it connects information geometry and Kähler geometry. However, a holomorphic complex affine immersion cannot induce such a statistical manifold with a Kähler structure. In this paper, we introduce complex affine distributions, which are non-integrable generalizations of complex affine immersions. We then present the fundamental theorem for a complex affine distribution, and show that a complex affine distribution can induce a statistical manifold with a Kähler structure.     

An algebraic characterization of planar graphs

A cycle in a graph is a set of edges that covers each vertex an even number of times. A cocycle is a collection of edges that intersects each cycle in an even number of edges. A bicycle is a collection of edges that is both a cycle and a cocycle. The cycles, cocycles, and bicycles each form a vector space over the integers modulo two when addition is defined as symmetric difference of sets. In this paper we examine the relationship between the left-right paths in a planar graph and the cycle space, cocylce space, and bicycle space. We show that planar graphs are characterized by the existence of a diagonal—a double cover by tours that interacts with the cycle space, cocycle space, and bicycle space in a special manner. This generalizes a result of Rosenstiehl and Read that characterized those planar graphs with no nonempty bicycles. © 1995 John Wiley & Sons, Inc.     

Existence and uniqueness of the solution for the bidomain model used in cardiac electrophysiology

We study the well-posedness of the bidomain model that is commonly used to simulate electrophysiological wave propagation in the heart. We base our analysis on a formulation of the bidomain model as a system of coupled parabolic and elliptic PDEs for two potentials and ODEs representing the ionic activity. We first reformulate the parabolic and elliptic PDEs into a single parabolic PDE by the introduction of a bidomain operator. We properly define and analyze this operator, basically a non-differential and non-local operator. We then present a proof of existence, uniqueness and regularity of a local solution in time through a semigroup approach, but that applies to fairly general ionic models. The bidomain model is next reformulated as a parabolic variational problem, through the introduction of a bidomain bilinear form. A proof of existence and uniqueness of a global solution in time is obtained using a compactness argument, this time for an ionic model reading as a single ODE but including polynomial nonlinearities. Finally, the hypothesis behind the existence of that global solution are verified for three commonly used ionic models, namely the FitzHugh–Nagumo, Aliev–Panfilov and MacCulloch models.     

A Priori and A Posteriori: A Bootstrapping Relationship

The distinction between a priori and a posteriori knowledge has been the subject of an enormous amount of discussion, but the literature is biased against recognizing the intimate relationship between these forms of knowledge. For instance, it seems to be almost impossible to find a sample of pure a priori or a posteriori knowledge. In this paper, it will be suggested that distinguishing between a priori and a posteriori is more problematic than is often suggested, and that a priori and a posteriori resources are in fact used in parallel. We will define this relationship between a priori and a posteriori knowledge as the bootstrapping relationship. As we will see, this relationship gives us reasons to seek for an altogether novel definition of a priori and a posteriori knowledge. Specifically, we will have to analyse the relationship between a priori knowledge and a priori reasoning, and it will be suggested that the latter serves as a more promising starting point for the analysis of aprioricity. We will also analyse a number of examples from the natural sciences and consider the role of a priori reasoning in these examples. The focus of this paper is the analysis of the concepts of a priori and a posteriori knowledge rather than the epistemic domain of a posteriori and a priori justification.     

Geometric versions of finite games: Prisoner's dilemma,entry deterrence and a cyclical majority paradox

We provide geometric versions of finite, two-person games in the course of proving the following: if a finite, two-person, symmetric game is constant-sum, it is a location game. If it is not constant-sum, it is a location game with a reservation price. Every finite two-person game is a location game with a reservation price and two location sets, one for each player.We then use location games to resolve a cyclical majority paradox, and to analyze a prisoner's dilemma and an entry deterrence game.     

A general vectorial Ekeland’s variational principle with a P-distance

In this paper, by using p-distances on uniform spaces, we establish a general vectorial Ekeland variational principle （in short EVP）, where the objective function is defined on a uniform space and taking values in a pre-ordered real linear space and the perturbation involves a p-distance and a monotone function of the objective function. Since p-distances are very extensive, such a form of the perturbation in deed contains many different forms of perturbations appeared in the previous versions of EVP. Besides, we only require the objective function has a very weak property, as a substitute for lower semi-continuity, and only require the domain space （which is a uniform space） has a very weak type of completeness, i.e., completeness with respect to a certain p-distance. Such very weak type of completeness even includes local completeness when the uniform space is a locally convex topological vector space. From the general vectorial EVP, we deduce a general vectorial Caristi＇s fixed point theorem and a general vectorial Takahashi＇s nonconvex minimization theorem. Moreover, we show that the above three theorems are equivalent to each other. We see that the above general vectorial EVP includes many particular versions of EVP, which extend and complement the related known results.     

图的分数k-因子

给定图G=(V,E).设a和b是两个非负整数.fE→［0,1］是一个函数.如果     

[a,b]-对等图的范-型条件

既是[a,b]-覆盖又是[a,b]-消去的图称为[a,b]-对等图.设1≤aan+1a+b,则G为[a,b]-对等图.给出了一个图是[a,b]-对等图的关于范-型条件及邻域并的若干充分条件,并指出定理中的条件在一定意义上是最好可能的.     

Natural Isomorphism Classes of Cycle Permutation Graphs Over a Graph

 A permutation graph over a graph was introduced by Lee and Sohn in [8] as a generalization of both a graph bundle over a graph and a standard permutation graph, and they gave a characterization of a natural isomorphism and an automorphism of a given permutation graph over a graph. In this paper, we enumerate the natural isomorphism classes of cycle permutation graphs over a graph. Received: October 21, 1996 Revised: August 25, 1997     

算子权移位的Banach约化性

本文给出了单边算子权移位是ＢＲ算子的充要条件及双边算子权移位是ＢＲ算子的充分条件．做为推论，重新得到了［１］中的一个结果，并得到了一类ＢＩＲ单边算子权移位的例子。最后，给出大量的ＨＩＲ但同时又是ＢＲ的单边算子权移位。     

Planar graphs decomposable into a forest and a matching

He, Hou, Lih, Shao, Wang, and Zhu showed that a planar graph of girth 11 can be decomposed into a forest and a matching. Borodin, Kostochka, Sheikh, and Yu improved the bound on girth to 9. We give sufficient conditions for a planar graph with 3-cycles to be decomposable into a forest and a matching.