Ciência da Computação Teórica

Fico confuso com a sutil diferença entre proposições e julgamentos quando exposto à teoria do tipo intuicionista. Alguém pode me explicar qual é o objetivo de distingui-los e o que os distingue? Especialmente em vista do Curry-Howard Isomorphsim.

27 lo.logic  pl.programming-languages  type-theory 

Achei este artigo muito interessante. Para resumir: ele discute por que, na prática, você raramente encontra a pior das hipóteses de um problema completo de NP. A idéia no artigo é que as instâncias geralmente são muito sub ou muito restritas, e ambas são relativamente fáceis de resolver. Em seguida, …

27 np-hardness  worst-case 

Na minha formação em ciência da computação, percebo cada vez mais que a maioria dos problemas discretos é NP-completa (pelo menos), enquanto a otimização de problemas contínuos é quase sempre facilmente alcançável, geralmente através de técnicas de gradiente. Existem exceções para isso?

27 cc.complexity-theory  co.combinatorics  optimization 

Quais problemas são conhecidos por pertencerem a mas não por pertencerem a ?PB P PBPP\mathsf{BPP}PP\mathsf P Mais precisamente, estou interessado em problemas independentes , ou seja, cujas derandomizações não são conhecidas como equivalentes. Por exemplo, sabe-se que o PIT derandomizing e a fatoração polinomial multivariada são equivalentes e eu os …

27 derandomization 

O problema clássico de rainhas pergunta, dado um número inteiro positivo , se existe uma matriz de números inteiros que satisfazem as seguintes condições:n Q [ 1 .. n ]nnnnnnQ [ 1 .. n ]Q[1..n]Q[1..n] i1 ≤ Q [ i ] ≤ n1≤Q[i]≤n1\le Q[i] \le n para todos osEuii i …

27 cc.complexity-theory  board-games 

Recentemente, eu estava lendo As duas dualidades da computação: tipos negativo e fracionário . O artigo expande tipos de soma e tipos de produtos, fornecendo semântica para os tipos a - be a/b. Ao contrário da adição e multiplicação, não há um, mas dois inversos de exponenciação, logaritmos e enraizamento. …

27 lo.logic  pl.programming-languages  type-theory  algebra 

Grothendieck faleceu . Ele teve um impacto maciço na matemática do século XX, continuando no século XXI. Esta pergunta é feita de alguma forma no estilo / espírito, por exemplo, de Contribuições de Alan Turing para Ciência da Computação . Quais são as principais influências de Grothendieck na ciência da …

27 big-picture  ct.category-theory  ho.history-overview 

Existe um exemplo de uma linguagem que está em NPNPNP , mas onde não podemos provar este fato diretamente ao mostrar que existe uma testemunha polinomial para a adesão nesta língua? Em vez disso, o fato de o idioma estar no seria comprovado reduzindo-o para outro idioma no , onde …

27 reductions  np 

Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . Parece que muitas pessoas acreditam que P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP , em parte porque acreditam que o fatoramento não é passível de solvência. (Shiva Kintali …

27 cc.complexity-theory  np  conditional-results 

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 

Por que os idiomas regulares (e a partir dessas expressões regulares) são chamados de "regulares"? Há muita regularidade também em idiomas sem contexto, outros tipos de idiomas. Suponho que, no começo, o adjetivo "regular" tenha sido usado para diferenciar esse tipo de idioma de outros idiomas "não regulares" ou de …

27 regular-expressions  regular-language  ho.history-overview 

Na complexidade computacional, existe uma distinção importante entre cálculos monótonos e gerais e um famoso teorema de Razborov afirma que 3-SAT e até MATCHING não são polinomiais no modelo monótono de circuitos booleanos. Minha pergunta é simples: existe um análogo quântico para circuitos monótonos (ou mais de um)? Existe um …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

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 

Não consegui encontrar essa estrutura de dados, mas não sou especialista na área. A estrutura implementa um conjunto e é basicamente uma matriz de elementos comparáveis ​​com um invariante. O invariante é o seguinte (definido recursivamente): Uma matriz de comprimento 1 é uma matriz de mesclagem. Uma matriz de comprimento …

27 ds.data-structures