Teoretyczne informatyka

17
Agregator blogów TOC jest offline

Przepraszam, jeśli to nie na temat. Wygląda na to, że nazwa domeny wygasła. Mam nadzieję, że niektórzy członkowie społeczności tutaj (nie jestem jednym) mogą wiedzieć, kto był administratorem / właścicielem tej witryny. To był całkiem użyteczny

16
Czy niedeterministyczne skończone automaty (NDFA) można skutecznie konwertować na deterministyczne skończone automaty (DFA) w podwykładniczej przestrzeni / czasie?

Dwadzieścia lat temu zbudowałem pakiet wyrażeń regularnych, który obejmował konwersje wyrażeń regularnych na maszynę skończoną (DFA) i obsługiwał wiele zamkniętych operacji wyrażeń regularnych (gwiazda Kleene, konkatenacja, operacje odwrotne, ustawianie itp.). Nie byłem pewien co do najgorszej...

16
Bardziej wydajna nierównomierna derandomizacja?

Adleman, FOCS'78 wykazał, że dowolny randomizowany obwód dla wejść o długości może być nierównomiernie derandomizowany. Jednak konstrukcja skutecznie powiela pierwotny obwód razy, więc obwód derandomizowany jest większy niż obwód pierwotny o współczynnik . Czy istnieje bardziej wydajna konstrukcja,...

16
Czułość właściwości wykresu

W [1] Turan pokazuje, że czułość (zwana w dokumencie „złożonością krytyczną”) właściwości wykresu jest ściśle większa niż ⌊ 14m ⌋⌊14m⌋\lfloor {1\over 4} m \rfloorgdziemmmjest liczbą wierzchołków na wykresie. Dalej zakłada, że ​​każda nietrywialna właściwość graficzna ma czułość≥m−1≥m-1\geq m-1....

16
Które problemy

Słynny obraz świata Neila Immermana jest następujący (kliknij, aby powiększyć):                                         Jego „Naprawdę wykonalna” klasa nie obejmuje żadnej innej klasy; moje pytanie brzmi: Co to jest problem AC 0, który jest uważany za niepraktyczny i...

16
Problemy z logDCFL-complete

LogCFL to zestaw wszystkich języków, które można sprowadzać do przestrzeni logicznej do języka bezkontekstowego. Podobnie LogDCFL jest zbiorem wszystkich języków, które są przestrzenią logiczną redukowalną do deterministycznego języka bezkontekstowego. Zobacz ten artykuł na Wikipedii, aby zapoznać...

16
Silniejsze pojęcia ujednolicenia?

Jedną z luk, o której zawsze zdawałem sobie sprawę, że tak naprawdę nie rozumiem, jest między niejednorodną i jednolitą złożonością obliczeniową, gdzie złożoność obwodu reprezentuje niejednorodną wersję, a maszyny Turinga to, że rzeczy są jednolite. Przypuszczam, że „jednolity” jest sposobem na...

16
Gdzie jest usterka w metodzie Bluma-Feldmana-Micali

Blum, Micali i Feldman (BFM) przedstawiają nowy (kryptograficzny) model, w którym wszystkie strony (uczciwe lub przeciwne) mają dostęp do niektórych ciągów znaków. Zakłada się, że ciąg jest wybrany zgodnie z pewną dystrybucją (zwykle równomierną dystrybucją) przez zaufaną stronę. Nazywa się to...