Preguntas etiquetadas con decision-problem

Una pregunta en algún sistema formal con una respuesta de sí o no.

2
El ciclo más largo contenido en dos ciclos.
¿Está el siguiente problema NP-completo? (Asumo que sí). Entrada: un gráfico no dirigido en el que el conjunto de bordes puede descomponerse en dos ciclos simples separados por bordes (estos no son parte de la entrada).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pregunta: ¿Hay un ciclo simple en GGG con una longitud mayor que …
2
Un álgebra como entrada a un algoritmo
Quiero especificar qué significa dar un álgebra como entrada a un algoritmo y no encontré mucha literatura al respecto. Primero, quiero preguntar si puede recomendar un libro o documento que aborde el tema del análisis de complejidad de álgebras sobre campos y defina claramente el problema de decisión . Después …
1
¿Es el problema de detención decidible para autómatas celulares unidimensionales de 3 símbolos?
He estado tratando de averiguar si el problema de detención es decidible para autómatas celulares unidimensionales de 3 símbolos. Definición Sea la configuración del sistema en el paso de tiempo . Más formalmente , donde es el alfabeto.i f : A ∗ × N → A ∗ Af(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to …
1
¿Escribir un número como dos cuadrados y escribir los factores de un número es igualmente difícil?
Dejar L1L1L_1 y L2L2L_2 ser el siguiente: L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} Reclamación L1≤PL2L1≤PL2L_1 \leq_P L_2 Prueba de croquis Si quiero saber si r∈L1r∈L1r\in …
1
¿Es el problema del universo para autómatas de un contador con tamaño de alfabeto restringido indecidible?
Considere el siguiente problema del universo . El problema del universo. Dado un conjunto finitoΣΣ\Sigma para una clase de idiomas y un autómata que acepta el idioma LLL, decidir si L=Σ∗L=Σ∗L=\Sigma^*. En [1], se afirma y prueba que el problema del universo es indecidible para una clase particular de autómatas …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.