The probability $\max_{dd}~\mathrm{adp}^{3\oplus}(da, db, dc \rightarrow dd)$ with user-provided input. More...

#include "common.hh"
#include "adp-xor3.hh"
#include "max-adp-xor3.hh"

Detailed Description

The probability $\max_{dd}~\mathrm{adp}^{3\oplus}(da, db, dc \rightarrow dd)$ with user-provided input.

Author: V.Velichkov, vesse.nosp@m.lin..nosp@m.velic.nosp@m.hkov.nosp@m.@uni..nosp@m.lu

Function Documentation

int main ( )

Main function for the $\max_{dd}~\mathrm{adp}^{3\oplus}$ program.

void max_adp_xor3_program ( )

Program for computing $\max_{dd}~\mathrm{adp}^{3\oplus}$ with user-provided input.