Informatyka

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

9
Jak symulować kość przy danej uczciwej monecie
Załóżmy, że otrzymałeś uczciwą monetę i chciałbyś zasymulować rozkład prawdopodobieństwa wielokrotnego rzutu rzetelną (sześciostronną) kością. Mój początkowy pomysł jest taki, że musimy wybrać odpowiednie liczby całkowite , takie, że . Więc po odwróceniu razy monety , mapujemy liczbę zakodowaną przez ciąg bitów o długości k na wyjścia matrycy, dzieląc zakres …
5
Rachunek lambda poza programowaniem funkcjonalnym?
Jestem studentem uniwersytetu i obecnie studiujemy rachunek Lambda Calculus. Nadal jednak trudno mi zrozumieć, dlaczego jest to dla mnie przydatne. Zdaję sobie sprawę, że jeśli wykonujesz mnóstwo programowania funkcjonalnego, może to być przydatne, ale uważam, że tak naprawdę nie jest ono potrzebne do nauki programowania funkcjonalnego, co myślisz? Po drugie, …
3
Czy próbka odrzucenia jest jedynym sposobem na uzyskanie prawdziwie jednolitego rozkładu liczb losowych?
Załóżmy, że mamy generator losowy, który generuje liczby w zakresie [0..R−1][0..R−1][0..R-1] o rozkładzie równomiernym i musimy wygenerować liczby losowe w zakresie [0..N−1][0..N−1][0..N-1] o rozkładzie równomiernym. Załóżmy, że N&lt;RN&lt;RN < R i NNN nie dzielą równomiernie RRR ; aby uzyskać naprawdę jednolity rozkład , możemy zastosować metodę próbkowania odrzucania : jeśli …
4
Rezerwuj algorytmy poza Cormen
Skończyłem większość materiału w książce Cormen's Intro to Algorytmy i szukam książki o algorytmach, która obejmowałaby materiał poza książką Cormana. Czy są jakieś rekomendacje? UWAGA: Zapytałem o to przy przepełnieniu stosu, ale nie byłem zbyt zadowolony z odpowiedzi. UWAGA: Patrząc na większość komentarzy, myślę, że idealnie chciałbym znaleźć książkę, która …
2
Co to jest równoważność beta?
W skrypcie, który obecnie czytam na rachunku lambda, równoważność beta jest zdefiniowana następująco: ββ\beta -equivalence ≡β≡β\equiv_\beta jest najmniejszym równoważności, który zawiera →β→β\rightarrow_\beta . Nie mam pojęcia co to znaczy. Czy ktoś może to wyjaśnić w prostszy sposób? Może z przykładem? Potrzebuję go do lematu wynikającego z twierdzenia Church-Russer, mówiąc: ≡β≡β\equiv_\beta↠ …
3
Podobieństwa i różnice w głównych algebrach procesowych
Według mojej wiedzy istnieją trzy główne algebry procesowe, które zainspirowały szeroki zakres badań nad formalnymi modelami współbieżności. To są: CCS i -calculus oba autorstwa Robina Milneraππ\pi CSP Tony Hoare i ACP: Jan Bergstra i Jan Willem Klop Wydaje się, że wszyscy trzej mają do dzisiaj dość aktywną obserwację i przeprowadzono …
4
Częstotliwość procesora rocznie
Wiem, że od ~ 2004 r. Prawo Moore'a przestało działać na taktowanie procesora. Szukam wykresu pokazującego to, ale nie jestem w stanie go znaleźć: większość wykresów pokazuje liczbę tranzystorów lub pojemność rocznie. Gdzie mogę znaleźć dane pokazujące częstotliwość procesorów komputerów (wszystko jest w porządku, komputery osobiste, serwery, laptopy, ...) z …
2
Definicje rekurencyjne nad typem indukcyjnym z zagnieżdżonymi komponentami
Rozważ typ indukcyjny, który ma pewne rekurencyjne zdarzenia w zagnieżdżonej, ale ściśle dodatniej lokalizacji. Na przykład drzewa ze skończonymi rozgałęzieniami z węzłami używającymi ogólnej struktury danych listy do przechowywania elementów potomnych. Inductive LTree : Set := Node : list LTree -&gt; LTree. Naiwny sposób definiowania funkcji rekurencyjnej nad tymi drzewami …
1
Maszyny dla języków bezkontekstowych, które nie zyskują dodatkowej mocy z niedeterminizmu
Rozważając modele maszynowe obliczeń, hierarchię Chomsky'ego zazwyczaj charakteryzuje (w kolejności), automat skończony, automat push-down, automat liniowo związany i maszyny Turinga. W przypadku pierwszego i ostatniego poziomu 1 (języki zwykłe i języki z wyliczaniem rekurencyjnym) nie ma różnicy w sile modelu, czy rozważamy maszyny deterministyczne czy niedeterministyczne, tj. DFA są równoważne …
4
Klasy złożoności, w których
Jedną z możliwych motywacji do badania klas złożoności obliczeniowej jest zrozumienie mocy różnych rodzajów zasobów obliczeniowych (losowość, niedeterminizm, efekty kwantowe itp.). Jeśli spojrzymy na to z tej perspektywy, wydaje się, że możemy uzyskać jeden wiarygodny aksjomat dla każdej próby scharakteryzowania, które obliczenia są wykonalne w pewnym modelu: Każde wykonalne obliczenie …
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.