Teoretyczne informatyka

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

4
Definicja wykładnika mnożenia macierzy
Potocznie definicja wykładnika mnożenia macierzy jest najmniejszą wartością, dla której znany jest algorytm mnożenia macierzy . Nie jest to dopuszczalne, formalnej definicji matematycznej tak Chyba określenie techniczne jest czymś w infimum na wszystkich tak, że istnieje algorytm mnożenia macierzy w .n ω t n tωω\omeganωnωn^{\omega}tttntntn^t W tym przypadku nie możemy …
1
Utrzymanie porządku na liście w w Czas
Problem z utrzymaniem porządku (lub „utrzymaniem porządku na liście”) polega na obsłudze operacji: singleton: tworzy listę z jednym elementem, zwraca do niej wskaźnik insertAfter: dany wskaźnik do elementu wstawia nowy element po nim, zwracając wskaźnik do nowego elementu delete: dany wskaźnik do elementu usuwa go z listy minPointer: biorąc pod …
2
Jaka trwała struktura danych dla zestawu częściowo uporządkowanych elementów?
Muszę przechowywać zestawy elementów typu a. Typ a jest częściowo uporządkowany, więc porównanie i może zwrócić mniejsze, większe, równe lub nieporównywalne.a 2za1za1a_1za2)za2)a_2 Jednym z problemów z tablicami skrótów jest to, że dwa równe elementy mogą być reprezentowane w różny sposób i nie mam dostępu do funkcji haszującej zgodnej z równością. …
2
Teoria dowodowa produktów dwubiegowych?
Kategoria ma dwuprodukty, gdy te same obiekty są zarówno produktami, jak i koproduktami. Czy ktoś badał teorię kategorii produktów dwubiegunowych? Być może najbardziej znanym przykładem jest kategoria przestrzeni wektorowych, w których bezpośrednia suma i bezpośrednie konstrukcje produktu dają tę samą przestrzeń wektorową. Oznacza to, że przestrzenie wektorowe i mapy liniowe …
3
Źródła algorytmicznej ewolucyjnej teorii gier
Używam tytułowego terminu w bardzo luźnym znaczeniu. Dużo pracy poświęcono ewolucyjnej teorii gier, w tym jej matematycznym fundamentom. Polecono mi „Gry ewolucyjne i dynamika populacji”, ale jeszcze się w to nie zagłębiłem. Istnieje również znaczna ilość pracy nad algorytmiczną teorią gier, która jest popularnym tematem na tej stronie. Chciałbym zobaczyć …
1
Przybliżenie funkcji uniwersalnej
Dzięki uniwersalnemu twierdzeniu o aproksymacji wiadomo, że sieć neuronowa z nawet jedną ukrytą warstwą i dowolną funkcją aktywacji może aproksymować dowolną funkcję ciągłą. Jakie są inne modele, które są również uniwersalnymi aproksymatorami funkcji
2
Czy ktoś wykorzystał polimorficzną defunkcjonalizację Pottiera i Gauthiera w kompilatorze modułowym?
Defunkcjonalizacja to transformacja programu, która przekształca programy wyższego rzędu w programy pierwszego rzędu. Chodzi o to, że biorąc pod uwagę program, istnieje tylko skończona liczba abstrakcji lambda, więc można zastąpić każdą lambda identyfikatorem, a każdą aplikację funkcji wywołaniem procedury wprowadzania, która rozgałęzia się na tym identyfikatorze. Jest to czasami używane …
2
Jakie jest pochodzenie relacji logicznych?
Mam dwa pytania: Kto pierwszy użył relacji logicznych do powiązania semantyki? Prześledziłem je z powrotem do „Reynolds of the Relation Between Direct and Continuation Semantics ” Reynolda , ale nie mogę twierdzić, że przeprowadziłem wyczerpujące poszukiwania. Znalazłem odniesienia do relacji logicznych datowanych wcześniej (Tait, '67), ale nie do powiązania semantyki. …
1
Modułowy rozkład i szerokość kliki
Próbuję zrozumieć niektóre pojęcia dotyczące rozkładu modułowego i wykresów szerokości kliki . W tym artykule („Na wykresach uporządkowanych za pomocą P4”) znajduje się dowód na to, jak rozwiązać problemy z optymalizacją, takie jak liczba kliki lub liczba chromatyczna za pomocą rozkładu modułowego. Rozwiązanie tych problemów przez skomponowanie (przy użyciu sumy …
2
Wyraźne wyrażenie mu-rekurencyjne dla funkcji Ackermana
Czy mógłbyś wskazać, jak zbudować funkcję Ackermana (tak naprawdę interesuje mnie wersja zaproponowana przez Rózsa Pétera i Raphaela Robinsona) za pomocą standardowych operatorów rekursywnych? Próbowałem oryginalnych prac Pétera i Robinsona, ale praca Pétera używa języka innego niż angielski, a prace Robinsona „Recursion and Double Recursion” i „Primitive Recursive Functions” również …
1
Szukasz artykułów i artykułów na temat Tarskian Möglichkeit
Pewne tło: logika wielowartościowa Łukasiewicza miała być logiką modalną, a Łukasiewicz podał ekstensywną definicję operatora modalnego: ◊ A =ree f¬ A → A◊ZA=remifa¬ZA→ZA\Diamond A =_{def} \neg A \to A (który przypisuje Tarskiemu). Daje to dziwną logikę modalną, z pewnymi paradoksalnymi, jeśli nie pozornie absurdalnymi twierdzeniami, w szczególności . Zastępca ¬ …
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.