{"id":"https:\/\/openalex.org\/W2142879957","doi":"https:\/\/doi.org\/10.1109\/12.88482","title":"Sequential diagnosability is co-NP complete","display_name":"Sequential diagnosability is co-NP complete","publication_year":1991,"publication_date":"1991-05-01","ids":{"openalex":"https:\/\/openalex.org\/W2142879957","doi":"https:\/\/doi.org\/10.1109\/12.88482","mag":"2142879957"},"language":"en","primary_location":{"id":"doi:10.1109\/12.88482","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1109\/12.88482","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https:\/\/openalex.org\/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https:\/\/openalex.org\/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","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\/A5103238611","display_name":"Vijay Raghavan","orcid":"https:\/\/orcid.org\/0000-0002-2286-7719"},"institutions":[{"id":"https:\/\/openalex.org\/I200719446","display_name":"Vanderbilt University","ror":"https:\/\/ror.org\/02vm5rt34","country_code":"US","type":"education","lineage":["https:\/\/openalex.org\/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. Raghavan","raw_affiliation_strings":["Department of Computer Science, Vanderbilt University, Nashville, TN, USA","[Department of Computer Science, Vanderbilt University, Nashville, TN, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vanderbilt University, Nashville, TN, USA","institution_ids":["https:\/\/openalex.org\/I200719446"]},{"raw_affiliation_string":"[Department of Computer Science, Vanderbilt University, Nashville, TN, USA]","institution_ids":["https:\/\/openalex.org\/I200719446"]}]},{"author_position":"last","author":{"id":"https:\/\/openalex.org\/A5065055236","display_name":"Anand Tripathi","orcid":"https:\/\/orcid.org\/0000-0001-9785-7390"},"institutions":[{"id":"https:\/\/openalex.org\/I130238516","display_name":"University of Minnesota","ror":"https:\/\/ror.org\/017zqws13","country_code":"US","type":"education","lineage":["https:\/\/openalex.org\/I130238516"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Tripathi","raw_affiliation_strings":["Department of Computer Science, University of Minnesota, Minneapolis, MN, USA","University of Minnesota , Minneapolis, Mn"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Minnesota, Minneapolis, MN, USA","institution_ids":["https:\/\/openalex.org\/I130238516"]},{"raw_affiliation_string":"University of Minnesota , Minneapolis, Mn","institution_ids":["https:\/\/openalex.org\/I130238516"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":0.9011,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.80187793,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"5","first_page":"584","last_page":"595"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https:\/\/openalex.org\/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1708","display_name":"Hardware and Architecture"},"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\/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9988999962806702,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1708","display_name":"Hardware and Architecture"},"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\/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9987999796867371,"subfield":{"id":"https:\/\/openalex.org\/subfields\/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https:\/\/openalex.org\/fields\/22","display_name":"Engineering"},"domain":{"id":"https:\/\/openalex.org\/domains\/3","display_name":"Physical Sciences"}},{"id":"https:\/\/openalex.org\/T10829","display_name":"Interconnection Networks and Systems","score":0.9973000288009644,"subfield":{"id":"https:\/\/openalex.org\/subfields\/1705","display_name":"Computer Networks and Communications"},"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\/computer-science","display_name":"Computer science","score":0.5934873223304749},{"id":"https:\/\/openalex.org\/keywords\/np-complete","display_name":"NP-complete","score":0.5308951735496521},{"id":"https:\/\/openalex.org\/keywords\/combinatorics","display_name":"Combinatorics","score":0.44439971446990967},{"id":"https:\/\/openalex.org\/keywords\/graph","display_name":"Graph","score":0.4190073013305664},{"id":"https:\/\/openalex.org\/keywords\/algorithm","display_name":"Algorithm","score":0.41624200344085693},{"id":"https:\/\/openalex.org\/keywords\/mathematics","display_name":"Mathematics","score":0.3764182925224304},{"id":"https:\/\/openalex.org\/keywords\/time-complexity","display_name":"Time complexity","score":0.3643370270729065},{"id":"https:\/\/openalex.org\/keywords\/discrete-mathematics","display_name":"Discrete mathematics","score":0.35376498103141785},{"id":"https:\/\/openalex.org\/keywords\/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3417869210243225}],"concepts":[{"id":"https:\/\/openalex.org\/C41008148","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q21198","display_name":"Computer science","level":0,"score":0.5934873223304749},{"id":"https:\/\/openalex.org\/C122749075","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q215206","display_name":"NP-complete","level":3,"score":0.5308951735496521},{"id":"https:\/\/openalex.org\/C114614502","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q76592","display_name":"Combinatorics","level":1,"score":0.44439971446990967},{"id":"https:\/\/openalex.org\/C132525143","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q141488","display_name":"Graph","level":2,"score":0.4190073013305664},{"id":"https:\/\/openalex.org\/C11413529","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q8366","display_name":"Algorithm","level":1,"score":0.41624200344085693},{"id":"https:\/\/openalex.org\/C33923547","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q395","display_name":"Mathematics","level":0,"score":0.3764182925224304},{"id":"https:\/\/openalex.org\/C311688","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2393193","display_name":"Time complexity","level":2,"score":0.3643370270729065},{"id":"https:\/\/openalex.org\/C118615104","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35376498103141785},{"id":"https:\/\/openalex.org\/C80444323","wikidata":"https:\/\/www.wikidata.org\/wiki\/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3417869210243225}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109\/12.88482","is_oa":false,"landing_page_url":"https:\/\/doi.org\/10.1109\/12.88482","pdf_url":null,"source":{"id":"https:\/\/openalex.org\/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https:\/\/openalex.org\/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https:\/\/openalex.org\/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https:\/\/metadata.un.org\/sdg\/16","score":0.800000011920929}],"awards":[],"funders":[{"id":"https:\/\/openalex.org\/F4320312060","display_name":"Francis Crick Institute","ror":"https:\/\/ror.org\/04tnbqb63"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https:\/\/openalex.org\/W1548951997","https:\/\/openalex.org\/W1607402491","https:\/\/openalex.org\/W1868551550","https:\/\/openalex.org\/W1965395779","https:\/\/openalex.org\/W2009990213","https:\/\/openalex.org\/W2011039300","https:\/\/openalex.org\/W2020112047","https:\/\/openalex.org\/W2037529689","https:\/\/openalex.org\/W2041211631","https:\/\/openalex.org\/W2056210095","https:\/\/openalex.org\/W2074624946","https:\/\/openalex.org\/W2086240546","https:\/\/openalex.org\/W2086934045","https:\/\/openalex.org\/W2097175197","https:\/\/openalex.org\/W2097229782","https:\/\/openalex.org\/W2117911965","https:\/\/openalex.org\/W2128217945","https:\/\/openalex.org\/W2139758682","https:\/\/openalex.org\/W2150233937","https:\/\/openalex.org\/W2401610261","https:\/\/openalex.org\/W6636250115"],"related_works":["https:\/\/openalex.org\/W2062731608","https:\/\/openalex.org\/W1519201794","https:\/\/openalex.org\/W4312809402","https:\/\/openalex.org\/W2606468876","https:\/\/openalex.org\/W1629505938","https:\/\/openalex.org\/W2767824041","https:\/\/openalex.org\/W1828234149","https:\/\/openalex.org\/W2384822215","https:\/\/openalex.org\/W2082247452","https:\/\/openalex.org\/W4297670669"],"abstract_inverted_index":{"F.P.":[0],"Preparata":[1],"et":[2],"al.":[3],"(1967)":[4],"introduced":[5],"a":[6,25,51],"graph-theoretical":[7],"model":[8,30],"for":[9],"fault":[10],"diagnosis":[11],"called":[12],"the":[13,20,28,37,46,58,82,85],"PMC":[14,29],"model.":[15],"The":[16,34,42,65],"question":[17,43],"of":[18,24,39,44,50],"determining":[19,45],"sequential":[21,40,47],"diagnosability":[22,48],"number":[23,49],"system":[26,52],"in":[27,81],"has":[31],"remained":[32],"open.":[33],"authors":[35],"formalize":[36],"notion":[38],"diagnosability.":[41],"is":[53,62,67],"addressed":[54],"by":[55],"showing":[56],"that":[57],"appropriate":[59],"decision":[60],"problem":[61,66],"co-NP":[63,72],"complete.":[64],"also":[68],"shown":[69],"to":[70,77],"be":[71],"complete":[73],"even":[74],"when":[75],"restricted":[76],"planar":[78],"graphs":[79],"both":[80],"weighted":[83],"and":[84],"BGM":[86],"models.>":[87]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}