Showing 1–3 of 3 results for author: Pitchanathan, A

Strided Difference Bound Matrices

Authors: Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser

Abstract: A wide range of symbolic analysis and optimization problems can be formalized using polyhedra. Sub-classes of polyhedra, also known as sub-polyhedral domains, are sought for their lower space and time complexity. We introduce the Strided Difference Bound Matrix (SDBM) domain, which represents a sweet spot in the context of optimizing compilers. Its expressiveness and efficient algorithms are parti… ▽ More A wide range of symbolic analysis and optimization problems can be formalized using polyhedra. Sub-classes of polyhedra, also known as sub-polyhedral domains, are sought for their lower space and time complexity. We introduce the Strided Difference Bound Matrix (SDBM) domain, which represents a sweet spot in the context of optimizing compilers. Its expressiveness and efficient algorithms are particularly well suited to the construction of machine learning compilers. We present decision algorithms, abstract domain operators and computational complexity proofs for SDBM. We also conduct an empirical study with the MLIR compiler framework to validate the domain's practical applicability. We characterize a sub-class of SDBMs that frequently occurs in practice, and demonstrate even faster algorithms on this sub-class. △ Less

Submitted 4 July, 2024; v1 submitted 18 May, 2024; originally announced May 2024.

Comments: Preprint and extended from the CAV 2024 conference version. Fixed issue in arxiv version where URLs were not wrapped

On the Simple Quasi Crossing Number of $K_{11}$

Authors: Arjun Pitchanathan, Saswata Shannigrahi

Abstract: We show that the simple quasi crossing number of $K_{11}$ is $4$. We show that the simple quasi crossing number of $K_{11}$ is $4$. △ Less

Submitted 19 August, 2019; originally announced August 2019.

Comments: 3 pages, 4 figures

Journal ref: Proc. Graph Drawing 2019, LNCS 11904, pages 612-614

Improved Encoding and Counting of Uniform Hypertrees

Authors: Arjun Pitchanathan, Saswata Shannigrahi

Abstract: We consider labeled $r$-uniform hypertrees having $n \ge r \ge 2$ vertices. The number of hyperedges in such a hypertree is $m = (n - 1)/(r - 1)$. We show that there are exactly $f(n, r) = \frac{(n-1)! n^{m-1}}{(r-1)!^m m!}$ $r$-uniform hypertrees with $n$ vertices labeled with distinct integers. We also give an encoding scheme that encodes such hypertrees using, on an average, at most… ▽ More We consider labeled $r$-uniform hypertrees having $n \ge r \ge 2$ vertices. The number of hyperedges in such a hypertree is $m = (n - 1)/(r - 1)$. We show that there are exactly $f(n, r) = \frac{(n-1)! n^{m-1}}{(r-1)!^m m!}$ $r$-uniform hypertrees with $n$ vertices labeled with distinct integers. We also give an encoding scheme that encodes such hypertrees using, on an average, at most $1 + \log_2 e$ bits more than $\log_2(f(n, r))$. △ Less

Submitted 17 December, 2018; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: Withdrawn due to discovery of a prior work by Lavault [1] which contains the encoding and decoding algorithms described in section 2 of our work. In section 3, we fill in some details required to make the encoding scheme near-optimal, which makes the running time $\widetilde{O}(n^2)$. [1] C. Lavault. A note on Prüfer-like coding and counting forests of uniform hypertrees. CSIT 2011, pp.82-85