Czy mogę udowodnić następujące stwierdzenia przy użyciu dostępnych automatycznych dowodów twierdzeń? .( a + b )2)= a2)+ b2)+ 2 a b(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab Jeśli , to 11 ∣ 7 a - 5 b .11 ∣ 2 a - 3 b11∣2a−3b 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣7a−5b 11 \mid 7a-5b Jeśli , to x = - b ± √x2)+ b...
Mam problem: Pokaż, że istnieje liczba rzeczywista, dla której nie istnieje żaden program działający nieskończenie długo i zapisujący cyfry dziesiętne tej liczby. Przypuszczam, że można to rozwiązać, redukując go do problemu Halting, ale nie mam pojęcia, jak to zrobić. Byłbym wdzięczny za...
W częściowym teście na przygotowanie GATE pojawiło się pytanie: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Odpowiedziałem: „Zakończy się dla wszystkich liczb całkowitych”, ponieważ nawet w przypadku niektórych liczb całkowitych ujemnych zakończy się jako Błąd przepełnienia stosu...
Oto kontekst ( Struktura i interpretacja programów komputerowych , sekcja 1.1.8, pod nagłówkiem „Nazwy lokalne”): Formalny parametr procedury ma bardzo szczególną rolę w definicji procedury, ponieważ nie ma znaczenia, jaką nazwę ma parametr formalny. Taka nazwa nazywa się zmienną powiązaną i...
Biorąc pod uwagę ciąg wartości , Shannon Entropy w bazie log wynosi . Z tego, co rozumiem, w bazie Entropia Shannona zaokrąglona w górę to minimalna liczba bitów w systemie binarnym, która reprezentuje jedną z wartości.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Zaczerpnięte ze wstępu na...
Procesory są w pewnym stopniu zaprojektowane z myślą o oprogramowaniu, które ludzie będą dla niego pisać, w sposób dorozumiany lub jawny. Wydaje mi się, że jeśli spojrzysz na projekt architektury zestawów instrukcji, są one bardzo „imperatywne”, w tym sensie, że każda instrukcja koduje polecenie...
Biorąc pod uwagę dwuwymiarowy labirynt, w którym możesz wydać 4 polecenia „ruch w górę / dół / prawo / lewo”. Znając labirynt, ale nie wiedząc, gdzie jest człowiek, jak znaleźć minimalną sekwencję poleceń, która gwarantuje wyjście z labiryntu? Szukam pojedynczej sekwencji poleceń, która zadziała...
Jestem trochę zdezorientowany, co dokładnie oznacza „klucz” w informatyce. Rozumiem pary klucz-wartość, klucze podstawowe itp. Ale nie mogę znaleźć definicji tego, co oznacza pojęcie „klucz” samo w sobie. O ile mogę to stwierdzić, oznacza to po prostu kawałek danych. W CLRS dane powiązane z...
punkt A lista może być zweryfikowany jako klasyfikowane porównując każdy element do swojego sąsiada. W mojej aplikacji nie będę w stanie porównać każdego elementu z jego sąsiadem: zamiast tego porównania będą czasami dokonywane między odległymi elementami. Biorąc pod uwagę, że lista zawiera więcej...
Chcę wygenerować całkowicie losowe Sudoku . Zdefiniuj siatkę Sudoku jako siatkę liczb całkowitych od 1 do 9, w której niektóre elementy można pominąć. Siatka jest poprawną łamigłówką, jeśli istnieje wyjątkowy sposób jej wypełnienia, aby dopasować ją do ograniczeń Sudoku (każda linia, kolumna i...
Czy istnieje algorytmiczne podejście do identyfikacji, że daty podane w akapicie są powiązane z określonymi zdarzeniami (frazami) w akapicie? Przykład, rozważ następujący akapit: W czerwcu 1970 roku wielki przywódca złożył przysięgę. Ale dopiero po maju 1972 r., Po śmierci ministra stanu,...
Prostą grą, w którą zwykle bawią się dzieci, w grę wojenną grają dwie osoby korzystające ze standardowej talii 52 kart do gry. Początkowo talia jest tasowana i wszystkie karty rozdawane są dwóm graczom, dzięki czemu każda z nich ma 26 losowych kart w losowej kolejności. Zakładamy, że gracze mogą...
Zgłaszając złożoność algorytmu algorytmu, zakłada się, że obliczenia leżące u jego podstaw są wykonywane na jakiejś abstrakcyjnej maszynie (np. RAM), która przybliża nowoczesny procesor. Takie modele pozwalają nam raportować złożoność algorytmów w czasie i przestrzeni. Teraz, przy rozproszeniu...
Niech częściowe -design i być funkcją logiczną. Generator Nisan- jest zdefiniowany w następujący sposób:S={Si}1≤i≤nS={Si}1≤i≤n\cal{S}=\{S_i\}_{1\leq i\leq n}(m,k)(m,k)(m,k)f:{0,1}m→{0,1}f:{0,1}m→{0,1}f: \{0,1\}^m \to \{0,1\}Gf:{0,1}l→{0,1}nGf:{0,1}l→{0,1}nG_f: \{0,1\}^l \to...
Czytałem artykuł opisujący przełączanie między przestrzenią użytkownika a przestrzenią jądra, która ma miejsce po wywołaniu systemowym. Artykuł mówi Aplikacja oczekuje na zakończenie wywołania systemowego przed wznowieniem wykonywania w trybie użytkownika. Do tej pory zakładałem, że niektóre...
Rozważ następujący protokół, mający na celu uwierzytelnienie (Alice) na (Bob) i odwrotnie.B.ZAAAbBB A → B :B → A :A → B :„I'm Alice” , RZAmi( RZA, K)mi( ⟨ RZA+ 1 , PZA⟩ , K)A→B:“I'm Alice”,RAB→A:E(RA,K)A→B:E(⟨RA+1,PA⟩,K) \begin{align*} A \to B: &\quad \text{“I'm Alice”}, R_A \\ B \to A: &\quad...
Post Korespondencja Problem (PCP) jest nierozstrzygalny. Ograniczoną wersją PCP jest -Complete i oznaczone wersja PCP (słowa jednego z obu listach muszą różnić się w pierwszej literze) jest P S P A C E [1].N P.NP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} Czy te ograniczone wersje są...
Problem 3 partycji zapytuje, czy zestaw liczb może być podzielona na n zestawy trzech liczb całkowitych takim, że każdy zestaw razem daje z danym całkowitą B . Problem zrównoważonej partycji pyta, czy 2 n liczb całkowitych można podzielić na dwa równe zestawy liczności, tak aby oba zestawy miały tę...
Często pracuję z lexer / parserami , w przeciwieństwie do kombinatora parserów i widzę osoby, które nigdy nie brały udziału w analizie składniowej, pytają o przetwarzanie danych binarnych. Zazwyczaj dane są nie tylko binarne, ale także kontekstowe. Zasadniczo prowadzi to do posiadania tylko jednego...
Jestem zdezorientowany, jak wybierane są krany dla rejestrów przesunięcia liniowego sprzężenia zwrotnego. Mam schemat, który pokazuje LFSR z wielomianem połączenia . Pięć etapów jest oznaczonych: R 4 , R 3 , R 2 , R 1 i R 0, a kurki wychodzą z R 0 i R 3 .do( X) = X5+ X2)+ 1C(X)=X5+X2+1C(X) = X^5 +...