Preguntas etiquetadas con nt.number-theory

¿Cuál es la complejidad de decidir si un intervalo de los números naturales contiene un primo? Una variante de la criba de Eratóstenes da una algoritmo, donde L es la longitud del intervalo y ~ cueros factores poli-logarítmicas en el punto de partida del intervalo; ¿Podemos hacerlo mejor (solo en …

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

En el capítulo 4 de A Second Course in Automata Theory de Jeffrey Shallit, el siguiente problema aparece como abierto: p(n)p(n)p(n)∈Np(n) \in \mathbb{N}n∈Nn \in \mathbb{N}{ p ( n ) ∣ n ⩾ 0 } {p(n)∣n⩾0}\{p(n) \mid n \geqslant 0\}p pp⩽ 1 es .⩽1\leqslant 1 ¿Cuál es su estado ahora (en …

14 fl.formal-languages  nt.number-theory  grammars 

A partir de los comentarios sobre una de mis preguntas sobre MathOverflow, tengo la sensación de que la pregunta sobre que GCD está en vs. es similar a la pregunta sobre la Factorización de enteros en vs. .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} ¿Hay algo así como un algoritmo "quantum " para GCD ya que …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

Estoy interesado en el problema "más cercano" (y "más complejo") de la conjetura de Collatz que se ha resuelto con éxito (que Erdos dijo que "las matemáticas aún no están maduras para tales problemas"). Se ha demostrado que una clase de problemas "tipo Collatz" es indecidible. Sin embargo, los problemas …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

'Dado , ¿hay x , y ∈ N , a x 2 + b y = c ' es N P -completo?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} ¿A qué clase de complejidad pertenece 'Dado , a qué pertenece x , y ∈ N , a x 2 + b y 2 = c …

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

¿Cuál es el más eficiente (en la complejidad del tiempo) algoritmo conocido hoy en día para la Divisibity Decisión Problema: dados dos números enteros, por ejemplo y b , hace una división B ? Que quede claro que lo que pido no es (necesariamente) un algoritmo para el cálculo del …

12 time-complexity  lower-bounds  nt.number-theory  primes 

Considere el siguiente problema de prueba de membresía de subgrupo abelian . Entradas: Un grupo abeliano finito G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} con arbitrariamente grande didid_i . Un generador de conjunto {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace de un subgrupo H⊂GH⊂GH\subset G . Un elemento b∈Gb∈Gb\in G . Salida: 'sí' si b∈Hb∈Hb\in H y 'no' en otro lugar …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

Sean Anderson publicó trucos de bit twiddling que contienen el algoritmo de Eric Cole para encontrar el de un entero de N bits v en operaciones O ( lg ( N ) ) con multiplicación y búsqueda.⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceilNNNvvvO(lg(N))O(lg⁡(N))O(\lg(N)) El algoritmo se basa en un número "mágico" de la secuencia …

11 nt.number-theory  comp-number-theory 

Merlín, que tiene recursos computacionales ilimitados, quiere convencer a Arthur de que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k para (N,m,k)(N,m,k)(N,m,k) con k=O(logN)k=O(log⁡N)k=O(\log N) y m=O(N).m=O(N).m=O(N). Calcular esta suma de forma directa (exponenciación modular y suma) lleva tiempo N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} con multiplicación basada en FFT. * Pero Arthur solo …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Lo siento si me equivoco con el lugar para hacer la pregunta (¿tal vez debería ir a stackoverflow.com/mathoverflow.net?). Me pregunto si hay una prueba de que al evaluar el algoritmo euclidiano extendido, los coeficientes de Bézout (es decir, s y t en identidad como + bt = mcd ( a …

11 ds.algorithms  nt.number-theory 

Dados y M , ¿es posible obtener el bit M '(o dígito de cualquier base pequeña) de N ! en tiempo / espacio de O ( p ( l n ( N ) , l n ( M ) ) ) , donde p ( x , y ) es …

11 ds.algorithms  nt.number-theory 

Supongamos que tengo dos listas de enteros positivos de la personalidad limitada, y tomo el producto de todos los elementos de cada lista. ¿Cuál es la mejor manera de determinar qué producto es más grande? Por supuesto, simplemente puedo calcular cada producto, pero espero que haya un enfoque más eficiente, …

10 time-complexity  nt.number-theory 

Fijar . Para cualquier suficientemente grande , nos gustaría etiquetar todos los subconjuntos de de tamaño exactamente por enteros positivos de . Nos gustaría que este etiquetado satisfaga la siguiente propiedad: hay un conjunto de enteros, stn { 1 .. n } n / k { 1 ... T } …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Mi pregunta es acerca de la equivalencia de la seguridad de varias funciones unidireccionales candidatas que pueden construirse en función de la dureza del factoring. Asumiendo el problema de FACTORIZACIÓN: [Dado para primos aleatorios P , Q < 2 n , encuentre P , Q. ]norte= PQN=PQN = PQPAG, Q …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Dado el coprimo , ¿puede calcular rápidamentea,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Aquí x,yx,yx, y son enteros. Obviamente, tomar x=y=0x=y=0x = y = 0 da una respuesta poco interesante; en general, ¿qué tan cerca pueden llegar estos poderes? Además, ¿cómo calculamos rápidamente la minimización de x,yx,yx, y …

9 ds.algorithms  randomized-algorithms  nt.number-theory  comp-number-theory