Szukam artykułów i artykułów na temat modalnej logiki podstrukturalnej - nie na semantykę modalności logicznej liniowej, ale na logikę podstrukturalną wzbogaconą standardowymi operatorami modalnymi, np. Podstrukturalną K (coś w rodzaju MALL z operatorem skrzynki, koniecznością i regułami...
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ć...
Jeśli mamy duży (skierowany) wykres i mniejsze ukorzenione drzewo H , jaka jest najbardziej znana złożoność znajdowania podgraphów G izomorficznych względem H ? Zdaję sobie sprawę z wyników dla izomorfizmu poddrzewa, w którym zarówno G, jak i H są drzewami, a także gdzie G jest płaski lub ma...
Jakie są dobre artykuły / książki, aby lepiej zrozumieć moc rozkładu modułowego i jego właściwości? Szczególnie interesują mnie algorytmiczne aspekty dekompozycji modułowej. Słyszałem, że można znaleźć rozkład modułowy wykresu w czasie liniowym. Czy istnieje do tego stosunkowo prosty algorytm? Co...
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...
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,...
Jestem absolwentem matematyki, a informatyka teoretyczna to dziedzina, w której nigdy nie rozumiałam, o co chodzi, ponieważ nie mogłam znaleźć dobrej lektury na ten temat. Chcę wiedzieć, o co tak naprawdę chodzi w tej domenie, jakie tematy ona dotyczy, jakie warunki są potrzebne, aby się w nią...
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ę...
Mam politotop P.PP zdefiniowany przez { x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pytanie: Z uwagi wierzchołek vvv z P.PP , czy istnieje algorytm wielomianowy czas równomiernie próbki od sąsiadów vvv na wykresie P.PP ? (Wielomian w wymiarze, liczba równań i reprezentacja bbb...
Biorąc pod uwagę zbiory i B , relacja difunkcyjna ( ∼ ) ⊆ A × B między nimi jest zdefiniowana jako relacja spełniająca następującą właściwość:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Jeżeli oraz a ′ ∼ b ′ i a ∼ b ′ , to a ′ ∼ b . a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim b'a ∼ b′za∼b′a \sim b'za′∼...
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...
Pytanie Co nowego w czysto funkcjonalnych strukturach danych od czasu Okasaki? oraz epicka odpowiedź jbapple, wspomniana przy użyciu list różnic w programowaniu funkcjonalnym (w przeciwieństwie do programowania logicznego), co mnie ostatnio interesowało. To doprowadziło mnie do znalezienia...
To nie jest praca domowa, choć na to wygląda. Wszelkie odniesienia są mile widziane. :-) Scenariusz: Istnieje nnn różnych piłek i nnn różnych pojemników (oznaczonych od 1 do nnn , od lewej do prawej). Każda piłka jest rzucana niezależnie i równomiernie do koszy. Niech f(i)f(i)f(i) będzie liczbą...
złożoność obliczeniowa obejmuje duże ilości kombinatoryki i teorii liczb, niektóre elementy stochastyczne i pojawiającą się ilość algebry. Jednak będąc analitykiem zastanawiam się, czy istnieją zastosowania analizy w tej dziedzinie, czy może pomysły inspirowane analizą. Wiem tylko, co nieco to...
Rozważ następujące naturalne pytanie: Biorąc pod uwagę skończony język , jaka jest najmniejsza bezkontekstowa gramatyka generująca ?L.L.LL.L.L Możemy uczynić pytanie bardziej interesującym, określając sekwencję języków , na przykład jest zbiorem wszystkich permutacji : intuicyjnie, CFG dla...
Rozważmy nnn -wymiarowej przestrzeni {0,1}n{0,1}n\{0,1\}^n , niech ccc być liniowy ograniczenie formy 1 x 1 + 2 x 2 + 3 x 3 + . . . + a n - 1 x n - 1 + a n x n ≥ k , gdzie a i ∈ R , x i ∈a1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ +...
Interesuje mnie „najbliższy” (i „najbardziej złożony”) problem hipotezy Collatza , który został pomyślnie rozwiązany (o czym słynie Erdos „matematyka nie jest jeszcze dojrzała na takie problemy”). Udowodniono, że klasa problemów typu „Collatz” jest nierozstrzygalna. Jednak problemy, które są nieco...
Jak każdy wie, SAT jest kompletna dla wrt wielomian czasie wiele-jeden redukcje. Nadal jest kompletny z redukcjami wielokrotności A C 0 .NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Moje pytania brzmi: jaka jest minimalna wymagana głębokość redukcji? Bardziej formalnie, Co najmniej takie, że SAT jest...
Rozpoczynam doktorat tej jesieni i planuję pracować nad teorią złożoności. Tworzę listę ważnych prac, które powinien znać każdy teoretyk złożoności. Jakie dokumenty poleciłbyś osobie takiej jak ja? I proszę krótko wyjaśnić, dlaczego uważasz, że ten papier jest...
Jaka jest najbardziej znana złożoność zapytań algorytmu uczenia się Goldreich-Levin? Notatki z bloga Luca Trevisan , Lemma 3, stwierdza się jako . Czy jest to najlepiej znane pod względem zależności od n ? Będę szczególnie wdzięczny za odniesienie do źródła cytowanego!O ( 1 / ϵ4n logn...