Informatica teorica reference-request

3

Cronologia e stato del problema di corrispondenza del grafico

Parte della difficoltà di scoprire di più su questo problema è che il problema della corrispondenza dei grafici è diverso dal suo cugino molto più famoso, il problema della corrispondenza, ma difficile da distinguere da esso quando si usano i motori di ricerca. Dati due grafici G=(V,E)G=(V,E)G=(V,E) e G′=(V′,E′)G′=(V′,E′)G'=(V',E') tali …

11 reference-request graph-theory graph-isomorphism

1

Bitcoin è crittograficamente sicuro

Sto cercando di capire il protocollo bitcoin nel contesto della sicurezza crittografica computazionale. La domanda è una richiesta di riferimento alle basi di articoli di crittografia su bitcoin. La mia prima domanda è quale protocollo crittografico astratto bitcoin sta cercando di implementare? Abbiamo una definizione di moneta elettronica / valuta …

11 reference-request cr.crypto-security

1

Strategia vincente di un gioco di eliminazione "bordo o vertice isolato"

Questo perfetto gioco di informazioni giocato su grafici è conosciuto / studiato? Dato un grafico , due giocatori si alternano scegliendo uno spigolo o un nodo isolato. Se il giocatore sceglie un bordo i due nodi e vengono eliminati insieme ai loro bordi incidente. Se il giocatore sceglie un nodo …

11 reference-request combinatorial-game-theory

1

Limite superiore del grado di una funzione booleana in termini di sensibilità

Un problema aperto molto interessante nello studio delle misure di complessità della funzione booleana è la cosiddetta congettura di sensibilità vs sensibilità di blocco. Per informazioni sulla sensibilità rispetto alla sensibilità ai blocchi, è possibile consultare il seguente post di S. Aaronson all'indirizzo http://www.scottaaronson.com/blog/?p=453 . Per quanto ne so, il …

11 cc.complexity-theory reference-request fourier-analysis

1

Risultati di limiti / durezza inferiori di Noisy Parity (LWE)

Alcuni retroscena: Sono interessato a trovare limiti inferiori (o risultati di durezza) "meno noti" per il problema di apprendimento con errori (LWE) e generalizzazioni come l'apprendimento con errori su anelli. Per definizioni specifiche, ecc., Ecco un bel sondaggio di Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Il tipo standard di ipotesi in stile (R) LWE …

11 cc.complexity-theory reference-request cr.crypto-security machine-learning lg.learning

3

Pubblicazioni recenti su NP? = Domanda coNP

Sono interessato alla domanda se NP sia uguale o meno a coNP. Apprezzerei molto alcuni consigli su buone pubblicazioni da leggere sull'argomento. Per la cronaca, so che questa domanda è intimamente connessa alla domanda se P sia uguale o meno a NP (tale che se NP! = CoNP quindi P! …

11 cc.complexity-theory reference-request p-vs-np

2

Sul

EDIT (di Tara B): Sarei comunque interessato a un riferimento a una prova di questo, poiché dovevo provarlo da solo per il mio articolo. Sto cercando la prova del Teorema 4 che appare in questo documento: Una gerarchia infinita di intersezioni di linguaggi senza contesto di Liu e Weiner. Teorema …

11 reference-request fl.formal-languages linear-algebra context-free-languages lattice

3

Limiti ai momenti di frequenza approssimativa

Sia una sequenza di numeri interi in cui ciascuno a j ∈ { 1 , 2 , … , n } . Poiché i ∈ { 1 , 2 , … , n } , sia m i = | { j : a j = i } | . …

11 ds.algorithms reference-request communication-complexity data-streams

2

Varianti della galleria d'arte con visibilità a coppie?

Il tradizionale problema della galleria d'arte crea una regione e guardie con una certa nozione di visibilità e chiede il numero minimo di guardie che devono essere posizionate per vedere l'intera regione. Qualcuno ha mai guardato le varianti della galleria d'arte in cui l'area di visibilità è invece definita da …

11 reference-request cg.comp-geom

1

Complessità di connettività st unica

Vorrei sapere se il seguente problema può essere deciso in (spazio di registro non deterministico):NLNL\mathsf{NL} Dato un grafico diretto con due vertici distinti s e t , esiste un percorso unico da s a t in G ?GGGssstttssstttGGG Sento che è probabile che si trovi in poiché possiamo decidere sia …

11 reference-request graph-theory

2

Giochi non locali e comunicazione quantistica

Sono attualmente alla ricerca di un buon materiale di riferimento relativo ai giochi non locali con aspetti benefici nella comunicazione quantistica. Ad esempio, sono consapevole che i giochi non locali sono efficaci nel ridurre la complessità della comunicazione oltre a garantire la sicurezza dei protocolli QKD. Quello che mi piacerebbe …

11 reference-request quantum-computing communication-complexity quantum-information

1

Dato un PDA M tale che L (M) è nel costrutto DCFL un DPDA N tale che L (N) = L (M)

È possibile costruire un algoritmo che accetta come input un automa pushdown insieme alla promessa che il linguaggio accettato da questo automa è un linguaggio deterministico senza contesto e genera un automa deterministico pushdown che accetta precisamente il linguaggio accettato di ?L ( M ) N MMMML ( M)L(M)L(M)NNNMMM Un …

11 reference-request computability fl.formal-languages automata-theory

4

Trovare un modello finito

So che la domanda "fa una formula del primo ordine ha un modello" è indecidibile in generale.φϕ\phi Qualcuno potrebbe darmi un link o un libro che dia la risposta per i modelli finiti. Se ho una formula del primo ordine , è decidibile se ϕ abbia un modello finito? Sono …

11 reference-request lo.logic computability finite-model-theory

2

Riferimenti a linguaggi di programmazione basati su logiche condizionali

Le logiche condizionali sono logiche che aumentano la tradizionale implicazione logica con operatori modali corrispondenti ad altre nozioni di condizione (ad esempio, la condizionale causale To recita " cause" B ", oppure condizionamento probabilistico " ", che recita " dato ").A A | B A BA□→BA◻→BA\; \square\!\!\!\!\to BUNAAA|BA|BA|BAAABBB Tipicamente queste …

11 reference-request lo.logic pl.programming-languages type-theory proof-theory

4

Classe di complessità NEXP

Ho un problema che si trova in NEXP NP e può anche essere risolto da una MT alternata usando il tempo esponenziale e solo una alternanza (iniziando in uno stato esistenziale).NPNP^{\text{NP}} Si sa qualcosa su NEXP NP ? È uguale a NEXP o qualche altra classe? Ci sono problemi completi …

11 cc.complexity-theory reference-request complexity-classes nexp

Domande taggate «reference-request»