98,398 research outputs found

    How proofs are prepared at Camelot

    Full text link
    We study a design framework for robust, independently verifiable, and workload-balanced distributed algorithms working on a common input. An algorithm based on the framework is essentially a distributed encoding procedure for a Reed--Solomon code, which enables (a) robustness against byzantine failures with intrinsic error-correction and identification of failed nodes, and (b) independent randomized verification to check the entire computation for correctness, which takes essentially no more resources than each node individually contributes to the computation. The framework builds on recent Merlin--Arthur proofs of batch evaluation of Williams~[{\em Electron.\ Colloq.\ Comput.\ Complexity}, Report TR16-002, January 2016] with the observation that {\em Merlin's magic is not needed} for batch evaluation---mere Knights can prepare the proof, in parallel, and with intrinsic error-correction. The contribution of this paper is to show that in many cases the verifiable batch evaluation framework admits algorithms that match in total resource consumption the best known sequential algorithm for solving the problem. As our main result, we show that the kk-cliques in an nn-vertex graph can be counted {\em and} verified in per-node O(n(ω+ϵ)k/6)O(n^{(\omega+\epsilon)k/6}) time and space on O(n(ω+ϵ)k/6)O(n^{(\omega+\epsilon)k/6}) compute nodes, for any constant ϵ>0\epsilon>0 and positive integer kk divisible by 66, where 2ω<2.37286392\leq\omega<2.3728639 is the exponent of matrix multiplication. This matches in total running time the best known sequential algorithm, due to Ne{\v{s}}et{\v{r}}il and Poljak [{\em Comment.~Math.~Univ.~Carolin.}~26 (1985) 415--419], and considerably improves its space usage and parallelizability. Further results include novel algorithms for counting triangles in sparse graphs, computing the chromatic polynomial of a graph, and computing the Tutte polynomial of a graph.Comment: 42 p

    Microwave Slow-Wave Structure and Phase-Compensation Technique for Microwave Power Divider

    Get PDF
    In this paper, T-shaped electromagnetic bandgap is loaded on a coupled transmission line itself and its electric performance is studied. Results show that microwave slow-wave effect can be enhanced and therefore, size reduction of a transmission-line-based circuit is possible. However, the transmission-line-based circuits characterize varied phase responses against frequency, which becomes a disadvantage where constant phase response is required. Consequently, a phase-compensation technique is further presented and studied. For demonstration purpose, an 8-way coupled-line power divider with 22.5 degree phase shifts between adjacent output ports, based on the studied slow-wave structure and phase-compensation technique, is developed. Results show both compact circuit architecture and improved phase imbalance are realized, confirming the investigated circuit structures and analyzing methodologies
    corecore