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<RN<RN < R i NNN nie dzielą równomiernie RRR ; aby uzyskać...
Jestem ciekawy, jak można bardzo kompaktowo skompresować domenę dowolnej nazwy hosta IDN (zgodnie z definicją w RFC5890 ) i podejrzewam, że może to stać się ciekawym wyzwaniem. Host lub nazwa domeny Unicode (etykieta U) składa się z ciągu znaków Unicode, zwykle ograniczonego do jednego języka w...
Szukam wyjaśnienia, w jaki sposób można udowodnić, że dwa modele obliczeń są równoważne. Czytałem książki na ten temat, z tym wyjątkiem, że pominięto dowody równoważności. Mam podstawowe pojęcie o tym, co to znaczy, że dwa modele obliczeń są równoważne (widok automatów: jeśli akceptują te same...
Zamknięte . To pytanie jest oparte na opiniach . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby można było na nie odpowiedzieć faktami i cytatami, edytując ten post . Zamknięte w zeszłym roku . Od razu do rzeczy:...
Uczę informatyki dla 18-latków. Po wyjaśnieniu im odwrotnej notacji polskiej zapytano, dlaczego udział w publicznym egzaminie jest wystarczająco ważny. Wyjaśniłem historyczne znaczenie kalkulatorów z lat 70., ale tak naprawdę nie rozwiązało to problemu. Istnieją też praktyczne i teoretyczne...
Może to dość proste, ale mam problem z uzyskaniem tej redukcji. Chcę zredukować sumę podzbioru do partycji, ale w tej chwili nie widzę relacji! Czy można zmniejszyć ten problem za pomocą funkcji redukcji Levina? Jeśli nie rozumiesz, napisz o
Oto problem. Biorąc pod uwagę , gdzie każdy T i ⊆ { 1 , … , n } . Czy istnieje podzbiór S ⊆ { 1 , … , n } o rozmiarze co najwyżej k taki, że S ∩ T i ≠ ∅ dla wszystkich ja ? Próbuję zredukować ten problem do SAT. Moim pomysłem na rozwiązanie byłoby posiadanie zmiennej x ik , n , T1, … ,...
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...
Problem sumy częściowej jest klasycznym problemem NP-zupełnym: Biorąc pod uwagę listę liczb i docelowy , czy istnieje podzbiór liczb od który sumuje się do ?k L kL.LLkkkL.LLkkk Student zapytał mnie, czy ten wariant problemu zwany problemem „produktu podzbioru” jest NP-zupełny: Biorąc pod...
Czy jest jakaś struktura danych, która utrzymuje kolekcję zbioru (zbioru skończonego) obsługującą następujące operacje? Czy doceniony zostanie jakikolwiek podliniowy czas pracy? Zainicjuj pusty zestaw. Dodaj element do zestawu. Biorąc pod uwagę dwa zestawy, zgłoś, czy się...
Po nauce języka Haskell i innych niezbyt czystych języków FP postanowiłem przeczytać o teorii kategorii. Po dobrym zrozumieniu teorii kategorii zacząłem myśleć o tym, jak pojęcia teorii kategorii można wykorzystać do projektowania programów, ale bez względu na to, jak bardzo się starałem, nie jest...
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...
Chcę wiedzieć, który algorytm jest najszybszy do pomnożenia dwóch liczb n-cyfrowych? Złożoność przestrzeni można tutaj
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ą...
W niektórych miejscach na świecie ludzie zwykle nie mają dostępu do komputerów (a zatem i niewielkiej wiedzy na ich temat), a nawet jeśli mają, sprzęt i oprogramowanie są przestarzałe, a korzystanie z nich wiąże się z awarią zasilania i tym podobne. Brakuje też dostępu do (dobrych) książek. Jak...
W matematyce istnieje wiele dowodów na istnienie, które nie są konstruktywne, więc wiemy, że istnieje pewien obiekt, chociaż nie wiemy, jak go znaleźć. Szukam podobnych wyników w informatyce. W szczególności: czy istnieje problem, który możemy udowodnić, że można go rozstrzygać bez pokazywania...
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...
Niedawno usłyszałem ciekawą analogię, która stwierdza, że dowód Turinga na nierozstrzygalność problemu zatrzymania jest bardzo podobny do paradoksu fryzjerskiego Russella. Zastanawiałem się więc: matematycy w końcu zdołali ujednolicić teorię zbiorów, przechodząc od naiwnego sformułowania pola...
Jak mogę wyrazić bramkę AND używając tylko bramek
Z tego, co widziałem na temat użycia pary kluczy publicznego i prywatnego, klucz publiczny służy do szyfrowania wiadomości, a klucz prywatny służy do odszyfrowywania zaszyfrowanej wiadomości. Jeśli wiadomość jest szyfrowana kluczem prywatnym, czy można ją odszyfrować za pomocą odpowiedniego klucza...