Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Was sind die Bedingungen für eine NFA, damit ihre äquivalente DFA die maximale Größe hat?
Wir wissen, dass DFAs in ihrer Ausdruckskraft NFAs entsprechen; Es gibt auch einen bekannten Algorithmus zum Konvertieren von NFAs in DFAs (leider kenne ich jetzt den Erfinder dieses Algorithmus), der im schlimmsten Fall Zustände liefert , wenn unser NFA Zustände hat. S2S2S2^SSSS Meine Frage ist: Was bestimmt das Worst-Case-Szenario? Hier …
2
Ist Logical Min-Cut NP-Complete?
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Logical Min Cut (LMC) -Problemdefinition Angenommen, G=(V,E)G=(V,E)G = (V, E) ist ein ungewichteter Digraph, sss und ttt sind zwei Eckpunkte von VVV , und ttt ist von aus …
4
Gibt es in der konstruktivistischen Logik unentscheidbare Sprachen?
Konstruktivistische Logik ist ein System, das das Gesetz der ausgeschlossenen Mitte sowie die Doppelte Negation als Axiome entfernt. Es ist auf Wikipedia hier und hier beschrieben . Insbesondere erlaubt das System keinen Widerspruchsbeweis. Ich frage mich, ist jemand mit den Auswirkungen auf die Ergebnisse in Bezug auf Turingmaschinen und formale …
3
Wie ist das Verhältnis zwischen Funktoren in SML und Kategorietheorie?
Entsprechend dieser Aussage von Andrej Bauer in dieser Antwort Die Haskell-Community hat eine Reihe von Techniken entwickelt, die von der Kategorietheorie inspiriert sind. Monaden sind am bekanntesten, sollten aber nicht mit Monaden verwechselt werden . Welche Beziehung besteht zwischen Funktoren in SML und Funktoren in Kategorietheorie? Da ich keine Informationen …
2
"NP-complete" Optimierungsprobleme
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich bin etwas verwirrt über einige Begriffe, die ich in Bezug auf die Komplexität von Optimierungsproblemen gefunden habe. In einer Algorithmusklasse hatte ich das große Sparsamkeitsproblem , das …
1
Quantencomputer und Turingmaschinen: Sind Turingmaschinen immer noch eine genaue Maßnahme?
In der Vorlesung letzte Woche sagte mein Professor, dass Turing-Maschinen als Standardmaßstab / -modell für das, was berechenbar ist, verwendet werden und eine hilfreiche Diskussionsgrundlage für dieses Thema darstellen. Sie sagte auch, dass sich alle Varianten von Turing-Maschinen als rechnerisch äquivalent erwiesen hätten - gelesen, genauso leistungsfähig - wie die …
2
Wenn ich Sudoku lösen kann, kann ich das Travelling Salesman Problem (TSP) lösen? Wenn das so ist, wie?
Nehmen wir an, es gibt ein Programm, bei dem Sie, wenn Sie ein teilweise gefülltes Sudoku einer beliebigen Größe geben, das entsprechende fertige Sudoku erhalten. Können Sie dieses Programm als Black Box behandeln und damit TSP lösen? Ich meine, gibt es eine Möglichkeit, das TSP-Problem als teilweise gefülltes Sudoku darzustellen, …
2
Verwenden Programmiersprachen allgemeine rekursive Funktionen als Grundlage?
Dies ist eine naive und daher möglicherweise falsch formulierte Frage, also entschuldigen Sie sich im Voraus! Meiner Ansicht nach kann eine Turing-Maschine als Berechnungsgrundlage für prozedurale / imperative Programmiersprachen angesehen werden. Ebenso ist der Lambda-Kalkül die Grundlage für funktionale Programmiersprachen. Ich habe kürzlich erfahren, dass die Church-Turing-These auch die wechselseitige …
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.