Ciencias de la computación teórica

Incluso si no es un punto crucial, no veo ninguna literatura sobre esta cuestión. ¿Hay resultados de relativización? ¿No sería bastante sencillo demostrar una inclusión estricta adaptando el teorema de la jerarquía de tiempo no determinista explorando todos los caminos posibles de la máquina NP?

9 cc.complexity-theory  complexity-classes 

Me preguntaba si el orden de las declaraciones de tipo inductivo puede importar. Por ejemplo, en Coq, puede definir Natya sea por: Inductive Nat := | O : Nat | S : Nat -> Nat. o Inductive Nat := | S : Nat -> Nat | O : Nat. Quizás …

9 lo.logic  type-theory  coq  dependent-type 

Uno de los principales problemas en la enumeración de gráficos es determinar la 'forma' de un gráfico, por ejemplo, la clase de isomorfismo de cualquier gráfico particular. Soy plenamente consciente de que cada gráfico se puede representar como una matriz simétrica. Sin embargo, para obtener su forma, necesitaría una colección …

9 graph-theory  co.combinatorics  algebra 

En alguna área de investigación en CS obtuvimos algunos resultados muy interesantes. Ahora estamos pensando en publicarlos. En el grupo que somos, la filosofía es publicar inmediatamente cosas pequeñas en los documentos de la conferencia, lo cual está bien pero no es lo mejor. Ahora estoy pensando en recopilar más …

9 soft-question  research-practice  writing  paper-review  conferences 

Tenemos un conjunto, , de listas de elementos del conjunto . Cada elemento de aparece en una única lista en . Estoy buscando una estructura de datos que pueda realizar las siguientes actualizaciones:N = { 1 , 2 , 3 , . . . , n } N LLLLnorte= { …

9 ds.algorithms  graph-algorithms  ds.data-structures 

Como es viernes, es hora de una pregunta de CW. Estoy buscando heurísticas que tengan un amplio uso en problemas de optimización. Para limitar el alcance a más heurísticas 'amigables con la teoría', aquí están las reglas (algunas arbitrarias, otras no) Debe ser un método bien definido sin numerosos parámetros …

9 ds.algorithms  reference-request  optimization  heuristics 

Parece que en los lenguajes de consulta populares para bases de datos relacionales, es posible crear consultas que requerirán muchos recursos para responder. En la práctica, los administradores de bases de datos administran esto limitando la cantidad de memoria por consulta y verificando si hay consultas de larga duración si …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Me pregunto si el siguiente problema tiene un nombre o algún resultado relacionado con él. Sea un gráfico ponderado donde denota el peso del borde entre y , y para todos , . El problema es encontrar un subconjunto de vértices que maximice la suma de los pesos de los …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Tengo un gráfico que consiste solo en gráficos de estrellas. Un gráfico de estrella consiste en un nodo central que tiene bordes para cada otro nodo en él. Deje ser diferentes gráficos radiales de diferentes tamaños que están presentes en . Llamamos al conjunto de todos los nodos que son …

9 graph-theory  co.combinatorics  puzzles 

Aquí hay un problema que me ha estado molestando por un tiempo. Digamos que una cadena es una secuencia de 1s y 0s, y una cadena comodín es una secuencia de 1, 0 y? S. Todas las cadenas y cadenas comodín tienen la misma longitud. Estos son comodines UNIX estándar; …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

Considere un espacio de Hilbert . Una base de producto no extensible (UPB) es un conjunto de vectores de producto | v i ⟩ = | v 1 i ⟩ ⊗ ⋯ ⊗ | v n i ⟩ tal que:H= H1⊗ ⋯ ⊗ HnorteH=H1⊗⋯⊗HnorteH = H_1 \otimes \dots \otimes H_nEl …

9 quantum-computing  linear-algebra  quantum-information 

Me ha fascinado la explosión extraordinaria en Smoothed Analysis y me llamó la atención una afirmación en el artículo Smoothed Analysis of Integer Programming . Esto indicó que la programación lineal entera está en P suavizado si está polinómicamente limitada. ¡Esto era esencial porque la programación de enteros es pseudo-polinomial! …

9 cc.complexity-theory  smoothed-analysis 

Esta pregunta surgió en el contexto de la criptografía, pero a continuación la presentaré en términos de teoría de la complejidad, ya que las personas aquí están más familiarizadas con esta última. Esta pregunta está relacionada con problemas en NP pero no en Promedio-P / poli y No uniformidad de …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Me interesa aprender más sobre algoritmos y estructuras de datos ajenos a la memoria caché, pero hay tantos documentos que honestamente no sé por dónde empezar. Encontré la tesis original de Prokup sobre el tema, que parece un buen punto de partida, pero si hay una introducción simple y accesible …

9 ds.algorithms  reference-request  cache-oblivious 

Como todos sabrán, hay una caída continua de la crisis financiera de 2008. Estaba pensando en cómo la teoría de la complejidad encajaba en todo esto, cuando me di cuenta de que no conocía las clases básicas de complejidad relacionadas con la economía financiera. Entonces, mi pregunta es ¿cuál es …

9 cc.complexity-theory  gt.game-theory  ce.computational-finance