Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
In this paper we consider polynomial-time algorithms for bin packing and their applications. The previously studied FIRST FIT and BEST FIT algorithms are shown to be special cases of a more generalized class of algorithms which all have similar worst case behavior. Linear time algorithms are then introduced which, though "faster" than FIRST FIT and BEST FIT, have the same, or better, worst...
A new simplified proof of the McCreight-Meyer Honesty or Naming Theorem is given. Let t be a recursive function, and let F(t) be the set of recursive function computable within time bound t. Then it is shown that an honest recursive t′ can be found which is arbitrarily large on a dense set of arguments such that F(t) = F(t′).
This note defines a new equivalence relation among systems of recursion equations and a method for assigning context-free grammars to these systems, such that (1) The new equivalence implies strong equivalence; (2) Systems are equivalent in the new sense iff their grammars generate the same language; (3) There is a nontrivial decidable class of systems whose grammars have the decidability properties...
Some results concerning uniform modular decomposition are presented. The primary concern is with the number of inputs which a universal module must have and also with the conditions which a module must satisfy if it is to be output sufficient. It is shown that the number of inputs required by an output sufficient module grows exponentially with the number of inputs to the sequential machines to be...
A set of positive integers is said to be recognizable by a push-down automaton if its elements, written in k-ary notation for some k ≥ 2, form a context-free language. Some general properties of this type of sets are given. The set of squares is shown not to be recognizable. A necessary condition is proved for a subset of a set defined by a linear recurrence relation of some special form to be recognizable...
Suppose we are given a polynomial in (X1,..., Xr) in r ≥ 1 variables, let m bound the degree of p in all variables Xi, 1≤i≤r, and we wish to raise P to the nth power, n≫1. In a recent paper which compared the iterative versus the binary method it was shown that their respective computing times were O(m2rnr+1) versus O((mn) 2r) when using single precision arithmetic. In this paper a new algorithm is...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.