Esta pregunta es sobre la página 125 del libro "Autómatas celulares en espacios hiperbólicos: Volumen 2" Por Maurice Margenstern, Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 En opinión del autor, la pregunta P = NP está mal planteada porque...
Considere el siguiente proceso: Hay contenedores dispuestos de arriba a abajo. Inicialmente, cada contenedor contiene una bola. En cada paso, nosotrosnnn recoger una pelota uniformemente al azar ybbb mueve todas las bolas desde el contenedor que contiene al contenedor debajo de él. Si ya...
Suponga que tiene dos participantes arbitrariamente poderosos que no confían el uno en el otro. Tienen acceso al compromiso de bits (por ejemplo, sobres sellados que contienen datos que un jugador puede entregar al otro pero que no se pueden abrir hasta que el primer jugador le dé al segundo una...
( ACTUALIZACIÓN : aquí se plantea una pregunta mejor formada ya que los comentarios para la respuesta aceptada a continuación muestran que esta pregunta no está bien definida) La prueba clásica de la imposibilidad del problema de detención depende de demostrar una contradicción al intentar...
Una función es unidireccional si puede calcularse mediante un algoritmo de tiempo polinomial, pero para cada algoritmo de tiempo polinómico aleatorio ,f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]<1/p(n)Pr[f(A(f(x)))=f(x)]<1/p(n)\Pr[f(A(f(x))) =...
Dado un conjunto S de matrices de permutación nxn (que es solo una pequeña fracción de las n! Matrices de permutación posibles), ¿cómo podemos encontrar subconjuntos T de tamaño mínimo de S de manera que sumar las matrices de T tenga al menos 1 en cada posición? Estoy interesado en este problema...
Esta es una pregunta en el espíritu de esta, donde respondí que es importante hacer un seguimiento de lo que has hecho, por qué lo has hecho y qué no está funcionando. Personalmente uso portátiles para ese propósito, pero tiene varios inconvenientes: primero necesito mucha superficie de...
Se nos da una familia de subconjuntos de {1, ..., n}. ¿Es posible encontrar un límite inferior no trivial sobre la complejidad de decidir si es una familia Sperner? El límite inferior trivial es y sospecho fuertemente que no es apretado.FF\mathcal{F}mmmFF\mathcal{F}O(nm)O(nm)O(n m) Recuerde que un...
Dados los puntos en R d y una distancia l, encuentre el subconjunto más grande de estos puntos de tal manera que la distancia euclidiana de ninguno de ellos exceda l .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll ¿Cuál es la complejidad de este problema? En el gráfico sobre los puntos que...
Una pregunta reciente discutió el algoritmo de programación dinámica ahora clásico para TSP, debido independientemente a Bellman y Held-Karp . Universalmente se informa que el algoritmo se ejecuta en tiempo O(2nn2)O(2nortenorte2)O(2^n n^2) . Sin embargo, como señaló recientemente uno de mis...
Dados dos árboles AVL y T 2 y un valor t r tal que ∀ x ∈ T 1 , ∀ y ∈ T 2 , x < t r < y , es fácil construir un nuevo árbol AVL que contenga t r y los valores en T 1 y T 2 en el tiempo O ( 1 + | h ( T 1 ) - h ( TT1T1T_1T2T2T_2trtrt_r∀x∈T1,∀y∈T2,x<tr<y∀x∈T1,∀y∈T2,x<tr<y\forall x \in...
Supongamos que denota la complejidad de Kolmogorov de una cadena x . ¿Existe una cadena tal que K ( x x ) < K ( x ) . (Aquí x x es la concatenación de x consigo mismo). Aquí se hizo una pregunta similar pero diferente , pero el contraejemplo dado en la respuesta a esa pregunta no funciona para...
Existe una teoría de aproximación estándar donde la relación de aproximación es supAOPTsupAOPT\sup\frac{A}{OPT} (para problemas conobjetivosMINMINMIN),AAA- el valor devuelto por algún algoritmoAAAyOPTOPTOPT- un valor óptimo. Y otra teoría, la deaproximación diferencialdonde la relación de...
Es bien sabido que las fórmulas aleatorias -CNF sobre n variables con c n cláusulas son insatisfactorias (es decir, son contradicciones) con alta probabilidad, para una constante c suficientemente grande . Por lo tanto, las fórmulas aleatorias de k -CNF (para c lo suficientemente grande)...
Después de trabajar con 2-3 árboles de dedos durante bastante tiempo, me ha impresionado su velocidad en la mayoría de las operaciones. Sin embargo, el único problema con el que me he encontrado es la gran sobrecarga asociada con la creación inicial de un gran árbol de dedos. Debido a que la...
Me preguntaba si hay una buena bibliografía de intentos de investigar la conjetura de Collatz como una gramática formal. (o cualquier otro intento en la comunidad de CS para lidiar con esta clase de fenómenos generativos y sus propiedades de
¿Existe alguna teoría del lenguaje de programación que describa interfaces de funciones foráneas (FFI) y enlaces de múltiples idiomas? He preguntado algunos problemas de implementación en stackoverflow , que no es adecuado aquí. Pero me gustaría preguntar desde la vista de este sitio y ver qué...
Una de las cosas sorprendentes de la informática es que la implementación física es en cierto sentido "irrelevante". La gente ha construido computadoras con éxito a partir de varios sustratos diferentes: relés, tubos de vacío, transistores discretos, etc. La gente puede tener éxito pronto en la...
¿Es el caso de los gráficos muy regulares el más difícil para las pruebas de GI? donde "más duro" se usa en algún sentido de "sentido común", o "en promedio", por así decirlo. Wolfram MathWorld menciona algunos "gráficos patológicamente difíciles". ¿Qué son? Mi conjunto de muestras de 25...
Tome un gráfico dirigido donde los bordes estén decorados con un número natural. Queremos el conjunto de todas las rutas entre dos vértices y modo que cada borde sucesivo en la ruta esté decorado con un número natural que sea mayor que el número natural que decora el borde