Search Results for ""

A T_1-space is a topological space fulfilling the T1-separation axiom: For any two points x,y in X there exists two open sets U and V such that x in U and y not in U, and y ...

Given any two distinct points x,y, there exist neighborhoods u and v of x and y, respectively, with u intersection v=emptyset. It then follows that finite subsets are closed.

A topological space fulfilling the T_2-axiom: i.e., any two points have disjoint neighborhoods. In the terminology of Alexandroff and Hopf (1972), a T_2-space is called a ...

X fulfils the T1-separation axiom and is regular. A space satisfying the T_3-separation axiom is said to be a T3-space.

A topological space fulfilling the T3-separation axiom: X fulfils the T1-separation axiom and is regular. According to the terminology of Alexandroff and Hopf (1972), ...

A topological space X fulfils the T1-separation axiom and is normal. A space fulfilling the T_4-separation axiom is said to be a T4-space.

A topological space fulfilling the T_4-axiom: X fulfils the T1-separation axiom and is normal. In the terminology of Alexandroff and Hopf (1972), T_4-space are called Tietze ...

A recursive function devised by I. Takeuchi in 1978 (Knuth 1998). For integers x, y, and z, it is defined by (1) This can be described more simply by t(x,y,z)={y if x<=y; {z ...

When a Young tableau is constructed using the so-called insertion algorithm, an element starts in some position on the first row, from which it may later be bumped. In ...

In the tabu search category of meta-heuristics, the essential idea is to 'forbid' search moves to points already visited in the (usually discrete) search space, at least for ...