Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen

次线性空间复杂度类的编程语言方面

• 批准号: 5444259
• 负责人: Professor Dr. Martin Hofmann (†)
• 金额: --
• 依托单位: Mathematisches Institut
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5444259?language=en
• 关键词: Programmiersprachliche; Aspekte; sublinearer; Platzkomplexit; tsklassen

In diesem Projekt sollen Komplexitätsklassen, die durch geringen Speicherplatzbedarf gekennzeichnet sind, maschinenunabhängig und ressourcenfrei durch Verwendung von logischen und programmiersprachlichen Konzepten charakterisiert werden. Neben theoretischen Einsichten über die Natur dieser Klassen ist dies bei der Entwicklung automatischer Analysen zur Abschätzung von Laufzeit und Platzverbrauch von Programmen nützlich. Eine andere Anwendung ist die Entwicklung spezifischer Optimierungen, die sich aus der komplexitätstheoretischen Analyse ergeben. Für polynomielle Rechenzeit (P) und höhere Klassen sind solche Charakterisierungen seit längerer Zeit bekannt; für kleinere Klassen, die durch logarithmischen Speicherplatzbedarf definiert sind, existieren dagegen keine oder nur rudimentäre Ansätze. Im Zusammenhang mit den erwähnten Anwendungen sind gerade diese aber von besonderem Interesse bei stark ressourcenbeschränkten Szenarien, wie Peer-to-peer Computing, eingebetteten Systemen, mobilem Code. Obwohl im Projekt die theoretische Grundlagenarbeit im Vordergrund steht, werden solche Anwendungen exemplarisch untersucht.

在我们的设计项目中，我们不能只对特定的平台和资源进行操作，而不是通过物流和编程来实现。新的理论和自然柴油发动机的Klassen他的环境自动分析器分析zur Abschätzung von Laufzeit和Platzverbrauch von编程nützlich。这是一种最优的技术规范，它的理论分析是错误的。Für多项式Rechenzeit(P)and höhere Klassen sind solche Charakterisierungen Seit Längerer Zeit bekannt；für kleinere Klassen，die ch ch logarimischen SpeicherPlatzbedarf finiert sind，Existieren dagegen deen keine oder Nur rementsäre ansätze.我是Zusammenang MIT den erwähnten Anwendungen Sind Gerade Diese aber von Besonderem Interesse be STARK RESOURCEN BE STARK RESOURCEN Szenarien，Wie Peer-to-Peer Computing，eingebetteen System，Mobilem Code。从理论上看，这是一种普遍存在的现象，是一种典型。