Abstract

For a permutation π:[K]→[K]π: [K]\rightarrow [K], a sequence f:{1,2,⋯ ,n}→Rf: \{1,2,\cdots, n\}\rightarrow \mathbb R contains a ππ-pattern of size KK, if there is a sequence of indices (i1,i2,⋯ ,iK)(i_1, i_2, \cdots, i_K) (i1<i2<⋯<iKi_1<i_2<\cdots<i_K), satisfying that f(ia)<f(ib)f(i_a)<f(i_b) if π(a)<π(b)π(a)<π(b), for a,b∈[K]a,b\in [K]. Otherwise, ff is referred to as ππ-free. For the special case where π=(1,2,⋯ ,K)π= (1,2,\cdots, K), it is referred to as the monotone pattern. \cite{newman2017testing} initiated the study of testing ππ-freeness with one-sided error. They focused on two specific problems, testing the monotone permutations and the (1,3,2)(1,3,2) permutation. For the problem of testing monotone permutation (1,2,⋯ ,K)(1,2,\cdots,K), \cite{ben2019finding} improved the (log⁡n)O(K2)(\log n)^{O(K^2)} non-adaptive query complexity of \cite{newman2017testing} to O((log⁡n)⌊log⁡2K⌋)O((\log n)^{\lfloor \log_{2} K\rfloor}). Further, \cite{ben2019optimal} proposed an adaptive algorithm with O(log⁡n)O(\log n) query complexity. However, no progress has yet been made on the problem of testing (1,3,2)(1,3,2)-freeness. In this work, we present an adaptive algorithm for testing (1,3,2)(1,3,2)-freeness. The query complexity of our algorithm is O(ε−2log⁡4n)O(ε^{-2}\log^4 n), which significantly improves over the O(ε−7log⁡26n)O(ε^{-7}\log^{26}n)-query adaptive algorithm of \cite{newman2017testing}. This improvement is mainly achieved by the proposal of a new structure embedded in the patterns.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.