{"id":"https://openalex.org/W4283816481","doi":"https://doi.org/10.1137/19m130604x","title":"Approximately Counting and Sampling Small Witnesses Using a Colorful Decision Oracle","display_name":"Approximately Counting and Sampling Small Witnesses Using a Colorful Decision Oracle","publication_year":2022,"publication_date":"2022-07-05","ids":{"openalex":"https://openalex.org/W4283816481","doi":"https://doi.org/10.1137/19m130604x"},"language":"en","primary_location":{"id":"doi:10.1137/19m130604x","is_oa":false,"landing_page_url":"https://doi.org/10.1137/19m130604x","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.gla.ac.uk/view/author/33044.html>","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052689442","display_name":"Holger Dell","orcid":"https://orcid.org/0000-0001-8955-0786"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]},{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE","DK"],"is_corresponding":true,"raw_author_name":"Holger Dell","raw_affiliation_strings":["IT University of Copenhagen and BARC, Copenhagen, Denmark","Goethe University Frankfurt, Germany,"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen and BARC, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"Goethe University Frankfurt, Germany,","institution_ids":["https://openalex.org/I114090438"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035827198","display_name":"John Lapinskas","orcid":"https://orcid.org/0000-0003-3197-0854"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Lapinskas","raw_affiliation_strings":["University of Bristol, Bristol, UK"],"affiliations":[{"raw_affiliation_string":"University of Bristol, Bristol, UK","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088807601","display_name":"Kitty Meeks","orcid":"https://orcid.org/0000-0001-5299-3073"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Kitty Meeks","raw_affiliation_strings":["University of Glasgow, Glasgow, UK"],"affiliations":[{"raw_affiliation_string":"University of Glasgow, Glasgow, UK","institution_ids":["https://openalex.org/I7882870"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5052689442"],"corresponding_institution_ids":["https://openalex.org/I114090438","https://openalex.org/I83467386"],"apc_list":null,"apc_paid":null,"fwci":1.061,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.80389429,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"51","issue":"4","first_page":"849","last_page":"899"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9991999864578247,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9991999864578247,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.9952999949455261,"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/oracle","display_name":"Oracle","score":0.7127107977867126},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5535342693328857},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.5257866382598877},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36687082052230835},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21380233764648438}],"concepts":[{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7127107977867126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5535342693328857},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.5257866382598877},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36687082052230835},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21380233764648438},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/19m130604x","is_oa":false,"landing_page_url":"https://doi.org/10.1137/19m130604x","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:eprints.gla.ac.uk:262642","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/33044.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"pmh:oai:eprints.gla.ac.uk:262642","is_oa":true,"landing_page_url":"https://eprints.gla.ac.uk/view/author/33044.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7799999713897705,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G692773533","display_name":null,"funder_award_id":"334828","funder_id":"https://openalex.org/F4320333065","funder_display_name":"Seventh Framework Programme"},{"id":"https://openalex.org/G949924097","display_name":null,"funder_award_id":"EP/V032305/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320333065","display_name":"Seventh Framework Programme","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W273178449","https://openalex.org/W1565474750","https://openalex.org/W1570607879","https://openalex.org/W1964923287","https://openalex.org/W1980074516","https://openalex.org/W2005253487","https://openalex.org/W2006912660","https://openalex.org/W2013902279","https://openalex.org/W2057512592","https://openalex.org/W2073438136","https://openalex.org/W2083951446","https://openalex.org/W2104052983","https://openalex.org/W2119461694","https://openalex.org/W2139343285","https://openalex.org/W2150004999","https://openalex.org/W2150123893","https://openalex.org/W2161611531","https://openalex.org/W2177243619","https://openalex.org/W2192146613","https://openalex.org/W2296148711","https://openalex.org/W2478722229","https://openalex.org/W2490706771","https://openalex.org/W2604140850","https://openalex.org/W2763029945","https://openalex.org/W2898839814","https://openalex.org/W2938252862","https://openalex.org/W2962738766","https://openalex.org/W2962790604","https://openalex.org/W2963279056","https://openalex.org/W2963938859","https://openalex.org/W3087345281","https://openalex.org/W3104156214","https://openalex.org/W3111890340","https://openalex.org/W3113819057","https://openalex.org/W3166345458","https://openalex.org/W4235156957","https://openalex.org/W4241657494","https://openalex.org/W4242600797","https://openalex.org/W4245577611"],"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/W2073713056","https://openalex.org/W3110702597"],"abstract_inverted_index":{"In":[0],"this":[1,141],"paper,":[2],"we":[3],"design":[4],"efficient":[5],"algorithms":[6,126,130],"to":[7,19,67,84,145,171],"approximately":[8,22],"count":[9],"the":[10,57,79,136],"number":[11],"of":[12,14,56,98,109,124,165],"edges":[13],"a":[15,53,68],"given":[16,30,54,69],"$k$-hypergraph,":[17],"and":[18,32,95,104,155,158],"sample":[20],"an":[21,60],"uniform":[23],"random":[24],"edge.":[25],"The":[26,42],"hypergraph":[27],"is":[28,63],"not":[29],"explicitly":[31],"can":[33,120],"be":[34],"accessed":[35],"only":[36],"through":[37],"its":[38],"colorful":[39,43,64],"independence":[40,44],"oracle:":[41],"oracle":[45,81],"returns":[46],"yes":[47],"or":[48,168],"no":[49],"depending":[50],"on":[51],"whether":[52],"subset":[55],"vertices":[58],"contains":[59],"edge":[61],"that":[62],"with":[65],"respect":[66],"vertex-coloring.":[70],"Our":[71,112],"results":[72,77,113],"extend":[73],"and/or":[74],"strengthen":[75],"recent":[76],"in":[78,135,148],"graph":[80],"literature":[82],"due":[83],"Beame":[85],"et":[86,106],"al.":[87,107],"[ACM":[88],"Trans.":[89],"Algorithms,":[90],"16":[91],"(2020),":[92],"52],":[93],"Dell":[94],"Lapinskas":[96],"[Proceedings":[97,108],"STOC,":[99],"ACM,":[100],"2018,":[101],"pp.":[102],"281--288],":[103],"Bhattacharya":[105],"ISAAC,":[110],"2019].":[111],"have":[114],"consequences":[115],"for":[116],"approximate":[117,128,142],"counting/sampling:":[118],"We":[119,139],"turn":[121],"certain":[122],"kinds":[123],"decision":[125],"into":[127],"counting/sampling":[129],"without":[131],"causing":[132],"much":[133],"overhead":[134],"running":[137],"time.":[138],"apply":[140],"counting/sampling-to-decision":[143],"reduction":[144],"key":[146],"problems":[147],"fine-grained":[149],"complexity":[150,160],"(such":[151,161],"as":[152,162],"$k$-SUM,":[153],"$k$-OV,":[154],"weighted":[156],"$k$-Clique)":[157],"parameterized":[159],"induced":[163],"subgraphs":[164],"size":[166],"$k$":[167],"weight-$k$":[169],"solutions":[170],"constraint":[172],"satisfaction":[173],"problems).":[174]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}