Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

1
Comment citer le nouveau résultat d'isomorphisme du graphe de Babai?
Récemment, Babai a publié un article sur le STOC 2016 affirmant que l'isomorphisme des graphes peut être résolu en temps quasi-polynomial. Au début de 2017, Babai a rétracté la réclamation quasi-polynomiale en raison de graves erreurs trouvées par Harald Helfgott. Comme expliqué par Babai lui-même, cette faille rend l'amélioration plus …
2
Entiers «presque triés» en temps linéaire
Je souhaite trier un tableau de valeurs entières positives L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n en temps linéaire (dans le modèle RAM avec mesure de coût uniforme, c'est-à-dire que les entiers peuvent avoir jusqu'à la taille logarithmique mais les opérations arithmétiques sur eux sont supposées prendre le temps unitaire). Bien sûr, …
3
Séparation des classes horaires
Un de mes étudiants a récemment posé la question suivante: SupposonsDoit-il exister un h (n) tel que DTIME (f (n)) \ subsetneq DTIME (h (n)) \ subsetneq DTIME (g (n))?DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h(n)h(n)h(n)DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n)) \subsetneq DTIME(h(n)) \subsetneq DTIME(g(n))? Cela pourrait probablement être démontré en construisant un h(n)h(n)h(n) si f,gf,gf,g sont constructibles dans …
1
Caractérisation de
C'est une preuve standard dans les cours d'automates que pour et | Σ | ≥ 2 que S ( L ) = { w w : w ∈ L } n'est pas une langue sans contexte.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Il est également vrai …
1
Sont DPDAs sans
Dans la description formelle des automates déterministes de refoulement, ils autorisent mouvements, où la machine peut faire apparaître ou pousser des symboles sur la pile sans lire un symbole de l'entrée. Si ces mouvements ϵ ne sont pas autorisés et que la pile ne peut être modifiée qu'une fois après …
3
Trouver un témoin dans la somme minkowski d'entiers
Soit et sous-ensembles de . Nous souhaitons trouver la somme de Minkowski .AAABBB{0,…,n}{0,…,n}\{0,\ldots,n\}A+B={a+b | a∈A,b∈B}A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χX:{0,…,2n}→{0,1}χX:{0,…,2n}→{0,1}\chi_X:\{0,\ldots,2n\}\to \{0,1\} is a characteristic function of XXX if χX(x)={1 if x∈X0 otherwiseχX(x)={1 if x∈X0 otherwise\chi_X(x) = \begin{cases} 1 \text{ if } x\in X\\ 0 \text{ otherwise}\end{cases} Let fff be the …
16 convolution  fft 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.