Die Graphstruktur boolescher Funktionen

布尔函数的图结构

• 批准号: 44274447
• 负责人: Professor Dr. Georg Schnitger
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/44274447?language=en
• 关键词: Die; Graphstruktur; boolescher; Funktionen

Eine zentrale Fragestellung der Theoretischen Informatik ist die Frage nach unteren Schranken für den zur Berechnung konkreter Funktionen erforderlichen Ressourcenaufwand. Im Rahmen des Projektes soll eine systematische Untersuchung des Konzepts der Graphenkomplexität initiiert werden. Dieses Konzept erlaubt die Anwendung mächtiger Methoden der Algebra, der Kombinatorik und der Kommunikationskomplexität auf zentrale offene Fragen der Schaltkreiskomplexität. Insbesondere soll die Anwendbarkeit dieser Methoden für die Ableitung unterer Schranken für boolesche Formeln und Schaltkreise beschränkter Tiefe untersucht werden.

信息理论与信息技术的研究与发展：信息理论与信息技术的研究与发展；信息理论与信息技术的研究与发展；资源与信息技术的研究与发展。in Rahmen des Projektes sololine systematische Untersuchung des Konzepts der Graphenkomplexität initiert werden。研究对象：数学方法：代数方法：代数方法：合成方法：Kommunikationskomplexität数学方法：集中计算：数学方法：Schaltkreiskomplexität。Insbesondere soll die Anwendbarkeit dieser Methoden f<e:1>或die Ableitung unterer Schranken f<e:1>或boolesche Formeln and Schaltkreise beschränkter Tiefe untersucht werden。