We address the strategy problem for parity games with partial information and observable colors, played on finite graphs of bounded graph complexity. We consider several measures for the complexity of graphs and analyze in which cases, bounding the measure decreases the complexity of the strategy problem on the corresponding classes of graphs. We prove or disprove that the usual powerset constr...

In this paper, we introduce and study a generalized Yosida approximation operator associated to H(·, ·)-co-accretive operator and discuss some of its properties. Using the concept of graph convergence and resolvent operator, we establish the convergence for generalized Yosida approximation operator. Also, we show an equivalence between graph convergence for H(·, ·)-co-accretive operator and gen...

We lay down the foundations for a pointfree theory of Pervin spaces. A space is set equipped with bounded sublattice its powerset, and it known that these objects characterize those quasi-uniform spaces are transitive totally bounded. The notion space, which we call Frith frame, consists frame generating sublattice. In this paper introduce study category frames show classical dual adjunction be...

we consider the transitive linear maps on the operator algebra $b(x)$for a separable banach space $x$. we show if a bounded linear map is norm transitive on $b(x)$,then it must be hypercyclic with strong operator topology. also we provide a sot-transitivelinear map without being hypercyclic in the strong operator topology.

Any sphere S admits a metric of constant sectional curvature. These canonical metrics are homogeneous and Einstein, that is the Ricci curvature is a constant multiple of the metric. The spheres S, m > 1 are known to have another Sp(m + 1)-homogeneous Einstein metric discovered by Jensen [Jen73]. In addition, S has a third Spin(9)-invariant homogeneous Einstein metric discovered by Bourguignon a...

We present new results achieved in the application of incremental graph composition algorithm, in particular using the label pushing method to further reduce the final graph size. In our previous work we have shown that the incremental composition is an efficient alternative to the conventional finite state transducer (FST) determinization-composition-minimization approach, with some limitation...

The definition of a category of (T,V)-algebras, where V is a unital commutative quantale and T is a Set-monad, requires the existence of a certain lax extension of T. In this article, we present a general construction of such an extension. This leads to the formation of two categories of (T,V)-algebras: the category Alg(T,V) of canonical (T,V)-algebras, and the category Alg(T′,V) of op-canonica...