Teoretyczne informatyka

Pytania i odpowiedzi dotyczące teoretycznych informatyków i badaczy w pokrewnych dziedzinach

2
Rozwiązania punktu środkowego dla programów liniowych
Istnieje program liniowy, dla którego chcę nie tylko rozwiązania, ale rozwiązania, które jest tak centralne, jak to możliwe na powierzchni polytopa, który przyjmuje minimalną wartość. Z góry oczekujemy, że minimalizująca powierzchnia powinna być wielowymiarowa z różnych powodów, w tym, że minimalizowana funkcja celu jest maksimum z wielu ograniczeń: Zminimalizować ϵϵ\epsilon …
1
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 operatorów. Trudno było znaleźć istniejące wyniki w literaturze. Znaleźliśmy …
3
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ś przyjmuje jako dane wejściowe, powiedzmy program, który …
2
Zastosowania teorii wykresów spektralnych w teorii informacji i kodowania
Chciałem dowiedzieć się, jakie są zastosowania SGT w dziedzinie informacji i teorii kodowania, a może komunikacji. Najbardziej związana, która przychodzi mi na myśl, to praca nad kodami ekspanderów Michael Sipser i Daniel Spielman, „Kody ekspanderów”, Transakcje IEEE dotyczące teorii informacji, tom 42, nr 6, s. 1710–1722. 1996 Inne przykłady?
1
Czy istnieje sposób na wykrycie stronniczości wyszukiwarki?
Wyszukiwarki coraz częściej polegają na zbieraczach informacji, jednak kryteria stosowane przez wyszukiwarki do oceniania wyników są niejasne dla użytkowników. W jaki sposób użytkownicy mogą być pewni, że ich wyniki nie są stronnicze lub w jakikolwiek sposób modyfikowane, aby zwiększyć zainteresowanie kosztem jakości wyników wyszukiwania? Rządy rutynowo wymagają od dostawców usług …
1
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&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < 1 \end{equation} Według Knutha optymalna wartość to: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox (\sqrt{5} - 1) / 2 = 0.6180339887... \end{equation} …
2
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 satysfakcją: Jaki jest dokładnie …
2
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 \mathcal XB⊆AB⊆AB \subseteq A Oczywisty algorytm (bez wstępnego przetwarzania) wymaga czasu …
1
Objętość obliczeniowa wielowymiarowych wypukłych wielościanów
Szukam oprogramowania do obliczania / szacowania objętości wielowymiarowych wypukłych wielościanów. Mówiąc dokładniej, jestem zainteresowany programem, który może obsługiwać ciałannn wierzchołki w rered-wymiarowa przestrzeń z parametrami z grubsza określonymi następująco: re≤ 50re≤50d \le 50 i n ≤ 1000n≤1000n \le 1000. Pamiętaj, że nie ma gwarancji liczby twarzy. Strona Jeffa Ericksona zawiera …
2
Wczesne referencje do dyskretnej optymalizacji
(Przepraszamy, jeśli jest to źle umieszczone lub zbyt szerokie. Jestem otwarty na sugestie, jak to przeformułować). Interesuje mnie prześledzenie „starożytnej” historii algorytmów maksymalnego przepływu i ogólnie dyskretnych algorytmów optymalizacji. Ford-Fulkerson jest moim słomkowym punktem wyjścia. Jakie były wcześniej znaczące postępy? Jak daleko możemy się cofnąć, wciąż będąc w stanie uzasadnić, …
1
„Właściwy” warunek jednolitości dla klasy Nicka
DLOGTIME jest zdefiniowany na stronie http://en.wikipedia.org/wiki/DLOGTIME nazwa jest zdefiniowany na stronie http://en.wikipedia.org/wiki/L_%28complexity%29 nazwa i nazwa są zdefiniowane na stronie http://en.wikipedia.org/wiki/NC_%28complexity%29 LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME wydaje się być najmniejszym, który może działać. Czytałem w różnych miejscach, , chociaż każde miejsce, w jakim okazało się, że wyniki, które stwierdza warunek jednorodności używa - …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.