Podczas testowania właściwości wykresu algorytm wysyła zapytanie do wykresu docelowego o obecność lub brak krawędzi i musi ustalić, czy cel ma określoną właściwość, czy też jest -far od posiadania tej właściwości. (Algorytm może zostać poproszony o powodzenie z błędem 1-stronnym lub 2-stronnym.) Wykres ma -far od posiadania właściwości, jeśli nie …
Podczas majstrowania przy niekanonicznym analizowaniu LR wymyśliłem metodę analizy (z tabelami o nieskończonych rozmiarach, co czyni ją nieco niepraktyczną ), która jest w stanie przeanalizować dokładnie jednoznaczne gramatyki w czasie , i zastanawiałem się, czy można to zrobić lepiej :O(n2)O(n2)O(n^2) Czy wszystkie jednoznaczne gramatyki można analizować w czasie liniowym? Jestem …
Ponieważ nie pozwala na niekończące się obliczenia, Coq niekoniecznie nie jest kompletny w Turingu. Jaką klasę funkcji może obliczyć Coq? (czy istnieje ich interesująca charakterystyka?)
Czas dojazdu na połączonym wykresie definiuje się jako oczekiwaną liczbę kroków w losowym marszu rozpoczynającym się od , przed odwiedzeniem węzła a następnie ponownie osiągnięciem węzła . Jest to w zasadzie suma dwóch czasów uderzenia i .i j i H ( i , j ) H ( j , i …
Istnieje wiele niedopuszczalności wyników, które opierają się na unikalnym założeniu gier. Na przykład, Zakładając unikalną hipotezę gier, NP jest trudne do przybliżenia maksymalnego problemu cięcia w ramach współczynnika R dla dowolnej stałej R > R GW . (Tutaj R GW = 0,878… jest współczynnikiem przybliżenia algorytmu Goemans – Williamson.) Jednak …
Czy ktoś zna odniesienia, które precyzyjnie określają związek między algorytmem unifikacji a eliminacją Gaussa? Szczególnie interesuje mnie związek między podstawieniami trójkątnymi a rozkładami LU. Wayne Snyder i Jean Gallier wspominają o tej analogii, przekazując w swojej pracy, Revisited Unification Higher Order: Complete Set of Transformations .
W grze typu tower defense masz siatkę NxM z początkiem, wykończeniem i wieloma ścianami. Wrogowie podążają najkrótszą ścieżką od początku do końca, nie przechodząc przez ściany (zwykle nie są ograniczeni do siatki, ale dla uproszczenia powiedzmy, że są. W obu przypadkach nie mogą poruszać się po przekątnych „otworach”) Problem (przynajmniej …
Czytając odpowiedź Petera Shora i wcześniejsze pytanie Adama Crume'a, zdałem sobie sprawę, że mam pewne nieporozumienia na temat tego, co to znaczy być PP\mathsf{P} twardym. Problemem jest PP\mathsf{P} -hard jeśli jakiś problem w PP\mathsf{P} sprowadza się do niego z LL\mathsf{L} (lub jeśli wolisz NCNC\mathsf{NC} ) obniżek. Problem występuje poza PP\mathsf{P} …
W artykule naukowym z 2002 r. Mezard, Parisi i Zecchina przedstawili heurystyczną propagację przekonań dla losowego 3SAT. Eksperymenty wskazują, że heurystyka działa dobrze dla współczynników ograniczeń na zmienną, dla których prawdopodobne jest istnienie zadowalającego przypisania. Moje pytania to: (1) Co się stanie, jeśli weźmiesz pod uwagę losowy 3LIN zamiast losowego …
Interesuje mnie złożoność decydowania, czy dany nie-prosty wielokąt jest prawie prosty, w jednym z dwóch różnych formalnych zmysłów: słabo prostym lub nie-samokreślącym . Ponieważ te terminy nie są powszechnie znane, zacznę od niektórych definicji. Wieloboku jest zamknięty cykl odcinków łączenia kilku skończoną sekwencję punkty na płaszczyźnie. Punkty nazywane są wierzchołkami …
Zastanawiałem się, jakie artykuły powinienem przeczytać, aby zrozumieć to pytanie Nieoczekiwane połączenie z innymi dziedzinami matematyki, takimi jak geometria algebraiczna lub wyższa kohomologia. Być może nawet dziedzina matematyki nie została jeszcze rozwinięta. Być może ktoś opracuje zupełnie nowy kierunek matematyki, aby poradzić sobie z pytaniem P kontra NP. -Od Fortnow …
Napinacz jest uogólnieniem wektorów i matryc do większych rozmiarów i stopnia z tensora uogólnia również rzędu macierzy. Mianowicie, ranga tensora jest minimalna liczba rangi jeden tensory tej kwoty . Wektor i macierz są odpowiednio tensorami stopnia 1 i 2.TT.TTT.TT Elementy w pochodzą z pola . Jeśli jest skończony, to Håstad …
Stan naszej wiedzy o ogólnych obwodach arytmetycznych wydaje się być podobny do stanu naszej wiedzy o obwodach boolowskich, tzn. Nie mamy dobrych dolnych granic. Z drugiej strony mamy wykładnicze granice wielkości dla monotonicznych obwodów boolowskich . Co wiemy o monotonii obwodach arytmetycznych? Czy mamy dla nich podobne dobre dolne granice? …
Chodzi o to, jak skutecznie możemy wyrazić algorytm. Potrzebuję tego do moich studiów licencjackich. Rozumiem, że nie ma czegoś takiego jak standardowy sposób pisania pseudo kodu. Różni autorzy stosują różne konwencje. Byłoby pomocne, gdyby ludzie tutaj wskazywali, w jaki sposób podążają i myślą najlepiej. Czy jest jakaś książka, która zajmuje …
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.