Parece que a Teoria da Complexidade Geométrica exige muito conhecimento de matemática pura, como geometria algébrica, teoria das representações. Embora eu seja estudante de ciências da computação e não tenha aulas de matemática muito abstrata e pura, estou interessado neste programa. Existe uma...
Existem referências (online ou em forma de livro) que organizam e discutem os teoremas do TCS pela técnica de prova? Garey e Johnson fazem isso para os vários tipos de construções de widgets necessários para as provas de completude do NP (particularmente no capítulo 3 do livro), mas estou pensando...
A complexidade cada vez maior dos programas de computador e a posição cada vez mais crucial que os computadores têm em nossa sociedade me deixam pensando por que ainda não usamos coletivamente linguagens de programação nas quais você precisa dar uma prova formal de que seu código funciona...
Vou fazer uma pergunta bastante vaga, já que nem sempre é fácil distinguir a fronteira entre a teoria da computação e a matemática. PERGUNTA: Você tem conhecimento de algum resultado interessante no CS que seja independente do ZFC (isto é, teoria dos conjuntos padrão) ou que foi originalmente...
Vários problemas geométricos são fáceis quando considerados em , mas são NP-completos em para (incluindo um dos meus problemas favoritos, tampa do disco da unidade).D d d ≥ 2R1R1R^1RdRdR^dd≥2d≥2d\geq2 Alguém sabe de um problema que é politime solucionável para e , mas NP-completo para R ^ d, d \...
Esta é uma pergunta não técnica, mas certamente relevante para a comunidade do TCS. Se considerado inadequado, fique à vontade para fechar. A página do Complexity Zoo (http://qwiki.stanford.edu/index.php/Complexity_Zoo) certamente foi de grande serviço para a comunidade TCS ao longo dos anos....
Em geral, sabemos que a complexidade de testar se uma função assume um valor específico em uma determinada entrada é mais fácil do que avaliar a função nessa entrada. Por exemplo: Avaliar a permanente de uma matriz inteira não negativa é # P-difícil, mas dizer se essa permanente é zero ou...
O problema é calcular o polinómio . Assuma que todos os coeficientes se encaixam em uma palavra de máquina, ou seja, podem ser manipulados em unidade de tempo.( a1 1x + b1 1) × ⋯ × ( anx + bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Você pode fazer o tempo aplicando a...
Considere o seguinte problema de contagem (ou o problema de decisão associado): Dados dois inteiros positivos codificados em binário, calcule seu maior divisor comum (MDC). Qual é a menor classe de complexidade em que esse problema está contido? Você pode fornecer uma referência? Nesta questão,...
Preciso de um livro de teoria de autômatos finito com muitos exemplos que eu possa usar para auto-estudo e preparação para
Embora tenha passado em alguns cursos sobre teoria das probabilidades, tanto no ensino médio quanto na universidade, tenho dificuldade em ler os artigos da TCS quando se trata de probabilidade. Parece que os autores dos trabalhos do TCS estão muito familiarizados com a probabilidade. Eles...
Defina LOGLOG como a classe de idiomas que pode ser calculada no espaço O (loglog n) por uma máquina de Turing determinística (com acesso bidirecional à entrada). Da mesma forma, defina NLOGLOG como a classe de idiomas que pode ser calculada no espaço O (log log n) por uma máquina de Turing não...
Examinar perguntas através da lente algorítmica (isto é, do ponto de vista algorítmico ou da complexidade) tornou-se útil em disciplinas fora do 'domínio padrão' da ciência da computação. Em particular, o CS causou impacto na biologia através da biologia computacional, na física através do...
Eu tenho lido " Semantics with Applications ", de Nielson & Nielson , e gosto muito do assunto. Eu gostaria de ter mais um livro sobre semântica da linguagem de programação - mas eu realmente posso conseguir apenas um. Dei uma olhada no livro de Turbak / Gifford , mas é muito longo; Eu pensei...
Não parece que isso seja conhecido - mas existem limites inferiores interessantes sobre a complexidade da multiplicação de matrizes no modelo de computação quântica? Temos alguma intuição de que possamos superar a complexidade do algoritmo Coppersmith-Winograd usando computadores...
Os métodos polinomiais , como os teoremas Combinatorial Nullstellensatz e Chevalley – Warning, são ferramentas poderosas na combinatória aditiva. Ao representar um problema com polinômios adequados, eles podem garantir a existência de uma solução ou o número de soluções para os polinômios. Eles...
Em seu livro Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov acreditava que toda linguagem em P possui circuitos de tamanho linear. Nenhuma referência é mencionada e não consegui encontrar nada online. Alguém sabe mais sobre
Só conheço duas provas do lema de Schwartz – Zippel. A primeira prova (mais comum) é descrita na entrada da Wikipedia . A segunda prova foi descoberta por Dana Moshkovitz. Existem outras provas que usam idéias substancialmente diferentes?
Acabei de ensinar o algoritmo de mincut aleatório Karger-Stein na minha classe de algoritmos de pós-graduação. Esta é uma verdadeira jóia algorítmica , então eu não posso não ensiná-lo, mas ele sempre me deixa frustrado, porque eu não sei quaisquer outras aplicações da técnica principal. (Portanto,...
Edit: Eu escolhi a resposta com a pontuação mais alta até 06 de dezembro de 2012. Esta é uma pergunta suave. O conceito de algoritmos (determinísticos) remonta a BC. E os algoritmos probabilísticos? Em esta entrada wiki , o algoritmo de Rabin para o problema mais próximo par de geometria...