Objective
Algorithms represent all the computational techniques and mechanisms used in computer science. Efficient algorithms are crucial for the effective performance of any information processing system. ALCOM aims to establish a network of researchers cooperating in the field of algorithm design and analysis, and to carry out research in several key areas of computational complexity theory. The goal of the Action was to strengthen and advance fundamental research in the design of analysis of computer algorithmsin the European Community.
The primary goal of ALCOM was to obtain good algorithms and data structures for practical use, and to assess their complexity by discrete mathematical or analytic techniques. The secondary goal was to understand the inherent complexity of problems and methods so that questions of optimality (or near-optimality) can be considered.
A network of researchers cooperating in the field of algorithm design and analysis has been establihed. Coordinated research took place in the following areas:
data structures (new techniques for maintaining sets of geometric objects for efficient query answering, algorithms for computing obstacle free shortest paths, advances in persistent datastructures, on line algorithms for maintaining components in dynamic graphs, and a new release of the algorithms library LEDA);
computational geometry (new algorithms for computing Voronoi diagrams and Delaunay triangulations, output sensitive algorithms for hidden surface removal for polytopes, advances in scene analysis, and randomized incremental constructions);
graph algorithms (advances in graph layout and graph drawing problems, efficient on line algorithms for finding shortest paths in planar graphs, advances in the analysis of on line algorithms for hypergraphs, and new algorithms for deciding k-connectivity);
probabilistic methods average case analysis (performance of unification algorithms and of search problems on tree structured data, analysis of algorithms for random graphs, probabilistic analysis of a geometric lattice reduction algorithm, and a new release of the LUO system for automatic analysis);
complexity theory (new bounds for arithmetic circuits, results for computational learning and strategy determination, complexity results for local search algorithms, advances in the study of polynominal complexity classes and the complexity of algebraic algorithms) parallel algorithms (advances in the study of P-complete and numerical control (NC) problems, processor efficient algorithms, efficient expected case parallel algorithms and algorithms for optimal gridrouting);
distributed algorithms (analysis of adaptive routing algorithms, new techniques for routing with compact tables, new algorithms for atomic registers, results for distributed datastructuring, and design methodologies for some classes of distri buted control algorithms and protocols).
APPROACH AND METHODS
Research in ALCOM focused on the development of general tools and techniques that can be employed in a wide variety of computer applications. Efficient algorithms and data structures were developed for selected problems in a number of key areas (eg computational geometry, graphs and networks, and combinatorial optimisation), and their complexity assessed by discrete mathematical, analytic and experimental techniques.
Probabilistic methods were also explored to analyse the performance of algorithms and to design algorithms with good expected runtimes. The research extends to fundamental problems in parallel computing and distributed processing, and addresses suitable models of processor or computer interconnection networks and communication protocols, with due attention to invariant-based design methods.
PROGRESS AND RESULTS - STATUS AS OF OCTOBER 1991
The basic research network has been realised. The Action's news-bulletin (Algorithms Review) will be upgraded to an international journal after the end of the Action. Results delivered in Year 2 include:
-Data structures: new techniques for maintaining sets of geometric objects for efficient query answering, algorithms for computing obstacle-free shortest paths, advances in persistent datastructures, efficient on-line algorithms for maintaining component s in dynamic graphs, and a new release of the algorithms library LEDA.
-Computational geometry: new algorithms for computing Voronoi diagrams and Delaunay triangulations, output-sensitive algorithms for hidden-surface removal for polytopes, advances in scene analysis, and randomised incremental constructions.
-Graph algorithms: advances in graph-layout and graph drawing problems, efficient on-line algorithms for finding shortest paths in planar graphs, advances in the analysis of on-line algorithms for hypergraphs, and new algorithms for deciding k-connectivi ty.
-Probabilistic methods and average-case analysis: performance of unification algorithms and of search problems on tree-structured data, analysis of (parallel) algorithms for random graphs, probabilistic analysis of a geometric lattice reduction algorithm , and a new release of the LUO system for automatic analysis.
-Complexity theory: new bounds for arithmetic circuits, results for computational learning and strategy determination, complexity results for local search algorithms, advances in the study of polynominal complexity classes and the complexity of algebraic algorithms.
-Parallel algorithms: advances in the study of P-complete and NC-problems (viz. in graph theory and optimisation), processor-efficient algorithms (eg for computational geometry), efficient expected-case parallel algorithms (eg for graph coloring, randomi sed integer sorting, and generating random permutations), and algorithms for optimal grid-routing.
-Distributed algorithms: analysis of adaptive routing algorithms, new techniques for routing with compact tables, new algorithms for atomic registers, results for distributed datastructuring, and design methodologies for some classes of distributed contr ol algorithms (eg termination detection) and protocols.
POTENTIAL
ALCOM has proved instrumental in creating a European platform for algorithms research. Ultimately this will lead to better training of designers of highly efficient computer applications. Both the LEDA program-library and the LUO automatic analyser make advanced algorithms and analysis techniques available for wider use. Many algorithms developed in the action deal with fundamental discretised problems and can ultimately be applied in complex software systems.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences software software applications system software
- natural sciences mathematics pure mathematics arithmetics
- natural sciences mathematics pure mathematics geometry
- natural sciences mathematics pure mathematics discrete mathematics graph theory
- natural sciences computer and information sciences data science data processing
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
3584 CH UTRECHT
Netherlands
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.