SAGA SERVICE DISCOVERY US E R S GU I D E F O R C+ + P R O G R A M M E R S

The SAGA Service Discovery API provides a way to find grid services matching particular filter

SAGA INFORMATION SYSTEM NAVIGATOR US E R S GU I D E F O R C+ + P R O G R A M M E R S

The SAGA Service Discovery API provides a way to find grid services matching particular filter

Computations on Nondeterministic Cellular Automata

The work is concerned with the trade-offs between the dimension and the time and space complexity of computations on nondeterministic cellular automata. It is proved, that 1). Every NCA \Cal A of dimension $r$, computing a predicate $P$ with time complexity T(n) and space complexity S(n) can be simulated by $r$-dimensional NCA with time and space complexity $O(T^{\frac{1}{r+1}} S^{\frac{r}{r+1}})$ and by $r+1$-dimensional NCA with time and space complexity $O(T^{1/2} +S)$. 2) For any predicate $P$ and integer $r>1$ if \Cal A is a fastest $r$-dimensional NCA computing $P$ with time complexity T(n) and space complexity S(n), then $T= O(S)$. 3). If $T_{r,P}$ is time complexity of a fastest $r$-dimensional NCA computing predicate $P$ then T_{r+1,P} &=O((T_{r,P})^{1-r/(r+1)^2}), T_{r-1,P} &=O((T_{r,P})^{1+2/r}). Similar problems for deterministic CA are discussed.Comment: 18 pages in AmsTex, 3 figures in PostScrip

Some Exact Ramsey-Tur\'an Numbers

Let r be an integer, f(n) a function, and H a graph. Introduced by Erd\H{o}s, Hajnal, S\'{o}s, and Szemer\'edi, the r-Ramsey-Tur\'{a}n number of H, RT_r(n, H, f(n)), is defined to be the maximum number of edges in an n-vertex, H-free graph G with \alpha_r(G) <= f(n) where \alpha_r(G) denotes the K_r-independence number of G. In this note, using isoperimetric properties of the high dimensional unit sphere, we construct graphs providing lower bounds for RT_r(n,K_{r+s},o(n)) for every 2 <= s <= r. These constructions are sharp for an infinite family of pairs of r and s. The only previous sharp construction was by Bollob\'as and Erd\Hos for r = s = 2.Comment: 11 page