Ciencias de la computación teórica

El algoritmo de Brzozowski para convertir un DFA en un DFA de estado mínimo equivalente es notablemente simple: si denota el NFA formado al invertir todos los bordes en un DFA , haciendo que el estado inicial anterior sea un estado de aceptación, y haciendo que el anterior acepte estados …

9 automata-theory  minimization 

Por un lado, el segundo teorema de incompletitud de Gödel establece que cualquier teoría formal consistente que sea lo suficientemente fuerte como para expresar cualquier declaración aritmética básica no puede probar su propia consistencia. Por otro lado, la propiedad de Church-Rosser de un sistema formal (reescritura) nos dice que es …

9 lo.logic  type-theory  lambda-calculus 

He estado pensando en la siguiente pregunta en varias ocasiones desde que vi esta pregunta sobre Criptografía . Pregunta Sea RRR una relación TFNP . ¿Puede un oráculo aleatorio ayudar a P / poly a romper RRR con una probabilidad no despreciable? Más formalmente, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Hace para …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

Creo que las respuestas a esta pregunta dan clases tales que para todos los polinomios , hay un problema en la clase que no tiene circuitos de tamaño . Sin embargo, estoy preguntando sobre el tamaño del circuito .p ( n ) ωpppp(n)p(n)p(n)ω(n)ω(n)\omega \hspace{.02 in}(n) (⟨00,11,22,31,44,51,66,71,88,91,...⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 …

9 circuit-complexity  lower-bounds 

En el clásico artículo PLDI'98 de Necula, "El diseño e implementación de un compilador certificador", el verificador de alto nivel utiliza: VCGen para generar condiciones de verificación (predicados de seguridad) Probador del teorema lógico de primer orden para probar las condiciones Comprobador de pruebas LF para verificar la prueba del …

9 proof-theory  automated-theorem-proving  program-verification 

Supongamos que y H son dos gráficos r- conectados regulares de tamaño n . Deje A el conjunto de permutaciones P tal que P G P - 1 = H . Si G = H entonces A es el conjunto de automorfismos de G .solGGHHHrrrnortennUNAAAPAGSPPPAGSG P- 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HAAAGGG …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

El problema estándar 1-en-3 SAT (o XSAT o X3SAT) es: Instancia : una fórmula CNF con cada cláusula que contiene exactamente 3 literales Pregunta : ¿existe una asignación satisfactoria que establezca exactamente 1 literal por cláusula verdadera? El problema es NP-completo y sigue siendo difícil incluso si no se produce …

9 cc.complexity-theory  np-hardness  sat 

Si entiendo correctamente, para demostrar que el problema es NP difícil, debe elegir todos los problemas posibles B i que están en NP y luego demostrar que se reducen a A mediante una función computable de tiempo polinomial, que mapea instancias de cada B i a los casos de a …

9 soft-question  ho.history-overview  cook-levin 

Me pregunto si el siguiente problema es NP-hard. Entrada: G = ( V, E)G=(V,E)G = (V,E) un gráfico simple y una coloración de los bordes ( no verifica ninguna propiedad específica).fF: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\}Fff Pregunta: ¿ es posible dividir en triángulos …

9 graph-theory  np-hardness 

Si solo consideramos los problemas en P, ¿hay grandes diferencias entre el algoritmo de palabra-RAM más rápido conocido y el algoritmo de máquina de Turing más rápido conocido para problemas particulares? Estoy particularmente interesado si existen grandes lagunas para los problemas naturales de interés general.

9 cc.complexity-theory  ds.algorithms 

Dejar solsolG ser un gráfico que es la unión disjunta de una camarilla y un conjunto independiente, es decir G =Knorte1+Knorte2¯¯¯¯¯¯¯¯=Knorte1+yonorte2.sol=Knorte1+Knorte2¯=Knorte1+yonorte2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La clase de gráfico de todos estos gráficos se caracteriza por el conjunto de subgrafías inducidas prohibidas H ={2K2,PAGS3}H={2K2,PAGS3}\mathcal{H} = …

9 reference-request  graph-theory  graph-classes 

Considere el siguiente problema: Entrada: un gráfico simple (no dirigido) .G = ( V, E)sol=(V,mi)G=(V,E) Pregunta: ¿Existe una orientación de satisfaga la propiedad de que para cada s , t ∈ V hay a lo sumo una s - t walk (dirigida) ?solsolGs , t ∈ Vs,t∈Vs,t \in Vsssttt Esto …

9 graph-theory  directed-acyclic-graph 

Estoy interesado en la música de computadora, donde hay enfoques para tratar piezas musicales como oraciones en gramáticas generativas o sistemas L. En lugar de componer, uno podría especificar una gramática y dejar que la computadora genere la música. Por ejemplo, el grupo de Yale alrededor del fallecido Paul Hudak …

9 grammars 

Estoy buscando una prueba de que la complejidad de Kolmogorov es indiscutible utilizando una reducción de otro problema incontestable. La prueba común es una formalización de la paradoja de Berry en lugar de una reducción, pero debe haber una prueba reduciendo algo como el Problema de detención o el Problema …

9 computability  reductions  kolmogorov-complexity 

No se sabe si NEXP está contenido en P / poli. De hecho, probar que NEXP no está en P / poli tendría algunas aplicaciones en la desrandomización. ¿Cuál es la clase C uniforme más pequeña para la cual se puede demostrar que C no está contenido en P / …

9 complexity