Perguntas com a marcação «soft-question»

Ao longo dos anos, me acostumei a ver muitos teoremas do TCS provados usando análise discreta de Fourier. A transformação Walsh-Fourier (Hadamard) é útil em praticamente todos os subcampos do TCS, incluindo testes de propriedades, pseudo-aleatoriedade, complexidade da comunicação e computação quântica. Embora eu tenha me acostumado a usar a …

60 soft-question  boolean-functions  fourier-analysis 

Depois de estudar autômatos determinísticos de estado finito (DFA) na graduação, senti que eles eram extremamente bem compreendidos. Minha pergunta é se há algo que ainda não entendemos sobre eles. Não quero dizer generalizações de DFAs, mas os DFAs originais não modificados que estudamos na graduação. Essa é uma pergunta …

59 soft-question  open-problem  dfa 

Quais são as diretrizes gerais para verificar suas provas? Eu acredito que isso é importante para estudantes de pós-graduação como eu. Eu já sei o que precisamos fazer para provar algo, mas você sempre precisa verificar tudo antes de enviá-lo. Mesmo para o seu próprio consultor. Desenvolvi algumas estratégias por …

59 soft-question  research-practice  writing 

Esta pergunta é algo que eu me pergunto há um tempo. Quando as pessoas descrevem o problema P vs. NP, geralmente comparam a classe NP à criatividade. Eles observam que compor uma sinfonia com qualidade Mozart (análoga a uma tarefa NP) parece muito mais difícil do que verificar se uma …

59 cc.complexity-theory  complexity-classes  soft-question 

Eu sou novo no site. No mathoverflow, isso seria um wiki da comunidade, mas não vejo como definir isso aqui. Não é uma pergunta de pesquisa, mas espero que seja de interesse de cientistas da computação teóricos profissionais. Eu sou um estudante de graduação do segundo ano em teoria e …

59 soft-question  career  advice-request 

Com o advento da internet (e do senso comum), há cada vez mais demanda por pesquisas de acesso aberto. Vários pesquisadores (inclusive eu) acham frustrante que os artigos de pesquisa revisados ​​por pares estejam por trás de paywalls. Estou procurando periódicos e conferências (relacionados à ciência da computação teórica, teoria …

58 soft-question  conferences  journals 

Quais ferramentas você usa para escrever papéis? Pela pouca experiência que tenho, os teóricos passam muito tempo escrevendo e refinando artigos, além de realmente serem criativos. Ou seja, comunicando seu trabalho a outras pessoas. Talvez os trabalhos não sejam o caminho certo para fazê-lo, mas isso deve ser deixado para …

55 soft-question  big-list  research-practice  writing 

É a minha primeira pergunta neste site. Estou fazendo um curso de mestrado em teoria da computação. Como você explicaria o problema de P = NP a uma criança de 10 anos e por que ela tem uma recompensa tão monetária? Sua opinião? Vou atualizar a pergunta quando minha cabeça …

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Muitos pesquisadores de ponta em ciência da computação e grupos de pesquisa) mantêm blogs ativos que nos mantêm atualizados sobre as pesquisas mais recentes nos campos de interesse dos autores. Na maioria dos casos, as postagens do blog são mais fáceis de entender do que os documentos formais, porque omitem …

53 soft-question 

Muitas vezes me perguntam o que um cientista da computação teórico faz. Seria ótimo ter boas respostas a essa pergunta. Eu tendem a voltar ao jargão técnico e os olhos das pessoas geralmente brilham nesse momento. O que faz um cientista da computação teórico, em termos que podem ser entendidos …

51 big-list  soft-question 

Após uma pergunta proveitosa no MO , pensei que valeria a pena discutir alguns nomes de papel notáveis ​​no CS. É bastante claro que a maioria de nós pode se sentir atraída por ler (ou pelo menos dar uma olhada) em um artigo com um título interessante (pelo menos, sempre …

50 soft-question  big-list 

Lembro-me de que talvez eu tenha encontrado referências a problemas comprovadamente solucionáveis ​​com uma complexidade específica, mas sem um algoritmo conhecido para realmente atingir essa complexidade. Eu luto em compreender como isso pode ser o caso; como seria uma prova não construtiva da existência de um algoritmo. Existem realmente esses …

47 ds.algorithms  soft-question  lo.logic  proofs 

A teoria da complexidade é um forte interesse secundário meu, mas não é o meu principal interesse em pesquisa, portanto, não há esperança para eu participar de todas as conferências, ler todos os blogs e garantir que a multidão "in" cc: me em todos os momentos. notícias quentes. Eu tento …

47 cc.complexity-theory  soft-question  research-practice 

Eu estava editando um manuscrito de estudante. O aluno comentou que seria bom ver exemplos de redação de qualidade em trabalhos publicados, e eu percebi que não conseguia realmente encontrar bons exemplos do alto da minha cabeça Quais são os melhores exemplos de escrita matemática de qualidade que você já …

46 soft-question  writing 

Hoje, Ryan Williams publicou um artigo no arXiv (publicado anteriormente no SIGACT News) contendo uma versão menos técnica de sua recente técnica de limite inferior do ACC . Minha pergunta não é sobre a técnica em si (é claro que merece imensos elogios), mas é sobre o estilo do artigo. …

44 soft-question  big-list