Konstruktionen und Modelltheorie für Hypergraphen kontrollierter Azyklizität

受控无环超图的构造和模型理论

• 批准号: 210896119
• 负责人: Professor Dr. Martin Otto
• 金额: --
• 依托单位: Fachbereich Mathematik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2017-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/210896119?language=en
• 关键词: Konstruktionen; und; Modelltheorie; Hypergraphen; kontrollierter

Azyklizitätskriterien spielen in vielen Bereichen der algorithmischen Modelltheorie und der Logik in der Informatik eine Rolle. Azyklizität erweist sich als nützlich für die Komplexität algorithmischer Probleme wie für die modelltheoretische Analyse. Oft können ideale Azyklizitätsbedingungen durch Abwicklungs- und Überlagerungskonstruktionen erreicht werden; typische Konstruktionen (wie Baumabwicklungen) stehen aber i.d.R. nicht zur Verfügung wenn man sich aufgrund der Problemstellung auf endliche Strukturen beschränken muss. Hier werden qualitativ und quantitativ eingeschränkte Approximationen wichtig und es geht darum(i) geeignete approximative Azyklizitätsbegriffe zu isolieren, die entsprechende endliche Überlagerungs- oder Abwicklungskonstruktionen erlauben, und(ii) Methoden zu gewinnen, die gute algorithmische oder logische Eigenschaften bei solchermaßen kontrollierter Azyklizität verfügbar machen.Neue Konstruktionsmethoden, neue Techniken zur Analyse und neue Anwendungsbereiche sollen in einem weiteren Kontext - ausgehend von den entscheidenden Durchbrüchen in [4, 35] - systematisch erforscht und entwickelt werden.

Azyklizitätskriterien spielen in vielen berichen der algorithmischen modelmodeltheory and der logic in der information - it - ine Rolle。Azyklizität erweist sich als n<s:1> tzlich f<e:1>模型Komplexität算法问题（problem）；Oft können ideale Azyklizitätsbedingungen durch abwicklung - and Überlagerungskonstruktionen erreicht werden；typische Konstruktionen (wie Baumabwicklungen) steberer i.d.R. nicht zur verfgung wenn man（德国），德国，德国，德国，德国，德国，德国，德国，德国。(2)方法，算法，控制逻辑（Eigenschaften bei solcherma），控制逻辑（controllierter） Azyklizität verf<s:1> gbar machen。引用本文：新构造方法，新技术分析，新结构分析，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法，新结构分析方法[4,35]。

项目成果

Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs

排除拓扑子图的图上的后继不变一阶逻辑

• DOI: 10.4230/lipics.csl.2016.18
• 发表时间: 2016
• 作者: K. Eickmeyer;K. Kawarabayashi
• 通讯作者: K. Kawarabayashi

Common knowledge and multi-scale locality analysis in Cayley structures

凯莱结构中的常识和多尺度局部性分析

• DOI: 10.1109/lics.2017.8005072
• 发表时间: 2017
• 期刊: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
• 作者: F. Canavoi;M. Otto
• 通讯作者: M. Otto

Queries with Guarded Negation

带有保护否定的查询

• DOI: 10.14778/2350229.2350250
• 发表时间: 2012
• 期刊: Proc. VLDB Endow.
• 作者: V. Bárány;B. ten Cate;M. Otto
• 通讯作者: M. Otto

Expressive completeness through logically tractable models

通过逻辑上易于处理的模型表达完整性

• DOI: 10.1016/j.apal.2013.06.017
• 发表时间: 2013
• 期刊: Ann. Pure Appl. Log.
• 作者: M. Otto

Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment

高度无环群、超图覆盖和保护片段

• DOI: 10.1145/2108242.2108247
• 发表时间: 2012
• 期刊: 2010 25th Annual IEEE Symposium on Logic in Computer Science
• 作者: M. Otto