Affiliation:
1. Chinese University of Hong Kong
2. University of Bayreuth
Abstract
Partial order multiway search (POMS) is an important problem that finds use in crowdsourcing, distributed file systems, software testing, etc. In this problem, a game is played between an algorithm A and an oracle, based on a directed acyclic graph G known to both parties. First, the oracle picks a vertex t in G called the target; then, A aims to figure out which vertex is t by probing reachability. In each probe, A selects a set Q of vertices in G whose size is bounded by a pre-agreed value k, and the oracle then reveals, for each vertex q 2 Q, whether q can reach the target in G. The objective of A is to minimize the number of probes. This article presents an algorithm to solve POMS in O(log1+k n + d k log1+d n) probes, where n is the number of vertices in G, and d is the largest out-degree of the vertices in G. The probing complexity is asymptotically optimal.
Publisher
Association for Computing Machinery (ACM)
Subject
Information Systems,Software
Reference29 articles.
1. M. Adler and B. Heeringa . Approximating optimal binary decision trees. Algorithmica, 62(3--4):1112--1121 , 2012 . M. Adler and B. Heeringa. Approximating optimal binary decision trees. Algorithmica, 62(3--4):1112--1121, 2012.
2. Decision Trees for Geometric Models
3. Y. Ben-Asher and E. Farchi . The cost of searching in general trees versus complete binary trees. Technical report , 1997 . Y. Ben-Asher and E. Farchi. The cost of searching in general trees versus complete binary trees. Technical report, 1997.
4. Optimal Search in Trees
5. Searching in random partially ordered sets