21 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
Anwendungsbeispiele Deutsch
- Der Satz von Fagin ist ein 1973 von Ronald Fagin bewiesener Satz aus der deskriptiven Komplexitätstheorie, der aussagt, dass die Menge aller mit Hilfe der existentiellen Prädikatenlogik zweiter Stufe beschreibbaren Sätze genau die Komplexitätsklasse NP ist.
- Nach dem Satz von Fagin ist eine Sprache "L" genau dann in NP, wenn es einen Satz in der existenziellen Prädikatenlogik zweiter Stufe (SO∃) gibt, der "L" beschreibt.
- Die Klasse der mittels ∃SO-Ausdrücken definierbaren Strukturen ist über den Satz von Fagin eng mit den Sprachen der Komplexitätsklasse NP verbunden, so dass sich bei geeigneter Codierung ∃SO mit NP identifizieren lassen.
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!