| Property |
Value |
| dbo:abstract
|
- Der Lückensatz von Borodin ist ein 1972 von Allan Borodin veröffentlichter Satz der Komplexitätstheorie in der theoretischen Informatik. Der Satz wurde schon 1964 von Boris Trakhtenbrot bewiesen, was aber im Westen unbeachtet blieb. Er besagt, dass es in der Hierarchie von Komplexitätsklassen beliebig große Lücken gibt. Formal:Für totale, berechenbare Funktionen mit , gibt es immer eine totale und berechenbare Funktion sodass gilt: Obige Funktion kann nicht zeitkonstruierbar sein, sonst wäre dies ein Widerspruch zu den Hierarchiesätzen, welche aussagen, dass eine Erhöhung von Zeit bzw. Platz für eine Berechnung auch eine Erhöhung der Komplexitätsklasse ergibt. (de)
- Der Lückensatz von Borodin ist ein 1972 von Allan Borodin veröffentlichter Satz der Komplexitätstheorie in der theoretischen Informatik. Der Satz wurde schon 1964 von Boris Trakhtenbrot bewiesen, was aber im Westen unbeachtet blieb. Er besagt, dass es in der Hierarchie von Komplexitätsklassen beliebig große Lücken gibt. Formal:Für totale, berechenbare Funktionen mit , gibt es immer eine totale und berechenbare Funktion sodass gilt: Obige Funktion kann nicht zeitkonstruierbar sein, sonst wäre dies ein Widerspruch zu den Hierarchiesätzen, welche aussagen, dass eine Erhöhung von Zeit bzw. Platz für eine Berechnung auch eine Erhöhung der Komplexitätsklasse ergibt. (de)
|
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- Der Lückensatz von Borodin ist ein 1972 von Allan Borodin veröffentlichter Satz der Komplexitätstheorie in der theoretischen Informatik. Der Satz wurde schon 1964 von Boris Trakhtenbrot bewiesen, was aber im Westen unbeachtet blieb. Er besagt, dass es in der Hierarchie von Komplexitätsklassen beliebig große Lücken gibt. Formal:Für totale, berechenbare Funktionen mit , gibt es immer eine totale und berechenbare Funktion sodass gilt: Obige Funktion (de)
- Der Lückensatz von Borodin ist ein 1972 von Allan Borodin veröffentlichter Satz der Komplexitätstheorie in der theoretischen Informatik. Der Satz wurde schon 1964 von Boris Trakhtenbrot bewiesen, was aber im Westen unbeachtet blieb. Er besagt, dass es in der Hierarchie von Komplexitätsklassen beliebig große Lücken gibt. Formal:Für totale, berechenbare Funktionen mit , gibt es immer eine totale und berechenbare Funktion sodass gilt: Obige Funktion (de)
|
| rdfs:label
|
- Lückensatz von Borodin (de)
- Lückensatz von Borodin (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is foaf:primaryTopic
of | |
