Często słyszałem, jak mówiono, że nie można napisać programu do wychwytywania błędów w przeglądarce internetowej, edytorze tekstu lub systemie operacyjnym z powodu twierdzenia Rice'a: każda właściwość semantyczna dla języka pełnego Turinga jest nierozstrzygalna. Nie jestem jednak pewien, w jakim...
Kontekst: Rozważamy tylko digrafy. Niech CYKL będzie językiem grafów z cyklem; jest to problem kompletny dla NL. Niech HASEDGE będzie językiem grafów z co najmniej jedną krawędzią. Zatem w sposób trywialny nie jest już trudny dla NL, podczas gdy zostaje.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup...
Szukam dostępnych w Internecie notatek z wykładów lub innych zasobów, które stanowią dobre wprowadzenie do programowania równoległego, podobnie jak równoległy analog podstawowych zajęć z informatyki. Skupiam się na następujących zagadnieniach: chociaż jestem w stanie mówić o dzieleniu i...
Czy istnieje algorytm wielomianowy do znalezienia - jeśli taki istnieje - pająka rozpinającego danego wykresu ? Pająk to drzewo z co najmniej jednym węzłem o stopniu większym niż 2: Wiem, że różne warunki stopnia na (zasadniczo wystarczająco duże stopnie węzła) gwarantują istnienie pająka...
W książce Arora-Barak w definicji funkcji konstruowalnych w czasie mówi się, że użycie funkcji, które nie są konstruowalne w czasie, może prowadzić do „anomalnych wyników”. Czy ktoś ma przykład takiego „anomalnego wyniku”? Słyszałem w szczególności, że mogą istnieć funkcje, których nie utrzymuje...
Biorąc pod uwagę zestaw punktów w trójwymiarowej przestrzeni kartezjańskiej, szukam algorytmu, który posortuje te punkty, tak aby zminimalizować minimalną odległość euklidesową między dwoma kolejnymi punktami. Byłoby również korzystne, gdyby algorytm miał tendencję do wyższej średniej odległości...
Nie jestem pewien, czy prawidłowy obszar, ale oto idzie. Rozpoczęcie doktoratu z zakresu zarządzania zaufaniem i reputacją w sieciach komunikacyjnych (dużo teorii grafów, analizy probabilistycznej itp.) I dużo czytania przede mną. Czy ktoś może doradzić najlepsze sposoby zarządzania czytaniem...
Mam 400 piłek, w których 100 to czerwone, 40 to żółte, 50 to zielone, 60 to niebieskie, 70 to fioletowe, 80 to czarne. (kule tego samego koloru są identyczne) Potrzebuję wydajnego algorytmu tasowania, aby po tasowaniu kulki znalazły się na liście i 3 kolejne kule nie są tego samego koloru. np....
Szukam przykładów trudnych problemów (w NP lub trudniejszych) z informatyki, które można sprowadzić do modeli procesów fizycznych. Na przykład max-2-sat można zredukować do minimalizacji energii w modelu Isinga. Chciałbym znaleźć więcej przykładów tego rodzaju
Algorytm Deutscha jest dobrze znanym obliczeniem kwantowym z tylko jedną oceną . Jeśli zastąpimy z problem wydaje się być inna. Moje pytanie brzmi: czy istnieje algorytm kwantowy obliczający wartość (lub AND, jeśli wolisz) przy użyciu tylko jednej oceny . W przeciwnym razie: czy wiadomo, że taki...
Czy trudno jest apx-przybliżać ułamkową liczbę chromatyczną na wykresach ze stopniem
Załóżmy, że mam prosty wielokąt i liczbę całkowitą k . Jakie są istniejące podejścia do znalezienia najmniejszego promienia r takie, że mogę pokryć S z k okręgi o promieniu R ? A może r zostanie naprawiony i chcę zminimalizować k
Podczas mojej pracy wpadłem na następujący problem: Usiłuję znaleźć macierz n × nn×nn \times n M dla dowolnego n > 3 o następujących właściwościach:( 0 , 1 )(0,1)(0,1)M.M.Mn > 3n>3)n > 3 Wyznacznik M.M.M jest parzysty. Dla niepustych podzbiorów ja, J⊆ { 1 , 2 , 3...
W poszukiwaniu artykułów naukowych na temat systemów typów dla języków imperatywnych znajduję rozwiązania tylko dla języka ze zmiennymi odnośnikami, ale bez prawdziwych struktur kontroli imperatywnej, takich jak operatory złożone, pętle lub warunki warunkowe. Nie jest więc jasne, w jaki sposób...
Definicje Niech i niech d , r i g będą dodatnimi liczbami całkowitymi (z g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Niech są proste, d -regular, nieukierunkowane skończonej wykres z obwodu co najmniej g .G=(V,E)G=(V,E)G = (V,E)dddggg Niech być całkowity porządek...
Chciałbym wiedzieć, czy wcześniej zbadano następujący prosty problem i czy znane jest jakieś rozwiązanie. Niech G będzie siatką skończoną (MxN), S podzbiorem komórek G („okruchy”). Mówi się, że dwie okruchy są (lokalnie) połączone, jeśli ich współrzędne różnią się co najwyżej o jeden (tj. Jeśli...
Znam dobrze teorię VC-Dimension, ale teraz patrzę na ostatnie (ostatnie 10 lat) postępy w statystycznej teorii uczenia się: (lokalne) średnie Rademachera, Lemma klasy skończonej Massarta, Liczby obejmujące, Łańcuchy, Łańcuch Dudleya Twierdzenie, Pseudodimension, Fat Shattering Dimension, Numery...
Biorąc pod uwagę płaski wykres nieważony i zbiór par wierzchołków ( k ≥ 2 jest stałą), znajdź k ścieżek rozłącznych wierzchołków (z wyjątkiem źródła) od s do t i tak, że długość najdłuższej ścieżki jest zminimalizowana.( s , t1) , … , ( S , tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k ≥...
Niektórzy z nas czytają artykuł Michaela Nielsena o geometrycznym podejściu do stosowania dolnych granic kwantowych (w skrócie, konstrukcja metryki Finslera na tak że odległość geodezyjna od I do elementu U jest dolną granicą na liczbę bramek w obwodzie kwantowym, który oblicza U ).S.U(...
Niech będzie wykresem z (dodatnio) ważonymi krawędziami. I chcemy określić schemat Voronoi dla zestawu węzłów / miejsca , do wiązania się z węzła subgraph w indukowanej przez wszystkie węzły ściśle bliżej niż jakiegokolwiek innego węzła , pomiar długości ścieżki za pomocą sumy wag na łukach. jest...