209 research outputs found
Width Hierarchy for k-OBDD of Small Width
In this paper was explored well known model k-OBDD. There are proven width
based hierarchy of classes of boolean functions which computed by k-OBDD. The
proof of hierarchy is based on sufficient condition of Boolean function's non
representation as k-OBDD and complexity properties of Boolean function SAF.
This function is modification of known Pointer Jumping (PJ) and Indirect
Storage Access (ISA) functions.Comment: 8 page
Calculating Valid Domains for BDD-Based Interactive Configuration
In these notes we formally describe the functionality of Calculating Valid
Domains from the BDD representing the solution space of valid configurations.
The formalization is largely based on the CLab configuration framework
On Computational Power of Quantum Read-Once Branching Programs
In this paper we review our current results concerning the computational
power of quantum read-once branching programs. First of all, based on the
circuit presentation of quantum branching programs and our variant of quantum
fingerprinting technique, we show that any Boolean function with linear
polynomial presentation can be computed by a quantum read-once branching
program using a relatively small (usually logarithmic in the size of input)
number of qubits. Then we show that the described class of Boolean functions is
closed under the polynomial projections.Comment: In Proceedings HPC 2010, arXiv:1103.226
Algorithms for Quantum Branching Programs Based on Fingerprinting
In the paper we develop a method for constructing quantum algorithms for
computing Boolean functions by quantum ordered read-once branching programs
(quantum OBDDs). Our method is based on fingerprinting technique and
representation of Boolean functions by their characteristic polynomials. We use
circuit notation for branching programs for desired algorithms presentation.
For several known functions our approach provides optimal QOBDDs. Namely we
consider such functions as Equality, Palindrome, and Permutation Matrix Test.
We also propose a generalization of our method and apply it to the Boolean
variant of the Hidden Subgroup Problem
Compressing Binary Decision Diagrams
The paper introduces a new technique for compressing Binary Decision Diagrams
in those cases where random access is not required. Using this technique,
compression and decompression can be done in linear time in the size of the BDD
and compression will in many cases reduce the size of the BDD to 1-2 bits per
node. Empirical results for our compression technique are presented, including
comparisons with previously introduced techniques, showing that the new
technique dominate on all tested instances.Comment: Full (tech-report) version of ECAI 2008 short pape
- …