We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diļ¬...
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
Abstract. Given a subset S of N, ļ¬ltering a word a0a1 Ā· Ā· Ā· an by S consists in deleting the letters ai such that i is not in S. By a natural generalization, denote by L[S], w...
Jean Berstel, Luc Boasson, Olivier Carton, Bruno P...
We show that Graph Isomorphism is in the complexity class SPP, and hence it is in āP (in fact, it is in ModkP for each k ā„ 2). We derive this result as a corollary of a more g...
Sparse kernel regressors have become popular by applying the support vector method to regression problems. Although this approach has been shown to exhibit excellent generalization...