{"id":"https://openalex.org/W2117118468","doi":"https://doi.org/10.1017/s0960129507006068","title":"Randomised algorithms for isomorphisms of simple types","display_name":"Randomised algorithms for isomorphisms of simple types","publication_year":2007,"publication_date":"2007-04-16","ids":{"openalex":"https://openalex.org/W2117118468","doi":"https://doi.org/10.1017/s0960129507006068","mag":"2117118468"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129507006068","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129507006068","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","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/A5110126527","display_name":"Joseph Gil","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"JOSEPH (YOSSI) GIL","raw_affiliation_strings":["Technion \u2013 Israel Institute of Technology, Technion City, Haifa, 32000, Israel Email:","Technion\u2014Israel Institute of Technology, Technion City, Haifa 32000, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion \u2013 Israel Institute of Technology, Technion City, Haifa, 32000, Israel Email:","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion\u2014Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072236461","display_name":"Yoav Zibin","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"YOAV ZIBIN","raw_affiliation_strings":["Technion \u2013 Israel Institute of Technology, Technion City, Haifa, 32000, Israel Email:","Technion\u2014Israel Institute of Technology, Technion City, Haifa 32000, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion \u2013 Israel Institute of Technology, Technion City, Haifa, 32000, Israel Email:","institution_ids":["https://openalex.org/I174306211"]},{"raw_affiliation_string":"Technion\u2014Israel Institute of Technology, Technion City, Haifa 32000, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110126527"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15190941,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"17","issue":"3","first_page":"565","last_page":"584"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9993000030517578,"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/T11567","display_name":"semigroups and automata theory","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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6477352976799011},{"id":"https://openalex.org/keywords/deterministic-algorithm","display_name":"Deterministic algorithm","score":0.5403125882148743},{"id":"https://openalex.org/keywords/distributivity","display_name":"Distributivity","score":0.5290352702140808},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5107934474945068},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5052314400672913},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4756336212158203},{"id":"https://openalex.org/keywords/randomized-algorithm","display_name":"Randomized algorithm","score":0.4705260992050171},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4636472463607788},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4623526334762573},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4574398994445801},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4364608824253082},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.1157028079032898},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.10293278098106384}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6477352976799011},{"id":"https://openalex.org/C13533509","wikidata":"https://www.wikidata.org/wiki/Q1064349","display_name":"Deterministic algorithm","level":2,"score":0.5403125882148743},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.5290352702140808},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5107934474945068},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5052314400672913},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4756336212158203},{"id":"https://openalex.org/C128669082","wikidata":"https://www.wikidata.org/wiki/Q583461","display_name":"Randomized algorithm","level":2,"score":0.4705260992050171},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4636472463607788},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4623526334762573},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4574398994445801},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4364608824253082},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.1157028079032898},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.10293278098106384},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129507006068","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129507006068","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1515284912","https://openalex.org/W1531368347","https://openalex.org/W1553142094","https://openalex.org/W1604010699","https://openalex.org/W1966558718","https://openalex.org/W2003399024","https://openalex.org/W2032563292","https://openalex.org/W2040572975","https://openalex.org/W2077229436","https://openalex.org/W2080132708","https://openalex.org/W2124764481","https://openalex.org/W2145018595","https://openalex.org/W2155946751","https://openalex.org/W2159341052","https://openalex.org/W4298290503","https://openalex.org/W6658626230"],"related_works":["https://openalex.org/W2776018879","https://openalex.org/W2248910422","https://openalex.org/W2189051460","https://openalex.org/W2922566013","https://openalex.org/W2112526268","https://openalex.org/W3184929353","https://openalex.org/W2089872375","https://openalex.org/W2117118468","https://openalex.org/W2174697474","https://openalex.org/W1470965256"],"abstract_inverted_index":{"We":[0],"give":[1],"the":[2,9,17,28,51,85,90,101,124,168,171],"first":[3,10,172],"linear":[4],"time":[5,76,109,139,185],"(randomised)":[6],"algorithm":[7,83,112,148],"for":[8,84,100],"order":[11],"isomorphism":[12,18],"problem":[13,44,52,86],",":[14],"that":[15,123],"is,":[16,114,150],"of":[19,30,34,39,49,53,56,170],"non-recursive":[20],"types":[21,126],"involving":[22,59],"product-":[23],"and":[24,32,37,62,77,129,140,186],"function-type":[25],"constructors,":[26],"under":[27],"axioms":[29],"commutativity":[31],"associativity":[33],"products,":[35],"currying":[36],"distributivity":[38],"functions":[40],"over":[41],"products.":[42],"This":[43],"can":[45],"also":[46],"be":[47],"thought":[48],"as":[50],"formal":[54],"equality-testing":[55],"multi-variate":[57],"expressions":[58],"only":[60],"multiplications":[61],"exponentiation.":[63],"Previous":[64],"work":[65],"gave":[66],"a":[67,116,152,163],"deterministic":[68],"O":[69,78,105,132,141,176],"(":[70,79,87,106,133,142,177],"n":[71,74,80,88,107,134,136,143,173,178,180,183],"log":[72,135,179,182],"2":[73],")":[75,81,108,137,144,184],"space":[82,145],"being":[89],"input":[91],"size).":[92],"Our":[93],"specific":[94],"contribution":[95],"includes":[96],"two":[97,125],"randomised":[98],"algorithms":[99,160],"problem:":[102],"(i)":[103],"an":[104,131],"Monte":[110],"Carlo":[111],"(that":[113,149],"with":[115,151],"small":[117,153],"probability":[118,154],"it":[119,155],"may":[120,156],"decide":[121],"erroneously":[122],"are":[127],"isomorphic),":[128],"(ii)":[130],"expected":[138],"Las":[146],"Vegas":[147],"execute":[157],"long).":[158],"The":[159],"rely":[161],"on":[162],"preprocessing":[164],"stage,":[165],"which":[166],"computes":[167],"sequence":[169],"primes":[174],"in":[175],"/log":[181],"space.":[187]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}