Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

5
Curioso sobre as provas de completude NP assistidas por computador
No artigo "A COMPLEXIDADE DOS PROBLEMAS DE SATISFIABILIDADE", de Thomas J. Schaefer, o autor mencionou que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …
1
Fluxo elétrico plano exato
Considere uma rede elétrica modelada como um gráfico planar G, em que cada aresta representa um resistor de 1Ω. Com que rapidez podemos calcular a resistência efetiva exata entre dois vértices em G? Equivalentemente, com que rapidez podemos calcular a corrente exata que flui ao longo de cada extremidade, se …
2
Gráficos em que todos os caminhos mais curtos são únicos
Estou procurando gráficos não direcionados, não ponderados, conectados , nos quais, para cada par , existe um único caminho que realiza a distância .G = ( V, E)G=(V,E)G=(V,E)u , v ∈ Vvocê,v∈Vu,v \in Vu → vvocê→vu \rightarrow vd( u , v )d(você,v)d(u,v) Essa classe de gráficos é bem conhecida? Que …
3
Justificando a análise assintótica do pior caso para os cientistas
Eu tenho trabalhado na introdução de alguns resultados da complexidade computacional na biologia teórica, especialmente evolução e ecologia , com o objetivo de ser interessante / útil para os biólogos. Uma das maiores dificuldades que enfrentei é justificar a utilidade da análise de pior caso assintótica para limites inferiores. Existem …
10
Problemas fáceis em gráficos não ponderados, mas difíceis em gráficos ponderados
Muitos problemas de gráficos algorítmicos podem ser resolvidos em tempo polinomial, tanto em gráficos não ponderados quanto em ponderados. Alguns exemplos são caminho mais curto, árvore de abrangência mínima, caminho mais longo (em gráficos acíclicos direcionados), fluxo máximo, corte mínimo, correspondência máxima, arborescência ideal, certos problemas de subgráfico mais densos, …
1
Quais são os problemas práticos com os tipos de interseção e união?
Estou projetando uma linguagem de programação funcional de tipo estaticamente simples como uma experiência de aprendizado. Parece que o sistema de tipos que eu implementei até agora poderia (com um pouco de trabalho extra) incorporar tipos de interseção e união, por exemplo, você poderia ter: <Union String Integer> <Union Integer …
9
Introdução concisa a algoritmos para matemáticos
Estou procurando um texto introdutório conciso sobre algoritmos com uma teoria de alta razãoDeveria começar do início, mas depois progredir rapidamente, sem gastar muito tempo com exemplos do mundo real, técnicas elementares de prova, etc. Como matemático de pesquisa, tenho uma sólida formação em matemática que felizmente emprego para entender …
2
Limite inferior para determinante e permanente
À luz do resultado recente do abismo na profundidade 3 (que, entre outras coisas, produz profundidade-3 circuito aritmético para onxndeterminante sobreC), que têm as seguintes questões: Grigoriev e Karpinskirevelouum2Ω(n)um limite inferior para qualquer profundidade-3 circuito aritmético de computação o determinante denxnmatrizes sobre campos finitos (o que eu acho, também vale …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.