xdp-and.hh File Reference

Header file for xdp-and.cc: More...

Go to the source code of this file.

Functions
void	xdp_and_sf (uint32_t A[2][2][2])
void	xdp_and_bf (uint32_t A[2][2][2])
double	xdp_and (uint32_t A[2][2][2], uint32_t da, uint32_t db, uint32_t dc)
bool	xdp_and_is_nonzero (uint32_t da, uint32_t db, uint32_t dc)
double	xdp_and_exper (uint32_t da, uint32_t db, uint32_t dc)

Detailed Description

Header file for xdp-and.cc:

Author

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

Date

2012-2013

Function Documentation

double xdp_and	(	uint32_t	A[2][2][2],
		uint32_t	da,
		uint32_t	db,
		uint32_t	dc
	)

The XOR DP of Boolean AND: efficient computation using pre-computed matrices

void xdp_and_bf

(

uint32_t

A[2][2][2]

)

The XOR DP of Boolean AND: compute matrices using closed Boolean function (BF):

adp-and(da,db->dc) = 2^{-2n} ( 4 (~da_i & ~db_i & ~dc_i) + 2 (~(~da_i & ~db_i)) )

double xdp_and_exper	(	uint32_t	da,
		uint32_t	db,
		uint32_t	dc
	)

The XOR DP of Boolean AND: experimental computation.

void xdp_and_sf

(

uint32_t

A[2][2][2]

)

The XOR DP of Boolean AND: compute matrices using S-function.