Considere los siguientes problemas: Problema de vectores ortogonales Entrada: Un conjunto SSS de nnn vectores booleanos de longitud ddd . Pregunta: ¿Existen vectores distintos v 1v1v_1 y v 2 ∈ S dev2∈Sv_2 \in S modo que v 1 ⋅ v 2 = 0v1⋅v2=0v_1 \cdot v_2 = 0 ? Problema de vectores no...
Actualmente me enfrento a una situación que no estoy seguro de cómo manejar. Básicamente, existe este problema . El problema ha sido un tema candente en los últimos años. El año pasado, se publicó un artículo en una revista de buena reputación (IEEE Transactions on Information Theory) que propuso...
Esta es una confusión de referencia. A veces veo que la gente usa el término "metalenguaje computacional de Moggi" para referirse al cálculo presentado por Moggi, y a veces al "cálculo lambda computacional de Moggi". A veces usan λm lλmetrol\lambda_{ml} y a veces λCλC\lambda_c . Siempre he asumido...
¿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...
El juego de trillizos se define por un conjunto finito de elementos XXX y una TTT multisistema finita que contiene tripletes de elementos. Dos jugadores se turnan para elegir elementos de XXX hasta que se toman todos los elementos. Luego, la puntuación de cada jugador es el número de trillizos de...
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...
De Wikipedia : VPVP\mathsf{VP} : La clase VP es el análogo algebraico de P; es la clase de polinomiosfff de grado del polinomio que tienen circuitos de tamaño polinómicas sobre un campo fijoKKK . VNPVNP\mathsf{VNP} : La clase VNP es el análogo de NP. VNP puede considerarse como la clase de...
En las siguientes dos preguntas ¿ Orígenes y aplicaciones de la teoría A contra la teoría B? y aplicaciones sólidas de teoría de categorías en TCS? , muchas personas compartieron sus conocimientos y opiniones sobre la división de esas dos áreas en CS teórica. Soy un estudiante de matemáticas con...
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
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...
El establecimiento reciente de la relaciónbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) pasa por Gotsman, Linial . ¿Puede el mismo enfoque llegar a o hay una limitación esencial para el enfoque?O ( s (
¿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...