Ciencias de la computación teórica

Cruzado desde MO . Sea una clase gráfica definida por un número finito de subgrafías inducidas prohibidas, todas las cuales son cíclicas (contienen al menos un ciclo).CCC ¿Hay problemas de gráficos NP-hard que se puedan resolver en tiempo polinómico para no sean Clique y Clique cover?CCC Si no recuerdo mal, …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Aquí hay un problema con un sabor similar al de las juntas de aprendizaje: Entrada: Una función f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , representada por un oráculo de membresía, es decir, un oráculo que dado xxx , devuelve f(x)f(x)f(x) . Objetivo: encontrar un subcubo SSS de {0,1}n{0,1}n\{0,1\}^n con volumen |S|=2n−k|S|=2n−k|S|=2^{n-k} tal …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

Estoy tratando de entender lo que implica la investigación teórica en informática. ¿Qué hacen los informáticos teóricos? Sé que se dedica un tiempo considerable a la enseñanza, la supervisión de estudiantes graduados, la solicitud de financiación y las tareas departamentales. Dejándolos a un lado, ¿cómo pasas tu tiempo de investigación? …

11 soft-question  research-practice 

Entonces, el problema de la cobertura del conjunto es trivial si ninguno de los conjuntos candidatos se cruza entre sí. Sin embargo, ¿qué pasa si el tamaño de la intersección para cualquier par de conjuntos candidatos era como máximo 1? ¿Es este problema NP-hard? Agradecería cualquier idea. Gracias garrett

11 set-cover 

La teoría de tipos de Martin-Löf usa tipos W para definir estructuras inductivas como enteros, listas, etc. Sin embargo, el cálculo de construcciones inductivas no las usa de la misma manera, los tipos inductivos parecen ser más como esquemas de axiomas. ¿Son equivalentes estos dos enfoques (parecen ser)? ¿Hay alguna …

11 lo.logic  type-theory 

En teoremas gratis! , Wadler dice que la caracterización de la parametricidad se puede volver a expresar en términos de transformaciones naturales laxas y este será el tema de otro artículo. ¿A qué papel se refiere? El enfoque categórico de la paramtericidad que conozco utiliza transformaciones dinaturales como en el …

11 reference-request  ct.category-theory  parametricity 

Hasta donde sé, la norma de factorización del límite inferior dada por Linial y Shraibman es esencialmente el único límite inferior conocido para la complejidad de la comunicación cuántica (o al menos subsume todos los demás). ¿Hay alguna evidencia en contra de que este límite sea estricto? La norma de …

11 quantum-information  communication-complexity  norms 

Después de leer una pregunta relacionada , acerca de las pruebas de algoritmos de existencia no constructivas, me preguntaba si existen métodos para mostrar la existencia de máquinas de cómputo "pequeñas" (por ejemplo, a nivel de estado) sin construirlas realmente. Formalmente: supongamos que tenemos un lenguaje y arreglamos un modelo …

11 cc.complexity-theory  automata-theory  turing-machines 

Tengo una pregunta sobre las funciones puras. Según la página de Wikipedia, uno de los requisitos para una función pura es: La evaluación del resultado no causa ningún efecto secundario o salida semánticamente observable, como la mutación de objetos mutables o la salida a dispositivos de E / S. Ahora, …

11 functional-programming  semantics 

¿Existe una forma documentada de calcular nudos? (circunferencias incrustadas en un espacio euclidiano tridimensional). Quiero decir, un tipo de datos para representarlos y un algoritmo para determinar si dos instancias del tipo de datos representan el mismo nudo. Si la respuesta es positiva, ¿qué pasa con la complejidad de ese …

11 ds.algorithms  computability 

¿Conoces problemas que son W [1] -duros incluso para gráficos de grados acotados? La dimensión métrica es difícil en gráficos con un grado máximo de 3, pero es W [2] -duro. Red-Blue Nonblocker solía ser W [1] duro en gráficos de grados limitados, pero hubo un error en la prueba …

11 reference-request  parameterized-complexity 

¿Se conoce el siguiente reclamo? Reclamación : Para cualquier gráfico con n vértices existe una coloración de G tal que cada conjunto independiente está coloreado como máximo por O ( √solGGnortennsolGGcolores.O ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

Estoy buscando una clase de complejidad que se relacione con APX como BPP se relaciona con P. Ya he hecho la misma pregunta aquí , pero tal vez TCS sería una ubicación más fructífera para las respuestas. La razón de la pregunta es que, en problemas prácticos, a menudo es …

11 cc.complexity-theory  approximation-hardness 

Impagliazzo, Paturi y Calabro, Impagliazzo, Paturi introdujeron la hipótesis del tiempo exponencial (ETH) y la hipótesis del tiempo fuertemente exponencial (SETH). Aproximadamente, SETH dice que no existe un algoritmo que resuelva SAT en el tiempo . 1.99n1.99n1.99^n Me preguntaba qué significaría romper con SETH. Definitivamente necesitamos encontrar un algoritmo que …

11 cc.complexity-theory  sat  exp-time-algorithms 

La clase UP se define como tal: La clase de problemas de decisión que una máquina NP puede resolver Si la respuesta es 'sí', se acepta exactamente una ruta de cálculo. Si la respuesta es 'no', todas las rutas de cálculo se rechazan. Estoy tratando de desarrollar la intuición para …

11 cc.complexity-theory  complexity-classes