Lecture Notes in Computer Science 3162 Parameterized and Exact Computation First International Workshop,IWPEC 2004

Thecentralchallengeoftheoreticalcomputerscienceistodeploymathematicsin Waysthatservethecreationofusefulalgorithms. Inrecentyearstherehasbeena Growinginterest In The Two-dimensionalframework Of Parameterizedcomplexity, Where, In Addition To The Overall Input Size, One Also Considers A Parameter,with A Focus On How These Two Dimensions Interact In Problem Complexity. This Book Presents The Proceedings Of The 1st Internationalworkshopon - Rameterized And Exact Computation (iwpec 2004,http://www. Iwpec. Org), Which Took Place In Bergen, Norway, On September 14–16, 2004. The Workshop Was Organized As Part Of Algo 2004. There Were Seven Previous Workshops On The Theory And Applications Of Parameterized Complexity. The ?rst Was - Ganized At The Institute For The Mathematical Sciences In Chennai, India, In September, 2000. The Second Was Held At Dagstuhl Castle, Germany, In July, 2001. In December, 2002, A Workshop On Parameterized Complexity Was Held In Conjunction With The Fst-tcs Meeting In Kanpur, India. A Second Dagstuhl Workshop On Parameterized Complexity Was Held In July, 2003. Another Wo- Shoponthesubjectwasheldinottawa,canada,inaugust,2003,inconjunction With The Wads 2003 Meeting. There Have Also Been Two Barbados Workshops On Applications Of Parameterized Complexity. In Response To The Iwpec 2004 Call For Papers, 47 Papers Were Submitted, And From These The Programcommittee Selected 25 For Presentation At The Wo- Shop. Inaddition,invitedlectureswereacceptedbythedistinguishedresearchers Michael Langston And Gerhard Woeginger. Parameterized Enumeration, Transversals, And Imperfect Phylogeny Reconstruction -- Online Problems, Pathwidth, And Persistence -- Chordless Paths Through Three Vertices -- Computing Small Search Numbers In Linear Time -- Bounded Fixed-parameter Tractability: The Case 2poly( K) -- Refined Memorisation For Vertex Cover -- Parameterized Graph Separation Problems -- Parameterized Coloring Problems On Chordal Graphs -- On Decidability Of Mso…