Considere o seguinte problema: dada uma matriz , índices e um número inteiro . Substituir por e chamar nova matriz . É ?M∈{−m,…,0,…,m}n×nM∈{−m,…,0,…,m}n×nM\in\{-m,\dots,0,\dots,m\}^{n\times n}i,j∈{1,…,n}i,j∈{1,…,n}i,j\in\{1,\dots,n\}aaaM[i,j]M[i,j]M[i,j]aaaM^M^\hat...
Olhando para os modelos de polimorfismo paramétrico, estou curioso para saber por que são usadas categorias de gráfico reflexivo ? Em particular, por que eles não incluem composição relacional? Ao olhar para os modelos, todos parecem apoiar uma noção natural de composição...
Em um trabalho de conferência, a fim de provar a -completeness de um problema, eu escrevi a frase estúpida "É claro que o problema está no N P . Então, vamos provar que é N P -Hard". De fato, não estava claro. Parece até ser um problema em aberto. Para o público-alvo, não é um grande negócio,...
Venho programando há vários anos, mas não estou familiarizado com o CS teórico. Recentemente, tenho tentado estudar linguagens de programação e, como parte disso, verificação de tipo e inferência. Minha pergunta é: se eu tentar escrever um programa de inferência e verificação de tipo para uma...
Estou tentando entender a lógica linear para entender melhor os sistemas de tipos lineares. No entanto, quando li as regras, eu não conseguem obter uma intuição por trás dele como eu fiz na lógica modal - significa um é exigido como em Kripke quadros Um é necessário para cada mundo acessível [ ◊ A...
Seja qualquer estrutura finita. Faz a sua primeira teoria ordem T : = T H ( A ) têm classificação quantificador limitada, no sentido de que há um q ∈ N de tal modo que para todos φ ∈ T com q r ( φ ) > q existe uma φ ' ∈ T com q r ( φ ′ ) ≤ q e φ ′ ≡ φ ?AA\mathfrak{A} T:=TH(A)T:=TH(A)...
Seja um oráculo genérico no sentido da categoria Cohen / Baire. Seja R um oráculo aleatório.GGGRRR Existem classes de complexidade A e B com ou o contrário, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne
Estou ciente de que o Cálculo de Construções está fortemente normalizando, o que significa que toda expressão tem um normal, pois não pode ser beta, reduzida ainda mais. Portanto, de fato, essa é a expressão mais eficiente que calcula o mesmo valor da expressão original. Mas, em certos casos, a...
A lógica monádica de primeira ordem, também conhecida como classe monádica do problema de decisão, é onde todos os predicados usam um argumento. Foi demonstrado ser decidível por Ackermann e está NEXPTIME-complete . No entanto, problemas como SAT e SMT têm algoritmos rápidos para resolvê-los,...
Em geral, decidir se uma equação diofantina tem soluções inteiras é equivalente ao problema de parada. Acredito que decidir se uma equação diofantina quadrática tem alguma solução é NP-completo. Existe alguma restrição adicional nas equações envolvidas que gera um problema de P...
I tem um conjunto de binário vectores S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } e um vector alvo t = 1 k , que é o vector de todos-onas.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} \subseteq \{0,1\}^k \setminus \{1^k\}t=1kt=1kt = 1^k Conjectura: Se pode ser...
Pergunta Geral O teorema da hierarquia espacial generaliza para computação não uniforme? Aqui estão algumas perguntas mais específicas: L / p o l y⊊ PSPA CE/ PolyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas as funções construtivas de espaço , ?D S P A C E ( o ( f ( n ) ) ) /...
É sabido que, para uma classe conceitual com a dimensão VC , basta obter exemplos rotulados para o PAC learn . Não está claro para mim se o algoritmo de aprendizado do PAC (que usa essas muitas amostras) é adequado ou impróprio? Nos livros de Kearns e Vazirani, bem como Anthony e Biggs, parece que...
Estou interessado no problema clássico INCLUSÃO LÍNGUA REGULAR. Dada uma expressão regular , denotamos por L ( E ) a linguagem regular a ela associada. (As expressões regulares estão em um alfabeto fixo Σ , com a união de operações, estrela Kleene e concatenação.)EEEL(E)L(E)L(E)ΣΣ\Sigma Entrada:...
Existe algo na literatura próximo ao seguinte problema: Dado um gráfico bipartido com bipartição balanceada { U , W } , existe uma combinação M perfeita em G, de modo que para cada 2 arestas u 1 w 1 , u 2 w 2 ∈ M , existe uma aresta u 1 w 2 ou borda u 2 w 1 (ou ambos) em G ?G ( V, E)G(V,E)G(V,E){...
O "nome do jogo com o maior número" pede a dois jogadores que anotem um número secretamente, e o vencedor é a pessoa que anotou o número maior. O jogo geralmente permite que os jogadores anotem as funções avaliadas em um ponto, então 222222222^{2^{2^{2}}} também seria aceitável. O valor da função...
O problema de representar variáveis ligadas na sintaxe, e em particular o de substituição para evitar capturas, é bem conhecido e tem várias soluções: variáveis nomeadas com equivalência alfa, índices de Bruijn, localmente sem nome, conjuntos nominais etc. Mas parece haver outra abordagem...
Na teoria da complexidade, a definição de complexidade do tempo e do espaço faz referência a uma máquina universal de Turing: resp. o número de etapas antes de parar e o número de células na fita tocadas. Dada a tese de Church-Turing, também deve ser possível definir a complexidade em termos de...
Do teorema da hierarquia espacial, sabe-se que, se é construtível em espaço, DSPACE ( ) não é igual a DSPACE ( .fff2 f ( n )2f(n)2f(n)2f(n)f(n))f(n))f(n)) Aqui, por DSPACE ( quero dizer a classe de todos os problemas que podem ser resolvidos no espaço por uma máquina de Turing com algum alfabeto...
Eu li sobre a substituição hereditária do Cálculo Lambda Simples e do The Logical Framework com termos e tipos distintos. Gostaria de saber, existem exemplos de substituição hereditária em um sistema tipicamente dependente com uma hierarquia de universo? ou seja, onde etc.Tr u e : Se t0 0: Se t1:...