Czy biorąc pod uwagę dwa DFA, problem ze znalezieniem, czy generują ten sam język, stanowi problem rozstrzygalny? Wiem już, że równość dwóch CFL nie jest rozstrzygalna ale co z równością dwóch DFA? biorąc pod uwagę, że większość problemów związanych z DFA jest rozstrzygalna, czy to również jest...
Więc idę z książką HoTT z niektórymi ludźmi. Stwierdziłem, że większość typów indukcyjnych, które zobaczymy, można zredukować do typów zawierających tylko zależne typy funkcji i wszechświaty, przyjmując typ rekurencji za inspirację dla typu równoważnego. Zacząłem szkicować, jak sądzę, że to...
W tym pytaniu zapytałem, jaka jest różnica między zestawem a typem . Odpowiedzi te były bardzo precyzyjne (np. @AndrejBauer), dlatego w pogoni za wiedzą poddaję się pokusie zadawania tego samego o kategorie: Za każdym razem, gdy czytam o teorii kategorii (co wprawdzie jest raczej nieformalne), nie...
Biorąc pod uwagę symetryczną rzeczywistą macierz , czy istnieje algorytm, który oblicza sumę ponad wszystkimi 1 \ leq i <j <k \ leq n ze złożonością czasową lepszą niż O (n ^ 3) ?n×nn×nn \times
Podczas wywiadu dostałem następujący problem: Daje ciąg znaków, który zawiera pewną mieszankę parenów (nie nawiasów klamrowych ani nawiasów klamrowych - tylko pareny) z innymi znakami alfanumerycznymi, zidentyfikuj wszystkie pareny, które nie mają pasujących paren. Na przykład w ciągu „)...
Uczyłem się o pierwszym wyszukiwaniu szerokości i przyszło mi do głowy pytanie, dlaczego tak nazywa się BFS. W książce Wprowadzenie do algorytmów CLRS przeczytałem następujący powód: Poszukiwanie szerokości jest tak nazwane, ponieważ równomiernie rozszerza granicę między odkrytymi i nieodkrytymi...
To pytanie w zasadzie wyjaśnia, że mogą, ale nie pokazuje żadnych przykładów istnienia dwóch różnych drzew z tym samym przejściem w przedsprzedaży. Wspomniano również, że przechodzenie w kolejności dwóch różnych drzew może być takie samo, chociaż są one strukturalnie różne. Czy jest na to...
Muszę utworzyć algorytm rekurencyjny, aby sprawdzić, czy drzewo binarne jest drzewem wyszukiwania binarnego, a także policzyć, ile jest pełnych gałęzi (węzeł nadrzędny z lewym i prawym węzłem podrzędnym) z założoną globalną zmienną zliczającą. To zadanie dla mojej klasy struktur danych. Do tej...
W sieciach komputerowych i projektowaniu wysokowydajnych komputerów klastrowych topologia sieci odnosi się do sposobu łączenia węzłów za pomocą łączy w celu utworzenia sieci komunikacyjnej. Typowe topologie sieci obejmują siatkę, torus, pierścień, gwiazdę, drzewo itp. Te topologie można badać...
W Stable Matching Problem stwierdzono, że mogą istnieć przypadki, w których lista mężczyzn może być zadowolona z ich decyzji, ale lista f nie może, gdy algorytm jest uruchamiany z propozycjami mężczyzn.mmmfff Z tego, co przeczytałem, niestabilne dopasowanie występuje, gdy i f wolą się od swoich...
Planowanie dwupoziomowe jest przydatne, gdy w systemie jest uruchomionych więcej procesów niż mieści się w pamięci RAM: program planujący niższego poziomu przełącza się między procesami rezydentnymi, a program planujący wyższego poziomu zamienia grupy procesów. Nie znalazłem żadnej wzmianki o...
Oryginalnie na math.SE, ale bez odpowiedzi. Rozważ następujący algorytm. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if end_while gdzie u, v i n są liczbami całkowitymi, a operacja dzielenia jest dzieleniem liczb...
W obecnej formie to pytanie nie pasuje do naszego formatu pytań i odpowiedzi. Oczekujemy, że odpowiedzi poparte będą faktami, referencjami lub wiedzą fachową, ale to pytanie prawdopodobnie będzie wymagało debaty, argumentów, ankiet lub rozszerzonej dyskusji. Jeśli uważasz, że to...
Niech ΣΣ\Sigma będzie zbiorem terminali, a NNN zbiorem nieterminalnych symboli gramatyki bez kontekstu GGG. Powiedzieć, że posiada ciąg a∈(Σ∪N)+a∈(Σ∪N)+a \in (\Sigma \cup N)^+ taki, że w którym i są zdaniowymi formy .x , y ∈ ( Σ ∪ N ) ∗ S ( G ) Gxay∈S(G)xay∈S(G)x a y \in...
OK, oto pytanie z poprzedniego testu w mojej klasie teorii obliczeń: Stan bezużyteczny w bazie TM to taki, który nigdy nie jest wprowadzany w żadnym ciągu wejściowym. Niech Udowodnij, że U S E L E S S T M jest nierozstrzygalny.U S E L E S ST M= { ⟨ M, q⟩ ∣ q jest bezużytecznym stanem w M}...
Napisz n¯n¯\bar n dla dziesiętnego rozszerzenia nnn (bez wiodącego 0). Niech aaa i bbb będą liczbami całkowitymi o a>0a>0a > 0 . Rozważmy język rozwinięć dziesiętnych wielokrotności plus stałej:aaa M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Czy...
W teorii kodowania „jak dobry jest kod” oznacza liczbę błędów kanału, które można poprawić lub, mówiąc lepiej, maksymalny poziom szumu, z którym kod może sobie poradzić. Aby uzyskać lepsze kody, kody są zaprojektowane przy użyciu dużego alfabetu (zamiast binarnego). A potem kod jest dobry, jeśli...
Usiłuję zrozumieć, co jest nie tak z następującym dowodem kolejnego wystąpienia T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq...
W znaczniku promienia Whitted każde skrzyżowanie promień-obiekt tworzy spawany promień (jeśli obiekt był półprzezroczysty), promień odbity i cień. Promień cienia stanowi komponent bezpośredniego oświetlenia. Ale co się stanie, jeśli promień cienia przecina przezroczysty obiekt? Czy element...
Jestem ciekawy. Pracowałem nad tym typem danych w OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Z którymi można manipulować za pomocą jawnie wpisanych funkcji rekurencyjnych (funkcja dodana całkiem niedawno)....