FewP es la clase de problemas de N PNPNP con polinomios unidos en el número de soluciones (en el tamaño de entrada). Hay no se conoce N PNPNP problema -Complete en f e w PfewPfewP . Me interesa hasta dónde podemos extender esta observación. ¿Existe algún problema natural de N P-NPNP completo con...
Esta pregunta también se ha publicado en Math.SE, /math/1002540/fixed-points-in-computability-nd-logic Espero que esté bien publicarlo aquí también. Si no es así, o si es demasiado básico para CS.SE, dígame y lo eliminaré. Me gustaría entender mejor la relación entre los teoremas de punto fijo...
Hace aproximadamente un año, un amigo y yo pensamos en una forma de implementar el algoritmo de Kruskal para gráficos densos en un límite mejor que el habitual (sin suponer aristas previamente ordenadas). Específicamente, logramos en todos los casos, similar a Prim cuando se implementa usando...
La complejidad de la información ha sido una herramienta muy útil en la complejidad de la comunicación, utilizada principalmente para reducir la complejidad de la comunicación de los problemas distribuidos. ¿Existe un análogo de la complejidad de la información para la complejidad de la consulta?...
Si , entonces hay un algoritmo de espacio de registro que resuelve la versión de decisión de 2-SAT.L=NLL=NL\mathsf{L = NL} ¿Se sabe que implica que hay un algoritmo de espacio de registro para obtener una asignación satisfactoria , cuando se le da una instancia satisfactoria de 2-SAT como...
Entonces, hace un tiempo, primero tuve a alguien que me dijo que call / cc podría permitir objetos de prueba para pruebas clásicas mediante la implementación de la ley de Peirce. Pensé un poco sobre el tema recientemente y parece que no puedo encontrar un defecto con él. Sin embargo, realmente no...
Soy matemático interesado en la teoría de conjuntos, la teoría ordinal, la combinatoria infinita y la topología general. ¿Existen aplicaciones para estos temas en informática? He buscado un poco y he encontrado muchas aplicaciones (por supuesto) para la teoría de grafos finitos, topología finita,...
En nuestro trabajo reciente, resolvemos un problema computacional que surgió en un contexto combinatorio, suponiendo que , donde es el -versión de . El único artículo sobre que encontramos fue el artículo de Beigel-Buhrman-Fortnow 1998 que se cita en Complexity Zoo . Entendemos que podemos tomar...
Esta pregunta se publicó anteriormente en Computer Science Stack Exchange aquí . Imagine que es un vendedor ambulante muy exitoso con clientes en todo el país. Para acelerar el envío, ha desarrollado una flota de drones de entrega desechables, cada uno con un alcance efectivo de 50 kilómetros....
Suponga que un algoritmo aleatorio usa bits aleatorios. La probabilidad de error más baja que uno puede esperar (no alcanza un algoritmo determinista con 0 error) es . ¿Qué algoritmos aleatorios logran una probabilidad de error mínima?rrr2- Ω ( r )2−Ω(r)2^{-\Omega(r)} Un par de ejemplos que vienen...
Supongamos que se nos da un conjunto de n variables booleanas x_1, ..., x_n y un conjunto de funciones m y_1 ... y_m donde cada y_i es el XOR de un subconjunto (dado) de estas variables. El objetivo es calcular el número mínimo de operaciones XOR que necesita realizar para calcular todas estas...
Supongamos que denota el conjunto y C (n, k) denota el conjunto de todas las combinaciones de elementos de sin repetición. Supongamos que sea una -tupla en . Decimos que una permutación del conjunto evita si no hay k-tupla de enteros tal que [ n ][norte][n]k [ n ] p = p 1 p 2 . . . p k k C ( n...
La inspiración para esta pregunta es la siguiente (vaga) pregunta: ¿Cuáles son los fundamentos lógicos / del lenguaje de programación para tener una IA que pueda razonar sobre su propio código fuente y modificarlo? Esto no es del todo riguroso, así que aquí está mi intento de extraer una pregunta...
El problema kkk -cycle es el siguiente: Instancia: un gráfico no dirigido solsolGcon nnn vértices y hasta aristas.(n2)(n2)n \choose 2 Pregunta: ¿Existe un ciclo (adecuado) en ?GkkkGGG Antecedentes: para cualquier fija , podemos resolver el ciclo en el tiempo .2 k O ( n 2
En forma simple: ¿Puede un autómata finito bidireccional reconocer gráficos vértice que contienen un triángulo con estados ?vvvo(v3)o(v3)o(v^3) Detalles Aquí son de interés los gráficos vértice codificados usando una secuencia de aristas, cada arista es un par de vértices distintos de...
En la complejidad del circuito, tenemos separaciones entre potencias de varios modelos de circuito. En la complejidad de la prueba, tenemos separaciones entre los poderes de varios sistemas de prueba. Pero en lo algorítmico, todavía tenemos pocas separaciones entre los poderes de los paradigmas...
¿Cuáles son algunos ejemplos importantes de desrandomización exitosa o al menos progreso en mostrar evidencia concreta hacia el objetivo (no la conexión de aleatoriedad de dureza)?PAG= B PPAGPAG=siPAGPAGP=BPP El único ejemplo que me viene a la mente es la prueba de primitiva de tiempo polinomial...
La pregunta: Supongamos que tengo una especificación de un problema que consiste en axiomas y una meta (es decir, el problema de prueba asociado es si la meta es satisfactoria dados todos los axiomas). Supongamos también que el problema no contiene inconsistencias / contradicciones entre los...
Antecedentes: Dados dos autómatas finitos deterministas A y B, formamos el producto C dejando que los estados en C sean el producto cartesiano de los estados en A y los estados en B. Luego, elegimos las transiciones, el estado inicial y los estados finales para que el lenguaje sea aceptado por C...
Esta no es necesariamente una pregunta de investigación. Solo una pregunta por curiosidad: Estoy tratando de entender si uno puede definir lenguajes "irreductibles". Como primera suposición, llamo a un idioma L "reducible" si se puede escribir como con y , de lo contrario, llame al idioma...