Informatyka

10
Jaka jest złożoność obliczania współczynnika korelacji rang Spearmana?

Byłem studiowania Współczynnik korelacji rang Spearmana ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2−−−−−−−−−−−−−−−−−−−√ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . dla dwóch list i ....

10
Robi

Czy z dostępem Oracle do większy niż ? Rozumiem, że to tylko maszyna Turinga, która może wysyłać zapytania do innej maszyny , jeśli tak, to może symulować ? Czy coś jest nie tak z tym

10
Powrócono do warunków Sums of Landau

Poprosiłem (nasion) pytanie o sumach Landau warunkach przed , próbując ocenić niebezpieczeństwa nadużywania notacji asymptotyka w arytmetyce, z mieszanym powodzeniem. Teraz, tutaj nasz guru ds. Nawrotów, JeffE , zasadniczo robi to: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n...

10
Odrębne zmienne dla różnych klauzul

W dowodzeniu twierdzenia o rozdzielczości zwykle przyjmuje się, że zmienne w różnych klauzulach są różne. To nie dzieje się automatycznie; do wdrożenia wymaga znacznego dodatkowego kodu i obliczeń. Biorąc to pod uwagę, szukam dla niego skrzynki testowej. Problem polega na tym, że we wszystkich...

10
Matematyka dla TCS major

Szukam specjalizacji z informatyki teoretycznej; szczególnie interesuje mnie teoria złożoności i teoria automatów probabilistycznych. Kiedy kończę rok, jakie zaawansowane kursy matematyczne (jak na przykład teoria Galois lub analiza harmoniczna) są przydatne do przejęcia kolejnych dwóch semestrów?...

10
Unifikacja vs. solver SAT

Czytałem na Wikipedii, że zjednoczenie jest procesem rozwiązywania problemu satysfakcji. Jednocześnie wiem, że takie solwery nazywane są „solverami SAT” lub „solverami SMT”. Czy są to różne nazwy dla tej samej rzeczy? Jeśli powiesz, że się różnią, proszę wskazać wadę mojego leczenia....

10
Problem sterty d-ary z CLRS

Byłem zdezorientowany podczas rozwiązywania następującego problemu (pytania 1–3). Pytanie D -ary sterty jest jak stos binarny, lecz (z wyjątkiem jednej z możliwych) węzły nie liść ma d dzieci zamiast 2 dzieci. Jak byś stanowią d -ary sterty w tablicy? Jaka jest wysokość d -ary sterty n...

10
Problem przydziału na wiele dni

Mam problem, który można sprowadzić do problemu przydziału. (W poprzednim pytaniu dowiedziałem się, jak to zrobić.) Co oznacza, że ​​mamy zestaw ZAZAA agentów i zestaw zadań, a także funkcję kosztu . Musimy znaleźć zadanie, aby całkowity koszt był minimalny.c ( i , j )T.T.Tc ( i , j...