Search for dissertations about: "Parameterized complexity"
Showing result 1 - 5 of 30 swedish dissertations containing the words Parameterized complexity.
-
1. Complexity Dichotomies for CSP-related Problems
Abstract : Ladner’s theorem states that if P ≠ NP, then there are problems in NP that are neither in P nor NP-complete. Csp(Γ) is a class of problems containing many well-studied combinatorial problems in NP. READ MORE
-
2. Complexity and expressiveness for formal structures in Natural Language Processing
Abstract : The formalized and algorithmic study of human language within the field of Natural Language Processing (NLP) has motivated much theoretical work in the related field of formal languages, in particular the subfields of grammar and automata theory. Motivated and informed by NLP, the papers in this thesis explore the connections between expressibility – that is, the ability for a formal system to define complex sets of objects – and algorithmic complexity – that is, the varying amount of effort required to analyse and utilise such systems. READ MORE
-
3. Parameterized algorithms for hitting set variants applied to protein identification in shotgun proteomics
Abstract : This work is dedicated to problem of protein identification in bottom-up proteomics, and in particular, in shotgun proteomics. It is aimed on providing a new way of interpretation of peak lists. READ MORE
-
4. Protein Mixture Inference as Hitting Set Variants and Linear Algebra Problems
Abstract : This work is dedicated to the problems of protein inference and quantification in bottom-up proteomics, and, in particular, in shotgun proteomics. We adopt a rather classical approach of representing inference problem as a set cover, where proteins are understood as sets of their observations: peptides' masses or sequences. READ MORE
-
5. Computational Complexity of some Optimization Problems in Planning
Abstract : Automated planning is known to be computationally hard in the general case. Propositional planning is PSPACE-complete and first-order planning is undecidable. One method for analyzing the computational complexity of planning is to study restricted subsets of planning instances, with the aim of differentiating instances with varying complexity. READ MORE