Uma linguagem funcional pode ser vista como uma categoria em que seus objetos são tipos e funções de morfismos entre eles. Como as classes de tipo se encaixam nesse modelo? Suponho que devemos considerar apenas as implementações que satisfazem a restrição que a maioria das classes de tipo...
Resultado 1: O teorema de Linial-Mansour-Nisan diz que o peso quádruplo das funções calculadas pelos circuitos está concentrado nos subconjuntos de tamanho pequeno com alta probabilidade.A C0 0UMAC0 0\mathsf{AC}^0 Resultado 2: O tem seu peso fourier concentrado no coeficiente do grau . nP A R I T...
Estou interessado em gráficos em nnn vértices que podem ser produzidos através do processo a seguir. Comece com um gráfico arbitrário GGG em k≤nk≤nk\le n vértices. Rotule todos os vértices em GGG como não utilizados . Produzir um novo gráfico G′G′G' pela adição de um novo vértice vvv , o qual...
GI e Knot Problem são problemas para decidir a equivalência estrutural de objetos matemáticos. Existem resultados estabelecendo conexões entre eles? Boas conexões do problema do nó à física estatística foram exploradas através de polinômios do nó ; existem resultados semelhantes para ?G...
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
Estou lendo " Concatenação de idiomas regulares e complexidade descritiva ", de Galina Jiraskova, 2009, sobre a complexidade do estado resultante da concatenação de dois idiomas regulares (de Galina Jiraskova), mas não consigo entender quais seriam as implicações práticas da complexidade do estado....
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
Considere o espaço dimensional e deixe ser uma restrição linear no formato , em que , e .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a n x n ≥ k a i ∈ R x i ∈ { 0 , 1 } k ∈
No artigo Análise Primal-Dupla Aleatória de RANKING para Correspondência Bipartida Online , ao provar que o algoritmo RANKING é competitivos, os autores mostram que o dual é viável em expectativa (ver Lema 3 na página 5). Minha pergunta é:(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) É suficiente que...
Um jogo popular em festas na América do Norte é a troca de presentes de elefantes brancos . Resumindo (ignorando variações), funciona da seguinte maneira: Existem pessoas e presentes embrulhados. Os jogadores são ordenados arbitrariamente. No rodada, jogador i
Dado como entrada um número inteiro e um conjunto de conjuntos de elementos de , qual é a complexidade de encontrar um conjunto de elementos de tal que tem cardinalidade mínima e está incluído em nenhum dos conjuntos de ?nnnSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT{1,...,n}{1,...,n}\{1, ...,...
Como estudante de ciência da computação, fui apresentado à teoria dos jogos, mas não vi muitos detalhes sobre o assunto. Eu pesquisei no Google e olhei para alguns livros sobre teoria dos jogos e eles confirmaram seu uso na ciência da computação. Comecei um estudo formal da teoria dos jogos da...
É sabido que nenhum protocolo determinístico de duas partes pode resolver o problema de disjunção (DISJ) em entradas de bits sem enviar n + 1 bits no pior caso (consulte, por exemplo, o livro de Kushilevitz e Nisan). Para delimitada-randomizados erro protocolos, um limite inferior de δ n , para...
Em seu artigo Approximate Distance Oracles , Thorup e Zwick mostraram que, para qualquer gráfico não direcionado ponderado, é possível construir uma estrutura de dados do tamanho que possa retornar uma aproximação ( 2 k - 1 ) distância entre qualquer par de vértices no gráfico.O ( k n1 + 1 /...
A partir dos comentários de uma das minhas perguntas no MathOverflow, sinto que a pergunta sobre o GCD estar em vs. é semelhante à pergunta sobre a Fatoração Inteira em vs. .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Existe algo como um algoritmo "quantum " para GCD, pois existe um...
Durante muito tempo, pensei que um problema era NP-completo se fosse (1) NP-difícil e (2) estivesse em NP. No entanto, no famoso artigo "O método elipsóide e suas conseqüências na otimização combinatória" , os autores afirmam que o problema do número cromático fracionário pertence ao NP e é...
Jan Pax fez essa pergunta na lista de discussão Fundamentos da Matemática . Certamente mas suspeito pelas respostas desta pergunta que não se sabe se (caso contrário, o seria um possível resposta a essa pergunta). Se não se sabe, existe uma separação do oráculo?P⊕ P⊆ P# P=PPPP⊕P⊆P#P=PPPP^{\oplus...
Alice e Bob têm strings de n bits e querem descobrir se são iguais enquanto fazem pouca comunicação. A solução aleatória padrão é tratar as seqüências de n bits como polinômios de grau nnn e depois avaliar os polinômios sobre alguns elementos escolhidos aleatoriamente em um campo de tamanho maior...
Antecedentes : Estou chegando ao final do meu mestrado em matemática e vou começar um doutorado em lógica em agosto. Quanto mais lógica eu estudo, mais teórica a ciência da computação me expõe, por exemplo, teoria da recursão, cálculo lambda, mas o CS subjacente é escovado sob o tapete. Minhas...
Como todos sabem, o SAT está completo para reduções de numerosas uma em tempo polinomial . Ainda há reduções completas de wrt .N PNP\mathsf{NP}A C0 0UMAC0 0\mathsf{AC^0} Minhas perguntas é qual é a profundidade mínima exigida para as reduções? Mais formalmente, Qual é o menor que SAT é -hard...