Identify a string x over f0; 1g with the positive integer whose binary representation is 1x. We say that a self-reduction is k-local if on input x all queries belong to fx ? 1; : : :; x ? kg. We show that all k-locally self-reducible sets belong to PSPACE. However, the power of k-local self-reductions changes drastically between k = 2 and k = 3. Although all 2-locally self-reducible sets belong...

We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n) and Õ(m). The algorithms use a new compact data structure for representing reducible flow graphs called Annotated Decomposition Trees. This data structure extends a binary tree to represent flowgraph information, dominance relat...

Tensor product of irreducible modules highest weight over a semi-simple quantum group is completely reducible if and only natural contravariant form non-degenerate when restricted to the span singular vectors. We express this restriction through extremal projector providing computationally feasible criterion for complete reducibility tensor products.

We construct new M-theory solutions of M5 branes that are a realization of the fully localized ten dimensional NS5/D6 and NS5/D5 brane intersections. These solutions are obtained by embedding self-dual geometries lifted to M-theory. We reduce these solutions down to ten dimensions, obtaining new D-brane systems in type IIA/IIB supergravity. The worldvolume theories of the NS5-branes are new non...

The aim of the present paper is to provide a global presentation, as complete as we can, of the theory of special Finsler manifolds. We introduce and investigate globally (or intrinsically, free from local coordinates) many of the most important and commonly used special Finsler manifolds : locally Minkowskian, Berwald, Landesberg, general Landesberg, P -reducible, C-reducible, semi-C-reducible...

For a semigroup S (group G) we study relational equations and describe all semigroups with equationally Noetherian direct powers. It follows that any group G has powers if consider as an algebraic structure of certain language. Further specify the results follows: power finite is Noetherian, then minimal ideal Ker(S) rectangular band groups coincides set reducible elements