Community Research and Development Information Service - CORDIS

ERC

TAPEASE Report Summary

Project ID: 338077
Funded under: FP7-IDEAS-ERC
Country: Finland

Mid-Term Report Summary - TAPEASE (Theory and Practice of Advanced Search and Enumeration)

This project carries out basic research at the intersection of discrete mathematics (combinatorics and algebra) and computer science (algorithm design and analysis) with the general objective of discovering, analysing, and engineering novel advanced algebraic and combinatorial methods to represent and manipulate search spaces for NP-hard combinatorial problems and canonical polynomial-time-solvable problems that yet lack satisfactory scalability to large input sizes.

The key mid-term outcomes of the project include [1] a novel algebraic framework for correctness-proof-producing and error-tolerant parallel algorithms in which the state of the computation across the processors is encoded with a Reed-Solomon code, new randomized [2] and deterministic [3] algorithm designs for finding outlier-correlated pairs of observables with subquadratic scaling in the number of observables in the input, [4] algebraic methods for designing more efficient distributed algorithms in the congested clique model of distributed computation, and [5] engineering novel algebraic algorithms for scalable motif search on large graphs.

[1] http://dx.doi.org/10.1145/2933057.2933101
[2] http://dx.doi.org/10.1137/1.9781611974331.ch90
[3] http://dx.doi.org/10.4230/LIPIcs.ESA.2016.52
[4] http://dx.doi.org/10.1145/2767386.2767414
[5] http://dx.doi.org/10.1137/1.9781611973754.10

Reported by

AALTO-KORKEAKOULUSAATIO
Finland
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top