An asymptotically optimal lower bound on the OBDD size of the middle bit of multiplication for the pairwise ascending variable order Original Research Article

We prove that each OBDD (ordered binary decision diagram) for the middle bit of image-bit integer multiplication for one of the variable orders which so far achieve the smallest OBDD sizes with respect to asymptotic order of growth, namely the pairwise ascending order image, requires a size of image. This is asymptotically optimal due to a bound of the same order by Amano and Maruoka (2007) .