Suponha que recebamos um gráfico GGG e os parâmetros k,ϵk,ϵk,\epsilon . Existem intervalos de valores para kkk (ou é possível para todos os kkk ) para os quais é possível testar se GGG é ϵϵ\epsilon - longe de ter um conjunto independente de tamanho pelo menos kkk no tempo...
Gostaria de saber se existem abordagens que formulam um problema de roteamento de veículo com Windows de tempo ( VRPTW ) (como um problema de decisão) como uma instância de SAT / SMT? (alternativa: TSP) Por exemplo: "Existe uma solução válida para visitar todos os clientes dentro de suas janelas...
Como acompanhamento da minha pergunta anterior , resolvida por Hsien-Chih Chang, aqui está outra tentativa de encontrar uma generalização apropriada do teorema de Ramsey. (Você não precisa ler a pergunta anterior; esta postagem é independente.) Parâmetros: números inteiros são dados e, em...
Seja um conjunto de formas retangulares em D- dimensional. Para d ∈ { 1 , . . . , D } e v ∈ V , w d ( v ) ∈ Q + descreve o comprimento de v na dimensão d . A mesma notação é usada para o recipiente C . A D problema -dimensional ortogonal embalagem (OPP- D ) é decidir se V se encaixa no recipiente...
Foi difícil encontrar algoritmos ou publicar artigos sobre a triangulação de polígono com interseção automática (também polígono com estrutura de orifícios). Alguém pode me orientar a encontrar artigos / algoritmos publicados, por favor? PS: alguém marcar essa pergunta adequadamente, por favor,...
Gostaria de saber onde posso recorrer para uma introdução boa e gentil ao k-SAT (isso pode ser para matemáticos que podem não ter uma boa formação em ciência da computação). Também gostaria de conhecer trabalhos que talvez pesquisem ou expliquem os métodos atuais usados para resolver o k-SAT....
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 problema é encontrar um subconjunto de vértices...
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...
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 ,...
Eu sou interessante em aprender mais sobre algoritmos e estruturas de dados que ignoram o cache, mas existem tantos trabalhos por aí que honestamente não sei por onde começar. Encontrei a tese original do Prokup sobre o assunto, o que parece ser um bom ponto de partida, mas se houver uma introdução...
Eu tenho uma família de problemas de programação linear: maximize c′xc′xc' x sujeito a Ax≤bAx≤bA x\le b , x≥0x≥0x\ge0 . Os elementos de , , e são números inteiros não negativos, estritamente positivo. ( também deve ser integral, mas vou me preocupar com isso mais tarde.)b c c...
Em todos os lugares que eu li sobre o problema de corte mais escasso, ele diz apenas que o problema é conhecido por ser NP- difícil. Onde posso encontrar uma prova disso? Qual problema NP- duro conhecido reduz ao problema de corte mais esparso? Não encontrei nenhuma prova no livro de Vazirani -...
Para um aplicativo de aprendizado de máquina, meu grupo precisa calcular a distância euclidiana do ésimo vizinho mais próximo em um conjunto para cada (para entre 5 e cerca de 100 e algumas centenas até alguns milhões). Atualmente, estamos usando a abordagem de força bruta ou a abordagem óbvia com...
Assuma uma estrutura na complexidade da comunicação em que temos dois jogadores A (piolhos) e B (ob) e um R (eferee). A e B não se comunicam diretamente entre si. Em cada rodada de comunicação, cada um deles envia uma mensagem ( , m B ) para o R. R calcula duas funções f A ( m A , m B ) e f B ( m...
No contexto de alguns trabalhos recentes , definimos uma linguagem baseada em uma lógica de três valores à la Kleene, onde 1 11 11 significa verdadeiro, para falso e para erro ou não sei. Para mostrar que nossa linguagem era expressiva, queríamos provar que poderíamos criar um conjunto de...
Minha pergunta é um pouco vaga. Fiquei me perguntando se (e como), podemos aplicar a noção de largura de árvore aos problemas de empacotamento em gráficos. Eu ficaria feliz com quaisquer insights ou referências de trabalhos de pesquisa anteriores sobre isso (assumindo que há alguma relação)....
Intrigado com a interessante pergunta de Chris Pressey sobre funções elementares-recursivas , eu estava explorando mais e não consegui encontrar uma resposta para essa pergunta na web. As funções recursivas elementares correspondem muito bem à hierarquia exponencial,
A seguir, parece-me uma definição natural e me pergunto se ela foi estudada em algum lugar. Considere um conjunto de idiomas. Então K ⊂ { 0 , 1 } ω é chamado de " informação verificável em X " quando existe L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK...
Estou interessado em compiladores verificados formalizados na teoria do tipo Martin-Löf, ou seja, Coq / Agda. No momento, escrevi um pequeno exemplo de brinquedo. Com isso, posso provar que minhas otimizações estão corretas. Por exemplo, adições com zero podem ser eliminadas, ou seja, expressões...
Considere um problema no qual você recebe uma grade 2D (por exemplo, um tabuleiro de xadrez) em que certos quadrados estão ocupados e você precisa colocar o número mínimo de retângulos sem sobreposição de qualquer tamanho wxh em que w = 1 ou h = 1 (ou seja, "quadrado" segmentos ") de forma que...