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...
Dado um gráfico não direcionado de vértices , qual é o tempo de execução mais conhecido para encontrar um subgráfico que é uma biclique ? Existem algoritmos parametrizados mais rápidos que o algoritmo de tempo \ binom {n} {k} \ mbox {poly} (n) de "adivinhar" um lado da biclique e ver se há pelo...
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...
Ao ler o blog de Dick Lipton, deparei-me com o seguinte fato no final de seu post no Bourne Factor : Se, para cada , existe uma relação da forma ( 2 n ) ! = M - 1 Σ k = 0 um K b c k k onde m = p o l y ( n ) , e cada um dos um K , b k e c k são p o l y ( n ) no comprimento de bits, então...
Faça um gráfico direcionado onde as bordas são decoradas com um número natural. Queremos o conjunto de todos os caminhos P entre dois vértices v 1 e v 2, de modo que cada aresta sucessiva no caminho seja decorada com um número natural que seja maior que o número natural que decora a aresta...
Qualquer planar , respectivamente, outerplanar gráfico satisfaz , respectivamente, , para cada subgráfico de . Além disso, gráficos planares (externos) podem ser reconhecidos em tempo polinomial.| E ' | ≤ 3 | V ' | - 6 | E ' | ≤ 2 | V ' | - 3 G ′ = ( V ′ , E ′ )
O que devo ler para entender esse problema? O poder dos circuitos quânticos de pequena profundidade. Is ? Em outras palavras, a parte "quântica" de qualquer algoritmo quântico pode ser compactada até a profundidade do polilog (n), desde que desejemos realizar um pós-processamento clássico em...
O manuscrito a seguir está disponível publicamente? Dana Scott, 1969, uma teoria das funções computáveis do tipo superior . Notas não publicadas do seminário, 7 páginas, University of Oxford. Há uma discussão deste artigo na seção 8.1.2, Tipos como conjuntos , em Cardone & Hindley, 2006...
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 candidatos...
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...
É sabido que no Sistema F, você pode codificar produtos binários com o tipo Pode, em seguida, definir projecção funções \ pi_1: A \ B vezes \ a A e \ pi_2: A \ vezes B \ em B .π 1 : A × B → A π 2 : A × B → BUm × B ≜ ∀ ct .( A → B → α ) → αUMA×B≜∀α.(UMA→B→α)→α A \times B \triangleq...
Existem algoritmos / provas mais simples para triangular um polígono plano em tempo linear? Qual é um bom recurso sobre o estado da arte desse famoso
Deixe [n][n][n] denotar o conjunto {1,...,n}{1,...,n}\{1,...,n\} e C (n, k) denotam o conjunto de todas as combinações de kkk de elementos de [n][n][n] sem repetição. Seja p=p1p2...pkp=p1p2...pkp= p_1p_2...p_k ser um -tuple em . Dizemos que uma permutação do conjunto evita se não houver k-tupla...
Estou interessado na geração de números pseudo-aleatórios para criptografia. Além do capítulo 5 de Menezes / Oorschot / Vanstone ; Capítulo 8 de Stinson ; e o capítulo 3 de Goldreich , onde mais eu poderia encontrar mais? Estou interessado em princípios gerais para projetar PRNGs (propriedades...
Ao ler o artigo " Uma teoria aplicada à FPH ", você pode encontrar a seguinte passagem: Considerando as teorias que caracterizam classes de complexidade computacional, existem três abordagens diferentes: em um, as funções que podem ser definidas na teoria estão "automaticamente" dentro de...
Como todos sabem, o famoso livro de Garey e Johnson (e muitos outros) fornece uma excelente referência para a técnica de redução no cenário clássico. Existem pesquisas ou livros sobre o tópico da técnica de redução no algoritmo parametrizado, digamos a redução de
Na verdade, tenho duas perguntas: Quem primeiro usou as relações lógicas para relacionar a semântica? Rastreei-os de volta à " Sobre a relação entre a semântica direta e a continuação " de Reynold , mas não posso afirmar que fiz uma pesquisa exaustiva. Eu encontrei referências a relações...
Eu uso o termo do título em um sentido muito amplo. Há uma quantidade significativa de trabalho sobre a teoria dos jogos evolucionários, incluindo seus fundamentos matemáticos. Fui recomendado "Jogos Evolucionários e Dinâmica de População", mas ainda não o mergulhei. Há também uma quantidade...
Edit: Como não recebo nenhuma resposta / comentário há uma semana, gostaria de acrescentar que estou feliz em saber algo sobre o problema. Eu não trabalho na área, portanto, mesmo que seja uma observação simples, talvez eu não saiba. Mesmo um comentário como "Eu trabalho na área, mas não vi uma...
Dados os conjuntos e , uma relação difuncional entre eles é definida como uma relação que satisfaz a seguinte propriedade:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Se e e , então . a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim b'a∼b′a∼b′a \sim b'a′∼ba′∼ba' \sim b Relações difuncionais são uma...