New Bounds on the OBDD-Size of Integer Multiplication via Universal Hashing

Electronic Colloquium on Computational Complexity (ECCC) 01/2000; 7. DOI: 10.1007/3-540-44693-1_49
Source: DBLP

ABSTRACT Ordered binary decision diagrams (OBDDs) nowadays belong to the most common representation types for Boolean functions. Although they allow important operations such as satisfiability test and equality test to be performed efficiently, their limitation lies in the fact that they may require exponential size for important functions. Bryant [8] has shown that any OBDD-representation of the function MULn-1,n, which computes the middle bit of the product of two n-bit numbers, requires at least 2n/8 nodes. In this paper a stronger bound of 2n/2/61 is proven by a new technique, using a recently found universal family of hash functions [23]. As a result, one cannot hope anymore to find reasonable small OBDDs even for the multiplication of relatively short integers, since for only a 64-bit multiplication millions of nodes are required. Further, a first non-trivial upper bound of 7/3 ċ 24n/3 for the OBDD size of MULn-1,n is provided.

  • [Show abstract] [Hide abstract]
    ABSTRACT: Ordered binary decision diagrams (OBDDs) are one of the most common dynamic data structures for Boolean functions. The reachability problem, i.e., computing the set of nodes reachable from a predefined vertex s ∈ V in a digraph G = (V,E), is an important problem in computer-aided design, hardware verification, and model checking. Sawitzki (2006) has presented exponential lower bounds on the space complexity of a restricted class of symbolic OBDD-based algorithms for the reachability problem. Here, these lower bounds are improved by presenting a larger lower bound on the OBDD complexity of the most significant bit of integer multiplication.
    LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings; 01/2010
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Integer multiplication as one of the basic arithmetic functions has been in the focus of several complexity theoretical investigations and ordered binary decision diagrams (OBDDs) are one of the most common dynamic data structures for Boolean functions. Only in 2008 the question whether the deterministic OBDD complexity of the most significant bit of integer multiplication is exponential has been answered affirmatively. Since probabilistic methods have turned out to be useful in almost all areas of computer science, one may ask whether randomization can help to represent the most significant bit of integer multiplication in smaller size. Here, it is proved that the randomized OBDD complexity is also exponential.
    Inf. Process. Lett. 01/2011; 111:151-155.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Two-party Secure Function Evaluation (SFE) al- lows mutually distrusting parties to (jointly) correctly compute a function on their private input data, without revealing the inputs. SFE, properly designed, guarantees to satisfy the most stringent security requirements, even for interactive computation. Two-party SFE can benefit almost any client- server interaction where privacy is required, such as banking, TV, targeted advertisements, etc. Today, SFE is a subject of immense amount of research in a variety of directions, and is not easy to navigate. In this work, we systematize some of the vast SFE research knowledge. It turns out that the most efficient SFE protocols are obtained by combining several basic techniques, such as Garbled Circuit (GC) and computation under Homomorphic Encryption (HE). We show how these techniques can be viewed as building blocks with clean interfaces, which can be easily combined for a complete efficient solution. Further, our approach naturally lends itself to automated protocol generation (compilation). We believe, today, this approach is the best candidate for implementation and deployment. We consider passive and active cheating, and give exact computation and communication costs of the building blocks.
    IACR Cryptology ePrint Archive. 01/2010; 2010:79.