Existe uma maneira documentada de calcular nós? (circunferências embutidas em um espaço euclidiano tridimensional). Quero dizer, um tipo de dados para representá-los e um algoritmo para determinar se duas instâncias do tipo de dados representam o mesmo nó. Se a resposta for positiva, e a...
A reivindicação a seguir é conhecida? Reivindicação : Para qualquer gráfico com n vértices existe uma coloração de G tal que todo conjunto independente é colorido com no máximo O ( √GGGnnnGGGcores.O (
Eu tenho perguntas sobre funções puras. De acordo com a página da Wikipedia, um dos requisitos para uma função pura é: A avaliação do resultado não causa nenhum efeito colateral ou saída semanticamente observável, como mutação de objetos mutáveis ou saída para dispositivos de E / S. Agora, o...
Até onde eu sei, o limite inferior da norma de fatoração fornecido por Linial e Shraibman é essencialmente o único limite inferior conhecido pela complexidade da comunicação quântica (ou pelo menos, inclui todos os outros). Existe alguma evidência contra esse limite ser apertado? O limite da norma...
Em Teoremas de graça! , Wadler diz que a caracterização da parametricidade pode ser re-expressa em termos de transformações naturais frouxas e isso será objeto de outro artigo. A que papel ele está se referindo? A abordagem categórica da parametericidade que conheço utiliza transformações...
Um gráfico planar é um gráfico que pode ser incorporado no plano, sem ter arestas de cruzamento. Seja um hipergrafo k -uniforme, isto é, um hipergrafo de modo que todas as suas hiperedições tenham tamanho k.G=(X,E)G=(X,E)G=(X,E)kkk Houve algum trabalho realizado na incorporação de hipergrafos no...
Depois de ler uma pergunta relacionada , sobre provas não-construtivas de algoritmos, fiquei pensando se existem métodos para mostrar a existência de máquinas de computação "pequenas" (digamos, em termos de estado) sem realmente construí-la. Formalmente: suponha que recebamos alguma linguagem e...
A teoria dos tipos de Martin-Löf usa os tipos W para definir estruturas indutivas, como números inteiros, listas, etc. No entanto, o cálculo de construções indutivas não as utiliza da mesma maneira; tipos indutivos parecem mais com esquemas de axiomas. Essas duas abordagens são equivalentes (elas...
Denota por o grau mínimo de saída em G e por δ - ( G ) o mínimo de grau.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) Em uma pergunta relacionada , mencionei a extensão Ghouila-Houri do teorema de Dirac nos ciclos hamiltonianos , o que sugere que se então G é
Portanto, o problema da cobertura do conjunto é trivial se nenhum dos conjuntos candidatos se cruzar. No entanto, e se o tamanho da interseção para qualquer par de conjuntos de candidatos fosse no máximo 1? Este problema é NP-difícil? Eu apreciaria qualquer insight. Obrigado,...
Aqui está um problema com um sabor semelhante ao aprendizado de juntas: Entrada: Uma função , representada por um oracle de associação, ou seja, um oracle que forneceu , retorna .f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}xxxf(x)f(x)f(x) Objetivo: Encontre um subcubo de com...
Como o @Marzio mencionou, o jogo a seguir é conhecido como Geografia Generalizada . Dado um gráfico e um vértice inicial , o jogo é definido da seguinte forma:G=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv \in V A cada turno (dois jogadores alternando), um jogador escolhe e, em seguida, acontece o...
A prova padrão de que o BQPSPACE está no PSPACE depende de uma análise do tipo de jogo Savitch nas integrais do caminho. No entanto, assume que o tempo de execução do BQPSPACE é no máximo exponencialmente longo. Isso é verdade para o PSPACE, mas para sistemas quânticos fechados com um número fixo...
Estou tentando entender o que está envolvido na pesquisa teórica em ciência da computação. O que os cientistas da computação teóricos fazem? Sei que um tempo significativo é gasto no ensino, na supervisão de estudantes de pós-graduação, na solicitação de financiamento e em funções departamentais....
Cruzado do MO . Seja CCC uma classe de gráfico definida por um número finito de subgráficos induzidos proibidos, todos cíclicos (contêm pelo menos um ciclo). Existem problemas de gráfico NP-rígido que podem ser resolvidos em tempo polinomial para CCC diferente da capa Clique e Clique? Se bem...
GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Eu digo que um subgrafo de (com o mesmo conjunto de vértices) é sp-equivalente a se . Em outras palavras, remover arestas para ir de para não altera o comprimento dos caminhos mais curtos; as arestas removidas não são necessárias para...
Isso me confunde. Um caso fácil de contagem é quando o problema de decisão está em e não há soluções.PPP Uma palestra mostra que o problema de contar o número de combinações perfeitas em um gráfico bipartido (equivalente a contar o número de capas de ciclo em um gráfico direcionado) é completo.#...
Possuo um livro que, inspirado nos Principia Mathematica de Russell e no positivismo lógico, tenta formalizar um domínio específico, determinando axiomas e deduzindo deles teoremas. Em suma, ele tenta fazer por seu domínio o que o PM tentou fazer pela matemática. Como o PM, foi escrito antes que a...
Há uma construção muito agradável por Conway de números surreais. São "números" que contêm números reais e ordinais, são totalmente ordenados e têm todas as propriedades de um campo (exceto que eles não formam um conjunto, mas uma classe). Veja, por exemplo, este pdf ou Wikipedia para uma...
As árvores de partição já foram implementadas? Aqui, eu estou falando sobre as árvores de partição da geometria computacional. As primeiras (quase) ótimas versões foram devidas a Matousek e outros, e mais recentemente a Timothy Chan: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Parece loucura...