{"id":"arxiv/2608.22290","url":"https://arxiv.org/abs/2608.22290","tags":["cs.CC","math.CO"],"score":0,"title":"Approximate counting of vertices of 0/1 polytopes: a stronger hardness result","domain":"cs.CC","source":"arxiv","authors":["Heng Guo","Mark Jerrum"],"reviews":0,"subject":"cs.CC","summary":"We show that approximately counting the vertices of a bounded 0/1 polytope, presented as a system of rational linear inequalities, is, informally speaking, NP-hard. In particular, there is no FPRAS for this problem unless RP=NP. The proof is by a reduction from approximately counting homomorphisms from a given graph to a particular four-vertex graph. The main proof ideas were found using GPT-5.6 Sol Ultra.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-23","reactions":{}}