Objective
Preprocessing for the purpose of simplifying problem instances is a universal algorithmic technique applied in almost every software implementation. Understanding and assessing preprocessing techniques is therefore of crucial practical importance in computer science. Kernelization is a notion developed in the area of parameterized complexity that provides a the only known reasonable mathematical model for analyzing preprocessing of NP-hard problems. Kernelization algorithms (or kernels) are polynomial time procedures which produce equivalent instances of a given problem whose sizes are bounded by some problem specific parameter which is associated with the inputs. These type of algorithms have become the central research focus of the parameterized complexity community, with many papers on the topic appearing each year, and an annual international workshop devoted entirely to them. Of particular interest are so-called meta-kernels, who are single preprocessing algorithms that apply to a multitude of problems simultaneously.
The current range of applicability of meta-kernelization is rather limited, and is restricted to certain subclasses of sparse graphs. This research proposal aims at remedying this situation by exploring new application domains for meta-kernelization. In doing so, we will explore new methods for obtaining such results, as well as obtain a better understanding of the limitations of current techniques. We suggest to look at three new directions:
1. The class of degenerate graphs which includes within it all classes of graphs for which meta-kernelization is currently known.
2. The class of claw-free graphs which is a non-sparse graph class, and whose structure has been recently unraveled due to the Chudnovsky-Seymour theory.
3. Meta-kernelization for structural parameterizations which measure structural aspects of the input rather than the solution size measured in standard parameterizations.
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: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- natural sciences computer and information sciences software
- natural sciences mathematics applied mathematics mathematical model
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.
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.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
FP7-PEOPLE-2013-CIG
See other projects for this call
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.
MC-CIG - Support for training and career development of researcher (CIG)
Coordinator
84105 Beer Sheva
Israel
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.