Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Was ist Komplexitätsklasse
Was bedeutet die Komplexitätsklasse ? Ich weiß, dass die Komplexitätsklasse ist, die Sprachen enthält, für die es eine polynomielle zeitlich nicht deterministische Turing-Maschine so dass wenn die Anzahl der Akzeptanzzustände der Maschine am Eingang ungerade ist.⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Aber was bedeutet ? Ich kann einfach nicht folgen, …
4
Operationen, bei denen die Klasse der unentscheidbaren Sprachen nicht geschlossen ist
Gibt es unentscheidbare Sprachen, deren Vereinigung / Schnittmenge / verkettete Sprache entscheidbar ist? Was ist die physikalische Interpretation eines solchen Beispiels, da im Allgemeinen nicht entscheidbare Sprachen unter diesen Operationen nicht geschlossen werden? Was können wir über die Schließung von Kleene sagen? Haben wir auch Beispiele dafür? Dh kann der …
1
Über Codds Reduktionsalgorithmus
Der Algorithmus von Codd konvertiert einen Ausdruck in Tupelrelationsrechnung in relationale Algebra. Gibt es eine Standardimplementierung des Algorithmus? Wird dieser Algorithmus irgendwo verwendet? (Es scheint, dass die Branche nur SQL und Varianten benötigt. Ich bin mir nicht sicher, was Datenbanktheoretiker im akademischen Bereich betrifft.) Was ist die Komplexität der Reduktion? …
2
Ein Orakel, um NP von coNP zu trennen
Wie kann man beweisen, dass ? Ich suche nur nach einem solchen Orakel TM M und einer rekursiven Sprache L ( M ) = L, für die dies gilt.N PEIN≠ c o N PEINNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Ich kenne den Beweis , wo Sie zeigen …
2
Sind alle kontextfreien und regulären Sprachen effizient bestimmbar?
Ich bin auf diese Abbildung gestoßen, die zeigt, dass kontextfreie und reguläre Sprachen (richtige) Teilmengen effizienter Probleme sind (angeblich ). Ich verstehe vollkommen, dass effiziente Probleme eine Teilmenge aller entscheidbaren Probleme sind, weil wir sie lösen können, aber es kann sehr lange dauern.PP\mathrm{P} Warum können alle kontextfreien und regulären Sprachen …
5
Wie wird der Schlüssel in einem Verschlüsselungsprotokoll für private Schlüssel ausgetauscht?
Windows NT verwendete ein Punkt-zu-Punkt-Protokoll, bei dem ein Client "sicher" mit einem Server kommunizieren kann, indem er eine Stream-Verschlüsselung verwendet, um ein Array von Nachrichten mit einem Schlüssel zu verschlüsseln kkk. Der Server verschlüsselt auch seine Antwort mit demselben Schlüssel kkk . Aber woher weiß es um diesen Schlüssel? Allgemeiner: …
1
Finde die kürzesten Wege in einem gewogenen unipathischen Graphen
Ein gerichteter Graph gilt als unipathisch, wenn es für zwei beliebige Eckpunkte uuu und vvv im Graph G=(V,E)G=(V,E)G=(V,E) höchstens einen einfachen Weg von uuu nach vvv . Angenommen, ich habe einen unipathischen Graphen GGG so dass jede Kante ein positives oder negatives Gewicht hat, aber keine negativen Gewichtszyklen enthält. Daraus …
1
Was ist der Unterschied zwischen Set und Type in Coq? [geschlossen]
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 Informatik Stapel Börse. Geschlossen vor 2 Jahren . AFAIU-Typen können a sein, Setderen Elemente Programme sind oder propositionderen Elemente Proofs sind. Basierend …
1
Ist der Satz von smn dasselbe Konzept wie das Curry?
Ich studiere den smn-Satz und das Konzept erinnerte mich an Curry. Aus dem Wikipedia-Artikel über den Satz von smn : Der Satz besagt, dass es für eine gegebene Programmiersprache und positive ganze Zahlen m und n einen bestimmten Algorithmus gibt, der den Quellcode eines Programms mit m + n freien …
6
Warum erstreckt sich die Speicherbereinigung nur auf den Speicher und nicht auf andere Ressourcentypen?
Es scheint, als hätten die Leute die manuelle Speicherverwaltung satt, also haben sie die Müllabfuhr erfunden, und das Leben war einigermaßen gut. Aber was ist mit allen anderen Ressourcentypen? Dateideskriptoren, Sockets oder sogar vom Benutzer erstellte Daten wie Datenbankverbindungen? Das fühlt sich wie eine naive Frage an, aber ich kann …
3
Warum Term Rewriting?
Ich habe ein bisschen gegoogelt und bin ein bisschen zu kurz gekommen. Ich frage mich, was die Hauptgründe für Informatiker und Programmierer sind, das Umschreiben von Begriffen und / oder das Umschreiben von Termgraphen zu studieren. Soweit ich das beurteilen kann, hilft es nur bei grundlegenden Überlegungen zu Funktionsprogrammen und …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.