Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Prüfen, ob ein beliebiger Beweis zirkulär ist?
Ich habe über Beweise nachgedacht und bin auf eine interessante Beobachtung gestoßen. Beweise entsprechen also Programmen über den Curry-Howard-Isomorphismus, und Zirkelbeweise entsprechen einer unendlichen Rekursion. Aber wir wissen aus dem Problem des Stillstands, dass es im Allgemeinen unentscheidbar ist, zu testen, ob ein beliebiges Programm für immer wiederkehrt. Bedeutet das …
1
Ist dies eine generische Methode, um eine rekursive Prozedur in eine Schwanzrekursion umzuwandeln?
Es scheint , dass ich einen generellen Weg gefunden zu konvertieren jede rekursive Prozedur bis zum Schwanz-Rekursion: Definieren Sie eine Hilfsteilprozedur mit einem zusätzlichen "Ergebnis" -Parameter. Wenden Sie auf diesen Parameter an, was auf den Rückgabewert der Prozedur angewendet wird. Rufen Sie diese Hilfsprozedur auf, um loszulegen. Der Anfangswert für …
1
Welche Funktionen können Kombinatorberechnungsausdrücke berechnen?
Ein Kombinatorausdruck (zum Beispiel auf SK-Basis) kann als eine Funktion betrachtet werden, die Kombinatorberechnungsausdrücke auf Kombinatorberechnungsausdrücke abbildet. Das heißt, man kann sich einen Ausdruck XXX als eine Funktion , wobei die Menge aller syntaktisch gültigen Kombinatorausdrücke in der SK-Basis ist. Diese Zuordnung wird durchgeführt, indem die Eingabe auf den Ausdruck …
3
Kann es in NP-Complete ein endliches Problem geben?
Mein Dozent gab die Erklärung ab Jedes endliche Problem kann nicht NP-vollständig sein Er sprach zu der Zeit über Sudokus und sagte etwas in der Art, dass es für ein 8x8-Sudoku eine endliche Menge von Lösungen gibt, aber ich kann mich nicht genau erinnern, was er gesagt hat. Ich habe …
13 np-complete  np 
1
Wenn
Ich habe diesen Satz gerade auf Seite 6 von Garey und Johnsons "Computers and Intractability" gefunden. Jeder Algorithmus, dessen Zeitkomplexitätsfunktion nicht so begrenzt werden kann, wird als Exponentialzeitalgorithmus bezeichnet (obwohl zu beachten ist, dass diese Definition bestimmte nichtpolynomielle Zeitkomplexitätsfunktionen wie , die normalerweise nicht als Exponentialfunktionen angesehen werden).nLognnLog⁡nn^{\log n} Meine …
3
Unentscheidbares Problem und seine Verneinung ist unentscheidbar
Viele "berühmte" unentscheidbare Probleme sind dennoch zumindest halbentscheidbar, und ihre Ergänzung ist unentscheidbar. Ein Beispiel kann vor allem das Stopp-Problem und seine Ergänzung sein. Kann mir jemand ein Beispiel geben, in dem sowohl ein Problem als auch seine Ergänzung unentscheidbar und nicht halbentscheidbar sind? Ich habe über die Diagonalisierungssprache Ld …
1
Bestimmt man, ob es in einem Intervall eine Primzahl gibt, von der bekannt ist, dass sie P- oder NP-vollständig ist?
Ich habe in diesem Beitrag über Stackoverflow gesehen, dass es einige relativ schnelle Algorithmen gibt, mit denen ein Intervall von Zahlen gesiebt werden kann, um festzustellen, ob es in diesem Intervall eine Primzahl gibt. Bedeutet dies jedoch, dass das Gesamtentscheidungsproblem von: (Gibt es in einem Intervall eine Primzahl?) Bei P …
3
Komplexitätstheoretisch schwierig, den Wert von
Die prime-Zählfunktion , degradiert , wird als die Anzahl der Primzahlen weniger definiert als oder gleich .π( x )π(x)\pi(x)xxx Wir können ein Entscheidungsproblem aus wie folgt definieren:π( x )π(x)\pi(x) Entscheide bei zwei binär geschriebenen Zahlen und , ob .xxxnnnπ( x ) = nπ(x)=n\pi(x) = n Ein Freund und ich haben …
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.