Pytania otagowane jako reference-request

Prośba o referencję jest wykorzystywana, gdy autor musi wiedzieć o pracy związanej z pytaniem.

2
minimalizowanie wielkości wyrażeń regularnych dla zbiorów skończonych
Wiadomo, że minimalizowanie rozmiaru wyrażenia regularnego jest pełne dla PSPACE, nawet jeśli mamy specyfikację języka jako DFA . Jakie są wyniki, jeśli język jest skończony? Problem ten można rozważyć w dwóch modelach: Dane wejściowe to wszystkie ciągi w języku, a rozmiar wejściowy mierzymy sumą długości wszystkich ciągów. Dane wejściowe to …
3
Kombinatoryczna charakterystyka nauki ścisłej z zapytaniami członkowskimi
Edycja: Ponieważ od tygodnia nie otrzymałem żadnych odpowiedzi / komentarzy, chciałbym dodać, że cieszę się, że słyszę cokolwiek o problemie. Nie pracuję w okolicy, więc nawet jeśli jest to prosta obserwacja, mogę tego nie wiedzieć. Pomocny byłby nawet komentarz typu „Pracuję w okolicy, ale nie widziałem takiej charakterystyki”! Tło: Istnieje …
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ć …
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
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 ¬ …
1
Stałe twierdzenia punktowe dla konstruktywnych przestrzeni metrycznych?
Twierdzenie Banacha o punkcie stałym mówi, że jeśli mamy niepustą pełną przestrzeń metryczną AZAA , wówczas każda jednorodnie kurcząca się funkcja ma unikalny punkt stały . Jednak dowód tego twierdzenia wymaga aksjomatu wyboru - musimy wybrać dowolny element aby rozpocząć iterację , aby uzyskać sekwencję Cauchyego . μ ( f …
3
Teorie charakteryzujące klasy złożoności obliczeniowej
Czytając artykuł „ Teoria aplikacyjna dla FPH ”, można natknąć się na następujący fragment: Biorąc pod uwagę teorie charakteryzujące klasy złożoności obliczeniowej, istnieją trzy różne podejścia: w jednym funkcje, które można zdefiniować w teorii, są „automatycznie” w ramach pewnej klasy złożoności. Na takim koncie należy ograniczyć składnię, aby zagwarantować, że …
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.