Fasziniert von Chris Presseys interessanter Frage zu elementar-rekursiven Funktionen , habe ich mehr untersucht und konnte im Internet keine Antwort auf diese Frage finden. Die elementaren rekursiven Funktionen entsprechen gut der exponentiellen Hierarchie
Hier ist der Hintergrund für diese Frage. Freunde und ich spielten ein Spiel, bei dem jeder einem anderen Volk ein Geschenk machen muss. Um zu bestimmen, wer wem ein Geschenk machen soll, beschließen wir, Lose zu ziehen. Aber das Problem ist, dass sich jemand möglicherweise selbst Geschenke macht,...
Das Folgende scheint mir eine natürliche Definition zu sein und ich frage mich, ob es irgendwo studiert wurde Betrachten Sie eine Reihe von Sprachen. Dann heißt K ⊂ { 0 , 1 } ω " X- überprüfbare Information", wenn L ∈ X st vorliegtX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1...
Ich bin auf dieses Übereinstimmungsproblem gestoßen, für das ich keinen Polynomzeitalgorithmus aufschreiben kann. Sei vollständig gewichtete Graphen mit Scheitelpunktsätzen P V bzw. Q V , wobei | P V | = | Q V | = n . Auch lassen w P und w Q sind die Gewichtsfunktionen an den Kanten von P und Q...
es ist bekannt , dass das modale Kalkülμμ\mu eine der ausdrucks temporalen Logik ist für Eigenschaften der Bäume / Graphen ausdrücken, und dass CTL * ist streng weniger ausdrucksvoll als das Kalkül.μμ\mu Hier würde Ich mag ein Beispiel für bitte Kalkül Formel, so einfach wie möglich, die nicht...
Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge? Die Frage könnte als eine stärkere Version der Tatsache angesehen werden, dass jede unendliche Turing-erkennbare Sprache eine unendlich entscheidbare Teilmenge
In der Arbeit von Adi Shamir [1] aus dem Jahr 1979 zeigt er, dass Factoring in einer polynomiellen Anzahl von arithmetischen Schritten durchgeführt werden kann . Diese Tatsache wurde in der jüngsten Veröffentlichung von Borwein und Hobart [2] im Zusammenhang mit linearen Programmen (SLP) wiederholt...
Ich interessiere mich für verifizierte Compiler, die in der Martin-Löf-Typentheorie formalisiert sind, dh Coq / Agda. Im Moment habe ich ein kleines Spielzeugbeispiel geschrieben. Damit kann ich beweisen, dass meine Optimierungen korrekt sind. Zum Beispiel können Additionen mit Null eliminiert...
Sei die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die in der Zeit f ( n ) unter Verwendung des Raums g ( n ) anhalten . Sei A A L T S P ( f ( n ) , g ( n ) ) die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die mit f ( aufhören )A...
Ich bin verwirrt. Ich möchte beweisen, dass das Problem der Sortierung einer nach Matrix, dh der Zeilen und Spalten in aufsteigender Reihenfolge, . Ich gehe davon aus, dass dies schneller als und versuche, die Untergrenze von Für Vergleiche zu verletzen, die zum Sortieren von m Elementen...
Gibt es eine bekannte Familie von Gruppenaktionen mit einem bestimmten Element in der Gruppe, auf die reagiert wird, wo bekannt ist, wie effizient gearbeitet werden kann? \: Stichprobe (im Wesentlichen einheitlich) aus den Gruppen, Berechnung der inversen Operationen, Berechnung der...
Stellen Sie sich ein Problem vor, bei dem Sie ein 2D-Raster (z. B. ein Schachbrett) erhalten, in dem bestimmte Quadrate belegt sind, und Sie müssen die Mindestanzahl nicht überlappender Rechtecke beliebiger Größe wxh mit w = 1 oder h = 1 (dh "Quadrat" angeben Segmente ") so, dass alle nicht...
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Theoretische Informatik Stapel Austausch. Geschlossen vor 7 Jahren . Wie können wir " " als Formel erster Ordnung...
Ich unterrichte einen Kurs über Meta-Heuristik und muss interessante Beispiele für klassische kombinatorische Probleme für den Begriff Projekt generieren . Konzentrieren wir uns auf TSP. Wir beschäftigen uns mit Graphen der Dimension und größer. Ich habe natürlich versucht, ein Diagramm mit einer...
Ich habe gesehen, dass einige Leute Krivines Notation für die Funktionsanwendung verwenden, wenn sie die Syntax für den Kalkül präsentieren. Zum Beispiel ist der λ- Term λ f . λ x . λ y . f x y (mit der normalen Konvention, dass die Funktionsanwendung nach links assoziiert, bedeutet also...
Ich bin ein Doktorand aus Indien. Ich bin sehr daran interessiert, an den Workshops, Konferenzen und eingeladenen Dozenten von prominenten Professoren teilzunehmen. Am Ende des Gesprächs werden wie gewohnt einige Leute Fragen stellen und der Sprecher wird sie beantworten. Mein Problem ist jedoch,...
Wir wissen, dass L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Aus Savitchs Theorem,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal...
Ich bin auf die folgende Frage gestoßen, die eine einfache Übung ist (Spoiler unten). Wir erhalten Instanzen des Stoppproblems (dh TMs ), und wir müssen genau entscheiden, welche von ihnen auf anhalten . Das heißt, wir müssen ausgeben . Wir bekommen ein Orakel für das Problem des Anhaltens, aber...
Ein Großteil der Quantencomputerliteratur konzentriert sich auf das Schaltungsmodell. Adiabatisches Quantencomputing basiert nicht auf der Anwendung einer Folge von Einheitsoperatoren, sondern auf der Änderung eines zeitabhängigen Hamilton-Operators. Ich suche nach einem Einblick in eines der...
Stellen Sie sich ein Diagramm vor, bei dem alle Kanten eine Einheitskapazität haben. Man kann den minimalen Schnitt in der Polynomzeit finden. Angenommen, ich darf die Kapazität von Kanten auf unendlich erhöhen (entspricht dem Zusammenführen der Knoten auf beiden Seiten der Kante). Was ist der...