{"id":"https://openalex.org/W2038932251","doi":"https://doi.org/10.1137/090749323","title":"On the Diameter of the Set of Satisfying Assignments in Random Satisfiable k-CNF Formulas","display_name":"On the Diameter of the Set of Satisfying Assignments in Random Satisfiable k-CNF Formulas","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W2038932251","doi":"https://doi.org/10.1137/090749323","mag":"2038932251"},"language":"en","primary_location":{"id":"doi:10.1137/090749323","is_oa":false,"landing_page_url":"https://doi.org/10.1137/090749323","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","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/A5013190102","display_name":"Uriel Feige","orcid":"https://orcid.org/0009-0006-3749-4392"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Uriel Feige","raw_affiliation_strings":["Weizmann Institute of Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055212893","display_name":"Abraham D. Flaxman","orcid":"https://orcid.org/0000-0001-6033-4713"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abraham D. Flaxman","raw_affiliation_strings":["University of Washington"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067064621","display_name":"Dan Vilenchik","orcid":"https://orcid.org/0000-0002-3895-688X"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Vilenchik","raw_affiliation_strings":["University of California at Los Angeles**"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles**","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0034,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87940996,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"25","issue":"2","first_page":"736","last_page":"749"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.998199999332428,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9922999739646912,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8206948041915894},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7634519338607788},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7193297147750854},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.5935178995132446},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4451542794704437},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09460270404815674}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8206948041915894},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7634519338607788},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7193297147750854},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.5935178995132446},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4451542794704437},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09460270404815674}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1137/090749323","is_oa":false,"landing_page_url":"https://doi.org/10.1137/090749323","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.150.4087","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.4087","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.wisdom.weizmann.ac.il/~feige/mypapers/diameter.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.247.4243","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.247.4243","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0902.2012v1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.401.778","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.401.778","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.wisdom.weizmann.ac.il/mathusers/vilenchi/papers/2011/074932.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W63271104","https://openalex.org/W67367170","https://openalex.org/W1559492868","https://openalex.org/W1834794781","https://openalex.org/W1898334569","https://openalex.org/W1963913579","https://openalex.org/W1971493102","https://openalex.org/W1980276492","https://openalex.org/W1994098212","https://openalex.org/W2000931246","https://openalex.org/W2010193278","https://openalex.org/W2054387247","https://openalex.org/W2063428816","https://openalex.org/W2072802070","https://openalex.org/W2078758709","https://openalex.org/W2079035346","https://openalex.org/W2087662271","https://openalex.org/W2088272899","https://openalex.org/W2100008268","https://openalex.org/W2115885909","https://openalex.org/W2138778293","https://openalex.org/W2145098470","https://openalex.org/W2155218845","https://openalex.org/W2166602562","https://openalex.org/W2949171506","https://openalex.org/W2950654313","https://openalex.org/W3105442588"],"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/W3037419933","https://openalex.org/W44982509","https://openalex.org/W2952234674","https://openalex.org/W1543051890","https://openalex.org/W4299809933"],"abstract_inverted_index":{"It":[0,74],"is":[1,42,93,115,124,145,163],"known":[2],"that":[3,78,137,144,169,202,228],"random":[4,51],"-CNF":[5,29,40],"formulas":[6,30,52,208,220],"have":[7,127,214],"a":[8,13,69,84,142,170,185,203],"so-called":[9],"satisfiability":[10,89,111,149,179],"threshold":[11,26,37,90,150,180],"at":[12,21,96,100,153],"density":[14,85,143,176],"(namely,":[15],"clause-variable":[16],"ratio)":[17],"of":[18,58,71,206],"roughly":[19,98],":":[20],"densities":[22,81,105,140],"slightly":[23,34,86,146],"below":[24,87],"this":[25,36,133],"almost":[27,38,94,116,164],"all":[28,80,139],"are":[31,209,221],"satisfiable,":[32],"whereas":[33],"above":[35,141,147],"no":[39],"formula":[41,123,230],"satisfiable.":[43,232],"In":[44,132],"the":[45,59,64,88,91,110,113,148,161,175,178,189,194,200,207,218,229],"current":[46],"work":[47],"we":[48,135],"consider":[49],"satisfiable":[50,122,211],"and":[53],"inspect":[54],"another":[55],"parameter\u2014the":[56],"diameter":[57,92,114,162,195,215],"solution":[60],"space":[61],"(that":[62],"is,":[63],"maximal":[65],"Hamming":[66],"distance":[67],"between":[68],"pair":[70],"satisfying":[72,130],"assignments).":[73],"was":[75],"previously":[76],"shown":[77],"for":[79,138],"up":[82],"to":[83,126,157,199],"surely":[95,117,165],"least":[97],"(and":[99,212],"much":[101,107],"lower":[102],"densities).":[103],"At":[104],"very":[106,120],"higher":[108],"than":[109],"threshold,":[112],"zero":[118],"(a":[119,181],"dense":[121],"expected":[125],"only":[128],"one":[129],"assignment).":[131],"paper":[134],"show":[136],"(more":[151],"precisely,":[152],"ratio":[154],",":[155],"tending":[156],"0":[158],"as":[159],"grows)":[160],".":[166],"This":[167,191],"shows":[168],"relatively":[171],"small":[172],"change":[173,187],"in":[174,188,193],"around":[177],"multiplicative":[182],"factor)":[183],"makes":[184],"dramatic":[186],"diameter.":[190],"drop":[192],"cannot":[196],"be":[197,231],"attributed":[198],"fact":[201],"larger":[204],"fraction":[205],"not":[210],"hence":[213],"0),":[216],"because":[217],"nonsatisfiable":[219],"excluded":[222],"from":[223],"consideration":[224],"by":[225],"our":[226],"conditioning":[227]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2025-10-10T00:00:00"}