Istnieje rodzaj wyników w TCS, zwykle nazywany wynikami ładowania początkowego . Ogólnie rzecz biorąc, ma formę Jeśli twierdzenie zachowuje, to twierdzenie zachowuje.ZAZAAA′ZA′A' gdzie AZAAa to zdania, które wyglądają podobnie, a wydaje się „słabsze” niż , dlatego nazywamy ten typ wyników....
W przypadku wielu problemów algorytm o największej złożoności asymptotycznej ma bardzo duży stały współczynnik, który jest ukryty przez dużą notację O. Dzieje się tak w przypadku mnożenia macierzy, mnożenia liczb całkowitych (w szczególności najnowszego algorytmu mnożenia liczb całkowitych O (n log...
W [1] Garey i in. określić, co później będzie znane jako problem sumy pierwiastków kwadratowych w trakcie opracowywania kompletności NP euklidesowej TSP. Podane liczby całkowite a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n i LLLokreśl, czy a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} +...
Pozwolić G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2}) być losowym wykresem na ≈n3/2≈n3/2\approx n^{3/2}krawędzie Z bardzo dużym prawdopodobieństwemGGG ma wiele 444motocykle. Naszym celem jest wyprodukowanie dowolnego z nich444- motocykle tak szybko, jak to możliwe. Załóżmy, że mamy dostęp do GGG...
Podczas wprowadzania modularnego rozkładu grafów większość autorów używa wykresu 11-wierzchołkowego, który kopiuję z wikipedii. Pytanie brzmi, kto jest (są) jego oryginalnymi projektantami. (Nie pytam, kto narysował ten wykres dla wikipedii, ale oryginalne źródło.) Strona wikipedia została...