Informatyka

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

3
Dlaczego miałbyś używać monitora zamiast semafora?
Obecnie uczęszczam na kurs programowania równoległego na moim uniwersytecie, a ostatnio zaczęliśmy rozmawiać o koncepcji monitora. Chociaż rozumiem potrzebę wzajemnego wykluczenia, nie rozumiem, dlaczego miałbym do tego używać monitora. Jak rozumiem, monitor gwarantuje, że dokładnie jeden proces lub żaden proces nie znajduje się w sekcji krytycznej przez cały czas. Dokładnie …
1
Dlaczego ten argument za
Wiem, że to głupie, ale udało mi się pomylić i potrzebuję pomocy w rozwiązaniu tego Załóżmy, że , więc wyraźnie dla każdej wyroczni mamy co zaprzecza faktowi, że istnieje pewna wyrocznia dla której , stądA P A = N P A A P A ≠ N P A P ≠ …
1
Jakie algorytmy są szybsze z komputerem kwantowym?
Jestem początkującym studentem CS i uczę się algorytmów. Słyszałem, że nawet w przypadku komputerów kwantowych ogólne algorytmy sortowania nigdy nie mogą mieć czasu lepszego niż . Wiem jednak również, że algorytmy faktoringowe byłyby znacznie szybsze. Ogólnie, jakie algorytmy stałyby się znacznie szybsze przy komputerach kwantowych?n lognnlog⁡nn\log n
1
Generuj sieci bez skali z rozkładami stopni mocy i prawa za pomocą Barabasi-Alberta
Próbuję odtworzyć sieci syntetyczne (wykresy) opisane w niektórych artykułach. Stwierdzono, że model Barabasi-Albert został wykorzystany do stworzenia „sieci rozkładach stopni mocy, P_A (k) ∝ k ^ {- λ}PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} ”. PAPAP_A to rozkład prawdopodobieństwa, który zwraca prawdopodobieństwo węzła o stopniu kkk . Na przykład PA(2)PA(2)P_A(2) wskazuje prawdopodobieństwo losowego wyboru …
4
Czy są jakieś algorytmy kompresji oparte na PI?
Wiemy, że π jest nieskończone i całkiem prawdopodobne, że zawiera każdy możliwy skończony ciąg cyfr ( sekwencja rozłączna ). Ostatnio widziałem prototyp πfs, który zakłada, że ​​każdy plik, który utworzyłeś (lub ktokolwiek inny) lub utworzysz, już tam jest, więc jest to kwestia wyodrębnienia go. Istnieje również piFile, który może konwertować …
6
Nierozstrzygalne problemy ograniczają teorie fizyczne
Czy istnienie nierozwiązywalnych problemów natychmiast implikuje nieprzewidywalność układów fizycznych? Rozważmy problem zatrzymania, najpierw konstruujemy fizyczny UTM, powiedzmy, używając zwykłej konstrukcji opartej na obwodach. Wtedy nie może istnieć rozstrzygalna teoria fizyczna, która mogłaby określić, przy dowolnym ustawieniu wejściowym obwodów, czy obwód się zatrzyma. Wydaje się to trywialnością, ale czy nie daje …
5
Dlaczego konstrukcja systemu operacyjnego może zmniejszyć zużycie energii?
Czytałem, że systemy operacyjne takie jak Android i iOS są w jakiś sposób zoptymalizowane, aby poprawić żywotność baterii. W moim rozumieniu jest to, że CPU wykonuje pewną liczbę operacji w określonym czasie, więc myślę, że można przyspieszyć aplikacje poprzez ograniczenie liczby operacji potrzebnych, ale ponieważ procesor będzie nadal robić x …
2
Problem izomorfizmu grafów dla grafów znakowanych
W przypadku grafów nieznakowanych problemem izomorfizmu grafów można zająć się szeregiem algorytmów, które działają bardzo dobrze w praktyce. Oznacza to, że chociaż najgorszy przypadek czasu działania jest wykładniczy, zwykle ma on czas działania wielomianowego. Miałem nadzieję, że sytuacja jest podobna w przypadku wykresów oznaczonych. Jednak naprawdę ciężko mi znaleźć jakiekolwiek …
1
Co to jest w rachunku konstrukcji?
Patrzę na Rachunek Konstrukcji i jego miejsce w Kostce Lambda . Jeśli dobrze rozumiem, każdą oś sześcianu można uznać za dodanie innej operacji obejmującej typy do rachunku zwykłego, . Pierwsza oś dodaje operatory typu „typ do terminu”, drugie operatory typu „typ do typu”, a trzecia zależna typowanie, czyli operatory typu …
1
Czy problem trudny dla NP może być średnio wielomianowy?
Zastanawiam się, czy są jakieś problemy twarde typu , które w przeciętnym przypadku są `` wielomianowe ''. Sądzę, że istnieją dwa sposoby interpretacji tego?N.P.N.P.NP Jeśli , czy może istnieć algorytm rozwiązujący problem twardości N P z zamortyzowanym (przypadkiem średnim) czasem pracy O ( n k ) dla stałej k ?P.≠ …
2
Niezmienna (trwała) implementacja struktury danych podobna do tablicy z szybkim indeksowaniem, dołączaniem, dodawaniem, iteracją
Szukam trwałej struktury danych podobnej do tablicy (ale niezmiennej), umożliwiającej szybkie indeksowanie, dołączanie, dodawanie i iterację (dobra lokalizacja). Clojure zapewnia trwały Vector, ale służy tylko do szybkiego dołączania. Vector Scali ma efektywnie dołączanie i dodawanie w czasie stałym, ale nie mogę zrozumieć, jak jest zaimplementowany, ponieważ jest oparty na tej …
3
Książka wprowadzająca na temat logiki i obliczeń
Czy możesz podać mi sugestie dotyczące dobrej wstępnej (ale wyczerpującej) książki o logice i obliczeniach? Niektóre rozmyte tematy, które mam na myśli to: Presburger artihm., PA, ZF, ZFC, HOL Teoria zbiorów, teoria typów Obliczenia modelowe (maszyny Turinga) w różnych teoriach Linki o złożoności obliczeniowej (FMT, złożoność opisowa)
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.