In this work, we consider the Minimum Cost Submodular Cover (MCSC) problem over a ground set of size n, which aims at finding a subset with the minimal cost required such that the utility submodular function exceeds a...
详细信息
In this work, we consider the Minimum Cost Submodular Cover (MCSC) problem over a ground set of size n, which aims at finding a subset with the minimal cost required such that the utility submodular function exceeds a given threshold. The problem has recently attracted a lot of attention due to its applications in various domains of artificial intelligence and combinatorial optimization, such as spreading and detecting information in social networks, data summuraization, recommendation systems, etc. However, the best approximation algorithm for the problem requires an expensive query complexity of O(n(2)) that may become infeasible for some real applications with a massive size of data. To address this issue, we propose a bicriteria approximation algorithm that keeps the performance guarantees but significantly reduces the required number of queries and running time than the cutting- edge algorithm. In particular, our algorithm returns a ((1 + epsilon)(1 + log(1/delta)), 1 - delta)-bicriteria ratio and takes O(n log n) query complexity, where epsilon, delta > 0 are constant parameters. Besides the theoretical analysis, we conduct extensive experiments on two applications: Twitter feed summarization threshold and threshold influence in social networks. The results demonstrate that our algorithm outperforms the stateof-the-art regarding solution quality and query complexity.
"Not Only SQL" (NoSQL) solutions are becoming increasingly widespread in modern data warehouses. However, integrating these solutions, known for their schema-less structures, introduces a significant challen...
详细信息
"Not Only SQL" (NoSQL) solutions are becoming increasingly widespread in modern data warehouses. However, integrating these solutions, known for their schema-less structures, introduces a significant challenge when engaging in online analytical processing. A notable challenge is the lack of standardized representation for various online analytical processing operations (OLAP). Furthermore, managing and handling data with varying or absent schemes can introduce complexities and interfere with the smooth execution of OLAP operations. This paper aims to deal with the prior challenge. We propose an innovative algebra designed for OLAP operations in document-oriented NoSQL data warehouses. This OLAP algebra encloses essential operators like Project, Select, Union and Aggregate as well as more complex operators such as Slice, Dice, Roll-up, Drill-down, and Pivot. Introducing an algebra for OLAP operators in NoSQL databases improves performance, standardizes operations, simplify data analysis, and maximizes flexibility and scalability. To assess the effectiveness of the proposed algebra, we conducted a comprehensive evaluation using a COVID-19 case study implemented under MongoDB.
This article treats AND -OR tree computation in terms of query complexity. We are interested in the cases where assignments (inputs) or algorithms are randomized. For the former case, it is known that there is a uniqu...
详细信息
This article treats AND -OR tree computation in terms of query complexity. We are interested in the cases where assignments (inputs) or algorithms are randomized. For the former case, it is known that there is a unique randomized assignment achieving the distributional complexity of balanced trees. On the other hand, the dual problem has the opposite result;the optimal randomized algorithms for balanced trees are not unique. We extend the latter study on randomized algorithms to weakly -balanced trees, and see that the uniqueness still fails.
Correlation functions are often employed to quantify the relationships among interdependent variables or sets of ***,a new class of correlation functions,called FORRELATION,has been introduced by Aaronson and Ambainis...
详细信息
Correlation functions are often employed to quantify the relationships among interdependent variables or sets of ***,a new class of correlation functions,called FORRELATION,has been introduced by Aaronson and Ambainis for studying the query complexity of quantum *** was found that there exists a quantum query algorithm solving 2-fold FORRELATION problems with an exponential quantum speedup over all possible classical means,which represents essentially the largest possible separation between quantum and classical query *** we report an experimental study probing the2-fold and 3-fold FORRELATIONS encoded in nuclear *** major experimental challenge is to control the spin fluctuation to within a threshold value,which is achieved by developing a set of optimized GRAPE pulse ***,our small-scale implementation indicates that the quantum query algorithm is capable of determining the values of FORRELATIONS within an acceptable accuracy required for demonstrating quantum supremacy,given the current technology and in the presence of experimental noise.
A 1-median in a finite metric space is a point with the minimum average distance to all other points. Given a positive integer n and oracle access to a distance metric on {1, 2,..., n}, we study the problem of finding...
详细信息
A 1-median in a finite metric space is a point with the minimum average distance to all other points. Given a positive integer n and oracle access to a distance metric on {1, 2,..., n}, we study the problem of finding a 1-median. In particular, we show the nonexistence of (1) deterministic O(1)-approximation o(n)-query algorithms, (2) deterministic (2 - Omega(1))-approximation o(n(2))-query algorithms for graph metrics, (3) deterministic (3 - Omega(1))-approximation o(n(2))-query algorithms and (4) Monte-Carlo (2 - Omega(1))-approximation o(n)-query algorithms with an Omega(1) probability of success. We also show a Monte-Carlo (2 + epsilon)-approximation O((log(2)(1/epsilon))/epsilon(3))-query algorithm with a 1 - O(epsilon) probability of success, where epsilon is an element of (0. 1). (C) 2011 Elsevier B.V. All rights reserved.
As one of the applications of Grover search, an exact quantum algorithm for the symmetric weight decision problem of a Boolean function has been proposed recently. Although the proposed method shows a quadratic speedu...
详细信息
As one of the applications of Grover search, an exact quantum algorithm for the symmetric weight decision problem of a Boolean function has been proposed recently. Although the proposed method shows a quadratic speedup over the classical approach, it only applies to the symmetric case of a Boolean function whose weight is one of the pair {0 < w(1) < w(2) < 1, w(1) + w(2) = 1}. In this article, we generalize this algorithm in two ways. Firstly, we propose a quantum algorithm for the more general asymmetric case where {0 < w(1) < w(2) < 1}. This algorithm is exact and computationally optimal. Secondly, we build on this to exactly solve the multiple weight decision problem for a Boolean function whose weight as one of {0 < w(1) < w(2) < center dot center dot center dot < w(m) < 1}. This extended algorithm continues to show a quantum advantage over classical methods. Thirdly, we compare the proposed algorithm with the quantum counting method. For the case with two weights, the proposed algorithm shows slightly lower complexity. For the multiple weight case, the two approaches show different performance depending on the number of weights and the number of solutions. For smaller number of weights and larger number of solutions, theweight decision algorithm can show better performance than the quantum counting method. Finally, we discuss the relationship between the weight decision problem and the quantum state discrimination problem.
The counterfeit coin problem requires us to find all false coins from a given bunch of coins using a balance scale. We assume that the balance scale gives us only "balanced" or "tilted" information...
详细信息
The counterfeit coin problem requires us to find all false coins from a given bunch of coins using a balance scale. We assume that the balance scale gives us only "balanced" or "tilted" information and that we know the number k of false coins in advance. The balance scale can be modeled by a certain type of oracle and its query complexity is a measure for the cost of weighing algorithms (the number of weighings). In this paper, we study the quantum query complexity for this problem. Let Q(k, N) be the quantum query complexity of finding all k false coins from the N given coins. We show that for any k and N such that k < N/2, Q(k, N) = O(k(1/4)), contrasting with the classical query complexity, Omega (k log(N/k)), that depends on N. So our quantum algorithm achieves a quartic speed-up for this problem. We do not have a matching lower bound, but we show some evidence that the upper bound is tight: any algorithm, including our algorithm, that satisfies certain properties needs Omega(k(1/4)) queries. (C) 2012 Elsevier B.V. All rights reserved.
We investigate the query complexity of the fair allocation of indivisible goods. For two agents with arbitrary monotonic utilities, we design an algorithm that computes an allocation satisfying envy-freeness up to one...
详细信息
We investigate the query complexity of the fair allocation of indivisible goods. For two agents with arbitrary monotonic utilities, we design an algorithm that computes an allocation satisfying envy-freeness up to one good (EF1), a relaxation of envy-freeness, using a logarithmic number of queries. We show that the logarithmic query complexity bound also holds for three agents with additive utilities and that a polylogarithmic bound holds for three agents with monotonic utilities. These results suggest that it is possible to fairly allocate goods in practice even when the number of goods is extremely large. By contrast, we prove that computing an allocation satisfying envy-freeness and another of its relaxations, envy-freeness up to any good (EFX), requires a linear number of queries even when there are only two agents with identical additive utilities.
We study nondeterministic quantum algorithms for Boolean functions f. Such algorithms have positive acceptance probability on input x iff f(x) = 1. In the setting of query complexity, we show that the nondeterministic...
详细信息
We study nondeterministic quantum algorithms for Boolean functions f. Such algorithms have positive acceptance probability on input x iff f(x) = 1. In the setting of query complexity, we show that the nondeterministic quantum complexity of a Boolean function is equal to its "nondeterministic polynomial" degree. We also prove a quantum-vs.-classical gap of 1 vs. n for nondeterministic query complexity for a total function. In the setting of communication complexity, we show that the nondeterministic quantum complexity of a two-party function is equal to the logarithm of the rank of a nondeterministic version of the communication matrix. This implies that the quantum communication complexities of the equality and disjointness functions are n + 1 if we do not allow any error probability. We also exhibit a total function in which the nondeterministic quantum communication complexity is exponentially smaller than its classical counterpart.
We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for example, deterministic, randomized, and quantum query complexities;block sensiti...
详细信息
We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for example, deterministic, randomized, and quantum query complexities;block sensitivity;certificate complexity;and degree as a real polynomial. The algorithms compute the properties, given an n-variable function's truth table (of size N = 2(n)) as input. Our main results are the following: - O(N log(2) (3) log N) algorithms for many common properties, - an O(Nlog(2) (5) log N) algorithm for block sensitivity, - an O( N) algorithm for testing "quasi symmetry," - a notion of a " tree decomposition" of a Boolean function, proof that the decomposition is unique, and an O(N log(2) (3) log N) algorithm for finding it, - a subexponential-time approximation algorithm for space-bounded quantum query complexity. To develop this algorithm, we give a new way to search systematically through unitary matrices using finite-precision arithmetic. The algorithms discussed have been implemented in a linkable library.
暂无评论