Ciencias de la computación teórica

Preguntas y respuestas para científicos informáticos teóricos e investigadores en campos relacionados.

1
Interpretación teórica de tipo de Skolemization
¿Cuál es la interpretación / equivalente de teoría de tipo de Skolemization? Skolemization convierte alguna fórmula en forma normal de Skolem. Las dos fórmulas son equisatisfacibles entre sí. O, para decirlo en términos teóricos de tipo: hay un programa que tiene algún tipo si hay un programa que tiene este …
1
¿Es la optimización convexa en P?
Considere un problema de optimización convexa en el formulario f0(x1,…,xn)fi(x1,…,xn)→min≤0,i=1,…,mf0(x1,…,xn)→minfi(x1,…,xn)≤0,i=1,…,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, m \end{align} donde son funciones convexas. Sin pérdida de generalidad, podemos suponer que es lineal.f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_mf0f0f_0 Nesterov y Nemirovskii mencionan en …
1
Un problema de partición con restricciones de orden
En el OrderedPartitionproblema, la entrada es dos secuencias de enteros positivos, y . El resultado es una partición de los índices en dos subconjuntos disjuntos, y , de modo que:nnn(ai)i∈[n](ai)i∈[n](a_i)_{i\in [n]}(bi)i∈[n](bi)i∈[n](b_i)_{i\in [n]}[n][n][n]IIIJJJ ∑i∈Iai=∑j∈Jai∑i∈Iai=∑j∈Jai\sum_{i\in I} a_i = \sum_{j\in J} a_i Para todo y para todo : .i∈Ii∈Ii\in Ij∈Jj∈Jj\in Jbi≤bjbi≤bjb_i\leq b_j En …
1
Una conjetura relacionada con la conjetura de Cerny: contraejemplo / solicitud de referencia
La conjetura de Cerny es la afirmación de que cualquier autómata de sincronización con nnn estados tiene una palabra de longitud de sincronización como máximo (n−1)2(n−1)2(n-1)^2 . El mejor límite superior actual para la longitud de una palabra de sincronización es O(n3)O(n3)O(n^3) . Digamos que dos estados se fusionan por …
1
Teoría de tipos y complejidad computacional
¿Existe un sistema de tipos que restrinja los términos lambda a los términos que se encuentran dentro de una clase de complejidad? ¿Como los términos tipificables en la teoría están estrictamente dentro de la clase de complejidad? ¿O no es posible en absoluto? Creo que hay muchos estudios sobre la …
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.