Ich habe folgenden unvollendeten Beweis für ein Lemma: Goal forall (P : Type -> Prop) (Q : Prop), ((forall x, (P x)) -> Q) -> (exists x, P x -> Q). Proof. intros. eapply ex_intro. intros. apply H. intros. eapply H0. Das Problem ist das letzte eapplyfehlgeschlagene mit der Nachricht...
Computational Complexity Theory ist komplex. Mein Verständnis der Polynomzeit bezieht sich auf andere Zeitkomplexitätsklassen wie die nicht deterministische Polynomzeit. Dies ist in Ordnung für Ingenieure und Mathematiker, aber ich suche nach einer einfachen Definition des Begriffs, die für Laien...
Ich versuche, einige Aussagen über die Ausführung in Java-Programmen unter einigen starken Einschränkungen zu beweisen (im Grunde genommen habe ich die Vermutung, dass zwei Methoden, die eine Reihe von Einschränkungen für eine bestimmte Eingabe erfüllen, äquivalent sind - dh den Wert und den Status...
Ich war etwas verwirrt mit der Richtung der Reduzierungen, die verwendet wurden, um zu zeigen, dass bestimmte Sprachen nicht rekursiv sind. wir zum Beispiel an, wir möchten feststellen, ob das ( ) unentscheidbar ist. Ich weiß, wir können davon ausgehen, dass es entscheidbar ist, und dann versuchen,...
Ich interessiere mich für ein solches kombinatorisches Problem: ein Graph und eine Gewichtsfunktion und sind, fragen wir nach einem solchen induzierten Teilgraphen von , das die Summe maximiert: .G=(V,E)G=(V,E)G=(V, E)wv:V↦Rwv:V↦Rw_v: V \mapsto Rwe:E↦Rwe:E↦Rw_e: E \mapsto RG′=(V′,E′)G′=(V′,E′)G' =...
Unter den Turing-Graden befinden sich Grade der Form , z. B. , , usw.0n0n0^n0000'0′0'0''0″0'' Ich werde dies der Vollständigkeit halber nur schnell beweisen. Hoffentlich hat niemand Bedenken mit diesem kurzen Beweis: Lemma: Jeder zählbare Satz von Sätzen natürlicher Zahlen kann als ein einzelner...
Ich versuche Y-Kombinatoren zu verstehen. Könnten Sie bitte erklären, warum die folgenden Punkte gleichwertig sind? (Y (f ∘ g)) (f (Y (g ∘ f))) (Y ist eine
Gegeben: Eine Liste vonnnn ganze Zahlen x1,x2, … ,xnx1,x2,…,xnx_1,x_2,\dots,x_n und eine ganze Zahl kkk. Bestimmen: Istx- -- -√1+x- -- -√2⋯x- -- -√n≤ kx1+x2⋯xn≤k\sqrt x_1 + \sqrt x_2 \cdots \sqrt x_n \le k? Frage: Gibt es einen Polynomzeitalgorithmus für das obige Problem? Wenn ja, geben Sie einen...
Wie es im Titel heißt: Gibt es Probleminstanzen , die wir kennen unlösbare sein? Oder äquivalent Gibt es irgendwelche Versprechungsprobleme mit einer endlichen Anzahl möglicher Eingaben, die nicht zu entscheiden sind? Bitte beachten Sie: Mir ist klar, dass viele Rechenprobleme bekanntermaßen...
Nehmen wir an, wir haben ein einfaches ungerichtetes Diagramm angegeben GGG haben NNN Knoten und MMMbidirektionale Kanten. Für gegebenxxx und yyy Wir möchten überprüfen, ob es in der Grafik nur einen einfachen Pfad zwischen ihnen gibt. Ich dachte daran, dass wir alle Zyklen in der Grafik finden und...
Ist der Schnittpunkt von unendlich vielen rekursiven Mengen ⋂ichU.ich⋂iUi\bigcap_{i}U_{i}(wo jeder Satz anders ist) rekursiv? Rekursiv aufzählbar? Ich weiß, dass die Vereinigung nicht rekursiv sein muss, weil sie entscheidet, ob ein Element in der Menge enthalten istU.ichUiU_i ist dasselbe wie die...
Im λλ\lambda-calculus, wir können Arithmetik, Zahlen, Boolesche Werte codieren und sogar Fakultäten von Zahlen berechnen, wie hier gezeigt . Gibt es eine Kodierung von "für" oder
Ich habe im Unterricht angefangen, Kryptographie zu lernen, und wir sind auf One-Time-Pads gestoßen, bei denen der Schlüssel (einheitlich vereinbart) so lang ist wie die Nachricht selbst. Dann wandeln Sie die Nachricht in Bits um, führen und erhalten den Chiffretext. Dies verschlüsselt die...
Grundsätzlich sagt der Titel. Warum können Sie den Teil "xy" "ignorieren", wenn Sie beweisen möchten, ob eine Sprache regulär
Nehmen wir an , wir haben zwei nicht überlappenden konvexen Polygonen und . Wie können wir eine gerade Linie zeichnen, die in zwei Teile gleicher Fläche und auch in zwei Teile gleicher Fläche teilt ? Können wir dies auch in der Komplexität oder besser tun ? (
Ich lese Steven Skienas "The Algorithm Design Manual" und in einer seiner Kriegsgeschichten auf Seite 155 heißt es: Effizienz ist in Mathematica eine große Herausforderung, da das Berechnungsmodell anwendbar ist (es unterstützt keine zeitkonstanten Schreiboperationen für Arrays) und der...
Ich suche nach einer Datenstruktur zum Speichern einer Menge, so dass bei zwei Instanzen der Größe denen bekannt ist, dass sie einen nicht leeren Schnittpunkt haben, das minimale Element des Schnittpunkts in der Zeit kann. Ist dies entweder im schlimmsten Fall oder bei amortisierter Komplexität...
Ich lese die Vorlesungen über kubische Typentheorie in diesem Github-Repo . In Vorlesung 1 definiert der Autor die Funktionserweiterung folgendermaßen: funExt (A B : U) (f g : A -> B) (p : (x : A) -> Path B (f x) (g x)) : Path (A -> B) f g = <i> \(a : A) -> (p a) @ i und schreibt...
An verschiedenen Stellen ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf und https:
Ich nehme an einem Computertheoriekurs teil und mein Professor sagte uns, dass ein Pushdown-Automat keine anderen Datenstrukturen als einen Stapel (wie eine Warteschlange oder mehrere Stapel) verwenden kann. Warum ist das