Ciência da Computação Teórica

A complexidade da comunicação (CC) é a única abordagem conhecida para algoritmos de streaming com limites mais baixos? Existem outras técnicas, mesmo que limites inferiores condicionais ? Em geral, estamos satisfeitos com o progresso alcançado via CC? Ou buscar técnicas alternativas (mesmo que condicionais) seria uma direção interessante?

8 lower-bounds  streaming-algorithms  proof-techniques 

Existe um resultado de impossibilidade condicional ou a pergunta está completamente aberta?

8 one-way-function 

O Modelo Padrão da física (o modelo matemático que prediz o bóson de Higg) é, até onde eu entendo, o nosso modelo mais completo do universo. Ou seja, é a melhor descrição do jogo matemático a ser jogado para fazer previsões sobre o resultado dos experimentos realizados em nosso Universo. …

8 cc.complexity-theory  quantum-computing  physics 

Seja um problema gráfico completo de NP. Suponha que X seja solucionável em tempo polinomial em gráficos de diâmetro delimitado. Em outras palavras, X parametrizado por diâmetro está no XP. (Lembre-se de que um problema está no XP se ele puder ser resolvido no tempo n f ( k ) …

8 graph-theory  parameterized-complexity  fixed-parameter-tractable 

Seja SAT o idioma das instâncias do SAT que contêm variáveis , seja -SAT o idioma das instâncias do SAT nas quais todas as cláusulas têm no máximo k literais, e deixe k -SAT _v ser sua interseção. Seja s_k = \ inf_M \ {\ delta \ mid \ existe …

8 cc.complexity-theory  parameterized-complexity  conditional-results 

No filme Inception, Cobb pede a Ariadne para projetar um labirinto que leva o dobro do tempo para projetar. Isso se presta a um problema generalizado em que temos uma situação em que temos recursos limitados em alguma quantia e quem verificará se esse problema está na classe de complexidade …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

Para as complexidades de Kolmogorov induzidas por linguagens de descrição essencialmente ótimas, existe um número inteiro tal que, para todos os números inteiros positivos , exista uma cadeia tal que?KK\hspace{.02 in}Kcccnnnxxxn&lt;K(x)&lt;n+cn&lt;K(x)&lt;n+c\;\;\; n \: < \: K(x) \: < \: n\hspace{-0.04 in}+\hspace{-0.03 in}c \;\;\;\; Ao contrário da pergunta em que me …

8 kolmogorov-complexity 

Eu vi esse problema: Uma sequência não crescente de números inteiros positivos é n-realizável se o conjunto puder ser particionado em subconjuntos mutuamente separados tal que para cada .I n = { 1 , 2 , . . . , N } k S 1 , S 2 , . …

8 cc.complexity-theory 

Parece-me que a tarefa de remoção de quadrados pode ser reduzida à tarefa de fatoração , mas que não há como reduzir o fatoramento à remoção de quadrados. Existe uma maneira de tornar esse "sentimento" mais preciso, ou seja, alguma hipótese comumente considerada que seria violada se o fatoramento pudesse …

8 cc.complexity-theory  nt.number-theory  factoring 

Um gráfico é localmente bipartido se a vizinhança aberta de cada vértice induzir um gráfico bipartido. (De acordo com as pesquisas, o mesmo nome pode ser usado para algo mais relacionado a superfícies). Quais problemas difíceis de NP para gráficos gerais se tornam polinomiais para gráficos bipartidos localmente e quais …

8 reference-request  graph-theory 

Suponha que, para um dado problema de minimização com apenas soluções inteiras, seja difícil decidir se a solução ideal é 5 ou 6. Ou seja, um algoritmo de tempo polinomial com uma taxa de aproximação melhor que 6/5 implicaria P = N P .NPNPNPP= NPP=NPP=NP 1) Será que isso implica …

8 cc.complexity-theory  np-hardness  approximation-hardness  apx 

Minha pergunta diz respeito à prova do principal teorema de Ajtai em seu artigo inovador de 1996, Gerando instâncias rígidas de problemas de treliça , o que indica uma conexão entre os problemas de treliça de pior caso e de malha dura de caso médio. Esta prova é difícil para …

8 integer-lattice 

De acordo com o XOR Satisfiability Solver Module para integração de DPLL por Tero Laitinen, precisamos de cláusulas n - 1 CNF para converter uma cláusula XOR-SAT n literal se não quisermos aumentar o número de literais. Portanto, entendo que o custo computacional para converter uma expressão XOR-SAT em um …

8 sat  boolean-functions  boolean-formulas 

Eu tenho trabalhado em um projeto independente com foco em autômatos celulares e queria saber se isso poderia ser algo que eu poderia continuar na pós-graduação em algum lugar. Eu já vi alguns departamentos de matemática com dinâmica simbólica, bem como alguns departamentos de CS com pesquisadores interessados ​​em CA. …

8 soft-question  cellular-automata 

Existem alguns teoremas, principalmente na teoria dos grafos e na otimização combinatória, que são frequentemente referidos como boas caracterizações. Eles tipicamente colocam uma propriedade em , mostrando que uma propriedade é válida ou existe algum obstáculo bem identificado que a impede de ser mantida. Muitas vezes, eles são apresentados como …

8 cc.complexity-theory  graph-theory  co.combinatorics