Perguntas com a marcação «reference-request»

A Computação Quântica é uma área ativa de pesquisa que visa tirar proveito da física quântica (por exemplo, emaranhamento quântico) para aprimorar as capacidades de eficiência dos computadores (não altera a tese de Church-Turing ). Quais são os experimentos mais significativos que foram realizados para demonstrar a teoria da computação …

17 reference-request  quantum-computing 

Suponha que você receba um gráfico H. simples, não direcionado, conectado O problema do corte sem H é definido da seguinte maneira: Dado um gráfico simples e não direcionado G, existe um corte (partição de vértices em dois conjuntos não vazios, L, R), de modo que os gráficos induzidos pelos …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Estou ciente de pelo menos duas abordagens teóricas diferentes para entender os bancos de dados relacionais: a álgebra / cálculo relacional de Codd e a teoria das categorias. Existe alguma relação entre essas duas abordagens? Em certo sentido, eles são equivalentes? Existe algum trabalho introdutório explicando como essas duas estruturas …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Background . Sou um estudante de bacharel interessado em pesquisas relacionadas à teoria das categorias, mônadas e Haskell, e quero encontrar um tópico para a tese de bacharel nessa área. Eu olhei para o jornal Eugenio Moggi , “ Noções de Computação e Mônadas ”, 1991, e ainda não entendo …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Sabe-se que a interseção de três matróides gerais é NP-difícil ( fonte ), o que é feito através da redução do ciclo Hamiltoniano. A redução usa um matroid gráfico e dois matroids de conectividade. Um caso especial de um problema no qual estou trabalhando pode ser resolvido pela interseção de …

16 reference-request  np-hardness  reductions 

Estou interessado em classificar uma matriz de valores inteiros positivos L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n em tempo linear (no modelo de RAM com medida de custo uniforme, ou seja, números inteiros podem ter tamanho logarítmico, mas presume-se que as operações aritméticas nelas tempo da unidade). Obviamente, isso é impossível com …

16 reference-request  time-complexity  sorting 

Muitas publicações de ciência da computação das décadas de 1950 e 1960 contêm especulações filosóficas fascinantes sobre a natureza da mente e o significado da informação em relação ao mundo físico. Exemplos famosos são o "Teste de Turing", o "Calculating Space" de Zuse, o Wheeler "from bit" etc. Hoje, esses …

16 reference-request  soft-question  philosophy 

Um gráfico misto é um gráfico que pode ter bordas direcionadas e não direcionadas. Seu gráfico não direcionado subjacente é obtido esquecendo as orientações das arestas direcionadas e, na outra direção, uma orientação de um gráfico misto é obtida atribuindo uma direção a cada aresta não direcionada. Um conjunto de …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Contar triângulos em gráficos gerais pode ser feito trivialmente em e acho que fazer muito mais rápido é difícil (referências bem-vindas). E os gráficos planares? O procedimento simples a seguir mostra que isso pode ser feito em . Minha pergunta é dupla:O ( n log n )O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) O que é …

16 reference-request  graph-algorithms  planar-graphs 

Vou apresentar meu problema com um exemplo. Digamos que você esteja projetando um exame, que consiste em um certo conjunto de perguntas independentes (que os candidatos podem acertar ou errar). Você quer decidir sobre a pontuação a ser dada a cada uma das perguntas, com a regra de que os …

16 reference-request  boolean-functions 

Seja um dígrafo (não necessariamente um DAG) e deixe . O que é a complexidade da contagem do número de simples caminhos em . GGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts-ts-tGGG Eu esperaria que o problema fosse # completo, mas não consegui localizar uma referência …

16 ds.algorithms  reference-request  counting-complexity 

Estou tentando entender a complexidade das funções expressáveis ​​através de portas de limiar e isso me levou a . Em particular, estou interessado no que se sabe atualmente sobre o aprendizado no T C 0 , pois não sou especialista na área.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 O que eu descobri até agora é: Todos …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Estou interessado em saber se existem bons artigos ou pesquisas expositivos aos quais posso me referir quando escrevo sobre operadores de classes de complexidade : operadores que transformam classes de complexidade fazendo coisas como adicionar quantificadores a eles. Exemplos de operadores O seguinte pode ser interpretado como uma lista mínima …

16 reference-request  complexity-classes 

Uma cobertura de aresta é um subconjunto de arestas de um gráfico, de modo que todos os vértices do gráfico sejam adjacentes a pelo menos uma aresta da cobertura. Os dois documentos a seguir dizem que a contagem de capas de arestas é #P : Um FPTAS simples para contar …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Há muito pouca informação que eu possa encontrar sobre o problema NP-completo de resolver a equação diofantina linear em números inteiros não negativos. Ou seja, existe uma solução em não negativo para a equação , onde todas as constantes são positivas? A única menção digna de nota desse problema que …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity