Teoretyczne informatyka

9
Algorytm wyliczania kliki

Czytam stary artykuł MC Golumbica na temat wykresów EPT (przecięcie krawędzi ścieżek na drzewie). W artykule pokazano, że liczba maksymalnych klików wystąpienia wykresu EPT jest wielomianowa. Stwierdza, że ​​jeśli wyrocznia zgłasza, że ​​wykressolsolG jest wykresem EPT, możliwe jest znalezienie...

9
Cel i określenie, kiedy użyć ukrytych warstw

W odpowiedzi na to pytanie ... Staram się nauczyć, jak używać i tworzyć sieci neuronowe do moich badań, a jedna kwestia nieco mi ucieka. Zdaję sobie sprawę, że ukryte warstwy są nieco niezbędną częścią tego, jednak utknąłem w dwóch punktach, których moje odniesienia nie tłumaczą z...

9
Algorytm wyszukiwania podzbioru

Załóżmy, że mam listę XX\cal X podzbiorów {1,...,n}{1,...,n}\{1, ..., n\}. W razie potrzeby mogę wykonać wstępne przetwarzanie na tej liście. Po tym wstępnym przetwarzaniu otrzymuję kolejny zestawA⊆{1,...,n}A⊆{1,...,n}A \subseteq \{1, ..., n \}. Chcę zidentyfikować żadnych zestawów z .B∈XB∈XB \in...

9
Jak Knuth wyprowadził A?

Interpretując klucze jako liczby naturalne, możemy użyć następującej formuły. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Trudno mi zrozumieć, w jaki sposób wybieramy wartość A, gdzie: 0<A<10<A<1\begin{equation} 0 < A <...

9
Funkcjonalna kompletność 3-wartościowej logiki

W kontekście niektórych ostatnich prac zdefiniowaliśmy język oparty na trójwartościowej logice à la Kleene, gdzie111 oznacza prawdę, 000 za fałsz i ⊥⊥\botza błąd lub nie wiem. Aby pokazać, że nasz język jest ekspresyjny, chcieliśmy udowodnić, że możemy zbudować zestaw funkcjonalnie kompletnych...

9
Rozstrzygalność liczb transcendentalnych

Mam pytanie, na które odpowiedź jest prawdopodobnie dobrze znana, ale nie wydaje mi się, że po kilku poszukiwaniach znajdę coś znaczącego, więc byłbym wdzięczny za pomoc. Moje pytanie brzmi, czy wiadomo, że podjęcie decyzji, czy liczba jest transcendentalna, jest nierozstrzygalne. Być może ktoś...

9
Specjalne przypadki graficzne TSP

W Graphic TSP otrzymujesz nieważony niekierowany wykressolsolG a celem jest znalezienie najkrótszej trasy w solsolGktóry odwiedza każdy wierzchołek przynajmniej raz . Zauważ, że NIE jest to to samo, co znalezienie obwodu hamiltonowskiegosolsolG. Moje pytania to: Jaka jest złożoność Graphic TSP...