Pytania otagowane jako reference-request

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

2
Delikatne wprowadzenie do izomorfizmu grafów dla grafów o ograniczonej wartościowości
Czytam o klasach grafów, dla których izomorfizm grafów ( ) jest . Jednym z takich przypadków są wykresy ograniczonej wartościowości (maksimum nad stopniem każdego wierzchołka), jak wyjaśniono tutaj . Ale uznałem to za zbyt abstrakcyjne. Byłbym wdzięczny, gdyby ktokolwiek mógł zasugerować mi referencje o charakterze ekspozycyjnym. Nie mam silnego doświadczenia …
1
obliczanie minimalnego NFA dla DFA
Wiele lat temu słyszałem, że obliczenie minimalnego NFA (niedeterministycznego automatu skończonego) z DFA (deterministycznego) było otwartym pytaniem, w przeciwieństwie do odwrotnego kierunku, który jest znany od dziesięcioleci i jest dobrze zbadany z wydajnym algorytm. Czy ktoś wymyślił algorytm?O(nlgn)O(nlg⁡n)O(n \lg n) Szybkie wyszukiwanie dało mi ten artykuł, który dowodzi, że jest …
3
Jakie jest minimalne rozszerzenie FO, które obejmuje klasę zwykłych języków?
Kontekst: relacje między logiką a automatami Twierdzenie Büchiego stwierdza, że ​​logika Monadic drugiego rzędu nad łańcuchami (MSO) przechwytuje klasę zwykłych języków. Dowód faktycznie pokazuje, że egzystencjalne MSO ( ∃MSO∃MSO\exists\text{MSO} lub EMSO ) nad łańcuchami wystarczy do przechwycenia zwykłych języków. Może to być nieco zaskakujące, ponieważ w ogólnych strukturach MSO jest …
1
Szybki splot nad małymi skończonymi polami
Jakie są najbardziej znane metody cyklicznego splotu długości na małym polu, tj. Kiedy | F | « N ? Szczególnie interesują mnie pola o stałej wielkości, a nawet F = F 2 . Doceniane są ogólne stwierdzenia i referencje dotyczące skuteczności asymptotycznej.nnn|F|≪n|F|≪n|\mathbb{F}| \ll nF=F2F=F2\mathbb{F} = \mathbb{F}_2 Tło: Niech będzie polem, …
1
Przybliżenie do zliczania liczby prostych ścieżek
I powiedziano, że istnieją dobre wielomianowe algorytmy czasu dla zbliżenia liczbę prostych odcinków w skierowanej wykresie począwszy od danego wierzchołka do danego zakończony wierzchołek T . Czy ktoś zna dobre referencje na ten temat?sssttt Tło: zliczanie dokładnej liczby ścieżek na ogólnym wykresie jest # P-pełne, ale mogą istnieć przybliżone wielomianowe …
1
Wykorzystanie dodatkowej mocy metody negatywnego przeciwnika
Negatywna metoda przeciwnika ( A D V±ZAreV.±ADV^\pm ) to SDP, który charakteryzuje złożoność kwantowych zapytań. Jest to uogólnienie powszechnie stosowanej metody przeciwnika ( ) i pokonuje dwie bariery, które utrudniały metodę przeciwnika:A D VZAreV.ADV Bariera testowania właściwości: jeśli wszystkie wystąpienia 0 są daleko od wszystkich 1 wystąpień, wówczas metoda przeciwnika …
1
Analiza kulek i pojemników w systemie m >> n.
Powszechnie wiadomo, że jeśli wrzucisz n piłek do n pojemników, najprawdopodobniej w najbardziej załadowanym pojemniku będą znajdować się kulki O(logn)O(log⁡n)O(\log n) . Ogólnie można zapytać o m>nm>nm > n piłek w nnn pojemnikach. Artykuł z RANDOM 1998 autorstwa Raaba i Stegera analizuje to szczegółowo, pokazując, że wraz ze wzrostem mmm …
2
Sparametryzowana złożoność numeru przecięcia wykresu
Co jeśli wiadomo o sparametryzowanej złożoności obliczania numeru przecięcia wykresu (najmniejszej liczby klików potrzebnych do pokrycia wszystkich jego krawędzi)? Od dawna wiadomo, że jest NP-kompletny, i oczywiście FPT, ponieważ ma jądro: jeśli możesz pokryć wykres klikami, to istnieje co najwyżej różnych zamkniętych sąsiedztw wierzchołków (dwa wierzchołki mają te same sąsiedztwa …
4
Zastosowania struktur metrycznych na posetach / sieciach w teorii CS
Ponieważ termin jest przeciążony, najpierw krótka definicja. Poset jest zbiorem XXX wyposażonym w częściowy porządek ≤≤\le . Biorąc pod uwagę dwa elementy a,b∈Xa,b∈Xa,b \in X , możemy zdefiniować (złączenie) jako ich najmniejszą górną granicę w i podobnie zdefiniować (spełnić) (połączyć) jako największą dolną granicę.x∨yx∨yx \vee yXXXx∧yx∧yx \wedge y Krata to …
4
Złożoność znalezienia drugiego rozwiązania przy poprawnym rozwiązaniu problemu NP-zupełnego
Chcę dowiedzieć się, czy istnieją jakieś ogólne wyniki lub przykłady dotyczące kompletności NP problemu znalezienia drugiego rozwiązania problemu NP-zupełnego. Dokładniej, jestem zainteresowany wszelkimi problemami następującej formy: Biorąc pod uwagę rozwiązanie na przykład I z NP-pełnej problemem jest to, że roztwór S ' ≠ S do I ?SSSIjaIS′≠SS′≠SS' \neq SIII Docenione …
1
Struktura instancji patologicznych dla algorytmów simpleks
O ile rozumiem, wszyscy znają deterministyczne reguły przestawne dla algorytmów simpleksowych mają określone dane wejściowe, na których algorytm wymaga czasu wykładniczego (lub przynajmniej nie wielomianowego), aby znaleźć optymalne. Nazwijmy te przypadki „patologicznymi”, ponieważ zwykle (tj. Na większości danych wejściowych) algorytm simpleks kończy się szybko. Pamiętam z mojego kursu programowania matematycznego, …
3
Formalna reprezentacja pierścieni w obliczeniach
Czytając artykuł na temat stosowania metod algebraicznych do wykrywania niektórych indukowanych subgrafów, okazuje się, że ideał krawędzi jest ważnym narzędziem łączącym algebrę komutacyjną i teorię grafów. Skoro nie znam obliczeń obiektów algebraicznych, czy są jakieś dobre odniesienia lub książki na ten temat? Szczególność w reprezentowaniu pierścienia R na maszynie Turinga …
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.