Supongamos que hay un gráfico . Quiero probar si V puede dividirse en dos conjuntos disjuntos V 1 y V 2, de modo que las subgrafías inducidas por V 1 y V 2 sean gráficos de intervalo de unidad.G = ( V, E)sol=(V,mi)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Sé acerca de la completitud NP de determinar...
Suponga que se está reuniendo con programadores que han tomado algunos cursos de programación profesional (/ pensamiento propio) pero no estudiaron matemáticas a nivel universitario. Para mostrarles la belleza de TCS, me gustaría reunir algunos buenos resultados / preguntas abiertas provenientes...
Se nos da un dirigido acíclico gráfico con un número asociado con cada vértice ( g : V → N ), y un número de destino T ∈ N .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} El problema de la suma DAG subconjunto (podría existir con un nombre diferente, una referencia será...
Una pregunta reciente (ver Consecuencias de NP = PSPACE ) pidió a las consecuencias "desagradables" de NP=PSPACENP=PSPACENP=PSPACE . Las respuestas lista bastantes consecuencias de colapso, incluyendo NP=coNPNP=coNPNP=coNP y otros, proporcionando un montón de razones para creer
Está bien establecido que por cada matroid METROMM y cualquier función peso www , no sale de un algoritmo GreedyBasis (M, W )GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) que devuelve una base de peso máximo de METROMM . Entonces, ¿la dirección inversa también es verdadera? Es decir, si hay algún...
Sea la función mayoritaria, es decir, si y solo si . Me preguntaba si había una prueba simple del siguiente hecho (por "simple" me refiero a no confiar en el método probabilístico como Valiant 84 o en redes de clasificación; preferiblemente proporcionando una construcción explícita y directa del...
Estoy estudiando el modelo de computación BSS recientemente (véase, por ejemplo, Complejidad y Computación Real; Blum, Cucker, Shub, Smale). Para los reales , se muestra que, dado un sistema de polinomios , la existencia de ceros es NP_R -completa. Sin embargo, me pregunto si esas f son polinomios...
La forma habitual de demostrar la indecidibilidad es mediante la reducción de un problema RE-completo, como el problema de detención, la validez en la lógica de primer orden, la satisfacción de las ecuaciones de diofantina, etc. Se sabe que hay problemas recursivamente enumerables, pero...
El título es un poco engañoso: pero espero que la pregunta no sea: El nuevo resultado de Grønlund y Pettie que muestra que 3SUM solo tiene la complejidad del árbol de decisión me hizo preguntarme:O ( n3 / 2)O(norte3/ /2)O(n^{3/2}) ¿Hay un ejemplo simple de un problema con una complejidad de...
Durante la lectura de las preguntas ejemplos donde la unicidad de la solución hace que sea más fácil encontrar , una nueva (? Más fácil) pregunta vino a la mente: en realidad no sabemos si el isomorfismo de grafos ( problema) está en P .G IsolyoGIPAGPAGP Pero, ¿qué sucede si suponemos que tanto...
¿Cuáles son las carreras típicas para los informáticos teóricos (personas con título de posgrado en informática teórica)? ¿Qué tipo de industrias e instituciones buscan el conocimiento teórico de la informática? ¿Qué carreras suelen examinar los informáticos
Es bien sabido que la complejidad de distinguir un moneda sesgada de una feria es θ ( ε - 2 ) . ¿Hay resultados para distinguir una moneda p de una moneda p + ϵ ? Puedo ver que para el caso especial de p = 0 , la complejidad será ϵ - 1 . Tengo el presentimiento de que la complejidad dependerá de si...
Tengo una reducción del siguiente problema de partición a un cierto problema de programación: Entrada: Una lista de enteros positivos en orden no decreciente.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Pregunta: ¿Existe un vector (x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n...
Antecedentes: La complejidad del árbol de decisión o la complejidad de la consulta es un modelo simple de cálculo definido de la siguiente manera. Sea una función booleana. La complejidad de consulta determinista de f , denotada D ( f ) , es el número mínimo de bits de la entrada x ∈ { 0 , 1 } n...
Dado un algoritmo que se ejecuta en el tiempo , podemos convertirlo en una familia de circuitos uniforme "trivial" para el mismo problema de tamaño como máximo ≈ t ( n ) log t ( n ) .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)logt(n)\approx t(n)\log t(n) Por otro lado, podría ser que tengamos circuitos...
En el problema de extensibilidad, se nos da parte de la solución y queremos decidir si podemos extenderla a una solución completa. Algunos problemas de extensibilidad se pueden resolver de manera eficiente, mientras que otros problemas de extensibilidad transforman un problema fácil en uno...
¿Conoce algún problema (preferiblemente al menos algo bien conocido), donde, para un tamaño de problema práctico , un algoritmo exponencial se ejecuta mucho más rápido que una contraparte de tiempo polinomial más conocida. Por ejemplo, suponga que un problema tiene un tamaño práctico * de y hay...
La jerarquía es una jerarquía de clases de complejidad en complejidad parametrizada, consulte el Zoo de Complejidad para ver las definiciones. Una definición alternativa define usando la definibilidad ponderada de Fagin para las lógica de primer orden, vea el libro de texto de Flum y Grohe...
Dado un grupo solGG de permutaciones en [ n ] = { 1 , ⋯ , n }[n]={1,⋯,n}[n]=\{1, \cdots, n\} y dos vectores u , v ∈ Γnorteu,v∈Γnu,v\in \Gamma^n donde ΓΓ\Gamma es un alfabeto finito que no es del todo relevante aquí, la pregunta es si existe algún π∈ Gπ∈G\pi\in G tal que π( u ) = vπ(u)=v\pi(u)=v...
Estoy leyendo el documento "Fast Paxos" de Leslie Lamport y me quedo atascado con las pruebas de corrección de Paxos clásico y Fast Paxos. Por consistencia, el valor recogió por el coordinador en fase en la ronda debería satisfacer2 a ivvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): para cualquier ronda...