Die Graphstruktur boolescher Funktionen
Die Graphstruktur boolescher Funktionen
批准号:
44274447
负责人:
Professor Dr. Georg Schnitger
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2007
资助国家:
德国
项目状态:
已结题
起止时间:
2006-12-31 至 2010-12-31
中文摘要
信息理论与信息技术的研究与发展:信息理论与信息技术的研究与发展;信息理论与信息技术的研究与发展;资源与信息技术的研究与发展。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。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Limits of dynamic programming
-
批准号:237501959
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2013
-
负责人:Professor Dr. Georg Schnitger
-
依托单位:
Grenzen von Algorithmenparadigmen
-
批准号:170530402
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Georg Schnitger
-
依托单位:
Die Stärke probabilistischer Berechnungen im Vergleich mit nichtdeterministischen und deterministischen Berechnungen
-
批准号:5348237
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2002
-
负责人:Professor Dr. Georg Schnitger
-
依托单位: