Dano mi wykres z szerokością i dowolnym stopniem, i chciałbym znaleźć podrozdział z (niekoniecznie indukowany podsgraf) taki, że ma stały stopień, a jego szerokość jest tak wysoka, jak to możliwe. Formalnie mój problem jest następujący: po wybraniu stopnia związanego , jaka jest najlepsza funkcja...
Solwery SMT, takie jak Z3 lub Boolector, wykorzystują złożony zestaw heurystyk do rozwiązywania problemów. Jednak bardzo utrudnia to przewidywanie wydajności takiego rozwiązania. Moje pytanie brzmi zatem: Pytanie Czy istnieje sposób na zrozumienie lub uzyskanie wglądu w wydajność solvera SMT dla...
Biorąc pod uwagę coprime a , ba,ba, b, czy możesz szybko obliczyć minx , y> 0|zax-by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Tutaj są liczbami całkowitymi. Oczywiście przyjęcie daje nieciekawą odpowiedź; ogólnie, jak blisko te moce mogą się zbliżyć? Jak szybko obliczyć minimalizujące...
Po coraz większych sukcesach sieci neuronowych w grach planszowych wydaje się, że następnym celem, który wyznaczyliśmy, może być coś bardziej przydatnego niż pokonanie ludzi w Starcraft. Dokładniej, zastanawiałem się, czy Czy sieci neuronowe można przeszkolić do rozwiązywania klasycznych...
Biorąc pod uwagę funkcję boolowską , mamy grupę automorfizmów .fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) \} Czy są jakieś znane granice dla ? Czy jest coś znanego dla ilości postaci dla jakiejś grupy...
Twierdzenie Cantora stwierdza, że Dla każdego zestawu A zbiór wszystkich podzbiorów A ma znacznie większą liczebność niż sam A. Czy można zakodować coś takiego za pomocą typów / propozycji bez odwoływania się do zestawów ZFC? Doceniony zostanie kod lub pseudokod do kodowania tej propozycji w...
Jestem naukowcem, który pracuje w teorii algorytmów i złożoności, do pewnego stopnia używam sparametryzowanej złożoności. Wydaje mi się, że badacze o sparametryzowanej złożoności są bardzo aktywni (nie mam na myśli, że inni nie) pod względem liczby prac badawczych. Widziałem, że badacze ze...
Czy ktoś wie, skąd pochodzą nazwy System „F” i System „T”? Nie pytam, kto wprowadził te nazwy (Girard System F i Gödel System T), ale co oznaczają „F” i
Wiadomo, że Ford-Fulkerson lub Edmonds-Karp z heurystyczną grubą rurą (dwa algorytmy dla maksymalnego przepływu) nie muszą się zatrzymywać, jeśli niektóre ciężary są nieracjonalne. W rzeczywistości mogą nawet zbierać się na niewłaściwej wartości! Jednak wszystkie przykłady, które mogłem znaleźć w...
Ciekawi mnie, w jaki sposób niejednorodność okazała się przydatna w obliczeniach. Jednym ze sposobów jest losowość, jak wBPP⊆P/polyBPP⊆P/polyBPP \subseteq P/poly, a kolejnym są tabele przeglądowe, które służą do pokazania, że wszystkie języki mają niejednolite obwody. W szczególności interesują...
Braverman wykazały, że rozkład które -wise niezależnie -fool głębokość obwody wielkości o "sklejanie" The Smolensky aproksymacja i aproksymacja Fouriera funkcji logicznych . Autor i ci, którzy przypuszczali, że to pierwotnie przypuszczają, że wykładnik tam można zredukować do( l o gmϵ)O...
Pozwolić AAAbyć skończonym alfabetem. Dla danego języka składniowym monoid jest dobrze znanym pojęciem w teorii język form. Co więcej, monoid rozpoznaje język jeśli istnieje morfizm taki, że .L⊆A∗L⊆A∗L \subseteq A^{\ast} M(L)M(L)M(L)MMMLLLφ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to...
W Intuitionistycznej teorii typów: część predykcyjna Martina-Löfa udowodniono, że sprawdzanie typówa : Aa:Aa \colon Apodlega rozstrzygnięciu z zastrzeżeniemzaaaprzede wszystkim do pisania , poprzez udowodnienie twierdzenia o normalizacji dla zamkniętych terminów do pisania. Z drugiej strony...
Jakie są najbardziej znane asymptotyczne górne granice wielkości dowodów probabilistycznie sprawdzalnych? Idealnie szukam współczesnej ankiety dotyczącej tego szerokiego pytania, ale jeśli jej nie ma, szczególnie interesuje mnie niedopuszczalność 3-SAT. Niech 7/8 + ε-3-SAT będzie 3-SAT z...
Twierdzenie Robertsona-Seymour'a głosi, że każda niewielka, zamknięta rodzinasolG\mathcal G wykresów można scharakteryzować przez skończoną liczbę zakazanych nieletnich. Czy istnieje algorytm wejściowy solG\mathcal G wypuszcza zakazanych nieletnich, czy jest to nierozstrzygalne? Oczywiście...
Mam trudności ze zrozumieniem dowodu silnej normalizacji dla rachunku konstrukcji. Staram się podążać za dowodem zawartym w pracy Hermana Geuversa „Krótki i elastyczny dowód silnej normalizacji dla rachunku konstrukcji”. Potrafię dobrze podążać za główną linią rozumowania. Konstrukcje Geuvers dla...
Istnieje wiele różnych modeli definiowania transformacji między językami. Przetworniki stanu skończonego i transformacje grafu definiowane przez MSO na grafach łańcuchowych to dwa, z którymi najlepiej się znam. Wiemy, że dwudrożne przetworniki stanu skończonego (które są bardziej ekspresyjne niż...
Czy istnieją jakieś wyniki w rozwiązywaniu problemów języków formalnych za pomocą analizy matematycznej, matematyki ciągłej. Na przykład rozwiązanie problemu braku pustki na skrzyżowaniu dla języka bezkontekstowego i języka
Dwa stosy można skutecznie zaimplementować za pomocą jednej tablicy o stałym rozmiarze: stos nr 1 zaczyna się od lewego końca i rośnie w prawo, a stos nr 2 zaczyna się od prawego końca i rośnie w lewo. Czy to samo jest możliwe dla trzech stosów? Mówiąc dokładniej, czy możliwe jest wdrożenie trzech...
Ostatnio zainteresowałem się geometrią algebraiczną i zacząłem o niej czytać. Wciąż bardzo mało wiem o tym polu, ale chcę wiedzieć, czy ma on jakiś związek z moim głównym polem, teorią typów i językami programowania. Wiem, że topologia algebraiczna ma wiele zastosowań w teorii typów (teoria...