Śmieci muszą odwiedzić wszystkie żywe obiekty, aby znaleźć pamięć, którą można odzyskać. (Posiadanie wielu pokoleń tylko trochę to opóźnia) Mimo że wszystko jest takie samo, zdecydowanie lepiej jest najpierw odwiedzić obiekt, który jest już przywoływany do pamięci RAM, a następnie przywołać inny...
Mam zestaw punktów i mam odległość między każdym punktem . Odległości te są euklidesowe, ale punkty znajdują się w przestrzeni cech.CCCD(Pi,Pj)D(Pi,Pj)D(P_i,P_j) Z punktów chcę wybrać podzbiór punktów. Zadzwoń do tego podzbioru . Chcę wybrać ten podzbiór tak aby zmaksymalizować odległość minimalna...
Kilkadziesiąt lat temu mieliśmy komputery analogowe. Współczesne komputery są cyfrowe. Co z komputerami kwantowymi? Czy to jest analogowy czy cyfrowy? Pytam o to, ponieważ qubit może być jednocześnie wieloma
Po pierwsze, chciałbym powiedzieć, że mój tekst poniżej może zawierać błędy, więc możesz wskazać wszelkie błędy w moim sformułowaniu pytania. Rozważ niepoprawny rachunek lambda z wartościami logicznymi i instrukcjami if, których warunki są podane przez tę składnię: t ::= v | t t | if t t t | x...
-bounded obejmujące problemu drzewo jest gdzie trzeba undirected wykres i trzeba zdecydować, czy nie ma drzewa rozpinającego tak, że każdy wierzchołek ma stopień co najwyżej .kkkG(V,E)G(V,E)G(V,E)kkk Zdaję sobie sprawę, że w przypadku jest to problem ścieżki hamiltonowskiej. Mam jednak problem z...
Jeśli chodzi o najgorszy przypadek asymptotycznego środowiska uruchomieniowego, który problem NP-zupełny ma najszybszy znany (dokładny) algorytm i jaki jest algorytm? Czy jest coś znanego, co jest szybsze niż ?O ( n2)∗
Mam bardzo ogólne pytanie. Jest to związane z badaniami. Interesuje mnie teoria grafów. Zrobiłem w tym kurs. Zrobiłem kilka tematów związanych z teorią grafów z punktu widzenia robienia tego jako student matematyki, a także studiowałem niektóre algorytmy grafów. Idę na staż badawczy z teorii...
Wybacz naiwność, która będzie oczywista w sposobie zadawania tego pytania, a także w tym, że zadaję to pytanie. Matematycy zwykle używają ponieważ jest to najprostsza / najładniejsza baza teoretyczna (ze względu na rachunek różniczkowy). Ale komputery wydają się robić wszystko w systemie binarnym,...
Istnieje wiele szczegółów na temat dodatków typu lookahead, takich jak Kogge-Stone, Lander-Fischer itp. Na kursach CS uczelni. Są one określane jako „powszechne w branży”. Jednak nie mogę znaleźć żadnych dowodów (poza być może łańcuchem do noszenia w Manchesterze) z ostatnich czasów, że są one...
Natknąłem się na to pytanie: „Podaj przykłady dwóch zwykłych języków, których związek nie tworzy zwykłego języka”. Jest to dla mnie dość szokujące, ponieważ uważam, że zwykłe języki są zamknięte w związku. Co oznacza dla mnie, że jeśli biorę dwóch języków regularnych i Unii nich, musi uzyskać...
Wiem, że może to zabrzmieć trochę po wyjęciu z pudełka, w rzeczywistości zawsze myślałem w środku, ale ostatnio myślałem, być może dlatego, że informatyka zapewnia dużą swobodę, o sposobach opracowywania programów innych niż te nauczane na uniwersytecie. Rozważ funkcję silni. Zazwyczaj...
Uwielbiam wszystko, co jest czasem kompilacji i uwielbiam pomysł, że po skompilowaniu programu powstaje wiele gwarancji dotyczących jego wykonania. Mówiąc ogólnie, system typu statycznego (Haskell, C ++, ...) wydaje się dawać silniejsze gwarancje czasu kompilacji niż jakikolwiek system typu...
Zrobiłem trochę googleingu i podszedłem trochę za krótko. Zastanawiam się, jakie są główne powody dla naukowców zajmujących się obliczeniami, programistów, aby studiować przepisywanie terminów i / lub przepisywanie grafów terminowych. O ile mogę stwierdzić, pomaga to w podstawowym rozumowaniu...
Czytając niektóre blogi o złożoności obliczeniowej (na przykład tutaj ) przyswoiłem sobie pogląd, że podjęcie decyzji, czy dwie grupy są izomorficzne jest łatwiejsze niż przetestowanie dwóch wykresów pod kątem izomorfizmu. Na przykład na podanej stronie napisano, że izomorfizm grafów jest bardziej...
Na poniższym zdjęciu próbuję dowiedzieć się, co dokładnie akceptuje ten NFA. To, co mnie dezorientuje, to skok przy q 0 .ϵϵ\epsilonq0q0q_0 Jeśli zostanie wprowadzone , czy system przejdzie zarówno do q 0, jak i do q 1 (stan akceptacji)?000q0q0q_0 q1q1q_1 Jeśli wprowadzona zostanie , czy...
Dynamiczne idealne tabele skrótów i tabele skrótów kukułki to dwie różne struktury danych, które obsługują wyszukiwanie w najgorszym przypadku O (1) i oczekiwane wstawianie i usuwanie w czasie O (1). Oba wymagają dla swoich operacji O (n) przestrzeni pomocniczej i dostępu do rodzin funkcji...
Mam problem ze zrozumieniem problemu zatrzymania Turinga. Jego dowód zakłada, że istnieje magiczna maszyna która może ustalić, czy komputer zatrzyma się lub zapętli na zawsze dla danego wejścia. Następnie dołączamy inną maszynę, która odwraca dane wyjściowe i mamy sprzeczność i dlatego H nie...
Celem jest utworzenie DFA z wyrażenia regularnego, a użycie opcji „Regular exp> NFA> Konwersja DFA” nie jest opcją. Jak należy to zrobić? Zadałem to pytanie naszemu profesorowi, ale powiedział mi, że możemy korzystać z intuicji i uprzejmie odmówił podania jakichkolwiek wyjaśnień. Więc...
Widziałem, w jaki sposób XOR-3-SAT można skutecznie rozwiązać (na przykład zobacz sekcję „Zgodność XOR” we wpisie w Wikipedii na temat problemu logicznej satysfakcji ). Zastanawiam się nad podstawowym pytaniem: czy XOR-k-SAT można skutecznie rozwiązać w przypadku formuł o różnej ilości literałów...
Istnieje popularny problem [1] [2] w informatyce, który polega na znalezieniu minimalnej liczby linii prostych pokrywających dany zestaw punktów w 2D. Mimo że zeskanowałem wiele artykułów, żaden z nich nie ma wyraźnej motywacji do rozwiązania problemu. Jaki jest pożytek z rozwiązania tego...