Czy istnieje prosty sposób, aby dowiedzieć się, dlaczego NP jest w WYGODZIE? Wydaje mi się a priori możliwe, że może istnieć problem, który wymaga czasu nadwykładniczego do rozwiązania, ale którego rozwiązanie można zweryfikować w czasie
Dlaczego języki wysokiego poziomu najwyraźniej nigdy nie osiągają języków niższego poziomu pod względem szybkości? Przykładami języków wysokiego poziomu są Python, Haskell i Java. Języki niskiego poziomu byłyby trudniejsze do zdefiniowania, ale powiedzmy C. Porównania można znaleźć w całym...
Regularne expresssion jest zdefiniowany rekurencyjnie jako aaa dla niektórych jest wyrażeniem regularnym,a∈Σa∈Σa \in \Sigma εε\varepsilon jest wyrażeniem regularnym, ∅∅\emptyset jest wyrażeniem regularnym, (R1∪R2)(R1∪R2)(R_1 \cup R_2) gdzie i są wyrażeniami regularnymi, jest wyrażeniem...
Wszyscy znają „Garey & Johnson”, który jest moim głównym punktem odniesienia, gdy potrzebuję problemu z transformacją na dowód odporności na NP. Jednak ostatnio potrzebuję dowodu na odporność na APX i zastanawiam się, czy istnieje podobny (i bardziej aktualny ...?) Zbiór problemów, które...
Wymagane jest znalezienie mocy (dodatniej liczby całkowitej) macierzy liczb rzeczywistych. Istnieje wiele wydajnych algorytmów mnożenia macierzy (np. Niektóre algorytmy równoległe to Cannon, DNS ), ale czy istnieją algorytmy, które są przeznaczone właśnie do znalezienia mocy macierzy i które są...
Co to jest indukcja indukcyjna ? Zasoby, które znalazłem to: książka HoTT na końcu rozdziału 5.7. Artykuł nLab artykuł zatytułowany Definicje indukcyjno-indukcyjne ten post na blogu wspomina także o typach indukcyjno-indukcyjnych Pierwsze dwa odniesienia są dla mnie za krótkie, a dwa ostatnie...
W Javie musisz jawnie rzutować, aby sprowadzić zmienną public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child =...
Dostaję zestaw , liczbę całkowitą s \ leqslant k i nieujemne liczby całkowite a_ {ij} . Mój problem polega na znalezieniu s podzbiory rozłączne S_j z \ {1, \ ldots, k \} takie, że:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant
Czy jest jakieś narzędzie do prototypowania semantyki języka programowania i systemu typów, a także umożliwia pewnego rodzaju sprawdzanie modelu standardowych właściwości, takich jak poprawność typu? Pytam o to, ponieważ czytam książkę o stopie i zapewnia on dokładnie taką funkcjonalność, jakiej...
Mam dwa zestawy punktów w płaszczyźnie dwuwymiarowej. Chcę znaleźć najbliższą parę punktów s , t taką, że s ∈ S , t ∈ T , a odległość euklidesowa między s , t jest tak mała, jak to możliwe. Jak skutecznie można to zrobić? Czy można tego dokonać w czasie O ( n log n ) , gdzie n = | S | + | T | ?S.,...
Załóżmy, że ktoś chce argumentować o właściwościach kodu wykraczających poza takie rzeczy, jak totalność i czystość funkcjonalna - dba się również o zużycie pamięci lub złożoność algorytmiczną funkcji. Czy można tego dokonać za pomocą zależnych systemów pisania i...
To pytanie dotyczy tego, czy każde twierdzenie matematyczne można sprowadzić do pytania, czy zatrzyma się pojedyncza maszyna Turinga. W szczególności interesują mnie przypuszczenia, które są obecnie niesprawdzone. Na przykład: Wikipedia mówi , że obecnie nie wiadomo, czy są jakieś nieparzyste...
Podczas tworzenia klienta interfejsu API sieci Web w języku C # napotkałem problem dotyczący nullwartości, która reprezentowałaby dwie różne rzeczy: nic , np. foomoże mieć lub może nie miećbar nieznany : domyślnie odpowiedź API zawiera tylko podzbiór właściwości, musisz wskazać, które dodatkowe...
Wikipedia wymienia złożoność czasową dodawania jako , gdzie jest liczbą bitów.nnnnnnn Czy to sztywna teoretyczna dolna granica? Czy to tylko złożoność obecnie najszybszego znanego algorytmu. Chcę wiedzieć, ponieważ złożoność dodawania podkreśla wszystkie inne operacje arytmetyczne i wszystkie...
Załóżmy, że odczytujemy ciąg nnn liczb, jeden po drugim. Jak znaleźć kkk najmniejszy element za pomocą pamięci komórkowej O(k)O(k)O(k) oraz w czasie liniowym ( O(n)O(n)O(n) ). Myślę, że powinniśmy zapisać pierwsze kkk wyrażeń w sekwencji, a kiedy otrzymamy k+1k+1k+1 -ty termin, usuń go, który z...
Według tych notatek , DFS jest uważany za złożoność przestrzeń, gdzie jest współczynnik rozgałęzienia drzewa i jest maksymalna długość każdej ścieżki w przestrzeni stanów.O(bm)O(bm)O(bm)bbbmmm To samo zostało powiedziane na tej stronie Wikibook w Search Uninformed Search . Teraz „infobox”...
Rozumiem, że najpopularniejsze implementacje muteksu (np. Std :: mutex w C ++) nie gwarantują uczciwości - to znaczy, nie gwarantują, że w przypadku niezgody zamek zostanie przejęty przez wątki w kolejności, w jakiej o nazwie lock (). W rzeczywistości jest nawet możliwe (choć mam nadzieję, że...
Ogólne pytanie, jak sugeruje tytuł, brzmi: Jaka jest różnica między DS a optymalizacją / optymalizacją. Na poziomie koncepcyjnym rozumiem, że DS próbuje wydobywać wiedzę z dostępnych danych i wykorzystuje głównie techniki statystyczne, uczenie maszynowe. Z drugiej strony OR wykorzystuje dane do...
Talia kart to 52. Ręka to 5 kart z 52 (nie może mieć duplikatu). Jaka jest najmniejsza liczba bitów reprezentująca układ 5 kart i jak? Ręka NIE jest zależna od kolejności (KQ = QK). 64329 = 96432 Tak, można użyć 52 bitów. Może to stanowić układ dowolnej liczby kart. Biorąc pod uwagę, że ręka...
Miałem wrażenie, że nasze komputery, będąc skończone, ostatecznie nie są potężniejsze niż (wyjątkowo duże) skończone maszyny stanowe. Jednak maszyny Turinga liniowo ograniczone są również skończone, ale wydaje się, że zwykłe języki są ściśle niewłaściwym podzbiorem języków wrażliwych na...