Para uma teoria de tipos, por consistência, quero dizer que ela tem um tipo que não é habitado. Da forte normalização do cubo lambda, segue-se que o sistema FFF e o sistema FωFωF_\omega são consistentes. Os tipos indutivos de MLTT + também têm uma prova de normalização. No entanto, todos eles devem...
Houve algum trabalho em encontrar o número mínimo de operações aritméticas elementares necessários para calcular o determinante de um por matriz para pequeno e fixo ? Por exemplo, .n n n =
Eu estava lendo recentemente um artigo muito bom por Valiant e Vazirani que mostra que se , então não pode haver um algoritmo eficiente para resolver SAT mesmo sob a promessa de que ela é ou insatisfatível ou tem uma solução única. Assim, mostrando que o SAT não admite um algoritmo eficiente, mesmo...
A semântica de um grande subconjunto de OCaml, chamado OCamllight , foi formalizada na HOL por Owens há vários anos. Mais recentemente, uma semântica teórica do tipo de um subconjunto menor de OCaml foi implementada no Nuprl por Kreitz, Hayden e Hickey . Existe algum desenvolvimento semelhante no...
Existe , uma linguagem completa NP ou P que possui alguma família de grupos de simetria (ou grupóides , mas as perguntas algorítmicas ficam mais abertas) atuando (em tempo polinomial) nos conjuntos que haja poucas órbitas, ou seja, para que para grande o suficiente e alguns , e tal que possa ser...
Como no esta questão, me interessa a vs / problema para tropical e circuitos. Essa questão se reduz à exibição de limites superiores para a dimensão VC de polinômios sobre as semirrependentes tropicais (consulte o Teorema 2 abaixo). B P P BPP\mathbf{BPP}P P\mathbf{P}p o l ypoly\mathrm{poly} ( máx ....
Qual é a complexidade do seguinte problema? Entrada : HHH umcaminho hamiltonianoemKnKnK_n um subconjunto de pares de vérticesR⊆[n]2R⊆[n]2R \subseteq [n]^2 um número inteiro positivo kkk Consulta : existe um M correspondente que para cada ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (onde G = ( [ n ]...
Deixe- ser a função que mapeia um s circuito -gate C em n bits e um n cadeia de bits de . Suponha que os circuitos sejam codificados como uma sequência acíclica de atribuições onde são etiquetas de arame.C i r c u i t E v a ls , nCEurcvocêEutEvumaeus,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnC ( x )...
Considerando os tópicos abordados em uma conferência como a STOC, existem pesquisadores de algoritmo ou complexidade usando ativamente o COQ ou Isabelle? Se sim, como eles estão usando isso em suas pesquisas? Suponho que a maioria das pessoas não usaria essas ferramentas porque as provas seriam de...
No capítulo 1 e no apêndice A do livro Hott , são apresentadas várias famílias de tipos primitivos (tipos de universo, tipos de funções dependentes, tipos de pares dependentes, tipos de coprodutos, tipo vazio, tipo de unidade, tipo de número natural e tipos de identidade) para formar a base para a...
Considere o seguinte modelo de circuito simples monótono: cada porta é apenas um OR binário. Qual é a complexidade de uma função f ( x ) = A x emf(x)=Axf(x)=Ax que AAA é uma matriz booleana n × nn×nn \times n com O ( n )O(n)O(n) 0's? Pode ser calculado por circuitos OR de tamanho linear? Mais...
Um idioma está em se existir uma máquina de Turing de espaço de log que decida o idioma com uma quantidade de conselhos polinomiais.L/polyL/polyL/poly Veja aqui para mais informações: https://en.wikipedia.org/wiki/L/poly Questão Quais são as consequências de ?P⊆L/polyP⊆L/polyP \subseteq...
Dado entradas , construímos uma rede de ordenação aleatória com portões por iterativamente colheita duas variáveis com e adicionando um portão comparador que eles se permutas .x 0 , … , x n - 1 m x i , x j i < j x i > x jnnnx0,…,xn−1x0,…,xn−1x_0, \ldots, x_{n-1}mmmxi,xjxi,xjx_i,...
Qual é a complexidade de decidir se um intervalo dos números naturais contém um primo? Uma variante da Peneira de Eratóstenes fornece um algoritmo , onde é a duração do intervalo e oculta fatores polialogarítmicos no ponto inicial do intervalo; podemos fazer melhor (apenas em termos de...
Considere o seguinte problema de decisão Entrada : um CNF monótono ΦΦ\Phi e um DNF monótono .ΨΨ\Psi Pergunta : uma tautologia?Φ→ΨΦ→Ψ\Phi \to \Psi Definitivamente, você pode resolver esse problema no tempo , onde é o número de variáveis em e é o comprimento da entrada. Por outro lado, esse...
Existe uma categoria de patches que se parece aproximadamente com isso: Os objetos são cadeias de caracteres em algum alfabeto base Os morfismos são scripts de edição ("diffs" ou "patches") entre as strings Estou interessado nestas perguntas: Existe uma noção categórica de script de edição...
Recentemente, aprendi sobre a conjectura gananciosa do menor problema das supercordas . Nesse problema, recebemos um conjunto de seqüências de caracteres e queremos encontrar as menores supercordas ou seja, tais que cada apareça como uma subcadeia de .s1, … , Sns1,...,sns_1,\dots, s_n...
Eu tenho um conjunto de dados que é um número de objetos organizados em uma grade 2-D. Sei que tenho uma ordem estrita, aumentando à medida que você vai da esquerda para a direita em cada linha e aumentando de cima para baixo em cada coluna. Por exemplo, 1 2 3 4 6 7 5 8 9 Posso melhorar a...
Os gráficos de Paley P q são aqueles cujo conjunto de vértices é dado pelo campo finito GF (q), para potências primárias q≡1 (mod 4), e onde dois vértices são adjacentes se e somente se diferem por 2 para alguns a ∈ GF (q). No caso em que q é primo, o campo finito GF (q) é apenas o conjunto de...
Sabe-se, graças a Immerman e Szelepcsényi, que se (mesmo para funções construtivas não espaciais).f = Ω ( log )N S P A C E (f) = C O N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( log )f=Ω(log)f=\Omega(\log) No mesmo artigo, Immerman declara que a hierarquia alternada...