Problemy z cięciem to problemy, w których pewien duży obiekt powinien zostać pocięty na kilka małych obiektów. Na przykład, wyobraź sobie, że masz fabrykę, która współpracuje z dużymi arkuszami surowego szkła, o szerokości i długość L . Istnieje kilku nabywców, z których każdy chce nieograniczoną...
Czy istnieje algorytm / systematyczna procedura sprawdzania, czy język jest pozbawiony kontekstu? Innymi słowy, biorąc pod uwagę język określony w formie algebraicznej (pomyśl o czymś takim jak ), sprawdź, czy język jest pozbawiony kontekstu, czy nie . Wyobraź sobie, że piszemy serwis internetowy,...
Rozważ następujący bardzo prosty program komputerowy: for i = 1 to n: y[i] = x[p[i]] Tutaj i y są n -elementowe tablice bajtów, a P jest N -elementowe szereg słów. Tutaj n jest duże, np. N = 2 31 (tak, że tylko niewielka część danych mieści się w jakiejkolwiek pamięci...
Biorąc pod uwagę stronniczą stronną matrycę, w jaki sposób można losowo wygenerować liczbę losową z zakresu ? Rozkład prawdopodobieństwa powierzchni matryc nie jest znany, wiadomo tylko, że każda powierzchnia ma niezerowe prawdopodobieństwo i że rozkład prawdopodobieństwa jest taki sam dla...
Myśląc o jednym problemie, zdałem sobie sprawę, że muszę stworzyć wydajny algorytm rozwiązujący następujące zadanie: Problem: otrzymujemy dwuwymiarowe kwadratowe pudełko o boku nnn którego boki są równoległe do osi. Możemy spojrzeć na to z góry. Istnieją jednak również mmm segmenty poziome. Każdy...
Randomized Quick Sort to rozszerzenie szybkiego sortowania, w którym element przestawny jest wybierany losowo. Jaka może być najgorsza złożoność tego algorytmu. Według mnie powinno to być O ( n2))O(n2)O(n^2) , ponieważ najgorszy przypadek ma miejsce, gdy losowo wybrany element przestawny jest...
Mówi się, że „Eugene Goostman”, program komputerowy opracowany w celu symulacji 13-letniego chłopca, zdołał przekonać 33% sędziów, że był człowiekiem, i tym samym zdał Test Turinga. Program komputerowy, znany również jako chatbot, udawał 13-letniego ukraińskiego chłopca, dla którego angielski był...
Zestaw Mandelbrota to piękne stworzenie w matematyce. Istnieje wiele pięknych obrazów tego zestawu stworzonych z dużą precyzją, więc oczywiście ten zestaw jest w pewnym sensie „obliczalny”. Jednak niepokoi mnie fakt, że nie można go nawet wyliczyć rekurencyjnie - po prostu dlatego, że zbiór jest...
Dzięki twierdzeniu o maksymalnym przepływie min-cut wiemy, że możemy użyć dowolnego algorytmu do obliczenia maksymalnego przepływu na grafie sieciowym do obliczenia -min-cut. Dlatego złożoność obliczenia minimum -cięcie jest nie większa niż złożoność obliczenia przepływu maksymalnego .( s , t...
Podstawowa definicja maszyny Turinga (TM), przynajmniej w moim własnym podręczniku (Hopcroft + Ullman 1979), jest deterministyczna. Stąd moje własne rozumienie problemu zatrzymania dotyczy przede wszystkim deterministycznej TM, chociaż jestem świadomy, że można go rozważyć w przypadku innych...
Wiem, że komputery kwantowe są w stanie przetwarzać superpozycję wszystkich możliwych stanów za jednym przejściem przez logikę. Wydaje się, że to właśnie ludzie wskazują, że komputery kwantowe są wyjątkowe lub przydatne. Jednak po przetworzeniu danych wejściowych superpozycyjnych otrzymujesz...
Mam małe pytanie historyczne, a mianowicie, jak głosi tytuł, szukam wczesnych zastosowań drzew (jako struktury danych, drzewa wyszukiwania, cokolwiek) w
Jak rozumiem, pamięć jest wykorzystywana do wielu rzeczy. Służy jako pamięć podręczna dysku i zawiera instrukcje programów oraz ich stos i stos. Oto eksperyment myślowy. Jeśli ktoś nie dba o szybkość lub czas, jaki zajmuje komputerowi wykonanie chrupnięcia, jaka jest minimalna ilość pamięci, jaką...
Dziwi mnie, że ludzie ciągle dodają nowe typy do teorii typów, ale wydaje się, że nikt nie wspomina o teorii minimalnej (lub nie mogę jej znaleźć). Myślałem, że matematyk uwielbia minimalne rzeczy, prawda? Jeśli dobrze rozumiem, w teorii typów z impredykatywnym wystarczy Propλ-abstrakcja i Π-typy....
Znam mało teorii typów zależnych. Z wikipedii: Typ zależny to typ, którego definicja zależy od wartości. I z mojego kursu teorii typów przypominam, że typ zależny to: Rodzina typów indeksowana według typu. Ale mam wątpliwości co do typów zależnych i typów udoskonalania oraz logiki...
W praktyce rozumiem, że każdą rekurencję można zapisać jako pętlę (i vice versa (?)) I jeśli mierzymy z rzeczywistymi komputerami, stwierdzimy, że pętle są szybsze niż rekurencja dla tego samego problemu. Ale czy istnieje jakaś teoria, która czyni tę różnicę, czy jest to głównie...
W artykule „Bezkonfliktowy zreplikowany typ danych JSON” napotkałem ten zapis do formalnego definiowania „reguł”: Jak nazywa się ten zapis? Jak to czytać? Na przykład: DOCreguła nie ma nic w „liczniku” - dlaczego nie? te EXECi GETzasady wydają się mieć dwa oddzielne terminy powyżej linii, co...
Oprawa: wyrażenia regularne z referencjami wstecznymi język jednoargumentowy (alfabet 1-symbolowy) Czy w tym ustawieniu można rozstrzygać następujący problem: Biorąc pod uwagę wyrażenie regularne z odniesieniami wstecznymi, czy definiuje ono zwykły język? Na przykład (aa+)\1definiuje zwykły...
Mam problem z decyzją o zakończeniu NP. Biorąc pod uwagę przykład problemu, chciałbym zaprojektować algorytm, który wyświetli TAK, jeśli problem jest wykonalny, i NIE, w przeciwnym razie. (Oczywiście, jeśli algorytm nie jest optymalny, popełni błędy.) Nie mogę znaleźć algorytmów aproksymacyjnych...
Podstawowe pytanie: Co robi dla nas rachunek lambda , czego nie możemy zrobić z podstawowymi właściwościami funkcji i notacją ogólnie przyswojoną w algebrze gimnazjalnej? Przede wszystkim, co oznacza streszczenie w kontekście rachunku lambda? Moje rozumienie słowa abstrakcja jest czymś...