Ciencias de la computación teórica

El siguiente problema es decidible: Dada una gramática libre de contexto , ¿es L ( G ) = ∅ ?solGGL(G)=∅L(G)=∅L(G) = \varnothing El siguiente problema es indecidible: Dada una gramática libre de contexto , ¿es L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} ¿Existe una caracterización de lenguajes …

11 computability  fl.formal-languages 

Me gustaría saber si el siguiente problema se puede resolver en (espacio de registro no determinista):NLNL\mathsf{NL} Dado un grafo dirigido con dos distinguidos vértices y , es que hay un único camino de a en ?GGGssstttssstttGGG Creo que es probable que esté en ya que podemos decidir si hay una …

11 reference-request  graph-theory 

Estoy buscando una estructura de datos de espacio eficiente que contenga conjuntos (sin repetición) de elementos de tamaño de palabras y admita una inserción rápida (O (1) amortizado). Por "espacio eficiente" quiero decir, idealmente, n+o(n)n+o(n)n + o(n) palabras para almacenar nnn elementos. Ser un conjunto es una parte importante de …

11 ds.data-structures 

Actualmente estoy buscando algún buen material de referencia que relacione juegos no locales con aspectos beneficiosos en la comunicación cuántica. Por ejemplo, soy consciente de que los juegos no locales son buenos para reducir la complejidad de la comunicación, así como para garantizar la seguridad de los protocolos QKD. Lo …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

Arreglemos y un número entero t > 0 .0<E<10<E<100 para cualquier para cualquier vector ˉ c ∈ [ 0 , 1 ] n tal que ∑ i ∈ [ n ] c i ≥ E × nnnnc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S …

11 co.combinatorics  it.information-theory 

En 1975, Miller mostró cómo reducir la factorización del número entero para encontrar el período r de una función f ( x ) = a xNNNrrr tal que f ( x + r ) = f ( x ) con algunos elegidos al azar a < N . Es bien …

11 cc.complexity-theory  cr.crypto-security  factoring 

¿Es posible construir un algoritmo que tome como entrada un autómata pushdown junto con la promesa de que el lenguaje aceptado por este autómata L ( M ) es un lenguaje determinista libre de contexto y genera un autómata determinista pushdown N que acepta exactamente el lenguaje aceptado por M …

11 reference-request  computability  fl.formal-languages  automata-theory 

La integridad y solidez en los sistemas de prueba interactivos se definen informalmente como: Integridad: si una afirmación es verdadera, el probador honesto puede convencer al verificador honesto de este hecho whp . Solidez: si una declaración es falsa, el probador de trampa no puede convencer al verificador honesto (de …

11 cc.complexity-theory  interactive-proofs 

Estoy buscando una estructura de datos altamente eficiente para el almacenamiento de datos similar a la siguiente. Etiquetas de identificación Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Tengo que ser capaz de consultar esta estructura de tal manera …

11 ds.data-structures  application-of-theory  db.databases 

No recuerdo haber visto una separación de clases no basada en resultados de diagonalización y relativización. La diagonalización aún podría usarse para separar las clases conocidas restantes, porque los argumentos no relativizantes aún podrían usarse en la conclusión de diagonalización, o en la construcción diagonalizada de la máquina de Turing. …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Todos los museos y exposiciones relacionados con la informática que conozco parecen abarcar solo la historia de la maquinaria informática, pero nada sobre temas de informática. Usted está involucrado en la creación de un nuevo Museo de Computación, creado para educar, entretener e inspirar al público en general en una …

11 soft-question  big-list  ho.history-overview 

La matriz tiene dimensión n × n ( n - 1 ) . Queremos llenar A utilizando números enteros entre 1 y n , ambos inclusive.UNAAAn × n ( n - 1 )n×n(n−1)n \times n(n-1)UNAAA111nortenn Requisitos: Cada columna de es una permutación de 1 , ... , n .UNAAA1 , …

11 co.combinatorics  cr.crypto-security  coding-theory 

¿Es correcto llamar al framework mapReduce un tipo de framework de programación paralela síncrona masiva sin retención de memoria local dentro de los procesadores entre sincronizaciones? Si no, ¿qué modelo de programación paralela encapsula con mayor precisión el marco mapReduce?

11 dc.parallel-comp  machine-models 

Sé que la pregunta "si una fórmula de primer orden tiene un modelo" es indecidible en general.ϕϕ\phi ¿Alguien podría darme un enlace o un libro que dé la respuesta para modelos finitos? Si tengo una fórmula de primer orden , ¿es decidible si ϕ tiene un modelo finito? Estoy bastante …

11 reference-request  lo.logic  computability  finite-model-theory 

Me gustaría preguntar si hay un resultado ya publicado sobre eso: Tomamos todos los caminos diferentes posibles entre cada par de nodos de dos gráficos regulares conectados (con el grado , digamos, y el número de nodos n ) y escribimos sus longitudes. Por supuesto, este número de caminos distintos …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism