{"id":"https://openalex.org/W4410028933","doi":"https://doi.org/10.3390/sym17050677","title":"Tableau with Holes: Clarifying NP-Completeness","display_name":"Tableau with Holes: Clarifying NP-Completeness","publication_year":2025,"publication_date":"2025-04-29","ids":{"openalex":"https://openalex.org/W4410028933","doi":"https://doi.org/10.3390/sym17050677"},"language":"en","primary_location":{"id":"doi:10.3390/sym17050677","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17050677","pdf_url":"https://www.mdpi.com/2073-8994/17/5/677/pdf?version=1746025934","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-8994/17/5/677/pdf?version=1746025934","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022880347","display_name":"Edgar G. Daylight","orcid":"https://orcid.org/0000-0002-9815-3966"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Edgar Graham Daylight","raw_affiliation_strings":["a.k.a. Karel Van Oudheusden, Department of Computer Science, KU Leuven, Celestijnenlaan 200a, Box 2402, 3001 Leuven, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-9815-3966","affiliations":[{"raw_affiliation_string":"a.k.a. Karel Van Oudheusden, Department of Computer Science, KU Leuven, Celestijnenlaan 200a, Box 2402, 3001 Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022880347"],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165},"fwci":3.8114,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92884879,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"17","issue":"5","first_page":"677","last_page":"677"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/completeness","display_name":"Completeness (order theory)","score":0.6894732713699341},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4179965555667877},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4109116494655609},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.370534747838974}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6894732713699341},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4179965555667877},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4109116494655609},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.370534747838974},{"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.3390/sym17050677","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17050677","pdf_url":"https://www.mdpi.com/2073-8994/17/5/677/pdf?version=1746025934","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/764722","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/764722","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Symmetry, vol. 17 (5), Art.No. 677","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.3390/sym17050677","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17050677","pdf_url":"https://www.mdpi.com/2073-8994/17/5/677/pdf?version=1746025934","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410028933.pdf","grobid_xml":"https://content.openalex.org/works/W4410028933.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W574734723","https://openalex.org/W2011992362","https://openalex.org/W2119293933","https://openalex.org/W4246976488","https://openalex.org/W6659573362"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"In":[0],"the":[1,32,44,50,61,81,85,143,166,192,204,225,228],"context":[2],"of":[3,15,64,83,175,194,198,206,227],"defining":[4],"NP-completeness,":[5],"a":[6,9,16,73,90,95,112,154,181,187],"tableau":[7,28,51,170,188],"represents":[8,171],"hypothetical":[10],"accepting":[11,183],"computation":[12],"path":[13,184],"p":[14],"nondeterministic":[17],"polynomial":[18],"time":[19],"Turing":[20],"machine":[21],"N":[22,65,126,176],"on":[23,66,177],"an":[24,211],"input":[25],"w.":[26,67],"The":[27,40],"is":[29],"encoded":[30],"by":[31],"propositional":[33],"logic":[34],"formula":[35],"\u03c8,":[36],"defined":[37],"as":[38,111],"\u03c8=\u03c8cell\u2227\u03c8rest.":[39],"component":[41],"\u03c8cell":[42,88,151],"enforces":[43],"constraint":[45],"that":[46,103],"each":[47],"cell":[48],"in":[49,122,165,220],"contains":[52],"exactly":[53],"one":[54],"symbol,":[55],"while":[56],"\u03c8rest":[57,69,106],"incorporates":[58],"constraints":[59],"governing":[60],"step-by-step":[62],"behavior":[63],"Intuitively,":[68],"appears":[70],"to":[71,153,218],"pose":[72],"much":[74],"greater":[75],"challenge":[76],"for":[77,145,160],"satisfiability.":[78],"This":[79,168],"raises":[80],"question":[82],"whether":[84],"distinction":[86],"between":[87],"being":[89],"3cnf":[91],"formula,":[92,98,114,156],"rather":[93,179],"than":[94,180],"cheap":[96],"2cnf":[97],"actually":[99],"matters.":[100],"We":[101],"show":[102],"if,":[104],"hypothetically,":[105],"can":[107,118],"be":[108,119],"succinctly":[109],"represented":[110],"Horn":[113],"then":[115],"satisfying":[116],"\u03c8":[117],"achieved":[120],"efficiently":[121,215],"Kf(n,k)":[123],"steps,":[124],"where":[125],"operates":[127],"within":[128],"O(nk)":[129],"steps":[130],"and":[131,134],"both":[132],"k":[133],"K":[135],"are":[136],"constants.":[137],"Asymptotically,":[138],"f(n,k)\u2248n23k.":[139],"Our":[140],"method":[141],"has":[142],"potential":[144],"iterative":[146],"application.":[147],"Technically,":[148],"we":[149,209],"trim":[150],"down":[152],"2cnf\u2013Horn":[155],"whose":[157],"satisfiability":[158,193,205,226],"allows":[159],"empty":[161],"cells,":[162],"or":[163],"\u201choles\u201d,":[164],"tableau.":[167],"modified":[169],"exponentially":[172],"many":[173],"paths":[174],"w,":[178],"single":[182],"p.":[185],"While":[186],"with":[189],"holes":[190],"conceptualizes":[191],"\u03c8trim\u2014a":[195],"trimmed-down":[196],"version":[197],"\u03c8\u2014it":[199],"does":[200],"not":[201],"directly":[202],"address":[203],"\u03c8.":[207,230],"Therefore,":[208],"introduce":[210],"external":[212],"user":[213],"who":[214],"employs":[216],"backtracking":[217],"fill":[219],"specific":[221],"holes,":[222],"ultimately":[223],"verifying":[224],"original":[229]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}