Search results for "Abstract data type"
showing 10 items of 1140 documents
A Constructive Arboricity Approximation Scheme
2020
The arboricity \(\varGamma \) of a graph is the minimum number of forests its edge set can be partitioned into. Previous approximation schemes were nonconstructive, i.e., they approximate the arboricity as a value without computing a corresponding forest partition. This is because they operate on pseudoforest partitions or the dual problem of finding dense subgraphs.
Assessment Tests in the Mathematics Teaching Guides in Spain. Analysis of the Content Blocks and the Treatment of Arithmetic Word Problems
2021
The teaching guides that complement textbooks have key importance in the assessment of competence in problem solving, because these materials contain the assessment tools that teachers frequently use to quantify the achievements of their students. In this paper, we set two aims: to analyze which curriculum contents are given priority in the assessment tests of the teaching guides
Parameter dependence for the positive solutions of nonlinear, nonhomogeneous Robin problems
2020
We consider a parametric nonlinear Robin problem driven by a nonlinear nonhomogeneous differential operator plus an indefinite potential. The reaction term is $$(p-1)$$-superlinear but need not satisfy the usual Ambrosetti–Rabinowitz condition. We look for positive solutions and prove a bifurcation-type result for the set of positive solutions as the parameter $$\lambda >0$$ varies. Also we prove the existence of a minimal positive solution $$u_\lambda ^*$$ and determine the monotonicity and continuity properties of the map $$\lambda \rightarrow u_\lambda ^*$$.
Some coincidence and periodic points results in a metric space endowed with a graph and applications
2015
The purpose of this paper is to obtain some coincidence and periodic points results for generalized $F$-type contractions in a metric space endowed with a graph. Some examples are given to illustrate the new theory. Then, we apply our results to establishing the existence of solution for a certain type of nonlinear integral equation.
Measures with predetermined regularity and inhomogeneous self-similar sets
2016
We show that if $X$ is a uniformly perfect complete metric space satisfying the finite doubling property, then there exists a fully supported measure with lower regularity dimension as close to the lower dimension of $X$ as we wish. Furthermore, we show that, under the condensation open set condition, the lower dimension of an inhomogeneous self-similar set $E_C$ coincides with the lower dimension of the condensation set $C$, while the Assouad dimension of $E_C$ is the maximum of the Assouad dimensions of the corresponding self-similar set $E$ and the condensation set $C$. If the Assouad dimension of $C$ is strictly smaller than the Assouad dimension of $E$, then the upper regularity dimens…
Topologically complex molecules obtained by transition metal templation: it is the presentation that determines the synthesis strategy
2013
Topological constructions made from closed curves range from simple links to intricate knots and started to capture the chemists' attention in the early sixties. These mathematical objects result from particular embeddings of a single or a set of closed curves in the three-dimensional space that show an infinite variety of presentations. Simple catenanes, higher order interlocked macrocycles, and molecular knots can be synthesized via the metal template approach, just as simple macrocycles. However, this requires that rigid presentations with appropriate geometrical characteristics be identified prior to molecular design, and those selected for the metal-templated synthesis of some of these…
On a class of compactly epi-Lipschitzian sets
2003
The paper is devoted to the study of the so-called compactly epi-Lipschitzian sets. These sets are needed for many aspects of generalized differentiation, particulary for necessary optimality conditions, stability of mathematical programming problems and calculus rules for subdifferentials and normal cones. We present general conditions under which sets defined by general constraints are compactly epi-Lipschitzian. This allows us to show how the compact epi-Lipschitzness properties behave under set intersections.
All congruences below stability-preserving fair testing or CFFD
2020
AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …
Lattice of closure endomorphisms of a Hilbert algebra
2019
A closure endomorphism of a Hilbert algebra [Formula: see text] is a mapping that is simultaneously an endomorphism of and a closure operator on [Formula: see text]. It is known that the set [Formula: see text] of all closure endomorphisms of [Formula: see text] is a distributive lattice where the meet of two elements is defined pointwise and their join is given by their composition. This lattice is shown in the paper to be isomorphic to the lattice of certain filters of [Formula: see text], anti-isomorphic to the lattice of certain closure retracts of [Formula: see text], and compactly generated. The set of compact elements of [Formula: see text] coincides with the adjoint semilattice of …
Bifurcations of links of periodic orbits in non-singular Morse–Smale systems with a rotational symmetry on S3
2000
Abstract In this paper we consider a rotational symmetry on a non-singular Morse–Smale (NMS) system analyzing the restrictions this symmetry imposes on the links defined by the set of its periodic orbits and to the appearance of local generic codimension one bifurcations in the set of NMS flows on S 3 . The topological characterization is obtained by writing the involved links in terms of Wada operations. It is also obtained that symmetry implies that in general bifurcations have to be multiple. On the other hand, we also see that there exists a set of links that cannot be related to any other by sequences of this kind of bifurcation.