Ciência da Computação Teórica

Eu apreciaria quaisquer indicações ou termos que pudessem me iniciar na direção certa. Temos um gráfico direcionado G = ( V, E)G=(V,E)G=(V,E) e comprimentos eueu jeuEujl_{ij} para cada aresta que pode ser considerada positiva. Há um início nó especial e nó final .eu jEujijsssttt Para cada borda , gostaríamos de …

9 ds.algorithms  reference-request  graph-algorithms 

Mesmo que não seja um ponto crucial, não vejo nenhuma literatura em torno dessa questão. Existem resultados de relativização? Não seria bem simples provar inclusão estrita, adaptando o teorema da hierarquia de tempo não determinístico, explorando todos os caminhos possíveis da máquina NP?

9 cc.complexity-theory  complexity-classes 

Eu queria saber se a ordem das declarações de um tipo indutivo pode importar. Por exemplo, no Coq, você pode definir Nat: Inductive Nat := | O : Nat | S : Nat -> Nat. ou Inductive Nat := | S : Nat -> Nat | O : Nat. Talvez …

9 lo.logic  type-theory  coq  dependent-type 

Um dos principais problemas na enumeração de gráfico é determinar a 'forma' de um gráfico, por exemplo, a classe de isomorfismo de qualquer gráfico específico. Estou perfeitamente ciente de que todo gráfico pode ser representado como uma matriz simétrica. No entanto, para obter sua forma, você precisará de uma coleção …

9 graph-theory  co.combinatorics  algebra 

Em alguma área de pesquisa em CS, obtivemos alguns resultados muito interessantes. Agora estamos pensando em publicá-los. No grupo que somos, a filosofia é publicar imediatamente pequenas coisas em documentos de conferência, o que é bom, mas não o melhor. Agora, estou pensando em coletar mais dessas "pequenas coisas" e …

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

Temos um conjunto, , de listas de elementos do conjunto . Cada elemento de aparece em uma lista única em . Estou procurando uma estrutura de dados que possa executar as seguintes atualizações:N = { 1 , 2 , 3 , . . . , n } N LeuLLN= { …

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

Parece que em linguagens de consulta populares para bancos de dados relacionais, é possível criar consultas que exigirão muitos recursos para serem respondidas. Na prática, os administradores de banco de dados gerenciam isso limitando a quantidade de memória por consulta e verificando se há consultas de longa duração, se houver …

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

Aqui está um problema que me incomoda há um tempo. Digamos que uma string seja uma sequência de 1s e 0s, e uma string curinga é uma sequência de 1, 0 e? S. Todas as strings e curingas têm o mesmo comprimento. Esses são curingas UNIX padrão; 10 ?? 1 …

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

Eu tenho um gráfico que consiste apenas em gráficos em estrela. Um gráfico em estrela consiste em um nó central com arestas em todos os outros nós. Vamos ser diferentes gráficos estrela de tamanhos diferentes que estão presentes em . Chamamos o conjunto de todos os nós que são centros …

9 graph-theory  co.combinatorics  puzzles 

Já que é sexta-feira, é hora de uma pergunta da CW. Estou procurando heurísticas que tenham amplo uso em problemas de otimização. Para limitar o escopo a heurísticas mais "amigáveis ​​à teoria", eis as regras (algumas arbitrárias, outras não) Deve ser um método bem definido, sem inúmeros parâmetros e com …

9 ds.algorithms  reference-request  optimization  heuristics 

Considere-se um espaço de Hilbert . Uma base de produto não extensível (UPB) é um conjunto de vetores de produtos | v i ⟩ = | v 1 i ⟩ ⊗ ⋯ ⊗ | v n i ⟩ tais que:H= H1 1⊗ ⋯ ⊗ HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes …

9 quantum-computing  linear-algebra  quantum-information 

Essa questão surgiu no contexto da criptografia, mas a seguir apresentarei em termos da teoria da complexidade, uma vez que as pessoas aqui estão mais familiarizadas com a última. Esta pergunta está relacionada a Problemas no NP, mas não na Média-P / poli e Não- uniformidade de batimento do Oracle …

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

Fui fascinado pela explosão extraordinária na Análise suavizada e fiquei impressionado com uma afirmação no artigo Análise suavizada da programação inteira . Isto afirmou que a Programação Linear Inteira está em P Suavizado se Limitada Polinomialmente. Isso era essencial pela virtude de que a Programação Inteira é Pseudo-polinomial! A questão, …

9 cc.complexity-theory  smoothed-analysis 

Gostaria de saber se o seguinte problema tem um nome ou quaisquer resultados relacionados a ele. Deixe G = ( V, W )G=(V,W)G = (V,w) ser um gráfico ponderada onde w ( u , v)W(você,v)w(u,v) indica o peso da aresta entre vocêvocêu e , e para todo , . O …

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

O teorema de Fáry diz que um simples gráfico plano pode ser desenhado sem cruzamentos, de modo que cada aresta seja um segmento de linha reta. Minha pergunta é se existe um teorema análogo para gráficos de número de cruzamento delimitado . Especificamente, podemos dizer que um gráfico simples com …

9 graph-theory  co.combinatorics  planar-graphs