To chyba głupie pytanie, ale po prostu nie rozumiem. W kolejnym pytaniu wymyślili dychotomia twierdzenia Schaefer jest . Dla mnie wygląda na to, że udowadnia, że każdy problem CSP jest w P lub NP-kompletny, ale nie pomiędzy. Skoro każdy problem NP można przekształcić w czasie wielomianowym w CSP...
Jestem ciekawy, czy w klasie złożoności Arthura-Merlina występują jakieś kompletne problemy. Graph Non-Isomorphism (GNI) wydaje się być kanonicznym przykładem problemu w AM, ale prawdopodobnie nie jest kompletny. Chyba zastanawiam się również, czy „kompletny” problem jest dobrze zdefiniowany dla...
Projektuję bazę danych obiektów w pamięci dla bardzo konkretnego przypadku użycia. Jest to pojedynczy program piszący, ale musi obsługiwać wydajne jednoczesne odczyty. Odczyty muszą być izolowane. Nie ma języka zapytań, baza danych obsługuje tylko: pobierz obiekt / -y przez atrybut / zestaw...
Odległość edycji Levenshtein-Distance między listami jest dobrze zbadanym problemem. Ale nie mogę znaleźć wiele możliwych ulepszeń, jeśli wiadomo, że żaden element nie występuje więcej niż raz na każdej liście . Załóżmy również, że elementy są porównywalne / sortowalne (ale listy do porównania...
Jestem nowy w automatach. Krótkie wprowadzenie do wyrażeń regularnych otrzymałem wczoraj. Przeczytałem różne reguły definiujące wyrażenie regularne. Ale nie jestem w stanie odróżnić wyrażeń regularnych od gramatyki języka (nie uczono mnie gramatyki wyrażeń regularnych). Rozumiem, że gramatyka...
Właśnie przeczytałem kilka stron w książce Sipsera Wprowadzenie do teorii obliczeń na temat problemu z korespondencją pocztową i myślę, że PCP jest w rzeczywistości w NP. Certyfikującej wynosi: dla konfiguracji wejściowej stos łączenie T 1 , T 2 , . . . , t n jako ciąg t i konkatenacja b 1 , b(...
Zdaję sobie sprawę, że wydaje się to bardzo głupie (lub zbyt oczywiste, by stwierdzić) pytanie. Jednak w pewnym momencie jestem zdezorientowany. Możemy pokazać, że P NP=== wtedy i tylko wtedy, gdy możemy zaprojektować algorytm, który rozwiązuje dowolny przypadek problemu w NP w czasie...
Obecnie czytam wprowadzenie do algorytmów i przyszedłem przez algorytm Johnsona, który polega na upewnieniu się, że wszystkie ścieżki są pozytywne. algo zależy od znalezienia nowej funkcji wagi (w '), która jest dodatnia dla wszystkich krawędzi i zachowuje poprawność relacji najkrótszych...
Myślałem, że wszystkie języki regularne można wyrazić za pomocą wyrażeń regularnych (jeśli język jest regularny, można go wyrazić za pomocą wyrażenia regularnego), ale powiedziano mi, że potrzebujesz do tego wszystkich trzech operacji regularnych (konkatenacji, zjednoczenia i gwiazdki)...
Mam problem z obejściem problemów PRIME, COMPOSITE, FACTOR i ich powiązania pod względem złożoności. Rozumiem, że PRIME wykazał, że jest w w teście pierwotności AKS i uważam, że działa to również w przypadku KOMPOZYTU.P.PP Jeśli chodzi o CZYNNIK, faA C.T.O R = { ( m , r ) :Such s takie, że 1...
Wygląda na to, że ludzie zmęczyli się ręcznym zarządzaniem pamięcią, więc wymyślili zbieranie śmieci, a życie było w miarę dobre. Ale co z każdym innym rodzajem zasobów? Deskryptory plików, gniazda, a nawet dane tworzone przez użytkownika, takie jak połączenia z bazą danych? To naiwne pytanie, ale...
Kosz jest nazywany pełnym, jeśli zawiera co najmniej kulek. Naszym celem jest, aby jak najwięcej pojemników było pełnych.kkk W najprostszym scenariuszu otrzymujemy piłek i możemy je dowolnie rozmieścić. W takim przypadku, oczywiście najlepsze, co możemy zrobić, to wybrać kosze i umieścić dowolnie...
Jedno z najpopularniejszych pytań dotyczących struktur danych i algorytmu, najczęściej zadawane podczas wywiadu
Widziałem kilka pytań na tej stronie na temat Deep Dream, jednak żadne z nich nie mówi konkretnie o tym, co robi DeepDream. O ile się zebrałem, wydaje się, że zmienili funkcję celu, a także zmienili propagację wsteczną, tak że zamiast aktualizacji wag aktualizują obraz wejściowy. Zastanawiam się,...
Alice, studentka, ma dużo pracy domowej w ciągu najbliższych tygodni. Każda praca domowa zabiera ją dokładnie jednego dnia. Każda pozycja ma również termin i negatywny wpływ na jej oceny (zakładamy liczbę rzeczywistą, punkty bonusowe za przyjęcie założenia porównywalności), jeśli nie dotrzyma...
Aby znaleźć różnicę, właśnie natknąłem się na poniższe stwierdzenia dotyczące logiki czasowej w Wikipedii : inny wariant logiki modalnej o wielu wspólnych cechach z logiką dynamiczną różni się od wszystkich wyżej wymienionych logików tym, że Pnueli scharakteryzował je jako logikę „endogeniczną”,...
Jeśli mamy dowolny dowolny program komputerowy, który może modyfikować jego instrukcje, czy można symulować ten program za pomocą programu, który nie może modyfikować jego instrukcji? Edytować: Jestem nowy w stosie wymiany, więc nie jestem pewien, czy mogę zadawać NOWE pytanie tutaj, ale oto:...
Mamy wiele problemów, takich jak rozkładanie na czynniki, które są wysoce domniemane, ale nie udowodnione, że znajdują się poza P. Czy są jakieś pytania o przeciwnych właściwościach, a mianowicie, że są one silnie przypuszczone, ale nie udowodniono, że znajdują się w...
Tło: Jestem kompletnym laikiem w dziedzinie informatyki. Czytałam o numerach Busy Beaver tutaj i znalazłem następujący fragment: Ludzkość może nigdy nie poznać wartości BB (6) na pewno, nie mówiąc już o wartości BB (7) lub jakiejkolwiek większej liczbie w sekwencji. Rzeczywiście, wymyka się...
Obecnie muszę się nauczyć Coq i nie wiem, jak sobie radzić z or: Jako przykład, choć jest to tak proste, nie widzę, jak udowodnić: Theorem T0: x \/ ~x. Byłbym bardzo wdzięczny, gdyby ktoś mógł mi pomóc. Dla porównania używam tego ściągawki . Mam też przykład dowodu, który mam na myśli: tutaj...