Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Sostituzione ereditaria con una gerarchia dell'universo
Ho letto della sostituzione ereditaria del Simple Lambda Calculus e del Logical Framework con termini e tipi distinti. Mi chiedo, ci sono esempi di sostituzione ereditaria in un sistema tipicamente dipendente con una gerarchia dell'universo? ovvero dove ecc.True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 Mi chiedo in particolare come stabilire una …
1
Numeri naturali non comparabili
Il "nome del gioco numero più grande" chiede a due giocatori di scrivere un numero in segreto, e il vincitore è la persona che ha scritto il numero più grande. Il gioco generalmente consente ai giocatori di annotare le funzioni valutate in un determinato momento, quindi anche 222222222^{2^{2^{2}}} sarebbe una …
1
DSPACE (n) = DSPACE (1.5n) è?
Dal teorema della gerarchia spaziale è noto che se è costruibile nello spazio, DSPACE ( ) non è uguale a DSPACE ( .fff2 f ( n )2f(n)2f(n)f ( n ) )f(n))f(n)) Qui, per DSPACE ( intendo la classe di tutti i problemi che possono essere risolti nello spazio da una …
1
Il teorema della gerarchia spaziale generalizza al calcolo non uniforme?
Domanda generale Il teorema della gerarchia spaziale generalizza al calcolo non uniforme? Ecco alcune domande più specifiche: È ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Per tutte le funzioni costruibili nello spazio f(n)f(n)f(n) , è DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Per quali funzioni h(n)h(n)h(n) è noto che: per tutto lo spazio costruibile f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) …
1
Complessità parametrizzata dell'inclusione delle lingue regolari
Sono interessato al classico problema INCLUSIONE LINGUA REGOLARE. Data un'espressione regolare , indichiamo con L ( E ) il linguaggio regolare ad esso associato. (Le espressioni regolari sono su un alfabeto fisso Σ , con l'unione delle operazioni, stella di Kleene e concatenazione.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: due espressioni regolari ed …
3
Calcolo delle costruzioni: comprimi l'espressione nella sua forma più piccola
Sono consapevole che il calcolo delle costruzioni si sta fortemente normalizzando, il che significa che ogni espressione ha un valore normale per cui non può essere beta, ulteriormente ridotta. Quindi, in effetti, questa è l'espressione più efficiente che calcola lo stesso valore dell'espressione originale. Ma in alcuni casi, la normalizzazione …
1
Vettore binario
Ho un set di vettori binari e un vettore target che è il vettore di tutti.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 Congettura: se ttt può essere scritta come una combinazione lineare di elementi di SSS su Z/qZZ/qZ\mathbb{Z}/q\mathbb{Z} per tutte le potenze primi qqq , …
1
Qual è l'intuizione dietro la logica lineare?
Sto cercando di capire la logica lineare per capire meglio i sistemi di tipo lineare. Tuttavia, quando leggo le regole, non riesco a ottenere un'intuizione dietro di essa come ho fatto nella logica modale - significa che è richiesto come nei frame Kripke è richiesto per ogni mondo raggiungibile [ …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.