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

Existem conjecturas na ciência da computação teórica que envolvam algum parâmetro n e foram provadas por pequenos valores de n E por números primos, mas depois se revelaram falsos? Na teoria dos números, tais problemas existem, por exemplo. como Aaron Meyerowitz aponta aquele sobre os coeficientes dos polinômios ciclotômicos. No …

17 big-list  primes 

Eu sou um estudante de graduação em matemática com uma sólida formação em lógica. Eu fiz um curso de graduação de um ano em lógica, juntamente com cursos de teoria dos modelos finitos e outro sobre forçar e definir teoria. A maioria dos textos de CS parece assumir apenas um …

17 lo.logic  soft-question  big-list  books  formal-methods 

Quais são alguns dos principais exemplos de derandomização bem-sucedida ou pelo menos progresso na demonstração de evidências concretas em relação a objetivo P (não a conexão aleatória da dureza)?P=BPPP=BPPP=BPP O único exemplo que me vem à mente é o teste de primalidade determinística no tempo polinomial da AKS (mesmo para …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

Larry Wasserman tem um post recente, onde fala sobre a "polícia de valor p". Ele faz uma observação interessante (toda a ênfase é minha) (a premissa em itálico que acrescentei e sua resposta abaixo): A queixa mais comum é que físicos e jornalistas explicam o significado de um valor-p incorretamente. …

15 ds.algorithms  soft-question  big-list 

Existem vários algoritmos e estruturas de dados que exploram a idéia de que obtém seu valor mínimo em k = \ sqrt n . Exemplos comuns incluemmax{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n algoritmo de passo gigante de baby-step para calcular logaritmo discreto em O(n−−√)O(n)O(\sqrt n) , faixa ortogonal 2D estática contando em …

15 ds.algorithms  ds.data-structures  big-list  teaching 

Procurei na internet, mas não consegui encontrar nenhuma 'grande lista' de variantes do problema SAT. Além do (comum) SENTOU, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT o que mais variantes existem? (também será realmente útil se houver classes de complexidade (quando possível))

14 cc.complexity-theory  sat  big-list 

Estou iniciando meu doutorado neste outono e planejo trabalhar na teoria da complexidade para minha tese. Estou compilando uma lista de artigos importantes que todo teórico da complexidade deve conhecer. Que papéis você sugeriria para uma pessoa como eu? E, por favor, explique brevemente por que você acha que o …

14 cc.complexity-theory  reference-request  big-list 

São conhecidos resultados que descartam a existência de estruturas de dados "boas demais para serem verdadeiras"? Por exemplo: pode-se adicionar e J o i n funcionalidade de um estrutura de dados de manutenção (ver a fim Dietz e Sleator STOC '87 ) e ainda assim obter S ( 1 ) …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Que tipo de conjecturas e grandes problemas em aberto são os mais importantes na teoria algorítmica dos jogos (ou na teoria dos jogos em geral no que se refere ao CS)? Por exemplo, a resolução do NASH como sendo completa no PPAD seria, creio, a maior até que fosse resolvida. …

14 big-list  gt.game-theory 

Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Estou procurando exemplos de resultados que vão contra a intuição das pessoas para uma conversa na audiência geral. Resultados que, se perguntados a não especialistas "o que sua intuição lhe diz?", Quase todos entendem errado. A declaração de resultados deve ser facilmente explicável aos alunos de graduação em cs / …

14 big-list  teaching  intuition 

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 

Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por resposta.

13 reference-request  soft-question  big-list  ho.history-overview 

A teoria dos compiladores parece ser um assunto bastante analisado. Quais são alguns problemas em aberto ou pesquisas atuais acontecendo no campo?

13 soft-question  big-list  open-problem  compilers 

Após a discussão sobre limites mais baixos para o 3SAT [ 1 ], estou pensando quais são os principais resultados de limites inferiores formulados como trocas no espaço-tempo. Estou excluindo resultados como, por exemplo, o teorema de Savitch; uma boa entrada focaria em um único problema e seus limites. Um …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff