Fix binary encoding: use ceil(log2(n_k)) qubits per bucket instead of ceil(log2(n_k+1))#55

Copilot wants to merge 7 commits intoexact-cover-huboOpenQuantumComputing/QAOA:exact-cover-hubofrom

copilot/implement-bucket-exact-coverOpenQuantumComputing/QAOA:copilot/implement-bucket-exact-coverCopy head branch name to clipboard