Informatyka

Pytania i odpowiedzi dla studentów, naukowców i praktyków informatyki

1
Dlaczego introsort korzysta z heapsortu, a nie z scalania?
W ramach zadania domowego obejmującego implementację introsortu jestem pytany, dlaczego stosuje się heapsort zamiast scalesort (lub inne algorytmy w tym zakresie). O ( n log( n ) )O(nlog⁡(n))O(n\log(n)) Introsort to hybrydowy algorytm sortowania, który zapewnia zarówno szybką średnią wydajność, jak i (asymptotycznie) optymalną wydajność w najgorszym przypadku. Zaczyna się od …
1
Dlaczego dokładność modułu zmiennoprzecinkowego ma znaczenie?
Większość dialektów Smalltalk implementuje obecnie naiwny niedokładny moduł pływający (fmod / reszta). Właśnie to zmieniłem, aby poprawić Squeak / Pharo i ewentualnie inne przestrzeganie standardów Smalltalk (IEEE 754, ISO / IEC 10967), tak jak już to zrobiłem w przypadku innych operacji zmiennoprzecinkowych. Jednak jeśli chodzi o przyjęcie tych zmian, spodziewam …
1
Jakie są odpowiednie izomorfizmy między językami formalnymi?
Język formalny nad alfabetem jest podzbiorem , czyli zbiór słów nad tym alfabecie. Dwa formalne języki i są sobie równe, jeśli odpowiadające im zbiory są ponadto równe jako podzbiory . W teorii złożoności można używać języków, aby sformalizować pojęcie „problemu”. Można narzekać, że „ogólnie” ekstensywna równość jest nierozstrzygalna, ale wierzę, …
2
Wnioskowanie typu + przeciążenie
Szukam algorytmu wnioskowania typu dla języka, który rozwijam, ale nie mogłem znaleźć takiego, który odpowiada moim potrzebom, ponieważ zwykle są to: à la Haskell, z polimorfizmem, ale bez przeładowania ad hoc à la C ++ (auto), w którym występuje przeciążenie ad-hoc, ale funkcje są monomorficzne W szczególności mój system typów …
3
Kompaktowa reprezentacja ścieżek na wykresie
Mam podzbiór prostych ścieżek na wykresie. Długość ścieżek jest ograniczonaredd. Jaki jest najbardziej zwarty sposób (pod względem pamięci), w jaki sposób mogę reprezentować ścieżki, tak aby nie były reprezentowane żadne inne ścieżki oprócz wybranych? Zauważ, że chcę użyć tej reprezentacji w algorytmie, który będzie powtarzał się przez ten podzbiór ścieżek …
6
Czy techniki weryfikacji programu mogą zapobiec występowaniu błędów w gatunku Heartbleed?
W sprawie błędu Heartbleed Bruce Schneier napisał w swoim Crypto-Gram z 15 kwietnia: „Katastroficzne” to właściwe słowo. W skali od 1 do 10 jest to 11. ” Czytałem kilka lat temu, że jądro określonego systemu operacyjnego zostało rygorystycznie zweryfikowane za pomocą nowoczesnego systemu weryfikacji programów. Czy w ten sposób można …
3
Kiedy powinienem wyjść poza najbliższego sąsiada
W przypadku wielu projektów uczenia maszynowego, które wykonujemy, zaczynamy od k klasyfikatora Nearest Neighbor. Jest to idealny klasyfikator początkowy, ponieważ zwykle mamy wystarczająco dużo czasu na obliczenie wszystkich odległości, a liczba parametrów jest ograniczona (k, metryka odległości i waga) Jednak często powoduje to, że trzymamy się klasyfikatora KNN, ponieważ w …
2
Wybór parametrów algorytmu genetycznego
Jak wybrać odpowiednią liczbę parametrów dla algorytmu genetycznego do modelowania danego systemu? Powiedzmy na przykład, że chcesz zoptymalizować produkcję samochodów i masz 1000 pomiarów wydajności godzinowej przy różnych zadaniach dla każdego z 1000 różnych pracowników. Masz więc 1 000 000 punktów danych. Większość z nich prawdopodobnie będzie słabo skorelowana z …
1
Znalezienie najkrótszej ścieżki między dwoma węzłami
Biorąc pod uwagę ważony digraf G=V,EG=V,EG=V,Ei funkcja wagi, d(u,v)d(u,v)d(u,v), zwykle można użyć algorytmu Dijkstry, aby uzyskać najkrótszą ścieżkę. Interesuje mnie to, jak uzyskać2nd2nd2^{nd}- najkrótsza ścieżka, 3rd3rd3^{rd}-krótko i tak dalej. Pytania: Czy istnieje skuteczny algorytm do uzyskania i-tej najkrótszej ścieżki między dwoma węzłami na wykresie ważonym? Czy istnieje skuteczny algorytm pozwalający …
2
Poszukuję zestawu implementacji o małym rozmiarze pamięci
Szukam implementacji ustawionego typu danych. To znaczy musimy utrzymywać dynamiczny podzbiór SSS (wielkościowy nnn) z wszechświata wielkości u zU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu operacje insert(x)(dodaj element xdo SSS ) i find(x)(sprawdza, czy element xjest członkiem SSS ). Nie dbam o inne operacje. Dla orientacji, …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.