Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Jean-Camille Birget"'
The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups
Publikováno v:
International Journal of Algebra and Computation. 32:1261-1274
In this paper, we define the symmetric Post Correspondence Problem (PCP) and prove that it is undecidable. As an application, we show that the original proof of undecidability of the freeness problem for [Formula: see text] integer matrix semigroups
Autor:
Jean-Camille Birget
Publikováno v:
Journal of Algebra. 553:268-318
We prove that the word problem of the Brin-Thompson group nV over a finite generating set is coNP -complete for every n ≥ 2 . It is known that { n V : n ≥ 1 } is an infinite family of infinite, finitely presented, simple groups. We also prove tha
Autor:
Jean-Camille Birget
Publikováno v:
Communications in Algebra. 48:3429-3438
We give a direct proof that all Higman-Thompson groups of the form Gk,1 (for k≥2) are embedded in one another, which is a recent result of N. Matte Bon. This extends the embeddings given by Higman ...
Autor:
Jean-Camille Birget
Publikováno v:
Semigroup Forum. 98:369-397
We study the P versus NP problem through properties of functions and monoids, continuing the work of [3]. Here we consider inverse monoids whose properties and relationships determine whether P is different from NP, or whether injective one-way funct
Autor:
Jean-Camille Birget
Publikováno v:
International Journal of Algebra and Computation. 28:791-835
We continue with the functional approach to the P -versus- NP problem, begun in [J. C. Birget, Semigroups and one-way functions, Int. J. Algebra Comput. 25(1–2) (2015) 3–36; J. C. Birget, Infinitely generated semigroups and polynomial complexity,
Autor:
Jean-Camille Birget
Publikováno v:
International Journal of Algebra and Computation. 26:727-750
This paper continues the functional approach to the [Formula: see text]-vs.-[Formula: see text] problem, begun in [J. C. Birget, Semigroups and one-way functions, Internat. J. Algebra Comput. 25 (1–2) (2015) 3–36]. Here, we focus on the monoid [F
Publikováno v:
J. Appl. Probab. 51, no. 1 (2014), 1-18
We construct a wavelet-based almost-sure uniform approximation of fractional Brownian motion (FBM) (Bt(H))_t∈[0,1] of Hurst index H ∈ (0, 1). Our results show that, by Haar wavelets which merely have one vanishing moment, an almost-sure uniform e
Autor:
Jean-Camille Birget
Publikováno v:
International Journal of Foundations of Computer Science. 22:1925-1938
We reprove a result of Boppana and Lagarias: If Pi_2^P is different from Sigma_2^P then there exists a partial function f that is computable by a polynomial-size family of circuits, but no inverse of f is computable by a polynomial-size family of cir
Autor:
Jean-Camille Birget
Publikováno v:
International Journal of Algebra and Computation. 21:1-34
The Thompson–Higman groups Gk,i have a natural generalization to monoids, called Mk,i, and inverse monoids, called Invk,i. We study some structural features of Mk,i and Invk,i and investigate the computational complexity of related decision problem
Autor:
Jean-Camille Birget
Publikováno v:
International Journal of Algebra and Computation. 20:489-524
We study the monoid generalization Mk, 1 of the Thompson–Higman groups, and we characterize the [Formula: see text]- and the [Formula: see text]-order of Mk, 1. Although Mk, 1 has only one nonzero [Formula: see text]-class and k-1 nonzero [Formula: