{"id":"https://openalex.org/W2043528230","doi":"https://doi.org/10.1305/ndjfl/1093887936","title":"The one-one equivalence of some general combinatorial decision problems.","display_name":"The one-one equivalence of some general combinatorial decision problems.","publication_year":1977,"publication_date":"1977-04-01","ids":{"openalex":"https://openalex.org/W2043528230","doi":"https://doi.org/10.1305/ndjfl/1093887936","mag":"2043528230"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093887936","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887936","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","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/A5050861892","display_name":"Charles E. Hughes","orcid":"https://orcid.org/0000-0002-2528-3380"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Charles E. Hughes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5039650554","display_name":"W. E. Singletary","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"W. E. Singletary","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050861892"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20267417,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.34630000591278076,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.34630000591278076,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.14800000190734863,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.10540000349283218,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6190645098686218},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4605950117111206},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3480320870876312},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3327551484107971},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3305743932723999},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3000677525997162},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.08438056707382202}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6190645098686218},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4605950117111206},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3480320870876312},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3327551484107971},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3305743932723999},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3000677525997162},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08438056707382202},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093887936","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887936","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093887936","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093887936","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1973752763","https://openalex.org/W1995181842","https://openalex.org/W2022619892","https://openalex.org/W2035867406","https://openalex.org/W2038363539","https://openalex.org/W2045033949","https://openalex.org/W2080581033","https://openalex.org/W2083904032","https://openalex.org/W2092354571","https://openalex.org/W2905135108"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644","https://openalex.org/W2042127053"],"abstract_inverted_index":{"Introduction":[0],"A":[1],"general":[2,27,51,153,166,197],"combinatorial":[3,24,52,154],"decision":[4,17,53,155,167,198,236],"problem":[5,29,237],"may":[6,273],"be":[7,12,49,59,107,116,223,274],"defined":[8],"quite":[9],"simply":[10],"to":[11,58,63,115,126,184,189,265],"a":[13,149,203,232,261,269],"family":[14,35],"of":[15,23,36,90,148,152,164,175,195,207,243,253],"related":[16],"problems":[18,38,75,81,168,199],"concerned":[19],"with":[20,281],"some":[21,163],"class":[22],"systems.E.g.,":[25],"the":[26,34,74,80,91,127,131,145,196,212,235,244,251,282],"halting":[28,37],"for":[30,238,250],"Turing":[31,42],"machines":[32],"is":[33,56,89,100,122,188,202,230,242,260,264,268],"ranging":[39],"over":[40],"all":[41],"machines.Let":[43],"G":[44,47,64,84,111],"\u03bb":[45],"and":[46,110,133,141,218,258],"2":[48,65,85,112],"two":[50],"problems.G":[54],"\u03b3":[55],"said":[57,114],"one-one":[60,93,117,123,172,210,246,279],"{many-one)":[61,118],"reducible":[62,125],"if":[66,98,120,234,271],"there":[67],"exists":[68],"an":[69,224,277],"effective":[70,278],"mapping":[71],"\u03c8":[72],"from":[73],"p":[76,88,99],"in":[77,83,170,240,276],"d":[78],"into":[79],"\u03c8(p)":[82,106],"such":[86],"that":[87,105,162,191,249],"same":[92,245],"(many-one)":[94,124],"degree":[95,247],"as":[96,248],"\u03c8(p).(Actually":[97],"solvable":[101],"we":[102,159],"only":[103],"require":[104],"also":[108],"solvable.)G\u00b1":[109],"are":[113,169,215],"equivalent":[119],"each":[121,192],"other.Recent":[128],"research":[129],"by":[130,181],"authors":[132],"Overbeek":[134],"[2,":[135],"3,":[136],"4,":[137],"5,":[138],"6,":[139],"7,":[140],"10]":[142],"has":[143,178],"demonstrated":[144],"many-one":[146,205],"equivalence":[147,206],"large":[150],"number":[151],"problems.In":[156],"this":[157],"paper*":[158],"will":[160],"show":[161,190],"these":[165],"fact":[171],"equivalent.Our":[173],"method":[174],"proof,":[176],"which":[177],"been":[179],"used":[180],"Cleave":[182],"[l]":[183],"study":[185],"\"system":[186],"functions\",":[187],"non-recursive":[193],"instance":[194],"under":[200],"consideration":[201],"cylinder.Since":[204],"cylinders":[208],"implies":[209],"equivalence,":[211],"desired":[213],"results":[214],"achieved.2":[216],"Cylinders":[217],"their":[219],"properties":[220],"Let":[221],"R":[222,241,257,267],"arbitrary":[225],"recursively":[226],"enumerable":[227],"(r.e.)":[228],"set.R":[229],"called":[231],"cylinder":[233,270],"membership":[239],"set":[252],"pairs":[254],"{(x,":[255],"n)\\xe":[256],"n":[259],"natural":[262],"number}.That":[263],"say,":[266],"it":[272],"placed":[275],"correspondence":[280],"cartesian":[283]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}