Informatyka

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

2
Projekt oceny rówieśniczej - wybór wykresu w celu uzyskania dokładnych rankingów / ocen
Tło. Piszę kod do półautomatycznej gradacji, używając gradacji rówieśniczej jako części procesu gradacji. Uczniowie otrzymują pary esejów na raz, a uczniowie mają suwak do wyboru, który jest lepszy io ile lepszy. np. suwak może wyglądać mniej więcej tak: A---X-B Na podstawie wyników oceny rówieśniczej eseje są klasyfikowane, a nauczyciel oceni …
1
Splay tree z nieparzystą liczbą obrotów
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 przykład na załączonym obrazie wstawiam …
3
Sztuczka jądra dla sieci neuronowych
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 klasyfikatorem. Wydaje mi się, że można również zastosować jądro do sieci …
3
Czy można udowodnić bezpieczeństwo wątków?
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 opisujący takie rzeczy, jak bezpieczeństwo wątków lub warunki wyścigowe?
2
Interaktywne dowody dla CoNP
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 dla N.P.NPNP jest banalna, ale nie udało mi się nawet uzyskać interaktywnego systemu dowodowego c o …
3
Losowe próbkowanie w wielokącie
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, który mam, jest zwykłym wielokątem, ale …
2
Jaka matematyka może być interesująca dla tych obszarów CS?
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 własnych Statystyka: prawdopodobieństwa, testowanie Logika: zdaniowa, predykatowa, modalna, hybrydowa. Moje główne zainteresowania …
1
Przykład fałszywej propozycji przy założeniu Type: Type
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 typów?
3
Gramatyka kontekstowa dla języka słów połączonych ze sobą
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 jakiś sposób na rozwiązanie tego problemu?X→εX→εX \to \varepsilon
4
Jaki jest dobry algorytm do generowania losowych DFA?
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 )δ(q,do)\delta (q, c) Czy to dobra metoda …
3
Dowiedz się, czyja kolej na zakup rogalików
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 rogaliki jutro. Ograniczenia, założenia i cele: Który z …
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.