from0k2bp
from0k2bp copied to clipboard
changed first run index on pag12 (from 1 to 0) and underlined C_0 has to be constant
On page 12, changed first run index from 1 to 0 to be coherent with m+1 number of runs
I have studied better the knowledge extractor proof on page 11-14 and issue #9 seems correct, even if for a wrong reason as I have explained in the issue. So I'm integrating this PR (and editing its title consequently) with: C_{0,i} -> C_0
I'm not squashing to make it possible to explore the changes history, anyway available to do it if required by this repo's PR netiquette.