Eu tenho um problema algébrico relacionado a vetores no campo GF (2). Seja v1, v2, … , Vmv1,v2,...,vmv_1, v_2, \ldots, v_m (0,1) - vetores da dimensão e . Encontre um algoritmo de tempo polinomial que encontre um vetor (0,1) da mesma dimensão, de modo que não seja a soma de nenhum vetores entre . A...
Existe uma prova de que a emulação de uma máquina de Turing em uma máquina de Turing inconsciente não pode ser feita em menos de que é o número de etapas que a máquina de Turing usa ? Ou isso é apenas um limite superior?O ( m logm )O(mlogm)\mathcal{O}\left(m\log m\right)mmm No artigo de Paul...
Eu gostaria de saber sobre a história desses dois termos: " eficiente ", " viável ". Quem os usou sobre computação / algoritmos pela primeira vez? (no sentido moderno desses termos, ou seja, século 20). Como eles se tornaram mainstream? Como esses dois termos começaram a ser usados como...
Alguém formalizou a relação entre técnicas de análise de redução de turnos e continuações delimitadas? Ao construir um analisador de baixo para cima (por exemplo, analisadores LR), pegamos uma gramática e, em seguida, representamos estados de análise como conjuntos de itens : produções aumentadas...
Sabe-se se o problema do conjunto de vértices de feedback em gráficos planas não direcionados de grau delimitado é
Uma função de ajuste é submodular monótono se para todos , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BUMA,BA,Bf( A ) + f( B ) ≥ f( A ∪ B )+f( A ∩ B).f(A)+f(B)≥f(UMA∪B)+f(UMA∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Uma propriedade mais forte é Tomando C = A \ cup B ,...
Alguém pode listar alguns problemas conhecidos que atendem às seguintes condições: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
Eu atribuído meus alunos o problema de encontrar um triângulo consistente com uma coleção de pontos em R 2 , rotulado com ± 1 . (Um triângulo T é consistente com a amostra rotulada se T contém todos os pontos positivos e nenhum dos pontos negativos; por suposição, a amostra admite pelo menos 1...
Eu tenho uma pergunta sobre polinômios de baixo grau e probabilidade: Qual é a (comportamento assiptótico da) probabilidade de que um polinômio * aleatório, , acima de GF (2), com grau e n variáveis tenha .≤ d b i a s ( p ) ≜ | Pr x ∈ { 0 , 1 } n ( p ( x ) = 0 ) - Pr x ∈ { 0 , 1 } n ( p ( x ) = 1...
Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por
Existem vários resultados conhecidos do tamanho do circuito com base em restrições aleatórias e no Switching Lemma .A C0 0AC0\mathsf{AC^0} Podemos desenvolver um resultado do Switching Lemma para provar um tamanho inferior para os circuitos (semelhante às provas do limite inferior para )? A C 0T...
Em seu trabalho seminal, algoritmos teóricos de grupo para multiplicações de matrizes , Cohn, Kleinberg, Szegedy e Umans introduzem o conceito de quebra-cabeça exclusivamente solucionável (definido abaixo) e a capacidade da USP. Eles afirmam que Coppersmith e Winograd, em seu próprio papel inovador...
A eliminação gaussiana torna determinante do tempo polinomial da matriz computável. A redução da complexidade na computação do determinante, que é a soma dos termos exponenciais, é devida à presença de sinais negativos alternativos (a falta de qual torna a computação permanente é isto é, mais...
A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).nO (logn )nO(registron)n^{\mathcal O(\log n)} Você tem alguma referência para isso? Em...
A teoria da computação em estado de cluster já está bem estabelecida, mostrando que qualquer circuito BQP pode ser modificado para usar apenas portas quânticas de qubit único, possivelmente controladas classicamente, desde que haja um amplo fornecimento de um estado conhecido como "estado de...
Um algoritmo de teste de distribuição para uma propriedade de distribuição P (que é apenas um subconjunto de todas as distribuições acima de [n]) tem acesso permitido às amostras de acordo com alguma distribuição D e é necessário decidir (whp) se ou ( aqui é geralmente a distância ). A medida de...
Parece-me que os especialistas em aprendizado de máquina / mineração de dados estão familiarizados com P e NP, mas raramente falam sobre algumas das classes de complexidade mais sutis (por exemplo, NC, BPP ou IP) e suas implicações para uma análise eficaz dos dados. Existe alguma pesquisa de...
É possível criar uma implementação mecânica de propósito único (não concluída em Turing), por exemplo, Microsoft Word? É possível implementar coisas como iteradores, funções de primeira ordem, toda a gama de técnicas de programação? As engrenagens e outras partes mecânicas representam estruturas de...
Em [1], Mitchell Wand demonstrado que a adição de FEXPRs para o cálculo lambda puro trivializes a teoria de equivalência contextual, o que significa que dois termos são contextualmente equivalente sse eles são -congruent. Ao explorar o trabalho relacionado, ele foi "o nosso resultado estende uma...
Existem livros recentes sobre algoritmos on-line? Conheço apenas dois livros sobre o assunto. Computação on-line e análise competitiva de Allan Borodin e Ran El-Yaniv: este é um livro clássico, mas antigo, e não contém muitos avanços recentes no campo. O projeto de algoritmos on-line competitivos...