{"id":"https://openalex.org/W4400268481","doi":"https://doi.org/10.1145/3649217.3653544","title":"Redux: An Interactive, Dynamic Knowledge Base for Teaching NP-completeness","display_name":"Redux: An Interactive, Dynamic Knowledge Base for Teaching NP-completeness","publication_year":2024,"publication_date":"2024-07-03","ids":{"openalex":"https://openalex.org/W4400268481","doi":"https://doi.org/10.1145/3649217.3653544"},"language":"en","primary_location":{"id":"doi:10.1145/3649217.3653544","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3649217.3653544","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1","raw_type":"proceedings-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/A5066665615","display_name":"Kaden Marchetti","orcid":"https://orcid.org/0009-0005-4028-1657"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kaden Marchetti","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099659323","display_name":"Andrija Sevaljevic","orcid":"https://orcid.org/0009-0002-1077-0837"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrija Sevaljevic","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099978567","display_name":"Alex Diviney","orcid":"https://orcid.org/0000-0002-9841-3449"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex Diviney","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099978568","display_name":"Caleb Eardley","orcid":"https://orcid.org/0000-0001-9711-4458"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Caleb Eardley","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061106381","display_name":"Russell Phillips","orcid":"https://orcid.org/0009-0007-2986-7889"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Russell Phillips","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045064531","display_name":"Rajiv Khadka","orcid":"https://orcid.org/0000-0003-2251-8751"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajiv Khadka","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102917062","display_name":"Daniel Igbokwe","orcid":"https://orcid.org/0009-0009-4906-5319"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Igbokwe","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090402063","display_name":"Paul Bodily","orcid":"https://orcid.org/0000-0002-5941-0069"},"institutions":[{"id":"https://openalex.org/I106969075","display_name":"Idaho State University","ror":"https://ror.org/0162z8b04","country_code":"US","type":"education","lineage":["https://openalex.org/I106969075"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul Bodily","raw_affiliation_strings":["Idaho State University, Pocatello, ID, USA"],"affiliations":[{"raw_affiliation_string":"Idaho State University, Pocatello, ID, USA","institution_ids":["https://openalex.org/I106969075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5066665615"],"corresponding_institution_ids":["https://openalex.org/I106969075"],"apc_list":null,"apc_paid":null,"fwci":1.0911,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80448177,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"255","last_page":"261"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9951000213623047,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9951000213623047,"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/T10533","display_name":"Teaching and Learning Programming","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T14025","display_name":"Educational Technology and Assessment","score":0.9818999767303467,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/redux","display_name":"Redux","score":0.7271609306335449},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6960939168930054},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6824501156806946},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.5718632936477661},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4720509946346283},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3682596981525421},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3626938462257385},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1755727231502533},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11958727240562439}],"concepts":[{"id":"https://openalex.org/C2777087702","wikidata":"https://www.wikidata.org/wiki/Q7306421","display_name":"Redux","level":2,"score":0.7271609306335449},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6960939168930054},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6824501156806946},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.5718632936477661},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4720509946346283},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3682596981525421},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3626938462257385},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1755727231502533},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11958727240562439},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649217.3653544","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3649217.3653544","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1982577688","https://openalex.org/W1994584977","https://openalex.org/W2069666557","https://openalex.org/W2070745908","https://openalex.org/W2116007667","https://openalex.org/W2140118062","https://openalex.org/W2144590568","https://openalex.org/W2167036627","https://openalex.org/W2169528473","https://openalex.org/W2215077218","https://openalex.org/W2768608133","https://openalex.org/W2962035542","https://openalex.org/W4323033847","https://openalex.org/W4394969631"],"related_works":["https://openalex.org/W1970675539","https://openalex.org/W3198785408","https://openalex.org/W4318618212","https://openalex.org/W4210664575","https://openalex.org/W4389549042","https://openalex.org/W3197797723","https://openalex.org/W2995096318","https://openalex.org/W2282198328","https://openalex.org/W2385713529","https://openalex.org/W2599749361"],"abstract_inverted_index":{"Whereas":[0],"interactive":[1,75],"dynamic":[2,74],"visualization":[3,98],"tools":[4,26],"have":[5],"been":[6],"successfully":[7],"developed":[8],"and":[9,43,87,106,127,131,165],"used":[10],"for":[11,27,58],"teaching":[12,28],"some":[13],"topics":[14],"in":[15,49,51],"computational":[16],"theory":[17],"(CT),":[18],"there":[19],"remains":[20],"a":[21,55,73,79],"noticeable":[22],"lack":[23],"of":[24,83,93,99],"such":[25],"NP-completeness":[29,50],"which":[30],"continues":[31],"to":[32,53,61,117,125,133,149,160],"be":[33,54],"widely":[34],"taught":[35],"using":[36,158],"paper-and-pencil":[37],"methods.":[38],"Despite":[39],"its":[40],"important":[41],"theoretical":[42],"practical":[44,80],"value,":[45],"NP-completeness-and":[46],"mapping":[47,103,152],"reductions":[48,130,171],"particular-tends":[52],"challenging":[56],"concept":[57],"CT":[59],"students":[60,124],"understand.":[62],"We":[63],"present":[64],"an":[65],"open-source":[66],"web":[67,113],"app":[68,114],"called":[69],"Redux":[70,146,159,167,174],"that":[71,145,154,166],"provides":[72],"user":[76],"interface":[77,95],"atop":[78],"knowledge":[81,120],"base":[82,121],"NP-complete":[84,170],"problems,":[85],"reductions,":[86,104],"solution":[88],"algorithms.":[89],"A":[90],"key":[91],"feature":[92],"the":[94,97,119],"is":[96,115,175],"arbitrary":[100],"problem":[101],"instances,":[102],"solutions,":[105],"gadgets-including":[107],"those":[108,134],"reachable":[109],"via":[110,178],"transitivity.":[111],"The":[112],"designed":[116],"make":[118],"extensible,":[122],"allowing":[123],"contribute":[126],"compare":[128],"their":[129],"solutions":[132],"already":[135],"available.":[136],"Two":[137],"surveys":[138],"were":[139],"administered,":[140],"with":[141],"respondents":[142],"overwhelmingly":[143],"indicating":[144],"helped":[147],"them":[148],"better":[150],"understand":[151],"reductions;":[153],"they":[155],"would":[156],"prefer":[157],"solve":[161],"similar":[162],"problems":[163],"manually;":[164],"makes":[168],"learning":[169],"more":[172],"enjoyable.":[173],"accessible":[176],"online":[177],"https://redux.portneuf.cose.isu.edu/.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}