Szukam zasobów na początek analizy programu . Jedyną książką, jaką znalazłem na ten temat, jest książka Nielson i Nielson . Poza tym wydaje się, że istnieją tylko książki „kompilatorowe”, w których „analiza programu” byłaby rozdziałem lub czymś podobnym. Czy ludzie znają inne...
Trudno mi wyraźnie rozróżnić programowanie wielozadaniowe i wielozadaniowość. Moim głównym źródłem była Wikipedia , ale artykuł WP wydaje się być trochę sprzeczny z niektórymi mniej renomowanymi źródłami (jak mój profesor). Kiedy czytam WP, multiprogramowanie jest podstawowym sposobem na...
Interesują mnie procedury sprawiedliwego podziału gruntów (tj. Podział wolny od zazdrości lub podział przynajmniej proporcjonalny). W przeciwieństwie do dobrze zbadanego problemu podziału ciasta, podział gruntu jest dwuwymiarowy, tzn. Preferencje użytkowników mogą się różnić zarówno w poziomie,...
Wykres jest akordowy, jeśli nie indukował cykli o długości 4 lub większej. Drzewo klika T z G jest drzewem, w którym wierzchołki drzewa są maksymalne klik z G . Krawędź w T odpowiada minimalnemu separatorowi. Liczba odrębnych drzew kliki może być wykładnicza pod względem liczby wierzchołków na...
Pebbling to gra w pasjansa rozgrywana na niekierowanym grafie , gdzie każdy wierzchołek ma zero lub więcej kamyków. Pojedynczy ruch kamyka polega na usunięciu dwóch kamyków z wierzchołka v i dodaniu jednego kamyka do dowolnego sąsiada v . (Oczywiście, wierzchołek v musi mieć co najmniej dwa...
Jesienią rozpoczynam licencjat z informatyki, ale tak naprawdę nie rozumiem rachunku λ w kontekście programowania funkcjonalnego. Być może całkowicie błędnie to interpretuję, ale w oparciu o tę definicję z Encyklopedii Filozoficznej Stanforda jest to kolejna notacja funkcji. Jeśli to jest właśnie...
Moje tło wywodzi się z języków imperatywnych, głównie C, C ++ i Python. Kilka lat później wybrałem Scalę, Erlanga i trochę Haskella i od tego czasu bardzo zainteresowałem się programowaniem funkcjonalnym i formalizacjami. Interesuje mnie również współbieżne i rozproszone programowanie i...
Biorąc pod uwagę liczb tak, że istnieje przypisanie liczb który jest permutacją taki, żeA 1 ≤ A 2 ≤ . . . ≤ A k k ∑kkkA1≤A2≤...≤AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_k∑i=1kAi=k(2k+1)∑i=1kAi=k(2k+1)\sum\limits_{i=1}^k A_i = k(2k + 1)i1,i2,...,i2ki1,i2,...,i2ki_1, i_2, ... ,...
Lub przynajmniej wygeneruj zestaw ciągów, które akceptuje jeden NFA, więc mogę wprowadzić go do drugiego NFA. Czy jeśli przeszukam wszystkie ścieżki NFA, czy to zadziała? Chociaż zajmie to dużo
Binarnej sekwencji o długości nnn właśnie uporządkowaną sekwencję x1,…,xnx1,…,xnx_1,\ldots,x_n , tak że każdy xjxjx_j oznacza albo 000 lub 111 . Aby wygenerować wszystkie takie sekwencje binarne, można użyć oczywistej struktury drzewa binarnego w następujący sposób: katalog główny jest „pusty”, ale...
Mam ograniczony problem optymalizacji w entropii macierzy (Shannona) (sum(entr(eig(A))))(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))} . Macierz AAA można zapisać jako sumę macierzy rangi 1 w postaci gdzie jest danym znormalizowanym wektorem. Współczynniki macierzy pierwszego stopnia to...
Ten problem powstał w wyniku testowania oprogramowania. Problem jest trochę trudny do wyjaśnienia. Najpierw podam przykład, a następnie spróbuję uogólnić problem. Do przetestowania jest 10 elementów, od A do J, oraz narzędzie testujące, które może testować 3 elementy jednocześnie. Kolejność...
Muszę przechowywać kolekcję liczb całkowitych z zakresu od 0 do 65535, aby móc szybko wykonać następujące czynności: Wstaw nową liczbę całkowitą Wstaw zakres ciągłych liczb całkowitych Usuń liczbę całkowitą Usuń wszystkie liczby całkowite poniżej liczby całkowitej Sprawdź, czy występuje liczba...
Załóżmy, że algorytm ma relację powtarzalności środowiska wykonawczego: T.( n ) = { g( n ) + T.( n - 1 ) + T.( ⌊ δn ⌋ )fa( n ): n ≥ n0: n < n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n<n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0...
Widziałem strony internetowe, które rzekomo „dowodzą”, że HTML5 + CSS jest Turing Complete. Widziałem strony internetowe, które rzekomo „dowodzą”, że SQL jest Turing Complete. Widziałem kilka stron internetowych, które rzekomo „wyjaśniają”, co to znaczy być Turing Complete. Wystarczająco! Gdzie...
Notacja Big-O ukrywa stałe współczynniki, więc istnieją pewne algorytmy O(n)O(n)O(n) , które są niewykonalne dla jakiegokolwiek rozsądnego rozmiaru wejściowego, ponieważ współczynnik na jest tak duży.nnn Czy są jakieś znane algorytmy, których środowisko wykonawcze to ale z jakimś niskim terminem,...
Pracuję nad edytorem diagramów. Diagramy przedstawiają kształty 2D ( węzły ) połączone ze złączami ( krawędziami ). Chciałbym dodać operację, która, biorąc pod uwagę wybór węzłów, „rozplątuje” je: zmienia ich położenie, jeśli to możliwe, aby zmniejszyć liczbę przecinających się krawędzi (i jest w...
Jestem studentem informatyki. Chcę stworzyć własny język programowania (podstawowy język z kilkoma instrukcjami). Wiem, jak zrobić analizator składniowy, już to zrobiłem w Perlu. W artykule przeczytałem coś o kompilatorze, kompilator jest zrobiony sam w sobie. Na przykład kompilator C jest...
Jakiej notacji używa się do omawiania współczynników funkcji w notacji big-O? Mam dwie funkcje: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Oczywiście obie funkcje to , a właściwie Θ ( x 2 ) , ale to nie pozwala na dalsze porównania. Jak omówić...
W przypadku funkcji lub obliczeń mamy terminy takie jak: Deterministyczny - Determinizm Czysta - czystość Jaki jest teraz odpowiedni rzeczownik dla bez skutków ubocznych ? „Wolność efektów ubocznych”? „Swoboda efektów ubocznych”?