Guest Editorial: Computing and Combinatorics

Abstract

“Computing and Combinatorics” is an interesting and fundamental research area, which involves several fields, ranging from algorithms, theory of computation, and computational complexity to combinatorics related to computing. This issue consists of six papers, which are briefly discussed as follows. The “Shorthand Universal Cycles for Permutations” paper investigates SP-cycles with maximum and minimum ’weight’. The authors show that periodic min-weight SP-cycles correspond to spanning trees of the (n− 1) permutohedron and provides two constructions by using ’half-hunts’ from bell-ringing and the cool-lex order. In “Zero-Knowledge Argument for Simultaneous Discrete Logarithms,” the authors present an EQDL (the equality of two discrete logarithms) protocol in the ROM (random oracle model) which saves approximately 40 % of the computational cost and approximately 33 % of the prover’s outgoing message size. This improvement benefits a variety of interesting cryptosystems, ranging from signatures and anonymous credential systems, to verifiable secret sharing and threshold cryptosystems. The issue also includes the study of computational complexity. Namely, the paper “Tile-Packing Tomography is NP-hard” shows that for a fixed tile, it is NP-hard to reconstruct its tilings from their projections for all types of tiles. The #NC1 upper bound for the problem of counting accepting paths in any fixed visibly pushdown automaton is considered in “Counting paths in VPA is complete for #NC1”. The paper also shows that the difference between #BWBP and #NC1 is captured exactly by the addition of a visible stack to a nondeterministic finite-state automaton. Due to the NP-hardness of the problems, approximation algorithms are needed to provide a near-optimal solution. In “Exact and Approximation Algorithms for Geometric and General Capacitated Set Cover Problems”, the first known polynomial-