paint-brush
Technical Analysis Of The Correctness And Complexity Of EquivTesterby@computational
123 reads

Technical Analysis Of The Correctness And Complexity Of EquivTester

tldt arrow

Too Long; Didn't Read

The paper provides a technical analysis of the correctness and complexity of EquivTester using COND model and equivalent distributions.
featured image - Technical Analysis Of The Correctness And Complexity Of EquivTester
Computational Technology for All HackerNoon profile picture

Authors:

(1) Diptarka Chakraborty, National University of Singapore, Singapore

(2) Sourav Chakraborty, Indian Statistical Institute, Kolkata;

(3) Gunjan Kumar, National University of Singapore, Singapore;

(4) Kuldeep S. Meel, University of Toronto, Toronto.

Abstract and 1 Introduction

2 Notations and Preliminaries

3 Related Work

4 An Efficient One-Round Adaptive Algorithm and 4.1 High-Level Overview

4.2 Algorithm Description

4.3 Technical Analysis

5 Conclusion

6 Acknowledgements and References

A Missing Proofs

B An O(log log n)-query fully adaptive algorithm

4.3 Technical Analysis












This paper is available on arxiv under CC BY-NC-SA 4.0 DEED license.