Search for dissertations about: "perfect completeness"

Found 4 swedish dissertations containing the words perfect completeness.

2. 1. Hardness of Constraint Satisfaction and Hypergraph Coloring : Constructions of Probabilistically Checkable Proofs with Perfect Completeness

   Author : Sangxia Huang; Johan Håstad; Rishi Saket; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Combinatorial optimization; approximation; inapproximability; hardness; probabilistically checkable proofs; pcp; perfect completeness; boolean constraint satisfaction problem; csp; graph coloring; hypergraph coloring; direct sum; superposition; label cover; Computer Science; Datalogi;

   Abstract : A Probabilistically Checkable Proof (PCP) of a mathematical statement is a proof written in a special manner that allows for efficient probabilistic verification. The celebrated PCP Theorem states that for every family of statements in NP, there is a probabilistic verification procedure that checks the validity of a PCP proof by reading only 3 bits from it. READ MORE

4. 2. Hardness of Approximating Constraint Satisfaction Problems and Their Variants in Presence of Additional Structural Assumptions

   Author : Aleksa Stankovic; Johan Håstad; Per Austrin; Luca Trevisan; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Hardness of Approximation; Approximation Algorithms; Label Cover; Vertex Cover; Unique Games Conjecture; Max-3-Lin; Universal Factor Graphs; Regular Constraint Satisfaction Problems; Inapproximerbarhet; Approximationsalgoritm; Label Cover; Vertex Cover; Unique Games Conjecture; Max-3-Lin; Universell Faktorgraf; Regelbundna Begränsningsproblem; Datalogi; Computer Science;

   Abstract : This thesis studies how the approximability of some fundamental computational problems is affected by some additional requirements on the structure of the inputs. The problems studied in this thesis belong or are closely related to constraint satisfaction problems (CSPs), which are considered to be one of the most fundamental problems in theoretical computer science. READ MORE

5. 3. Breaking and Making Bodies and Pots : Material and Ritual Practices in Sweden in the Third Millennium BC

   Author : Åsa Maria Larsson; Anders Kaliff; Jan Storå; Joanna Sofaer; Uppsala universitet; []
   Keywords : HUMANIORA; HUMANITIES; Middle Neolithic; Late Neolithic; Pitted Ware culture; Battle Axe culture; Corded Ware culture; pottery; pottery technology; craft; chaîne opératoire; mortuary archaeology; mortuary house; burial; ritual; defleshing; cremation; secondary mortuary practice; osteology; ethnoarchaeology; culture; culture change; identity; ethnicity; practice; cognition; body; embodiment; Archaeology; North European; Arkeologi; nordeuropeisk; arkeologi; Archaeology;

   Abstract : In South Sweden the third millennium BC is characterised by coastal settlements of marine hunter-gatherers known as the Pitted Ware culture, and inland settlements of the Battle Axe culture. This thesis outlines the history of research of the Middle Neolithic B in general and that of the pottery and burial practices in particular. READ MORE

6. 4. The risk of second primary lung carcinoma in breast cancer patients

   Author : Michaela Prochazka; Karolinska Institutet; Karolinska Institutet; []
   Keywords : Breast cancer; second primary malignancy; lung cancer; radiotherapy; smoking; validation study; familial risk;

   Abstract : The overall aim of this thesis was to investigate the risk of second primary malignancies - with a special focus on lung cancer - in a cohort of approximately 152,000 Swedish women diagnosed with breast cancer between 1958 and 2000. With recent advances in early diagnosis and treatment, breast cancer is becoming an increasingly survivable disease. READ MORE