Informatyka

13
Bezpieczne podsumowanie przelewu

Załóżmy, że podano mi liczb całkowitych o stałej szerokości (tzn. Mieszczą się one w rejestrze szerokości ), tak że ich suma również mieści się w rejestrze szerokości .w a 1 , a 2 , … a n a 1 + a 2 + ⋯ + a n = S wnnnwwwa1,a2,…ana1,a2,…ana_1, a_2, \dots a_na1+a2+⋯+an=Sa1+a2+⋯+an=Sa_1 + a_2 + \dots +...

13
Ograniczona wersja problemu Clique?

Rozważ następującą wersję problemu Kliki, w której dane wejściowe mają rozmiar a my poprosimy o znalezienie kliki o rozmiarze . Ograniczeniem jest to, że procedura decyzyjna nie może zmienić wykresu wejściowego na żadną inną reprezentację i nie może użyć żadnej innej reprezentacji do obliczenia...

13
Wygładzanie w modelu Naive Bayes

Naiwny predyktor Bayesa dokonuje swoich przewidywań, używając tej formuły: P.( Y= y| X= x ) = α P( Y= y) ∏jaP.( Xja= xja| Y= y)P.(Y=y|X=x)=αP.(Y=y)∏jaP.(Xja=xja|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) gdzie jest czynnikiem normalizującym. Wymaga to oszacowania parametrów P ( X i = x...

13
Zaokrąglanie zmiennoprzecinkowe

Czy liczba zmiennoprzecinkowa IEEE-754 <1 (tj. Generowana za pomocą generatora liczb losowych, który generuje liczbę> = 0,0 i <1,0) może być kiedykolwiek pomnożona przez jakąś liczbę całkowitą (w postaci zmiennoprzecinkowej), aby uzyskać liczbę równą lub większą niż ta liczba całkowita z...

13
co to jest semantyka?

Istnieje wiele popularnych języków. Ale informatycy mówią nam, że aby zrozumieć zachowanie programów w tych językach, zdecydowanie i jednoznacznie spieramy się na zachowanie programu (np. Udowodnić ich tożsamość), musimy przetłumaczyć je na inny, dobrze zrozumiały język. Nazywają taki język...

13
Przejściowa redukcja DAG

Szukam algorytmu O (V + E) do znajdowania redukcji przechodnich przy danym DAG. To oznacza usunięcie jak największej liczby krawędzi, abyś mógł dosięgnąć v od ciebie, dla dowolnych v iu nadal możesz sięgnąć po usunięciu krawędzi. Jeśli jest to standardowy problem, proszę wskazać mi jakieś...