Untersuchung der Komplexität des Graphenisomorphieproblems

研究图同构问题的复杂性

• 批准号: 5436983
• 负责人: Professor Dr. Jacobo Torán
• 金额: --
• 依托单位: Institut für Theoretische Informatik (Theo)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2010-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5436983?language=en
• 关键词: Untersuchung; der; Komplexit; des; Graphenisomorphieproblems

Die algorithmische Komplexität des Graphenisomorphieproblems (G1) soll von einem neuen Standpunkt aus untersucht werden, der drei wichtige Fortschritte der letzten Jahre auf dem Gebiet der Komplexitätstheorie berücksichtigt, die interessante Bezüge zu Gl haben. Diese drei Fortschritte sind: - die Entwicklung von Algorithmen für Quantenrechner, - die Verbesserung von Derandomisierungstechniken und - die ersten bekannten unteren Schranken für GI in Bezug auf Komplexitätsklassen.Mit jedem dieser Gebiete ist je eine zentrale Frage verbunden, die in diesem Projekt untersucht werden soll, nämlich die Existenz von effizienten Quantenalgorithmen für Graphenisomorphie und ähnlich strukturierten Problemen, die Derandomisierung von interaktiven Protokollen für GI und die Verbesserung der existierenden unteren Schranken für GI. Weitere Aspekte dieser Untersuchungen betreffen neue (klassische) Algorithinen für eingeschränkte Graphklassen und konkrete explizite und implizite Graphdarstellungen.

图形同构问题（G1）的复杂性算法是基于一个新的韦尔登立场，在复杂性理论的基础上，对近几年来的三个重要问题进行了深入的研究，并对G1的一些有趣的问题进行了讨论。这三个堡垒是：- die Entwicklung von Quantenrechner，- die Verbesserung von Derandomisierungstechniken und - die ersten bekannten unteren Schranken für GI in Bezug auf Komplexitätsklassen.Mit jedem Gebiete ist je eine zentale Frage verbunden，die in diesem Projekt untersucht韦尔韦尔登soll，nämlich die estenz von effizienten Quantenalgorithmen für Graphenisomorphie und ähnlich strukturierten Problemen，die Derandomisierung von interraktiven Protoketum für GI und die Verbesserung der Interferen Schranken für GI. Weitere Aspekte dieser Untersuchungen betreffen neue（klassche）pluminen für eingeschränkte Graphklassen und konkrete explicitite und implicitite Graphdarstellungen.