Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Äquivalenz von Büchi-Automaten und linearem
Es ist bekannt, dass jede LTL-Formel von einem Büchi Automaten ausgedrückt werden kann. Offensichtlich sind Büchi-Automaten jedoch ein leistungsfähigeres, ausdrucksstärkeres Modell. Ich habe irgendwo gehört, dass Büchi-Automaten der linearen Zeit -calculus entsprechen (dh -calculus mit üblichen Fixpunkten und nur einem zeitlichen Operator: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Gibt es einen Algorithmus (konstruktiver Beweis) für …
7
Gibt es einen intuitiveren Beweis für die Unentscheidbarkeit des Halteproblems als die Diagonalisierung?
Ich verstehe den Beweis für die Unentscheidbarkeit des Halteproblems (zum Beispiel in Papadimitrious Lehrbuch), basierend auf der Diagonalisierung. Obwohl der Beweis überzeugt (ich verstehe jeden Schritt davon), ist er für mich nicht intuitiv in dem Sinne, dass ich nicht sehe, wie jemand ihn ableiten würde, ausgehend vom Problem alleine. In …
7
Unterschiede und Beziehungen zwischen randomisierten und nicht deterministischen Algorithmen?
Welche Unterschiede und Beziehungen bestehen zwischen randomisierten und nicht deterministischen Algorithmen? Aus Wikipedia Ein randomisierter Algorithmus ist ein Algorithmus, der einen Zufallsgrad als Teil seiner Logik verwendet. Der Algorithmus verwendet typischerweise gleichmäßig zufällige Bits als Hilfseingabe, um sein Verhalten zu steuern, in der Hoffnung, im "Durchschnittsfall" eine gute Leistung über …
4
Zählen Sie alle nicht-isomorphen Graphen einer bestimmten Größe auf
Ich möchte alle ungerichteten Graphen der Größe auflisten nnn, benötige aber nur eine Instanz jeder Isomorphismusklasse . Mit anderen Worten, ich möchte alle nicht-isomorphen (ungerichteten) Graphen auf Eckpunkten aufzählen . Wie kann ich das machen?nnn Genauer gesagt, ich möchte einen Algorithmus, der eine Folge ungerichteter Graphen mit der folgenden Eigenschaft …
2
Church-Turing-These und Rechenleistung neuronaler Netze
Die Church-Turing-These besagt, dass alles, was physikalisch berechnet werden kann, auf einer Turing-Maschine berechnet werden kann. Die Arbeit "Analoge Berechnung über neuronale Netze" (Siegelmannn und Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) behauptet, dass ein neuronales Netz einer bestimmten Form (die Einstellungen werden in der Arbeit vorgestellt) …
4
Was bedeutete Turing, als er sagte, dass „Maschinen keine Überraschungen hervorrufen können“, was auf einen Irrtum zurückzuführen ist?
Ich traf unter Aussage von Alan M. Turing hier : "Die Ansicht, dass Maschinen keine Überraschungen hervorrufen können, ist meines Erachtens auf einen Irrtum zurückzuführen, dem Philosophen und Mathematiker besonders ausgesetzt sind. Dies ist die Annahme, dass alle Konsequenzen dieser Tatsache auftauchen, sobald eine Tatsache einem Geist präsentiert wird der …
2
Ist Lambda Calculus rein syntaktisch?
Ich habe ein paar Wochen lang über den Lambda-Kalkül gelesen, aber ich habe noch nichts gesehen, das sich materiell von vorhandenen mathematischen Funktionen unterscheidet, und ich möchte wissen, ob es sich nur um eine Notationssache handelt oder ob es irgendwelche neuen gibt Eigenschaften oder Regeln, die von den Axiomen der …
1
Wie schwer ist es, die Anzahl einfacher Pfade zwischen zwei Knoten in einem gerichteten Graphen zu zählen?
Mit einem einfachen Polynomalgorithmus kann entschieden werden, ob in einem gerichteten Graphen ein Pfad zwischen zwei Knoten vorhanden ist. Es scheint jedoch überraschenderweise, dass das Problem viel schwieriger wird, wenn wir anstatt auf die Existenz zu testen, die Anzahl der Pfade zählen möchten . Wenn wir zulassen, dass Pfade Eckpunkte …
2
Warum sind die Gesamtfunktionen nicht aufzählbar?
Wir haben etwas über das Konzept der Aufzählung von Funktionen gelernt. In der Praxis entsprechen sie Programmiersprachen. In einer Bemerkung erwähnte der Professor, dass die Klasse aller Gesamtfunktionen (dh die Funktionen, die immer für jede Eingabe enden) nicht aufzählbar ist. Das würde bedeuten, dass wir keine Programmiersprache entwickeln können, die …
5
Boolesche Suche erklärt
Meine Mutter besucht einen Online-Kurs, um eine Art Bibliothekarin zu werden. In diesem Kurs werden Boolesche Suchen behandelt, damit sie Datenbanken effizient durchsuchen können. Sie hat jedoch eine Frage, die in etwa so aussieht: Die Suche "x ODER y" ergibt 105 000 Treffer, während eine Suche nach nur x 80 …
29 sets  counting 
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.