Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Esiste un set di gate unitario finito che può realizzare esattamente tutti i QFT di ordine
Sto prendendo in considerazione idee sugli algoritmi quantistici esatti. In particolare, sto prendendo in considerazione le probabili limitazioni di , che consiste in linguaggi esattamente decifrabili da famiglie di circuiti quantici uniformi polifunzionali su un set di gate finito arbitrario.E Q PEQP\mathsf{EQP} La trasformata quantistica di Fourier (QFT), data da …
1
Calcolo lambda semplicemente digitato e logica di ordine superiore
Qual è la relazione tra il semplice calcolo lambda tipizzato e la logica di ordine superiore? Sotto Curry-Howard sembra che il semplice calcolo lambda tipizzato corrisponda alla logica proposizionale. In che modo è correlato alla logica di ordine superiore? Secondo questo tutorial di Geuvers: http://typessummerschool07.cs.unibo.it/courses/geuvers-1.pdf il linguaggio di HOL sembra …
2
Limite inferiore alla stima
Vorrei sapere (correlato a questa altra domanda ) se erano noti limiti inferiori per il seguente problema di test: si ottiene l'accesso alla query a una sequenza di numeri non negativi e , con la promessa che o .an≥⋯≥a1an≥⋯≥a1a_n \geq \dots\geq a_1ε∈(0,1)ε∈(0,1)\varepsilon \in (0,1)∑nk=1ak=1∑k=1nak=1\sum_{k=1}^n a_k = 1∑nk=1ak≤1−ε∑k=1nak≤1−ε\sum_{k=1}^n a_k \leq 1-\varepsilon …
2
Come giudicare la definizione di complessità computazionale dei reali è naturale o adatta?
Come sappiamo, la definizione della complessità computazionale dell'algoritmo è quasi senza controversie, ma la definizione della complessità computazionale dei reali o dei modelli di calcolo sui reali non è in tal caso. Conosciamo il modello e il modello di Blum e Smales nel libro Analisi calcolabile. E apparentemente, il modello …
1
Implementazione di alberi di partizione?
Gli alberi delle partizioni sono mai stati implementati? Qui, sto parlando degli alberi delle partizioni dalla geometria computazionale. Le prime (quasi) versioni ottimali erano dovute a Matousek e altri, e più recentemente Timothy Chan: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf Mi sembra folle che questi non siano mai stati implementati, ma Google non ha trovato …
1
Identificazione di bordi inutili per il percorso più breve
GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Dico che un sottografo di (con lo stesso set di vertici) è sp-equivalente a se . In altre parole, la rimozione dei bordi per passare da a non modifica la lunghezza dei percorsi più brevi; i bordi rimossi non sono necessari per alcun percorso più breve.G′G′G'GGGGGGMG=MG′MG=MG′M_G = M_{G'}GGGG′G′G' …
1
Dato
Ecco un problema con un sapore simile all'apprendimento delle juntas: Input: una funzione , rappresentato da un oracolo di appartenenza, ovvero un oracolo che ha dato x , restituisce f ( x ) .f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}xxxf(x)f(x)f(x) Obiettivo: trovare un sottocubo di { 0 , 1 } n con volume …
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.