Ciencias de la Computación

Preguntas y respuestas para estudiantes, investigadores y profesionales de la informática.

3
¿Por qué es verdadero?
3n=2O(n)3n=2O(n)3^n = 2^{O(n)} es aparentemente cierto. Sin embargo, pensé que era falso porque crece más rápido que cualquier función exponencial con una base de 2.3n3n3^n ¿Cómo es verdadero ?3n=2O(n)3n=2O(n)3^n = 2^{O(n)}
3
Pruebas usando el lema de bombeo regular
Tengo dos preguntas: Considero que el siguiente idioma En otras palabras, no es palíndromo con una longitud uniforme. Probé que este lenguaje NO es regular al demostrar que su complemento no es regular. Mi pregunta es cómo probarlo usando el lema de bombeo sin usar el complemento.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* …
1
Pregunta relacionada con el décimo problema de Hilbert
Dado n∈Nn∈Nn \in \mathbb{N} y p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] se puede definir la siguiente fórmula en el lenguaje de la aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n : \neg (p(x_1,\ldots,x_n) = q(x_1,\ldots,x_n)) Me gustaría mostrar que hay infinitos triples (n,p,q)(n,p,q)(n,p,q) tal que ninguno φ(n,p,q)φ(n,p,q)\varphi(n,p,q) ni ¬φ(n,p,q)¬φ(n,p,q)\neg \varphi(n,p,q) Es un …
3
Idiomas sin contexto cerrados bajo inversión
En la clase de esta semana hemos estado aprendiendo sobre las CFL y sus propiedades de cierre. He visto pruebas de unión, intersección y cumplido, pero para la reversión, mi profesor acaba de decir que está cerrado. Quería ver la prueba, así que he estado buscando durante los últimos días, …
2
La capacidad de coloración del gráfico 3 es auto reducible
Estoy interesado en la auto-reducibilidad del problema Graph 3-Coloralibity. Definición del problema del gráfico 3-Coloralibity. Dado un gráfico no dirigido, ¿existe alguna forma de colorear los nodos de rojo, verde y azul para que ningún nodo adyacente tenga el mismo color?solGG Definición de auto-reducibilidad. Un lenguaje es auto-reducible si existe …
1
lata
Estoy tratando de enseñarme la teoría de la computabilidad con un libro de texto. Según mi libro, una funciónFff sobre un alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , …
4
Cada gráfico simple no dirigido con más de
Si un gráfico con nnn vértices tiene más de (n−1)(n−2)2(n−1)(n−2)2\frac{(n-1)(n-2)}{2} bordes entonces está conectado. Estoy un poco confundido acerca de esta pregunta, ya que siempre puedo demostrar que para un gráfico conectado necesita más de |E|>n−1|E|>n−1|E|>n-1 bordes
3
Probar que el idioma que consta de todas las cadenas en algún idioma tiene la misma longitud que alguna cadena en otro idioma es regular
Así que llevo unos días rascándome la cabeza sobre este problema. Dado un lenguaje y que es regular, demuestre que el lenguaje que consiste en todas las cadenas en cuya longitud es igual a alguna cadena en es un lenguaje regular.AAABBBLLLAAABBB En forma de ecuación: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …
2
¿Hay algún problema no trivial en la teoría de los algoritmos seriales con un límite inferior polinómico no trivial de ?
En la teoría de algoritmos distribuidos, hay problemas con límites inferiores, como , que son "grandes" (quiero decir, más grandes que ), y no triviales. Me pregunto si hay problemas con un límite similar en la teoría del algoritmo en serie, me refiero a un orden mucho mayor que .Ω(n2)Ω(n2)\Omega(n^2)Ω(nlogn)Ω(nlog⁡n)\Omega(n\log …
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.