research
∙
04/22/2022
Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies
In this paper, we study quantum Ordered Binary Decision Diagrams(OBDD) m...
share
research
∙
04/22/2021
Affine automata verifiers
We initiate the study of the verification power of AfAs as part of Arthu...
research
∙
02/13/2018
Quantum Online Streaming Algorithms with Constant Number of Advice Bits
Online algorithms are known model that is investigated with respect to a...
research
∙
10/26/2017
Quantum versus Classical Online Algorithms with Advice and Logarithmic Space
In this paper, we consider online algorithms. Typically the model is inv...
research
∙
09/25/2017