Czy jest jakiś system podobny do rachunku lambda, który silnie się normalizuje, bez potrzeby dodawania na nim systemu
Płód, jeśli o nim nie słyszałeś, możesz przeczytać tutaj . Wykorzystuje system „macierzy wywołań” i „grafów wywołań”, aby znaleźć wszystkie „zachowania rekurencyjne” wywołań rekurencyjnych w funkcji. Pokazanie, że funkcja się kończy, pokazuje, że wszystkie zachowania rekurencyjne wywołań...
Interesuje mnie wiedza o tym, w jaki sposób możemy wykorzystać koncepcje granic i limitów w modelowaniu problemów w codziennym życiu? Czy ktoś mógłby podać przykłady inżynierii (oprogramowania)? Lub ogólnie opisać intuicyjnie, jakiego rodzaju problemów z modelowaniem możemy użyć tych pojęć?...
Załóżmy, że mam P.PP zestawy z elementami zaczerpniętymi z rrrmożliwe. Każdy zestaw ma rozmiarnnn (n <
Mam naiwne pytanie: czy istnieje maszyna Turinga, której zakończenie jest prawdziwe, ale której nie da się udowodnić żadną naturalną, spójną i skończoną aksjomatyczną teorią? Proszę o zwykły dowód istnienia, a nie o konkretny przykład. Może to mieć związek z analizą porządkową . Rzeczywiście, dla...
Jakie są jedne z najlepszych źródeł (książek i artykułów), które same w sobie motywują i uczą się złożoności komunikacji oraz w związku z jej relacją do teorii złożoności
Czy sprawdzenie przechodniości digrapha nie jest łatwiejsze niż (pod względem asymptotycznej złożoności) przyjęcie przejścia przechodniego digrapha? Czy znamy dolną granicę lepiej niż aby ustalić, czy digraf jest
Było kilka pytań ( 1 , 2 , 3 ) na temat przechodniego uzupełniania, które zmusiły mnie do zastanowienia się, czy coś takiego jest możliwe: Załóżmy, że otrzymujemy wykres skierowany na dane wejściowe GsolG i chciałby odpowiedzieć na zapytania typu „(u,v)∈G+(u,v)∈sol+(u,v)\in G^+? ”, tzn. pytając,...
W przypadku problemu sadzonej kliki należy odzyskać kkk-klinka posadzona na losowym wykresie Erdosa-Renyi G ( n , p )G(n,p)G(n,p). To było głównie rozpatrywanep =12)p=12p=\frac{1}{2}, w którym to przypadku wiadomo, że można rozwiązać czas wielomianowy, jeśli k >n--√k>nk > \sqrt{n} i...
Większość systemów typowanych zależnie ma ścisłe warunki dodatnie dla typów indukcyjnych. Czy ktoś zna przykład, w którym naruszenie warunku prowadzi do niespójności w
Rozważ klasyczny problem # P-zupełny nr 3SAT, tj. Policz liczbę wycen, aby uzyskać 3CNF z nnnzmienne zadowalające. Interesuje mnie przybliżalność addytywna . Najwyraźniej istnieje prosty algorytm do osiągnięcia2)n - 12n−12^{n-1}- błąd, ale jeśli k <2)n -
Chcę podzielić zestaw punktów na dwa równe podzbiory, aby zminimalizować sumę kwadratów wewnątrz klastra. Możemy założyć, że punkty znajdują się w dwuwymiarowej przestrzeni euklidesowej. Mam nadzieję na coś szybszego niż ogólny algorytm grupowania k-średnich, biorąc pod uwagę, że k = d = 2. Czy...
Homomorfizm z wykresuG=(V,E)G=(V,E)G = (V, E)na wykresie jest odwzorowaniem od do taki sposób, że jeśli i są obok siebie w czym i sąsiadują z . Endomorfizm grafu jest homomorfizmem od do siebie; nie ma ustalonego punktu, jeśli nie ma takiego, że i nie jest trywialne, jeśli nie jest to...
Jaki jest najlepszy wynik dla liczby bramek w obwodzie pomnożącym dwie liczby całkowite n-bitowe? Oczywista metoda generuje bramki . Istnieją lepsze podejścia z i .θ(n2)θ(n2)\theta(n^2)θ(nlognloglogn)θ(nlognloglogn)\theta(n\log n \log\log n)θ(nlogn2log∗(n))θ(nlogn2log∗(n))\theta(n\log...
Powiedzmy, że mamy funkcję boolowską fa: { - 1 , 1}n→ { - 1 , 1 }f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} i aplikujemy δδ\delta-losowe ograniczenie na faff. Ponadto powiedz, że drzewo decyzyjneT.TT to oblicza faff zmniejsza się O ( 1 )O(1)O(1)w wyniku losowego ograniczenia. Czy to implikuje...
Niech będzie wielomianem podanym przez obwód arytmetyczny o rozmiarze . Biorąc pod uwagę jako dane wejściowe, czy istnieje algorytm deterministyczny, aby sprawdzić, czy wszystkie nieredukowalne czynniki w są formami liniowymi? W pokrewnej uwadze, biorąc pod uwagę postać liniową , możemy sprawdzić...
Jaki jest stosunek niejednoznacznych CFG do wszystkich CFG ? Ponieważ oba zestawy są w nieskończoność nieskończone, stosunek nie jest dobrze zdefiniowany. Ale co z asymptotyczną gęstością : limn ↦ ∞# niejednoznaczny CFG o rozmiarze < n# CFG o wielkości < nlimn↦∞# niejednoznaczny CFG...
Przepraszam, to trochę „miękkie” pytanie. Teoria informacji nie ma pojęcia złożoności obliczeniowej. Na przykład instancja SAT lub instancja SAT plus bit wskazujący na satysfakcję niosą tę samą ilość informacji. Czy istnieje sposób sformalizowania pojęcia „wielomianowo poznawalny”? Takie ramy...
Co wiadomo na temat złożoności rozwiązywania układu równań liniowych na pewnym polu skończonym? Wiem, że istniejeO (n3))O(n3))O(n^3)algorytm (Gauss), który oblicza rozwiązanie, aw przypadku systemów rzadkich istnieją jeszcze lepsze algorytmy. Zastanawiałem się jednak, czy istnieje jakaś teoretyczna...
Pozwolić d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}być funkcją, którą nazywamy funkcją podobieństwa . Przykłady funkcji podobieństwa to odległość cosinus,l2l2l_2 norma, odległość Hamminga, podobieństwo Jaccard itp. Rozważać nnn binarne wektory długości kkk:...