Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added verification for PTC-BCR-3 #58

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

JoelManYunLee
Copy link

Modified reproducing.m to include verification for PTR-BCR-3 on Pg.22 eq 65.

b = dec2bin(2^5-1:-1:0)-'0';
b1=b(:,1);b2=b(:,2);b3=b(:,3);b4=b(:,4);ba=b(:,5);
LHS = min(b1.*b2.*b3.*b4);
RHS = min(1/2*(b1 + b2 + b3 + b4 - 2*ba).*(b1 + b2 + b3 + b4 - 2*ba - 1));
isequal(LHS, RHS);

@ndattani
Copy link
Member

ndattani commented Apr 23, 2022

Well done @JoelManYunLee! I notice though that you're only verifying that the min(LHS) = min(RHS), whereas for PTR-BCR-3, we actually can show something more powerful which is that LHS = min_ba(RHS) where the minimization is over all auxiliary variables. I'd recommend to take a look at the code that was done here for PTR-BCR-4.

I would also encourage you to do the following:

  • Test the equation in the "Summary" section for k = 8.
  • Test the equation in the "Alternate forms" section for k=8.
  • Expand the equation in the "Example" section and add it in a new line (with an equation number too). You can add this into the book's source code here.
  • Once you're done the above step, then add "LaTeX" to your resume if you don't have it there already :) Please don't send me a new copy of the resume though.
  • The expanded version of the "Example" should also be tested in reproducing.m.
  • Once the added equation is in the book's PDF file, please show a screenshot of just that equation (not the full page) in a reply here, so that I can verify that the PDF looks good :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants