Projektbeschreibung
Effizienz der Suchaufgabe durch Zerlegung sicherstellen
Viele Rechenaufgaben stellen eine Herausforderung dar: Ihre Lösungen sind leicht zu überprüfen, aber die Aufgabe, diese Lösungen von Grund auf zu finden, ist oft entmutigend. Ein Ansatz zur Bewältigung dieser Schwierigkeit ist die Zerlegung des Suchraums, bei der das Problem in kleinere Teilaufgaben zerlegt wird, die schneller gelöst werden können. Obwohl diese Methode weit verbreitet ist, ist sie noch unzureichend erforscht, insbesondere im Hinblick auf die Entwicklung einer umfassenden Theorie zur Optimierung ihrer Effizienz. Ziel des ERC-finanzierten Projekts COALESCE ist es daher, diese Lücke zu schließen, indem es zwei etablierte Bereiche (kombinatorische Zerlegung des Suchraums und algebraische Zerlegungen) zu einer einheitlichen Theorie verbindet. Im Rahmen dieser Theorie werden Wege zur Lösung komplexer Suchaufgaben bereitet, wobei die Grenzen der Recheneffizienz immer weiter hinausgeschoben werden.
Ziel
Search tasks are computational tasks with a curious property: while their solutions are easily verifiable when given, finding those solutions from scratch appears much more arduous. A central algorithmic paradigm to solve such tasks is that of search space decomposition. This paradigm solves a search task by breaking it up in subtasks such that a solution to the original problem can be quickly recovered from solutions of the subtasks. Despite its basic nature and its ubiquitous use, it still holds many mysteries.
The mission of COALESCE is to develop a broad theory to design and analyze search space decompositions to solve fundamental search tasks as fast as possible in the standard model of worst-case analysis. Strikingly, such a theory has not been developed yet. Our theory will be a coalescence of two established theories:
- Combinatorial search space decompositions have been studied for graph problems in the area of width parameters, but only focus on decomposing the input and not the search space.
- Algebraic decompositions such as factorizations of matrices and tensors that are of low rank or sparse, have been studied in the area of algebraic complexity, but only for very few problems and not in combination with search space decompositions.
In this proposal, I identify concrete research problems from Parameterized and Fine-Grained Complexity (two prominent subfields of Theoretical Computer Science) that serve as stepping stones towards a model for search space decompositions beyond input decompositions, as well as a theory to analyse their algorithmic power based on combinatorial and algebraic decompositions.
Now is the right moment for this project: the joint power of combinatorial and algebraic decompositions is still barely understood and not yet fully exploited. COALESCE will combine these (and many more) tools in novel ways that transcend existing approaches, and bring a rich theory on the search space decomposition methods entirely within reach.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Dieses Projekt wurde noch nicht bei EuroSciVoc klassifiziert.
Schlagen Sie die Wissenschaftsbereiche vor, die Ihrer Einschätzung nach besonders relevant sind, und helfen Sie uns, unseren Klassifizierungsdienst zu verbessern.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
HORIZON.1.1 - European Research Council (ERC)
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
HORIZON-ERC - HORIZON ERC Grants
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) ERC-2024-COG
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenGastgebende Einrichtung
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
3584 CS Utrecht
Niederlande
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.