{"id":"https://openalex.org/W4404080181","doi":"https://doi.org/10.1007/s42484-024-00209-5","title":"Quantum algorithms for weighted constrained sampling and weighted model counting","display_name":"Quantum algorithms for weighted constrained sampling and weighted model counting","publication_year":2024,"publication_date":"2024-11-05","ids":{"openalex":"https://openalex.org/W4404080181","doi":"https://doi.org/10.1007/s42484-024-00209-5"},"language":"en","primary_location":{"id":"doi:10.1007/s42484-024-00209-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42484-024-00209-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s42484-024-00209-5.pdf","source":{"id":"https://openalex.org/S4210217596","display_name":"Quantum Machine Intelligence","issn_l":"2524-4906","issn":["2524-4906","2524-4914"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Machine Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s42484-024-00209-5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086909487","display_name":"Fabrizio Riguzzi","orcid":"https://orcid.org/0000-0003-1654-9703"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Fabrizio Riguzzi","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Ferrara, Via Machiavelli 30, Ferrara, 44121, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Ferrara, Via Machiavelli 30, Ferrara, 44121, Italy","institution_ids":["https://openalex.org/I201324441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5086909487"],"corresponding_institution_ids":["https://openalex.org/I201324441"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":3226,"currency":"EUR","value_usd":3479},"fwci":0.3147,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66702538,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"6","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9994999766349792,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9994999766349792,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.994700014591217,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.972000002861023,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6061636209487915},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.47081121802330017},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.44943228363990784},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38775622844696045},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.05904257297515869}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6061636209487915},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.47081121802330017},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44943228363990784},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38775622844696045},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.05904257297515869},{"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.1007/s42484-024-00209-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42484-024-00209-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s42484-024-00209-5.pdf","source":{"id":"https://openalex.org/S4210217596","display_name":"Quantum Machine Intelligence","issn_l":"2524-4906","issn":["2524-4906","2524-4914"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Machine Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:sfera.unife.it:11392/2570710","is_oa":true,"landing_page_url":"https://link.springer.com/article/10.1007/s42484-024-00209-5","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s42484-024-00209-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s42484-024-00209-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s42484-024-00209-5.pdf","source":{"id":"https://openalex.org/S4210217596","display_name":"Quantum Machine Intelligence","issn_l":"2524-4906","issn":["2524-4906","2524-4914"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum Machine Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320331528","display_name":"Ministero dell'Universit\u00e0 e della Ricerca","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404080181.pdf","grobid_xml":"https://content.openalex.org/works/W4404080181.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1185084623","https://openalex.org/W1492999010","https://openalex.org/W1593793857","https://openalex.org/W1948942933","https://openalex.org/W1967037487","https://openalex.org/W1982333717","https://openalex.org/W2002372750","https://openalex.org/W2011585646","https://openalex.org/W2020918964","https://openalex.org/W2044181424","https://openalex.org/W2062818807","https://openalex.org/W2084652510","https://openalex.org/W2101968469","https://openalex.org/W2105197197","https://openalex.org/W2109741106","https://openalex.org/W2126653228","https://openalex.org/W2156890722","https://openalex.org/W2168676717","https://openalex.org/W2179731956","https://openalex.org/W2741061345","https://openalex.org/W2889374987","https://openalex.org/W2912418499","https://openalex.org/W2912526555","https://openalex.org/W2914680312","https://openalex.org/W2914841034","https://openalex.org/W2953089152","https://openalex.org/W2996241660","https://openalex.org/W3020913839","https://openalex.org/W3037509522","https://openalex.org/W3037585991","https://openalex.org/W3046571544","https://openalex.org/W3090984320","https://openalex.org/W3106915567","https://openalex.org/W3127517336","https://openalex.org/W3177104800","https://openalex.org/W3204797423","https://openalex.org/W4205844716","https://openalex.org/W4206807714","https://openalex.org/W4225663447","https://openalex.org/W4285253385","https://openalex.org/W4391493576","https://openalex.org/W4392641872"],"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/W2051487156","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"consider":[2],"the":[3,42,49,53,56,59,62,115,128,131,146,182,195,205,253],"problems":[4],"of":[5,30,51,55,58,61,135,184,204,214],"weighted":[6,10,88,94,103,107,201],"constrained":[7,89,104],"sampling":[8,31,90,105],"and":[9,20,79,92,106,187,199],"model":[11,95,108,118,134,202],"counting,":[12,109],"where":[13,137,179],"we":[14,85,138],"are":[15,112,122],"given":[16,40,149],"a":[17,21,34,208,212,274],"propositional":[18],"formula":[19,43],"weight":[22,39],"for":[23,101,144],"each":[24],"world.":[25],"The":[26,46],"first":[27],"problem":[28,50],"consists":[29],"worlds":[32],"with":[33],"probability":[35],"proportional":[36],"to":[37,124],"their":[38],"that":[41,121],"is":[44,48,181,194,256],"satisfied.":[45],"latter":[47],"computing":[52],"sum":[54],"weights":[57],"models":[60],"formula.":[63],"Both":[64,111],"have":[65],"applications":[66],"in":[67],"many":[68],"fields":[69],"such":[70],"as":[71],"probabilistic":[72],"reasoning,":[73],"graphical":[74],"models,":[75],"statistical":[76],"physics,":[77],"statistics,":[78],"hardware":[80],"verification.":[81],"In":[82,130],"this":[83],"article,":[84],"propose":[86],"quantum":[87,93,99,116],"(QWCS)":[91],"counting":[96,119],"(QWMC),":[97],"two":[98],"algorithms":[100,120],"performing":[102],"respectively.":[110],"based":[113],"on":[114],"search/quantum":[117],"modified":[123],"take":[125],"into":[126],"account":[127],"weights.":[129],"black":[132],"box":[133],"computation,":[136],"can":[139],"only":[140],"query":[141],"an":[142,150],"oracle":[143,177,249],"evaluating":[145],"Boolean":[147,185],"function":[148],"assignment,":[151],"QWCS":[152],"requires":[153],"$$O(2^{\\frac{n}{2}}+1/\\sqrt{\\text":[154],"{WMC}})$$":[155],"<mml:math":[156,190,218,234,259],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[157,191,219,235,260],"<mml:mrow>":[158,220,236,261],"<mml:mi>O</mml:mi>":[159],"<mml:mo>(</mml:mo>":[160,222,238,263],"<mml:msup>":[161,239,264],"<mml:mn>2</mml:mn>":[162,165,240,243,265],"<mml:mfrac>":[163,241],"<mml:mi>n</mml:mi>":[164,242,266],"</mml:mfrac>":[166,244],"</mml:msup>":[167,245,267],"<mml:mo>+</mml:mo>":[168],"<mml:mn>1</mml:mn>":[169,223],"<mml:mo>/</mml:mo>":[170,224],"<mml:msqrt>":[171],"<mml:mtext>WMC</mml:mtext>":[172,192,225],"</mml:msqrt>":[173],"<mml:mo>)</mml:mo>":[174,226,246,268],"</mml:mrow>":[175,227,247,269],"</mml:math>":[176,193,228,248,270],"calls,":[178],"n":[180],"number":[183],"variables":[186],"$$\\text":[188],"{WMC}$$":[189],"normalized":[196],"between":[197],"0":[198],"1":[200],"count":[203],"formula,":[206],"while":[207,251],"classical":[209],"algorithm":[210],"has":[211],"complexity":[213,255],"$$\\Omega":[215],"(1/\\text":[216],"{WMC})$$":[217],"<mml:mi>\u03a9</mml:mi>":[221],".":[229],"QWMC":[230],"takes":[231],"$$\\Theta":[232,257],"(2^{\\frac{n}{2}})$$":[233],"<mml:mi>\u0398</mml:mi>":[237,262],"calss,":[250],"classically":[252],"best":[254],"(2^n)$$":[258],",":[271],"thus":[272],"achieving":[273],"quadratic":[275],"speedup.":[276]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}
