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

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 processamento quântico de informações, e a …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

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 …

32 cc.complexity-theory  reference-request  space-bounded 

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 trabalham magicamente com fórmulas de …

32 reference-request  big-list  pr.probability  books 

Preciso de um livro de teoria de autômatos finito com muitos exemplos que eu possa usar para auto-estudo e preparação para exames.

32 reference-request  automata-theory  fl.formal-languages 

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 …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

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 quânticos?

30 reference-request  quantum-computing  matrix-product 

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 foram usados ​​para resolver problemas como subconjuntos …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

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 isso?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

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?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Suponha que é um gráfico com o número de coloração d = χ ( G ) . Considere o seguinte jogo entre Alice e Bob. Em cada rodada, Alice escolhe um vértice e Bob responde com uma cor em { 1 , … , d - 1 } para esse …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

O estudo da ecologia e da evolução está se tornando cada vez mais matemático, mas a maioria das ferramentas teóricas parece vir da física. No entanto, em muitos casos, os problemas têm uma natureza muito discreta (veja, por exemplo, SLBS00 ) e podem se beneficiar da perspectiva da ciência da …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

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 …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

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, é difícil atribuir tarefas …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Muitas vezes, é possível encontrar métodos de plano de corte, propagação variável, ramificação e encadernação, aprendizado de cláusulas, retrocesso inteligente ou até heurísticas humanas tecidas à mão nos solucionadores SAT. No entanto, há décadas os melhores solucionadores de SAT contam com técnicas de prova de resolução e usam uma combinação …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Tenho certeza que todo mundo conhece o experimento com agulhas de Buffon no século 18, que é um dos primeiros algoritmos probabilísticos a calcular .ππ\pi A implementação do algoritmo em computadores geralmente exige o uso de , ou uma função trigonométrica, que, mesmo que sejam implementadas como séries truncadas, acaba …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo