Jest to rodzaj pytania do edycji i jest bardzo łatwe. Jestem po prostu dość martwy w tym temacie i jak dotąd nie mogę tego rozgryźć. Biorąc pod uwagę szereg liczb, np [3, 1, 1, 1] Jak najskuteczniej przekształcić wszystkie liczby w tę samą liczbę przy minimalnej liczbie „ruchów”? Przez...
Czy możesz podać mi sugestie dotyczące dobrej wstępnej (ale wyczerpującej) książki o logice i obliczeniach? Niektóre rozmyte tematy, które mam na myśli to: Presburger artihm., PA, ZF, ZFC, HOL Teoria zbiorów, teoria typów Obliczenia modelowe (maszyny Turinga) w różnych teoriach Linki o...
W przypadku problemu ze stacją benzynową podajemy miast i drogi między nimi. Każda droga ma długość, a każde miasto określa cenę paliwa. Jedna jednostka drogi kosztuje jedną jednostkę paliwa. Naszym celem jest przejście ze źródła do miejsca docelowego w najtańszy możliwy sposób. Nasz czołg jest...
Szukam trwałej struktury danych podobnej do tablicy (ale niezmiennej), umożliwiającej szybkie indeksowanie, dołączanie, dodawanie i iterację (dobra lokalizacja). Clojure zapewnia trwały Vector, ale służy tylko do szybkiego dołączania. Vector Scali ma efektywnie dołączanie i dodawanie w czasie...
Co to jest algorytm aproksymacji bicriteria? Nadal pojawia się to w przypadku klastrowania strumienia danych. Czy ma to związek z optymalizacją wielu celów? Właśnie tam natknąłem się na: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. Artykuł dotyczy strumieniowej wersji algorytmu k-średnich. W...
Rozumiem, że większość problemów jest trywialna, jeśli dostępna jest wyrocznia zatrzymująca (lub, moim zdaniem, hiper-obliczenia). Jednak zastosowanie argumentu, który pokazuje, że problem zatrzymania jest niemożliwy dla maszyny Turinga, pokazuje również, że wyrocznia Turinga + nie może zdecydować...
Podczas wywiadu na stanowisko programisty Java zapytano mnie: Napisz funkcję, która przyjmuje dwa parametry: ciąg znaków reprezentujący dokument tekstowy i liczba całkowita podająca liczbę elementów do zwrócenia. Zaimplementuj funkcję tak, aby zwracała listę ciągów uporządkowanych...
Zastanawiam się, czy są jakieś problemy twarde typu , które w przeciętnym przypadku są `` wielomianowe ''. Sądzę, że istnieją dwa sposoby interpretacji tego?N.P.N.P.NP Jeśli , czy może istnieć algorytm rozwiązujący problem twardości N P z zamortyzowanym (przypadkiem średnim) czasem pracy O ( n k...
Niech będzie jakimś problemem liczenia, o którym wiadomo, że to # -Complete .ΠΠ\PiP.P.P Czy to oznacza, że jest -hard (czyli nie PTA dla istnieje problem chyba że )?ΠΠ\PiA P.XZAP.XAPXP.=
Patrzę na Rachunek Konstrukcji i jego miejsce w Kostce Lambda . Jeśli dobrze rozumiem, każdą oś sześcianu można uznać za dodanie innej operacji obejmującej typy do rachunku zwykłego, . Pierwsza oś dodaje operatory typu „typ do terminu”, drugie operatory typu „typ do typu”, a trzecia zależna...
W przypadku grafów nieznakowanych problemem izomorfizmu grafów można zająć się szeregiem algorytmów, które działają bardzo dobrze w praktyce. Oznacza to, że chociaż najgorszy przypadek czasu działania jest wykładniczy, zwykle ma on czas działania wielomianowego. Miałem nadzieję, że sytuacja jest...
Czy problem polegający na ustaleniu, czy dane wyrażenie logiczne jest zadowalające obliczeniowo, różni się od znalezienia rozwiązania dla wyrażenia? Innymi słowy, czy istnieje inny sposób stwierdzenia, że dane wyrażenie jest zadowalające bez wyraźnego określenia „właściwych ustawień” dla...
Czytałem, że systemy operacyjne takie jak Android i iOS są w jakiś sposób zoptymalizowane, aby poprawić żywotność baterii. W moim rozumieniu jest to, że CPU wykonuje pewną liczbę operacji w określonym czasie, więc myślę, że można przyspieszyć aplikacje poprzez ograniczenie liczby operacji...
Powiedzmy na przykład, że wykonuję przetwarzanie ciągów, które wymaga analizy dwóch ciągów. Nie podałem żadnych informacji o tym, jaka może być ich długość, więc pochodzą z dwóch różnych rodzin. Czy dopuszczalne byłoby nazywanie złożoności algorytmu lub O ( n + m ) (w zależności od tego, czy...
Czy są znane algorytmy, które poprawnie wypisują odpowiedź „tak” dla problemu NP-complete bez pośredniego generowania certyfikatu? Rozumiem, że łatwo jest przekształcić wyrocznię spełniającą w znajdującą satysfakcjonujące zadanie: po prostu iteruj po zmiennych, za każdym razem pytając wyrocznię...
p liczbę Fibonacciego można obliczyć w czasie liniowej stosując następujący nawrotu:nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i p liczbę Fibonacciego może być obliczana jako . Ma to jednak problemy z zaokrąglaniem nawet dla stosunkowo niewielkiej . Prawdopodobnie...
Wiem, że to głupie, ale udało mi się pomylić i potrzebuję pomocy w rozwiązaniu tego Załóżmy, że , więc wyraźnie dla każdej wyroczni mamy co zaprzecza faktowi, że istnieje pewna wyrocznia dla której , stądA P A = N P A A P A ≠ N P A P ≠ N PP.= NP.P.=N.P.P=NPZAZAAP.ZA=...
Próbuję odtworzyć sieci syntetyczne (wykresy) opisane w niektórych artykułach. Stwierdzono, że model Barabasi-Albert został wykorzystany do stworzenia „sieci rozkładach stopni mocy, P_A (k) ∝ k ^ {- λ}PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} ”. PAPAP_A to rozkład prawdopodobieństwa, który zwraca...
Jestem początkującym studentem CS i uczę się algorytmów. Słyszałem, że nawet w przypadku komputerów kwantowych ogólne algorytmy sortowania nigdy nie mogą mieć czasu lepszego niż . Wiem jednak również, że algorytmy faktoringowe byłyby znacznie szybsze. Ogólnie, jakie algorytmy stałyby się znacznie...
Wiemy, że π jest nieskończone i całkiem prawdopodobne, że zawiera każdy możliwy skończony ciąg cyfr ( sekwencja rozłączna ). Ostatnio widziałem prototyp πfs, który zakłada, że każdy plik, który utworzyłeś (lub ktokolwiek inny) lub utworzysz, już tam jest, więc jest to kwestia wyodrębnienia go....