Informatyka

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

3
Czy liczenie referencji GC vs. śledzenie GC jest właściwością języka lub właściwością implementacji?
Czasami słyszymy: „Swift nie robi klasycznego (śledzącego) GC, używa ARC”. Ale nie jestem pewien, czy w semantyce Swift jest coś, co wymaga zliczania referencji. Wygląda na to, że można zbudować własny kompilator i środowisko wykonawcze Swift, aby korzystać ze śledzenia GC. Czym dokładnie jest „liczenie referencji” w Swift? Implementacja Apple'a …
1
Przewidywanie sekwencji pseudolosowych
Zastrzeżenie: Jestem biologiem, więc przepraszam za (być może) podstawowe pytanie sformułowane w tak surowych terminach. Nie jestem pewien, czy powinienem zadać to pytanie tutaj, czy na DS / SC, ale CS jest największym z trzech, więc proszę. (Po tym, jak opublikowałem, przyszło mi do głowy, że Cross-Validated może być lepszym …
1
Znajdowanie najdłuższego powtarzającego się podsekwencji
Biorąc pod uwagę ciąg sss, Chciałbym znaleźć najdłuższą powtarzającą się (przynajmniej dwukrotnie) podsekwencję. To znaczy, chciałbym znaleźć ciągwww który jest podciągiem (nie musi być ciągły) z sss takie, że w=w′⋅w′w=w′⋅w′w=w' \cdot w' . To jest,wwwto ciąg, którego połówki pojawiają się dwa razy z rzędu. Zauważ, żewww jest podsekwencją sss, ale …
2
Rozstrzygalność sprawdzania pierwotnego?
Załóżmy, że mam dwie funkcje i i jestem zainteresowany ustaleniem, czyFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Załóżmy, że moje funkcje składają się z funkcji elementarnych (wielomiany, wykładnicze, logi i funkcje trygonometryczne), ale nie, powiedzmy, szereg Taylora. Czy można rozwiązać ten problem? Jeśli nie, czy jest to w połowie rozstrzygalne? (Pytam, ponieważ …
1
Czy niedeterminizm w niedeterministycznej maszynie Turinga różni się od automatów skończonych i automatów wypychających?
Niech łańcuch wejściowy będzie podany jako w1w2...wnw1w2...wnw_1w_2...w_n. Następnie, jeśli NFA jest obecnie w stanierrr (i przeczytał wejście do alfabetu wiwiw_i ), a następnie przed odczytaniem następnego symbolu wejściowego NFA dzieli się na dwa NFA, z których jeden jest w stanie rrr i inne istnienie w sss, jeśli istnieje przejście tego …
1
Jak praktycznie zmierzyć entropię pliku?
Próbuję teraz zmierzyć wiele niepotrzebnych (rzeczywistych) informacji, które zawiera mój plik. Niektórzy nazywają to wielkością entropii. Oczywiście istnieje standardowy p (x) log {p (x)}, ale myślę, że Shannon rozważał go tylko z punktu widzenia transmisji przez kanał. Dlatego formuła wymaga rozmiaru bloku (powiedzmy w bitach, zazwyczaj 8). W przypadku dużego …
9 entropy 
1
Czy kombinacyjne terminy logiczne są zawsze większe?
Istnieje więc algorytm konwertujący warunki rachunku lambda na logikę kombinatoryczną za pomocą kombinatorów SK. Produkuje rzeczy, które eksplodują wielkością. Chciałbym dowiedzieć się więcej o tej eksplozji w rozmiarze. Nie mogę jednak wymyślić lepszego algorytmu. Słyszałem, że języki funkcjonalne są praktycznie kompilowane z kombinatorami, więc wydaje się, że musi istnieć lepszy …
1
Klauzula oparta na konflikcie Wyjaśnienie uczenia się nawrotu
Na stronie wikipedia tutaj całkiem dobrze opisuje algorytm CDCL (i wydaje się, że zdjęcia zostały zrobione ze slajdów stworzonych przez Sharada Malika z Princeton). Jednak przy opisywaniu sposobu cofania wszystko mówi „do właściwego punktu”. MiniSAT wykorzystuje również wariant algorytmu CDCL, więc przeczytałem ten artykuł. Wydaje się, że mówią, że powinieneś …
3
Jak rozwiązać problem aranżacyjny w Archive Nationale of France przy użyciu teorii grafów?
Dobry wieczór! Właśnie odbywam staż w Archives Nationales of France i napotkałem sytuację, którą chciałem rozwiązać za pomocą wykresów ... I. Zakurzona sytuacja Chcemy zoptymalizować rozmieszczenie książek w mojej bibliotece zgodnie z ich wysokością, aby zminimalizować koszty archiwizacji. Wysokość i grubość książek są znane. Książki ułożyliśmy już w porządku rosnącymH1,H2,…,HnH1,H2,…,HnH_1,H_2,\dots,H_n(Nie …
1
Jak określić liczbę błędów w algorytmie Welch-Berlekamp?
W algorytmie Welcha-Berlekampa do dekodowania kodów Reeda-Solomona podaje się listę punktów reprezentujących komunikat z błędami na w nieznanych lokalizacjach (i otrzymuje się do algorytmu). Wyjście jest wielomianem przechodzącym przez wszystkie podane punkty z wyjątkiem tych, w których wystąpiły błędy.(zaja,bja)(ai,bja)(a_i, b_i)mimiebjabjab_imimie Metoda polega na rozwiązaniu układu równań liniowych formy bjami(zaja) = …
2
Znaleźć centralny punkt w zestawie punktów metrycznych przestrzeni, w mniej niż ?
Mam zestaw punktów, które są zdefiniowane w przestrzeni metrycznej - więc mogę zmierzyć „odległość” między punktami, ale nic więcej. Chcę znaleźć najbardziej centralny punkt w tym zestawie, który definiuję jako punkt o minimalnej sumie odległości do wszystkich innych punktów. Obliczenia metryczne są powolne, więc w miarę możliwości należy go unikać.nnn …
1
Najcięższy plansza podrzędna
Rozważ następujący problem. Biorąc pod uwagę: Pełny wykres z rzeczywistymi nieujemnymi wagami na krawędziach. Zadanie: znajdź płaski wykres podrzędny o maksymalnej masie. („Maksimum” wśród wszystkich możliwych płaskich wykresów podrzędnych.) Uwaga: Podgraf maksymalnej wagi będzie triangulacją; jeśli cały wykres jest na wierzchołkach, będzie miał krawędzi.nnnm = 3 n - 6m=3)n-6m=3n-6 Pytanie: …
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.