Schaltkreiskomplexität, Parametrische Komplexität und logische Definierbarkeit
Schaltkreiskomplexität, Parametrische Komplexität und logische Definierbarkeit
批准号:
186219630
负责人:
Professor Dr. Martin Grohe
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2010
资助国家:
德国
项目状态:
已结题
起止时间:
2009-12-31 至 2012-12-31
中文摘要
Fragen nach unteren Schranken fr die Komplexität algorithmischer Problem gehören zu den schwierigsten der theortischen Informatik, beispielsweise ist das berh . P vs. NP Problem von diesem type。苏梅斯特和他的妻子弗拉根·特罗茨经常出现在德国。Die bislang erzielten Ergebnisse see her bescheiden, aufgrund der fundamentalen Bedeutung des Begriffs der Komplexität fatik Die Informatik er dennoch wittig。研究发现,如果一个人对自己的行为进行了分析,他就会对自己的行为进行分析。Aus der deskritiven Komplexitätstheorie ist ein enger zusamenhang zwischen Logik and Komplexität bekant;Fragen nach unteren Schranken <s:2> bersetzen sich damit in Fragen nach der Ausdrucksstärke von Logiken。Der Zusammenhang zwischen Logik and Schaltkreiskomplexität soll / m . Mittelpunkt diesesprojectssteen。Ein wesentlicher neuer Aspekt ist dabei die Einbeziehung von Sichtweisen and Resultaten der parametrischen Komplexitätstheorie, einem relativeneen Zweig der Komplexitätstheorie, eineververinteteranalyze von problem and hand mehrerer Parameter laute。1 . Konkret wollen wir versuchen, gewisse Hierarchien von Komplexitätsklassen in der Schaltkreiskomplexität zutablieren sodie konkrete unterere Schranken fr parametric ische problem and zugeben and damitine parametrische Schaltkreiskomplexität einzuf<e:1> hren。“我的逻辑学研究与研究”是如何建立在Ausdrucksstärke和Formellängen上的。
英文摘要
Fragen nach unteren Schranken für die Komplexität algorithmischer Probleme gehören zu den schwierigsten der theoretischen Informatik, beispielsweise ist das berühmte P vs. NP Problem von diesem Typ. Zumeist sind diese Fragen trotz großer Anstrengungen noch offen. Die bislang erzielten Ergebnisse sind eher bescheiden, aufgrund der fundamentalen Bedeutung des Begriffs der Komplexität für die Informatik aber dennoch wichtig. Erzielt werden konnten die meisten dieser Ergebnisse durch die kombinatorische Analyse von Schaltkreisen. Aus der deskriptiven Komplexitätstheorie ist ein enger Zusammenhang zwischen Logik und Komplexität bekannt; Fragen nach unteren Schranken übersetzen sich damit in Fragen nach der Ausdrucksstärke von Logiken. Der Zusammenhang zwischen Logik und Schaltkreiskomplexität soll auch im Mittelpunkt dieses Projekts stehen. Ein wesentlicher neuer Aspekt ist dabei die Einbeziehung von Sichtweisen und Resultaten der parametrischen Komplexitätstheorie, einem relativ neuen Zweig der Komplexitätstheorie, der eine verfeinerte Analyse von Problemen anhand mehrerer Parameter erlaubt. Konkret wollen wir versuchen, gewisse Hierarchien von Komplexitätsklassen in der Schaltkreiskomplexität zu etablieren sowie konkrete untere Schranken für parametrische Probleme anzugeben und damit eine parametrische Schaltkreiskomplexität einzuführen. Auf der logischen Seite wollen wir Ausdrucksstärke und Formellängen von Logiken mit endlich vielen Variablen untersuchen.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Decompositions, Tangles, and Clusters
-
批准号:414230410
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2019
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Descriptive Complexity of Learning
-
批准号:389872375
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2017
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Logik, Struktur und das Graphenisomorphieproblem
-
批准号:217526258
-
项目类别:Reinhart Koselleck Projects
-
资助金额:$0.0万
-
财政年份:2012
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen
-
批准号:125951430
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Gibt es eine Logik für PTIME? (Forschungssemester)
-
批准号:61560798
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
-
批准号:24838406
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Die Komplexität von Constraint-Satisfaction Problemen
-
批准号:5432723
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Reine Mathematik
-
批准号:5231308
-
项目类别:Heisenberg Fellowships
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Graph-Based Generative Machine Learning for Optimal Molecular Design
-
批准号:466417970
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Quantitative reasoning about database queries
-
批准号:412400621
-
项目类别:DIP Programme
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
Variability of Dynamic Node Embeddings
-
批准号:453349072
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Martin Grohe
-
依托单位:
海外基金