Informatyka

Ponieważ całkowite programowanie liniowe jest zakończone NP, występuje zmniejszenie Karp z dowolnego problemu w NP. Pomyślałem, że to sugeruje, że zawsze istnieje wielomianowa formuła ILP dla dowolnego problemu w NP. Ale widziałem artykuły na temat konkretnych problemów związanych z NP, w których ludzie piszą takie rzeczy, jak: „to jest pierwszy …

14 complexity-theory  np-complete  reductions  linear-programming 

Próbuję rozwiązać następujący problem z zasięgiem. Istnieje nadajników o zasięgu 1 km i odbiorników. Zdecyduj w że wszystkie odbiorniki są objęte dowolnym nadajnikiem. Wszystkie reveivers TRANSMITER i jest reprezentowany przez oraz współrzędnych.nnnnnnO(nlogn)O(nlog⁡n)O(n\log n)xxxyyy Najbardziej zaawansowane rozwiązanie, z którym mogę skorzystać, zajmuje . Dla każdego odbiornika posortuj wszystkie nadajniki według odległości …

14 algorithms  computational-geometry  search-problem 

Jakie urządzenia i ich połączenia są używane razem z procesorami kwantowymi? Czy są kompatybilne z urządzeniami sprzętowymi, takimi jak pamięć podręczna, pamięć RAM, dyski obecnych komputerów?

14 computer-architecture  quantum-computing 

Chcę stworzyć cyfrową kapsułę czasu, która pozostanie nieczytelna przez pewien czas, a następnie stanie się czytelna. Nie chcę polegać na usługach zewnętrznych, aby na przykład zachować klucz w tajemnicy, a następnie ujawnić go w wymaganym czasie. czy to możliwe? Jeśli nie, to czy istnieje jakiś dowód, że tak nie jest? …

14 cryptography  encryption  digital-preservation 

Załóżmy, że mamy do zestawu na N koderów.S.= { a1, a2), a3), … , AN.}S.={za1,za2),za3),…,zaN.}S = \{ a_1,a_2,a_3,\ldots , a_N \}N.N.N Każdy Coders ma ocenę liczbę złotych medali E i , które do tej pory zdobyli.RjaRjaR_imijamijaE_i Firma programistyczna chce zatrudnić dokładnie trzech programistów do opracowania aplikacji. Aby zatrudnić trzech programistów, …

14 algorithms  algorithm-design 

Wiemy, że jest w według twierdzenia Immermana – Szelepcsényiego, a ponieważ jest dlatego to wiele-jeden obszar dziennika, który można zredukować do . Ale czy istnieje bezpośrednia / kombinatoryczna redukcja, która nie przechodzi przez wykres konfiguracji maszyn Turinga w ?st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard}st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityst-connectivityst-connectivityst\text{-}connectivityNLNL\mathsf{NL} stConnectivitystConnectivity\mathsf{stConnectivity} (a.k.a. stPATHstPATHstPATH): Given directed graph GGG and vertices sss and …

14 complexity-theory  reductions  space-complexity 

Algorytm losowego wyboru jest następujący: Dane wejściowe: tablica składająca się z n (odrębnych, dla uproszczenia) liczb i liczby k ∈ [ n ]AAAnnnk∈[n]k∈[n]k\in [n] Wyjście: Opcja „rangi Element” od (czyli jeden na pozycji jeśli została posortowana)kkkAAAkkkAAA Metoda: Jeśli w jest jeden element , zwróć goAAA Wybierz element („pivot”) równomiernie losowoppp …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Chcę ustalić, że jest to część mojej pracy domowej na kursie, który obecnie biorę. Szukam pomocy w postępowaniu, NIE ODPOWIEDZI. Oto pytanie: Gwiazda pięcioramienna na niekierowanym wykresie jest pięcioklasową. Pokaż, że 5-POINTED-STAR , gdzie 5-POINTED-STAR = zawiera gwiazdę 5-punktową jako podgraf .∈P∈P\in P{<G>{<G>\{ :G:G: G}}\} Gdzie klika to CLIQUE = …

14 complexity-theory  time-complexity 

Jestem zainteresowany obliczania „th moc macierzy . Załóżmy, że mamy algorytm mnożenia macierzy, który działa w czasie . Następnie można łatwo obliczyć w czasie . Czy można rozwiązać ten problem w mniejszym stopniu złożoności?n × n A O ( M ( n ) ) A n O ( M ( …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Obecnie czytam o uczeniu maszynowym i zastanawiałem się, jak zastosować go do gry w Connect Four . Moja obecna próba to prosty klasyfikator wieloklasowy wykorzystujący model funkcji sigmoid i metodę jeden na wszystkich. Moim zdaniem cechami wejściowymi musi być stan (dysk odtwarzacza 1, dysk odtwarzacza 2, pusty) pól siatki 7x6 …

14 machine-learning  board-games 

Próbuję udowodnić, że drzewo binarne z węzłami ma co najwyżej ⌈ nnnnliści. Jak miałbym to robić z indukcją?⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Dla osób, które śledziły pierwotne pytanie o stosy, zostało tu przeniesione .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Niech GGG będzie gramatyką bezkontekstową. Łańcuch zacisków i nieterminali z GGG mówi się zdań tworzą z GGG , czy można go otrzymać stosując produkcje GGG zero lub więcej razy symbolu startu SSS . Niech SF(G)SF⁡(G)\operatorname{SF}(G) będzie zbiorem form zdaniowych GGG . Niech α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) i pozwolić ββ\beta być podłańcuchem …

14 formal-languages  context-free  formal-grammars  closure-properties 

Algorytmy i struktury danych ignorowane przez pamięć podręczną są raczej nową rzeczą, wprowadzoną przez Frigo i in. w algorytmach niepamięci Cache, 1999 . Teza Prokopa z tego samego roku wprowadza także wczesne pomysły. Artykuł Frigo i in. przedstawić niektóre wyniki eksperymentalne pokazujące potencjał teorii oraz algorytmów i struktur danych nieobsługiwanych …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Szukałem interesujących i łatwych do stwierdzenia otwartych problemów w zakresie obliczalności (zrozumiałych dla studentów pierwszego roku z zakresu obliczeń), aby podać przykłady otwartych problemów (i oczywiście chcę, aby uczniowie byli w stanie zrozumieć problem bez potrzeby zbyt dużej ilości nowych definicje, a także być dla nich interesujące). Znalazłem tę listę, …

14 computability 

Załóżmy, że mamy prosty język, który składa się z terminów: truetrue\mathtt{true} falsefalse\mathtt{false} jeśli są warunkami, to podobnie jest zi ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Załóżmy teraz następujące logiczne reguły oceny: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: …

14 logic  semantics  proof-techniques  term-rewriting