Perguntas com a marcação «big-picture»

A teoria da complexidade parece capturar algo fundamental sobre a estrutura do universo, na medida em que formaliza a noção intuitiva de que alguns problemas são mais difíceis do que outros. Scott Aaronson previu : "A NP Hardness Assumption será vista como análoga à Segunda Lei da Termodinâmica ou à …

18 cc.complexity-theory  soft-question  big-picture 

Atualmente, sou estudante do ensino médio, interessado em ciência da computação teórica e matemática aplicada. Eu próprio aprendi álgebra linear, cálculo e matemática concreta. Tenho uma noção ingênua de que para escrevermos algoritmos melhores, é preciso conhecer o máximo de matemática possível, porque você pode aprender sobre novas estruturas e …

17 big-picture 

Teaser Como o problema é longo, aqui está um caso especial que captura sua essência. Problema: Seja A um algoritmo detrminístico para o 3-SAT. É o problema de simular completamente o algoritmo A (em todas as instâncias do problema). Espaço P difícil? (Mais precisamente, existem razões para acreditar que esta …

17 cc.complexity-theory  big-picture  structural-complexity 

Esta pergunta é inspirada na camiseta do Georgia Tech Algorithms and Randomness Center , que pergunta "Randomize or not ?!" Existem muitos exemplos em que a randomização ajuda, especialmente quando operando em ambientes adversos. Existem também algumas configurações em que a randomização não ajuda ou prejudica. Minha pergunta é: Quais …

17 randomness  big-picture  randomized-algorithms 

Background . Sou um estudante de bacharel interessado em pesquisas relacionadas à teoria das categorias, mônadas e Haskell, e quero encontrar um tópico para a tese de bacharel nessa área. Eu olhei para o jornal Eugenio Moggi , “ Noções de Computação e Mônadas ”, 1991, e ainda não entendo …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Fico sempre intrigado com a falta de evidências numéricas da matemática experimental a favor ou contra a questão P vs NP. Embora a hipótese de Riemann possua algumas evidências de apoio da verificação numérica, não conheço evidências semelhantes para a pergunta P vs NP. Além disso, não conheço nenhuma conseqüência …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Sendo da Física, fui treinado para analisar muitos problemas do ponto de vista geométrico. Por exemplo, a geometria diferencial de variedades em sistemas dinâmicos etc. Quando leio os fundamentos da ciência da computação, sempre tento encontrar interpretações geométricas. Como uma interpretação geométrica plausível de conjuntos recursivamente enumeráveis ​​(trabalhei em uma …

14 reference-request  computability  big-picture 

Qual é a classe de complexidade associada a algoritmos de pesquisa exaustivos? (se houver) É NP ou PSPACE? Existem modelos restritos de computação que capturam a classe de algoritmos exaustivos de pesquisa semelhantes aos modelos para programação dinâmica e gananciosa?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Lembro-me de ver um estudo ou artigo há um tempo atrás, alegando que a maior parte da aceleração observada em programas de computador nas últimas décadas é de algoritmos melhores e não de hardware mais rápido. Alguém conhece o estudo ou artigo?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Minha primeira pergunta é se uma caracterização interativa de sistema de prova é conhecida por todas as classes clássicas de complexidade. Eu chamaria funções clássicas de P, NP, PSPACE, EXP, NEXP, EXPSPACE, recursivas e recursivamente enumeráveis ​​(entre outras). Especificamente, uma caracterização do sistema de prova interativa é conhecida por funções …

14 cc.complexity-theory  big-picture  interactive-proofs 

Parece-me que a maioria dos teóricos da complexidade geralmente acredita na seguinte regra filosófica: Se não podemos descobrir um algoritmo eficiente para o problema , e nós podemos reduzir problema para o problema , então provavelmente não há um algoritmo eficiente para o problema , também.A B BAUMAAAUMAABBBBBB É por …

14 cc.complexity-theory  big-picture  reductions 

Estive lendo sobre ITU (Intuitionistic Type Theory) e faz sentido. Mas o que estou lutando para entender é "por que" foi criado em primeiro lugar? A lógica intuicionista (IL) e o -calculus (STLC) de tipo simples e a teoria dos tipos em geral são anteriores à própria existência do próprio …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Suponha que você esteja se encontrando com programadores que fizeram alguns cursos profissionais de programação (/ pensamento próprio), mas não estudaram matemática em nível universitário. Para mostrar a eles a beleza do TCS, gostaria de reunir alguns bons resultados / perguntas abertas provenientes do TCS, que podem ser facilmente explicados. …

13 soft-question  big-list  big-picture  teaching 

O que exatamente é a ciência da computação teórica? Está aprendendo a codificar em vários idiomas e criando aplicativos em plataformas? Ou está apenas pensando em algoritmos cada vez mais rápidos para que você possa realizar uma tarefa com mais eficiência pelos computadores? Ou está programando e pensando em novas …

13 big-picture 

Fora da academia, quais são os usos dos meus 'poderes'? O que posso fazer além de ensinar e publicar artigos? Onde todos posso aplicar meus poderes? Por uma questão de argumento: Por favor, assuma que eu tenho um PhD em algoritmos / TCS e aprendi uma grande quantidade de 'coisas' …

13 soft-question  big-picture  career