Ciencias de la computación teórica

Contexto: consideramos solo los dígrafos. Deje que CYCLE sea el lenguaje de gráficos con un ciclo; Es un problema de NL completo. Deje que HASEDGE sea el lenguaje de gráficos con al menos un borde. Entonces, trivialmente, CICLO ∪ HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} ya no es NL-hard, mientras que CICLO ∪ …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Tengo 400 bolas, en las cuales 100 son rojas, 40 son amarillas, 50 son verdes, 60 son azules, 70 son moradas, 80 son negras. (las bolas del mismo color son idénticas) Necesito un algoritmo de barajado eficiente, para que después de barajar, las bolas estén en una lista, y Cualquier …

10 ds.algorithms  randomized-algorithms  permutations 

Estoy buscando el texto completo del resultado de la camarilla Moon and Moser 1965 en Cliques in Graphs (existen gráficos con un número de camarillas máximas exponenciales en ). El muro de pago de mi universidad no tiene acceso a la revista en particular. (De hecho, la vista previa proporciona …

10 reference-request  graph-theory  co.combinatorics  clique 

Me enfrento a un dilema bastante difícil: - Había completado M.Tech en CS hace 2 años, completando mi disertación en el campo de las pruebas VLSI. Si bien me gustó mi trabajo, no deseo volver para seguir mi doctorado en eso: he tenido muchas ganas de seguir un curso teórico …

10 soft-question  advice-request  career 

Supongamos que es un lenguaje booleano, de cadenas finitas sobre { 0 , 1 } . Sea L n el número de cadenas en L con longitud n . Para una función d ( n ) desde los enteros positivos hasta los números reales positivos, L tiene una densidad superior …

10 cc.complexity-theory  reference-request  p-hardness 

Katz y Lindell mencionan en su libro que LFSR ha sido horrible como base para generadores pseudoaleatorios, y defienden que ya no se usan (bueno, también recomiendan que las personas usen cifrados de bloque en lugar de cifrados de flujo). Pero veo, por ejemplo, que uno de los cifrados en …

10 soft-question  cr.crypto-security  pseudorandom-generators 

A menudo escuché decir que no se puede escribir un programa para detectar errores en un navegador web, procesador de texto o sistema operativo, debido al Teorema de Rice: cualquier propiedad semántica para un lenguaje completo de Turing es indecidible. Sin embargo, no estoy seguro de hasta qué punto esto …

10 computability 

Cuando se consideran las interacciones en las redes, generalmente es muy difícil calcular la dinámica analíticamente , y se emplean aproximaciones. Las aproximaciones de campo medio generalmente terminan ignorando la estructura de la red por completo, por lo que rara vez son una buena aproximación. Una aproximación popular es la …

10 graph-theory  gt.game-theory  evolutionary-game-theory 

Un idioma está en la clase D P si hay dos idiomas L 1 ∈ N P y L 2 ∈ c o N P de modo que L = L 1 ∩ L 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Un problema canónico completo de es SAT-UNSAT: …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Digamos que tenemos un poliedro en forma estándar: A x = bx ≥ 0UNAX=siX≥0 0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} ¿Hay algún método conocido para encontrar un hiperplano que divide el poliedro de manera que el número de vértices en cada lado del hiperplano es …

10 ds.algorithms  linear-programming  linear-algebra 

Dado un gráfico mixto G=(V,E,A)G=(V,E,A)G=(V,E,A) con bordes EEE y arcos AAA , encuentre una coincidencia en EEE que minimice el número de arcos en G/MG/MG/M , donde G/MG/MG/M se obtiene de GGG al contraer vértices coincidentes y eliminar arcos paralelos ¿Es (la versión de decisión de) este problema NP-completo? ¿Ha …

10 cc.complexity-theory  reference-request  graph-theory 

Quiero comenzar a aprender sobre la codificación de red: http://en.wikipedia.org/wiki/Network_coding ¿Conoces alguna buena encuesta (por ejemplo, de IEEE Surveys and Tutorials) sobre los temas anteriores. Encontré algunos cursos universitarios en Google, pero me gustaría algunas recomendaciones de personas que ya leen y conocen una buena fuente. Gracias vasilis

10 it.information-theory  coding-theory  survey  ni.networking-internet 

Mi pregunta es acerca de la equivalencia de la seguridad de varias funciones unidireccionales candidatas que pueden construirse en función de la dureza del factoring. Asumiendo el problema de FACTORIZACIÓN: [Dado para primos aleatorios P , Q < 2 n , encuentre P , Q. ]norte= PQN=PQN = PQPAG, Q …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

¿Alguien puede señalarme la referencia para la no definibilidad del módulo de continuidad funcional en PCF? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer ha escrito una muy buena publicación de blog explorando algunos de los problemas con más detalle, pero resumiré solo un poco de su publicación para dar un poco de contexto …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

Estoy leyendo la excelente encuesta de Watrous sobre la teoría de la complejidad cuántica. En él, afirma que sería sorprendente si se descubriera que un problema completo de QMA tiene una promesa vacía (es decir, ser un lenguaje). ¿Por qué esto es tan? ¿Tiene que ver con el hecho de …

10 cc.complexity-theory  quantum-computing