Na studiach poznawaliśmy ogólnie teorię obliczeń, a dokładniej maszyny Turinga. Jednym z wielkich wyników teoretycznych jest to, że kosztem potencjalnie dużego alfabetu (symboli) można zmniejszyć liczbę stanów do zaledwie 2. Szukałem przykładów różnych maszyn Turinga, a częstym przedstawionym...
Inteligentny 15-latek, którego znam, interesuje się zarówno informatyką, jak i genetyką. Powiedziałem jej, że te pola stanowią doskonałą kombinację. Chciałbym dać jej książkę o bioinformatyce lub genomice obliczeniowej. Szukam fajnej książki, a nie podręcznika. W szczególności powinno to...
Czy istnieje zestaw reguł lub metod służących do konwersji gramatyki bezkontekstowej na automaty wypychające? Znalazłem już kilka slajdów w Internecie, ale nie byłem w stanie ich zrozumieć. W slajdzie 10 mówi o niektórych zasadach, czy ktokolwiek mógłby to
W rozdziale 1 Praktycznych podstaw języków programowania autor wspomina, że abstrakcyjne drzewa składniowe są powiązane z sortowaniem . Intuicyjnie, rodzaje są jak typy, ale chciałbym wiedzieć, czy mają precyzyjną definicję. Byłbym zadowolony, gdyby podano również niektóre...
Próbuję zrozumieć, dlaczego quicksort z użyciem partycji Lomuto i ustalonego elementu przestawnego działa nieprawidłowo, ale ogólnie słabo, na losowo generowanych danych wejściowych. Myślę, że chociaż dane wejściowe są generowane losowo, sekwencje mogą być uporządkowane, ale nie jestem pewien, jak...
Badam uczenie się PAC (teorii uczenia obliczeniowego) jako początkujący bez wcześniejszej wiedzy o uczeniu maszynowym / sztucznej inteligencji. Model badam głównie z historycznego punktu widzenia. W tym celu najważniejsze są oczywiście wyniki oparte na modelu. Istnieje wystarczająco dużo...
Co to są zdegenerowane wielokąty? Jak sprawdzić, czy dana para wielokątów jest zdegenerowana, czy
W teorii typu, jeśli pozwala się typowi być sobą, powoduje to, że teoria jest niespójna. Rozumiem to przez analogię do paradoksu Russela w Teorii Zestawów, ale wolałbym, żeby to zrobiono w Teorii Typu. Czy istnieje krótki przykład odpowiednika w teorii
Generuję losowe DFA, aby przetestować na nich algorytm redukcji DFA. Algorytm, którego teraz używam, jest następujący: dla każdego stanu , dla każdego symbolu w alfabecie dodaj do jakiegoś losowego stanu. Każde państwo ma takie samo prawdopodobieństwo, że stanie się stanem końcowym.qqqdodocδ( q, c...
W przypadku mojego dyplomu CS miałem większość „standardowych” podstaw matematycznych: Rachunek różniczkowy, całkowy, liczby zespolone Algebra: prawie wszystkie koncepcje aż do pól. Teoria liczb: XGCD i podobne rzeczy, głównie do kryptografii. Algebra liniowa: do wektorów własnych / wartości...
Próbuję zrozumieć interaktywne systemy dowodowe i jako ćwiczenie wypróbowałem następujący problem. Wiemy toP.H.⊆ P.S.P.A C.miPH⊆PSPACEPH \subseteq PSPACE i jaP.= PS.P.A C.miIP=PSPACEIP=PSPACE, więc opracuj (łatwe do zrozumienia) interaktywne systemy próbne dla P.H.PHPH? Interaktywny system proof...
Szukam gramatyki kontekstowej opisującej następujący język: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Mam problem z tym, że żadne reguły, takie jak są dozwolone i dlatego nie mogę umieścić żadnego nieterminala wskazującego „środek” słowa. Czy jest...
Zespół zdecydował, że każdego ranka ktoś powinien przynieść rogaliki dla wszystkich. Nie powinna to być ta sama osoba za każdym razem, więc powinien istnieć system określający, która kolej będzie następna. Celem tego pytania jest określenie algorytmu decydującego o tym, czyja kolej przyniesie...
Dlaczego początkowe wagi sieci neuronowych są inicjowane jako liczby losowe? Czytałem gdzieś, że ma to na celu „przełamanie symetrii”, a to przyspiesza naukę sieci neuronowej. W jaki sposób przełamanie symetrii sprawia, że uczy się szybciej? Czy zainicjowanie wag na 0 nie byłoby lepszym...
Chciałbym pobrać próbkę jednorodnie losowego punktu w wielokącie ... Gdyby pobrać próbkę dużej liczby, równie dobrze mogliby wpaść w dwa regiony, jeśli mają ten sam obszar. Byłoby to dość proste, gdyby był kwadratem, ponieważ jako moje współrzędne wziąłbym dwie liczby losowe w [0,1]. Kształt,...
Podczas wstawiania przedmiotu do drzewa rzutów obroty wykonuje się parami w oparciu o wzór zygzakowaty lub zygzakowaty. Gdy do wykonania jest nieparzysta liczba obrotów, można wykonać dodatkowy obrót, zaczynając od liścia, lub zapisać dodatkowy obrót i zrobić to u podstawy. Czy to ma znaczenie? Na...
Biorąc pod uwagę program składający się ze zmiennych i instrukcji, które modyfikują te zmienne, oraz operację podstawową synchronizacji (monitor, mutex, Java zsynchronizowany lub blokada C #), czy można udowodnić, że taki program jest bezpieczny dla wątków? Czy istnieje nawet formalny model...
Jak stwierdza pytanie, w jaki sposób udowodnimy, że ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Czy ktoś może wskazać mi dowód lub nakreślić go tutaj?
Używam Mathematiki do rozwiązywania problemów. Mam pytanie dotyczące macierzy odwrotnej. jeśli chcę tylko jednego elementu macierzy odwrotnej, czy istnieje szybszy algorytm niż użycie Inversedo obliczenia całej macierzy odwrotnej i wyodrębnienie elementu, który
Uczyłem się o sieciach neuronowych i SVM. Samouczki, które przeczytałem, podkreślają, jak ważne jest jądro dla SVM. Bez funkcji jądra maszyny SVM są tylko liniowym klasyfikatorem. Dzięki kernelizacji SVM mogą również zawierać funkcje nieliniowe, co czyni je bardziej zaawansowanym...