Perguntas com a marcação «survey»

Eu gostaria de escrever uma pesquisa sobre as aplicações da Topologia em Ciência da Computação. Pretendo cobrir a história das idéias topológicas em Ciência da Computação e também destacar alguns desenvolvimentos atuais. Seria extremamente útil se alguém pudesse dar uma opinião sobre qualquer uma das perguntas abaixo. Existem documentos ou …

61 reference-request  ho.history-overview  topology  survey 

O objetivo desta pergunta é coletar exemplos da ciência da computação teórica em que o uso sistemático de computadores foi útil na construção de uma conjectura que leva a um teorema, falsificar uma abordagem de conjectura ou prova, construir / verificar (partes de) uma prova. Se você tem um exemplo …

55 proofs  survey  examples 

Atualmente, estou escrevendo uma pesquisa sobre teoremas de hierarquia no TCS. Pesquisando artigos relacionados, notei que a hierarquia é um conceito fundamental não apenas no TCS e na matemática, mas em várias ciências, da teologia e sociologia à biologia e química. Visto que a quantidade de informações é vasta, espero …

42 cc.complexity-theory  reference-request  big-list  survey 

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 lista de "conhecimento mínimo" para aprender esta …

38 reference-request  big-list  survey  gct 

Sobre quais tópicos do TCS ausentes na Wikipedia você mais gostaria de ter um artigo? Podem ser omissões gritantes ou apenas tópicos que você acha que realmente deveriam ter um artigo. Um tópico por resposta, para que os mais procurados possam ser votados. Atualização 5/2/2017 : Shuchi Chawla está liderando …

26 soft-question  big-list  survey 

Estou procurando um livro sobre estruturas de dados avançadas que vão além do que é abordado em livros-texto padrão como Cormen, Leiserson, Rivest e "Introduction to Algorithms" de Stein. Um livro que pode ser usado para ministrar um curso de pós-graduação em estruturas avançadas de dados, como Erik Demaine e …

24 soft-question  ds.data-structures  survey  books 

Prever o mercado de ações é difícil! O TCS pode tornar esse sentimento mais formal? Recentemente, comecei a pensar um pouco sobre finanças e queria saber como o conhecimento do TCS poderia ajudar. Os fundos de hedge e as empresas de investimento parecem usar negociação algorítmica, aprendizado de máquina e …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

O teorema automático de prova e pesquisa de provas é mais fácil em lógicas subestruturais lineares e outras proposicionais que carecem de contração? Onde posso ler mais sobre o teorema automático de prova nessas lógicas e o papel da contração na pesquisa de provas?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Seria bom coletar uma lista de condições que impliquem que uma linguagem L sem contexto seja regular, ou seja, condições da forma: "se um CFG / PDA determinado tiver a propriedade P, suas linguagens serão regulares" A propriedade P não precisa caracterizar os CFGs que geram idiomas regulares. Além disso, …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Seja uma função booleana com sensibilidade s ( f ) e bloqueie a sensibilidade b s ( f ) .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) A conjectura de conjectura de sensibilidade de bloco de sensibilidade afirma que existe um tal que ∀ f , b s ( f ) ≤ …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Existe uma pesquisa (em papel, capítulo de livro, tutorial, links, ...) da semântica de vários recursos da linguagem de programação? Eu estava inicialmente impressionado com os recursos de D aqui http://www.digitalmars.com/d/2.0/comparison.html Gostaria de ver o que eu poderia obter daqui, apesar de ter feito uma pergunta semelhante no stackoverflow e …

12 reference-request  pl.programming-languages  survey 

Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e uma compreensão da área em geral. …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Estou procurando recursos (de preferência um manual) sobre tópicos avançados em algoritmos (tópicos além do que é abordado em manuais de algoritmos como CLRS e DPV). O tipo de material que pode ser usado para o ensino de tópicos em um curso de algoritmos, como o Erik Demaine e o …

11 ds.algorithms  reference-request  survey  books 

Atualmente, existem muitos resultados em separadores em gráficos, desde separador planar, separador de árvores, gráficos de largura de árvores delimitadas, gráficos de gênero delimitados, etc, etc, etc. Existe alguma pesquisa atualizada sobre isso e suas aplicações?

11 reference-request  graph-algorithms  survey 

Existem exemplos concretos (ou uma rica fonte de) de aplicação de números adic na ciência da computação?ppp

11 survey