Me falta una formación en informática teórica, pero me hubiera gustado entender a qué tipo de objetos teóricos corresponden los conceptos de C ++ . Básicamente, los conceptos de C ++ permiten definir un conjunto de tipos que satisfacen una lista de restricciones. Entonces, desde un punto de vista...
El lenguaje Critical SAT se define como el conjunto de fórmulas booleanas f tal que f ∈ U N S A T, pero eliminar cualquier cláusula de f lo hace satisfactorio. Se sabe que el SAT crítico es D P -completo. Me pregunto acerca de la siguiente variante: dada una fórmula C N F f , ¿es el caso que f está...
Estoy interesado en el siguiente problema. Dado un gráfico euleriano , debemos encontrar una partición de sus bordes ( y ) , de manera que cada forma un ciclo simple en y es máxima posible.G = ( V, E)sol=(V,mi)G=(V,E)C1, C2, ... , CkC1,C2,...,CkC_1, C_2, \ldots, C_k∪yoCyo= E∪yoCyo=mi\cup_i C_i=Ei...
Estoy buscando un concepto en teoría de tipos que estoy seguro de que probablemente ha sido explorado, pero no sé el nombre detrás. Consideremos un lenguaje similar a ML con tipos de producto y suma y un sistema de tipos similar a Hindley-Milner. Usaré la sintaxis OCaml. Me pregunto cómo dos...
Supongamos que . Entonces demuestra un sencillo argumento de que P H P P = N P . ¿Podemos ir un paso más allá y obtener P P P P = N P ? El argumento simple esnortePAGS= PPAGSNP=PPNP=PPPAGSHPAGSPAGS= NPAGSPHPP=NPPH^{PP}=NPPAGSPAGSPAGSPAGS= NPAGSPPPP=NPPP^{PP}=NP Teorema Si entonces P H P P = N P...
En Computabilidad, si queremos demostrar que un problema no es recursivo o recursivamente enumerable, podemos usar, por ejemplo, reducciones de otros problemas no recursivos o no re, el teorema de Rice, el teorema de Rice-Shapiro, etc. Estas técnicas funcionan gracias a , o se basan directamente en...
Es fácil ver un algoritmo de tiempo de ejecución para el isomorfismo de grupo abeliano. Más tarde, trabajando en este problema en 2003, Vikas mejoró el resultado del tiempo de ejecución de O ( n 2 ) a O ( n log n ) . En 2007, Kavitha demostró que el isomorfismo del grupo abeliano se puede hacer en...
¿Cuál es la complejidad del problema de satisfacción local para la lógica modal ? Aquí denotamos por la lógica modal sobre tramas euclidianas extendidas con modalidad inversa. ¿Podría darnos alguna referencia? ¿Está en ? I K 5 N PIK5IK5\mathit{IK5}IK5IK5IK5NPNPNP ¿Qué sé sobre el tema? Es fácil...
A la luz de la muerte de Stephen Hawking hoy, me preguntaba si alguno de sus resultados tiene un impacto directo en cs. El candidato obvio sería la computación cuántica, o más bien la construcción de una computadora cuántica física, pero quizás haya resultados que tengan otro impacto. Estoy...
La biblioteca StreamMemo para Coq ilustra cómo memorizar una función f : nat -> Asobre los números naturales. En particular cuando f (S n) = g (f n), imemo_makecomparte el cálculo de llamadas recursivas. Supongamos que, en lugar de números naturales, queremos memorizar funciones recursivas...
Tenía una pregunta sobre el subtipo en el documento "Un sistema de efectos para efectos algebraicos y controladores" . Me preguntaba por qué no hay una regla de subtipo para agregar efectos en ambos lados de un tipo de controlador, algo como esto: T! UNA⇒R !si⩽T! ( A ∪ C)⇒R ! ( B ∪...
Considere una máquina (es decir, un algoritmo probabilístico que usa espacio de registro y polinomialmente muchos bits aleatorios). Se sabe (Saks-Zhou) que B P L ⊆ D S P A C E ( l o g 1.5 ( n ) ) .B PLsiPAGSLBPLB PL ⊆ D SPAGSA Cmi( l o g1,5( n ) )siPAGSL⊆reSPAGSUNACmi(losol1,5(norte))BPL \subseteq...
Considere el problema de la intersección de conjuntos: Alice y Bob obtienen cada uno un subconjunto de {1,…,n}{1,…,n}\left\{ 1,\ldots, n\right\} , y les gustaría saber si sus conjuntos se intersecan. Este es un problema canónico de la complejidad de la comunicación, y es bien sabido que los...
Savický y Woods (El número de funciones booleanas calculadas por fórmulas de un tamaño dado) demuestran el siguiente resultado. Teorema [SW98]: Para cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen complejidad de circuito al menos n k / k...
¿Alguno de ustedes conoce una referencia para el siguiente resultado (sorprendentemente tedioso de probar)? Dado un gráfico plano conectado con vértices y aristas, tiene un separador de vértices de tamaño .GGGnnnn+tn+tn+tO(t√+1)O(t+1)O(
Problema general Supongamos que tenemos una función polinomial multivariada y varias funciones lineales . ¿Qué se sabe sobre la complejidad de resolver el siguiente problema de optimización?F( x )F(X)f(\mathbf{x})ℓyo( x )ℓyo(X)\ell_i(\mathbf{x}) MaximizarSujeto a: F( x )ℓyo( x ) ≤ 0 para todo ...
¿Hay algún resultado que demuestre que los modelos (digamos SVM, Neural-Net, kNN, etc.) tendrán dificultades para aprender instancias "raras" / fenómenos de cola?
Considere una gráfica ponderada con algunos bordes rojos. Estamos interesados en encontrar una coincidencia perfecta, de modo que el número de bordes rojos sea uniforme, y bajo las restricciones anteriores, el peso se minimiza. ¿Es este problema solucionable en tiempo polinómico? ¿Incluso para...
Se hizo una pregunta similar antes, pero hubo un error, por lo que no se respondió la clase Graph con un número cromático fácil, pero con coloración NP-hard ¿Hay algún conjunto infinito de gráficos como:CCC Hay un algoritmo polinómico que reconoce para cada gráfico si G pertenece a...
¿Existe un protocolo criptográfico que, al menos en teoría (y bajo los supuestos criptográficos estándar) permite a las personas votar de forma segura desde sus hogares? Pude ver cómo se podrían abordar los diversos problemas (como: evitar que las personas voten dos veces, presentar pruebas de que...