Mój problem jest taki: Mam fizyczny układ reprezentowany jako wykres. Węzły reprezentują haki / kanały, w których drut może się zakotwiczyć, a krawędzie są możliwym połączeniem między 2 węzłami, z których może przejść drut. Istnieją specjalne Węzły, zwane rozdzielaczami, z których pojedynczy drut...
Rozważ programy liniowe Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA...
Wprowadzenie i notacje: Oto nowa i prosta wersja mojego algorytmu, która wydaje się kończyć (zgodnie z moimi eksperymentami), a teraz chciałbym to udowodnić. Niech notacja odnosi się do wymiarowego punktu danych (wektora). Mam trzy zestawy A, B i C, takie że ,xi∈Rpxi∈Rpx_i \in...
tło Uczę się pomocy, Coq, na własną rękę. Do tej pory w pośpiechu przeczytałem Coq Yvesa Bertota . Teraz moim celem jest udowodnienie podstawowych wyników dotyczących liczb naturalnych, których zwieńczeniem jest tak zwany algorytm podziału. Jednak na drodze do tego celu napotkałem pewne...
Szukam algorytmu do konwersji digrafu (grafu kierunkowego) na graf niekierowany w sposób odwracalny, tzn. Digraf powinien być odtwarzalny, jeśli otrzymamy wykres niekierowany. Rozumiem, że przyjdzie to kosztem niekierowanego wykresu mającego więcej wierzchołków, ale nie mam nic przeciwko. Czy ktoś...
Mieliśmy kilka pytań na temat relacji redukcji Cooka i Karp . Oczywiste jest, że redukcje Cooka (redukcje Turinga w czasie wielomianowym) nie definiują tego samego pojęcia kompletności NP jak redukcje Karp (redukcje w postaci wielomianu w jednym czasie), które są zwykle stosowane. W szczególności...
Pracuję na małym kompilatorze rachunku lambda, który ma działający system wnioskowania typu Hindleya-Milnera, a teraz obsługuje także rekurencyjne let (nie w połączonym kodzie), co, jak rozumiem, powinno wystarczyć, aby Turing był kompletny . Problem polega na tym, że nie mam pojęcia, jak to...
Z dowodu Millera-Rabina , jeśli liczba przechodzi test pierwotności Fermata , musi również przejść test Millera-Rabina z tą samą podstawą (zmienną w dowodzie). A złożoność obliczeń jest taka sama.zaaa Z testu pierwotności Fermata wynika : Chociaż liczby Carmichaela są znacznie rzadsze niż...
My podręcznik mówi „określamy funkcji następująco: i . Zauważ, że biorąc pod uwagę , możemy łatwo znaleźć w czasie liczbę taką, że jest umieszczone pomiędzy i . "f:N→Nf:N→Nf\colon
Opisz zwykły język, którego nie może zaakceptować żaden DFA, który ma tylko trzy stany. Nie jestem do końca pewien, od czego zacząć i zastanawiałem się, czy ktoś mógłby dać mi jakieś wskazówki lub porady. Rozumiem, że lematu pompującego można użyć do udowodnienia, że język nie jest regularny,...
Właśnie zaczynam wchodzić w teorię obliczeń, która bada, co można obliczyć, jak szybko, z wykorzystaniem ilości pamięci iz jakim modelem obliczeniowym. Mam dość podstawowe pytanie, ale naprawdę mam nadzieję, że niektórzy z was pomogą mi zrozumieć koncepcję: Dlaczego wszystko koncentruje się...
Pytanie jest prawie w tytule. Czy jest jakiś czas, kiedy jakiś językLLL może być zaakceptowany przez minimalną DFA z nnn stwierdza, ale LRLRL^R, odwrócenie LLL, może zostać zaakceptowany przez DFA za pomocą mmm państwa, gdzie
W Chaimin's Meta Math! W Quest For Omega krótko mówi o 10. problemie Hilberta. Następnie mówi, że dowolne równanie diofantyczne można zmienić na dwa równe wielomiany o dodatnich współczynnikach całkowitych: .p = 0p = 0p=0p=0p = 0⟺p1= p2)p=0⟺p1=p2p=0 \iff p_1 = p_2 Następnie mówi, że możemy myśleć...
Pod koniec lat 90., kiedy byłem na studiach, gazeta JH Saltzer; Stroik DP; DD Clark: Kompleksowe argumenty w projektowaniu systemu . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 było prawie wymagane czytanie w każdej klasie systemów operacyjnych na każdym...
Do rozumowania takich rzeczy, jak kompletność NP, zwykle stosujemy redukcje wielokrotne jeden (tj. Redukcje Karp). Prowadzi to do takich zdjęć: (zgodnie ze standardowymi przypuszczeniami). Jestem pewien, że wszyscy znamy tego rodzaju rzeczy. Jakie otrzymamy zdjęcie, jeśli będziemy pracować z...
Jeśli hierarchia zapada się na swój drugi poziom (według twierdzenia Karpa-Liptona). Ale co z N P i C o N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Starałem się udowodnić, że zawarty jest w N P (drugi kierunek jest trywialne, jeśli R P = N P ), ale bez skutku, a nie jestem nawet pewien,...
Relację równoważności na skończonym zestawie wierzchołków można przedstawić za pomocą nieukierunkowanego wykresu, który jest rozłącznym połączeniem klików. Zestaw wierzchołków reprezentuje elementy, a krawędź reprezentuje równoważność dwóch elementów. Jeśli mam wykres i wykresy G 1 , … , G k ,...
Biorąc pod uwagę dwie liczby całkowite i n w reprezentacji binarnej, jaka jest złożoność obliczania wielkości bitowej x n ?xxxnnnxnxnx^n Jednym ze sposobów jest obliczenie poprzez obliczenie aproksymacji log 2 ( x ) z wystarczającą dokładnością. Wygląda na to, że obliczenie log 2 ( x ) z k bitów...
Bieżący zmiennoprzecinkowy (zmiennoprzecinkowy ANSI C, podwójny) pozwala przedstawić przybliżoną liczbę rzeczywistą. Czy istnieje sposób na przedstawienie liczb rzeczywistych bez błędów ? Oto pomysł, który miałem, ale nie idealny. Na przykład 1/3 to 0.33333333 ... (podstawa 10) lub o.01010101...
Załóżmy, że podam ci niekierowany wykres z ważonymi krawędziami i powiem, że każdy węzeł odpowiada punktowi w przestrzeni 3D. Ilekroć pomiędzy dwoma węzłami jest krawędź, ciężar krawędzi jest odległością między punktami. Twoim celem jest zrekonstruowanie względnych pozycji punktów, biorąc pod...