{"id":"https://openalex.org/W2022841964","doi":"https://doi.org/10.1137/s0097539792228228","title":"Fixed-Parameter Tractability and Completeness I: Basic Results","display_name":"Fixed-Parameter Tractability and Completeness I: Basic Results","publication_year":1995,"publication_date":"1995-08-01","ids":{"openalex":"https://openalex.org/W2022841964","doi":"https://doi.org/10.1137/s0097539792228228","mag":"2022841964"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539792228228","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539792228228","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110868906","display_name":"Rod Downey","orcid":null},"institutions":[{"id":"https://openalex.org/I41156924","display_name":"Victoria University of Wellington","ror":"https://ror.org/0040r6f76","country_code":"NZ","type":"education","lineage":["https://openalex.org/I41156924"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Rod G. Downey","raw_affiliation_strings":["tMathematics Department, Victoria University, P.O. Box 600, Wellington, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"tMathematics Department, Victoria University, P.O. Box 600, Wellington, New Zealand","institution_ids":["https://openalex.org/I41156924"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054676766","display_name":"Michael R. Fellows","orcid":"https://orcid.org/0000-0002-6148-9212"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael R. Fellows","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":18.9789,"has_fulltext":false,"cited_by_count":472,"citation_normalized_percentile":{"value":0.99678519,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"24","issue":"4","first_page":"873","last_page":"921"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9894000291824341,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9757000207901001,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8445961475372314},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8041473627090454},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.630768895149231},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5597737431526184},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5136639475822449},{"id":"https://openalex.org/keywords/vertex","display_name":"Vertex (graph theory)","score":0.4974253475666046},{"id":"https://openalex.org/keywords/dominating-set","display_name":"Dominating set","score":0.48821642994880676},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4831371009349823},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.46805471181869507},{"id":"https://openalex.org/keywords/polynomial-hierarchy","display_name":"Polynomial hierarchy","score":0.45800328254699707},{"id":"https://openalex.org/keywords/independent-set","display_name":"Independent set","score":0.44740912318229675},{"id":"https://openalex.org/keywords/vertex-cover","display_name":"Vertex cover","score":0.4390409588813782},{"id":"https://openalex.org/keywords/clique","display_name":"Clique","score":0.4286002814769745},{"id":"https://openalex.org/keywords/feedback-vertex-set","display_name":"Feedback vertex set","score":0.4206937253475189},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.22087225317955017}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8445961475372314},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8041473627090454},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.630768895149231},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5597737431526184},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5136639475822449},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.4974253475666046},{"id":"https://openalex.org/C146661039","wikidata":"https://www.wikidata.org/wiki/Q2915204","display_name":"Dominating set","level":4,"score":0.48821642994880676},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4831371009349823},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.46805471181869507},{"id":"https://openalex.org/C2776013622","wikidata":"https://www.wikidata.org/wiki/Q2103021","display_name":"Polynomial hierarchy","level":3,"score":0.45800328254699707},{"id":"https://openalex.org/C122818955","wikidata":"https://www.wikidata.org/wiki/Q1060343","display_name":"Independent set","level":3,"score":0.44740912318229675},{"id":"https://openalex.org/C40687702","wikidata":"https://www.wikidata.org/wiki/Q11515519","display_name":"Vertex cover","level":3,"score":0.4390409588813782},{"id":"https://openalex.org/C2777035058","wikidata":"https://www.wikidata.org/wiki/Q1662634","display_name":"Clique","level":2,"score":0.4286002814769745},{"id":"https://openalex.org/C28723256","wikidata":"https://www.wikidata.org/wiki/Q1400918","display_name":"Feedback vertex set","level":4,"score":0.4206937253475189},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.22087225317955017},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/s0097539792228228","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539792228228","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.408.3389","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.3389","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepages.ecs.vuw.ac.nz/~downey/publications/1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7911795393","display_name":"Algorithmic and Combinatorial Advances in VLSI Design Theory","funder_award_id":"8919312","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320976","display_name":"Victoria University","ror":"https://ror.org/04j757h98"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W10105891","https://openalex.org/W26854244","https://openalex.org/W104109059","https://openalex.org/W968309248","https://openalex.org/W1493819326","https://openalex.org/W1494208392","https://openalex.org/W1497155250","https://openalex.org/W1527664624","https://openalex.org/W1532282263","https://openalex.org/W1532832590","https://openalex.org/W1558062873","https://openalex.org/W1562281457","https://openalex.org/W1564936042","https://openalex.org/W1584670745","https://openalex.org/W1598441350","https://openalex.org/W1729731282","https://openalex.org/W1973852671","https://openalex.org/W1974672137","https://openalex.org/W1974745849","https://openalex.org/W1975218943","https://openalex.org/W1982384331","https://openalex.org/W1983860528","https://openalex.org/W1985250585","https://openalex.org/W1987092466","https://openalex.org/W1996419691","https://openalex.org/W1996668544","https://openalex.org/W1997639167","https://openalex.org/W2000611521","https://openalex.org/W2005079828","https://openalex.org/W2006912660","https://openalex.org/W2016056456","https://openalex.org/W2018964411","https://openalex.org/W2021131202","https://openalex.org/W2027566319","https://openalex.org/W2034501206","https://openalex.org/W2036263637","https://openalex.org/W2036879409","https://openalex.org/W2040444410","https://openalex.org/W2046961627","https://openalex.org/W2052768371","https://openalex.org/W2052936500","https://openalex.org/W2055962008","https://openalex.org/W2056090079","https://openalex.org/W2057512592","https://openalex.org/W2060966063","https://openalex.org/W2061513598","https://openalex.org/W2064252342","https://openalex.org/W2067510576","https://openalex.org/W2080220005","https://openalex.org/W2083044334","https://openalex.org/W2085550081","https://openalex.org/W2099035480","https://openalex.org/W2106969615","https://openalex.org/W2115667895","https://openalex.org/W2143406303","https://openalex.org/W2155694459","https://openalex.org/W2175174233","https://openalex.org/W2181771517","https://openalex.org/W2332112754","https://openalex.org/W2401610261","https://openalex.org/W2402054513","https://openalex.org/W2798579874","https://openalex.org/W4206712778","https://openalex.org/W4230408906","https://openalex.org/W4254086873","https://openalex.org/W4254244103","https://openalex.org/W4292230561","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2079263399","https://openalex.org/W4221167366","https://openalex.org/W4226211922","https://openalex.org/W2024517697","https://openalex.org/W2359923140","https://openalex.org/W1966805076","https://openalex.org/W2037935057","https://openalex.org/W3150189735","https://openalex.org/W2140874208","https://openalex.org/W4293689459"],"abstract_inverted_index":{"For":[0],"many":[1,83,126,153],"fixed-parameter":[2,40,80,144,161],"problems":[3,96,113,127,156],"that":[4],"are":[5,159],"trivially":[6],"soluable":[7,49],"in":[8,50,157],"polynomial":[9,55],"time,":[10],"such":[11,33],"as":[12,34,173],"$(k\\text{-})$":[13,35],"DOMINATING":[14,131],"SET,":[15,38,148,151],"essentially":[16],"no":[17],"better":[18],"algorithm":[19],"is":[20,48,61,133,142],"presently":[21],"known":[22,170],"than":[23],"the":[24,46,69,78],"one":[25],"which":[26,76],"tries":[27],"all":[28],"possible":[29],"solutions.":[30],"Other":[31],"problems,":[32],"FEEDBACK":[36],"VERTEX":[37],"exhibit":[39],"tractability:":[41],"for":[42,114,116,129,138],"each":[43],"fixed":[44],"k":[45],"problem":[47],"time":[51],"bounded":[52],"by":[53],"a":[54,62,73,90,166],"of":[56,65,72,82,92,94,168],"degree":[57],"c,":[58],"where":[59],"c":[60],"constant":[63],"independent":[64],"k.":[66],"We":[67,163],"establish":[68],"main":[70],"results":[71,172],"completeness":[74],"program":[75],"addresses":[77],"apparent":[79],"intractability":[81],"parameterized":[84,95],"problems.":[85],"In":[86],"particular,":[87],"we":[88,123],"define":[89],"hierarchy":[91],"classes":[93],"$FPT":[97],"\\subseteq":[98,100,102,104,106],"W[1]":[99],"W[2]":[101],"\\cdots":[103],"W[SAT]":[105],"W":[107],"[P]$":[108],"and":[109,140,152],"identify":[110],"natural":[111,155],"complete":[112,128,137],"$W[t]$":[115],"$t":[117],"\\geq":[118],"2$.":[119],"(In":[120],"other":[121,154],"papers":[122],"have":[124],"shown":[125,134],"$W[1]$.)":[130],"SET":[132],"to":[135],"be":[136],"$W[2]$,":[139],"thus":[141],"not":[143],"tractable":[145],"unless":[146],"INDEPENDENT":[147],"CLIQUE,":[149],"IRREDUNDANT":[150],"$W[2]$":[158],"also":[160,164],"tractable.":[162],"give":[165],"compendium":[167],"currently":[169],"hardness":[171],"an":[174],"appendix.":[175]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":25},{"year":2024,"cited_by_count":15},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":17},{"year":2021,"cited_by_count":20},{"year":2020,"cited_by_count":15},{"year":2019,"cited_by_count":15},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":11},{"year":2015,"cited_by_count":16},{"year":2014,"cited_by_count":12},{"year":2013,"cited_by_count":21},{"year":2012,"cited_by_count":16}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}