Preguntas etiquetadas con reference-request

En mi búsqueda de trabajos de investigación sobre sistemas de tipos para lenguajes imperativos, solo encuentro soluciones para un lenguaje con referencias mutables pero sin estructuras de control imperativo genuinas como operadores compuestos, bucles o condicionales. Por lo tanto, no está claro cómo se puede implementar un lenguaje imperativo con …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

¿Existe un algoritmo de tiempo polinómico para encontrar, si existe, una araña de expansión de un gráfico dado ? Una araña es un árbol con a lo sumo un nodo con un grado mayor que 2: sé que varias condiciones de grado en G (esencialmente, grados de nodo suficientemente grandes) …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Estoy buscando notas de conferencias disponibles en línea u otros recursos que brinden una buena introducción a la programación paralela, al igual que el análogo paralelo de las clases básicas de informática. Mi enfoque es el siguiente: si bien puedo hablar sobre divide y vencerás, algoritmos codiciosos, programación dinámica y …

10 reference-request  soft-question  dc.parallel-comp  survey 

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 

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 

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 

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 

Aquí hay una pregunta de "pista B" si alguna vez hubo una. Resumen: lo primero en lo que pienso cuando intento dar una semántica a los programas no deterministas resulta en una semántica donde no puedo probar cosas sobre los bucles que solo terminan de manera no determinista. Seguramente alguien …

10 reference-request  denotational-semantics 

Tengo curiosidad por saber si alguien podría recomendar algún material complementario para obtener una comprensión más profunda del documento: " Algunos resultados y problemas sobre las desigualdades de tipo de campana cuántica - Tsirelson ". Específicamente, algo que puede elaborar un poco más sobre la interpretación geométrica de las desigualdades …

10 reference-request  quantum-computing  quantum-information 

Se ha trabajado bastante en problemas computacionales para órdenes parciales (por ejemplo, reconocimiento, número de salto, reconocimiento de gráficos de comparabilidad, etc.). Tengo curiosidad por saber qué trabajo específico a las redes se ha realizado. He buscado alrededor y no he encontrado mucho trabajo similar para las redes. En particular, …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Aunque las separaciones exponenciales entre la complejidad cuántica de consultas con error limitado ( ) y la complejidad de consulta determinista ( D ( f ) ) o la complejidad aleatoria de consultas con error limitado ( R ( f ) ) son conocidas, solo se aplican a ciertas funciones …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Un programa span es una forma lineal-algebraica de especificar una función booleana presentada aquí . Recientemente, este modelo se usó para mostrar que el método negativo del adversario proporciona una caracterización estricta (al menos hasta ) de la complejidad de la consulta cuántica.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n La medida de …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Estoy interesado en ejemplos de construcciones en la teoría de la complejidad que son mejores que las construcciones aleatorias. El único ejemplo de tal construcción que conozco es en el campo de los códigos de corrección de errores. Los códigos de geometría algebraica son mejores en algún rango de parámetros …

10 reference-request  big-list  derandomization  pr.probability 

Esta pregunta está en la misma línea que la charla inspiradora para los alumnos de último año de secundaria . Mi doctorado El asesor me pidió que diera una charla inspiradora para el nuevo M.Sc. estudiantes El tema es la base de la criptografía , que se ilustra mejor con …

10 reference-request  soft-question  cr.crypto-security  teaching 

En primer lugar, todavía no estoy seguro de si la teoría está bien adaptada para esta pregunta, por lo que no me ofenderé si la multitud cree que no es así ... En el marketing de motores de búsqueda, varios problemas son interesantes. El diseño de mecanismos de subasta justos …

10 reference-request  lg.learning  gt.game-theory