Sto cercando riferimenti per il seguente problema: dati interi e k , enumera tutti i grafici planari non isomorfi su n vertici e larghezza dell'albero ≤ k . Sono interessato sia ai risultati teorici che a quelli pratici, ma per lo più algoritmi pratici che sono possibili per codificare ed …
Dal teorema di Church sappiamo che determinare la soddisfacibilità del primo ordine in generale è indecidibile, ma ci sono diverse tecniche che possiamo usare per determinare la soddisfacibilità del primo ordine. Il più ovvio è cercare un modello finito. Tuttavia, ci sono un certo numero di affermazioni nella logica del …
Quali sono alcune delle migliori fonti (libri e articoli) per motivare e apprendere la complessità della comunicazione da sola e in relazione alla sua relazione con la teoria della complessità computazionale?
Sia xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} per i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , con la promessa che x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (dove la somma è superiore a ZZ\mathbb{Z} ). Allora, qual è la complessità nel determinare se x=1x=1x = 1 ? Si noti che banalmente il problema risiede in ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} perché …
Conosco il lavoro di Shannon con l'entropia, ma ultimamente ho lavorato su strutture dati sintetiche in cui l' entropia empirica viene spesso utilizzata come parte dell'analisi della memoria. Shannon definito l'entropia delle informazioni prodotte da una fonte di informazioni discreti , dove p i è la probabilità dell'evento i verifichi, …
Gli equilibri di Nash sono ineguagliabili in generale. Un equilibrio ϵϵ\epsilon Nash è un insieme di strategie in cui, date le strategie degli avversari, ciascun giocatore ottiene entro ϵϵ\epsilon il massimo profitto possibile previsto. Trovare un ϵϵ\epsilon -Nash di equilibrio, dato ϵϵ\epsilon e un gioco, è PPADPPAD\mathsf{PPAD} -Complete. Andando rigorosamente …
EQUAZIONI DIOFANTINE LINEARI (dati i numeri naturali , ci sono numeri naturali x e y tali che a x + b y + c = 0 ?) Sono risolvibili in tempo polinomiale.a,b,ca,b,ca, b, cxxxyyyax+by+c=0ax+by+c=0ax + by + c = 0 EQUAZIONI DIOFANTINE QUADRATICHE ( ) sono NP-complete ( problemi di …
È noto che l'esistenza di funzioni a senso unico è necessaria e sufficiente per gran parte della crittografia (firme digitali, generatori pseudocasuali, crittografia a chiave privata, ecc.). La mia domanda è: quali sono le conseguenze teoriche della complessità dell'esistenza di funzioni a senso unico? Ad esempio, OWF implica che , …
Nell'introduzione di questo documento Eventally Linearizable Shared Objects (PODC'10) , gli autori hanno presentato la seguente dichiarazione senza riferimenti: La linearità, tuttavia, può essere raggiunta se e solo se il consenso può essere risolto. Qui, la linearizzabilità è la proprietà di coerenza nota più forte degli oggetti condivisi, che viene …
Sia una famiglia di sottoinsiemi di elementi di un universo finito di oggetti. Una famiglia di sottoinsiemi di elementi di , con , è un - colpire-set di se per ogni esiste almeno un set tale che .d U H k U 1 ≤ k < d ( k , …
Sto cercando la complessità della soddisfacibilità di una formula o di una formula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ dove ϕ è la formula del modulo: ϕ : = ϕ ∧ ϕ | ¬ ϕ | φ∀ y1, …
Gran parte della letteratura informatica quantistica si concentra sul modello di circuito. Il calcolo quantistico adiabatico non si basa sull'applicazione di una sequenza di operatori unitari, ma sulla modifica di un hamiltoniano dipendente dal tempo. Sto cercando informazioni su quanto segue. Il calcolo quantistico adiabatico è potente come il modello …
Sappiamo che . Dal teorema di Savitch, e, dalla gerarchia spaziale Teorem, . Quindi, poiché non sappiamo se , non sappiamo se , o sappiamo che ? Qualcuno ha provato a dimostrare che \ mathcal L ^ 2 \ subseteq \ mathcal P ? Quali sono gli ultimi risultati, o …
Sono interessato a compilatori verificati formalizzati nella teoria dei tipi di Martin-Löf, ovvero Coq / Agda. Al momento ho scritto un piccolo esempio di giocattolo. In tal modo posso dimostrare che le mie ottimizzazioni sono corrette. Ad esempio, è possibile eliminare le aggiunte con zero, ovvero espressioni come "x + …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.