Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Individuazione della parallelizzazione ottimale dal grafico non orientato ponderato generale
Sto risolvendo un problema di "fusione" di insiemi di immagini sovrapposte. Questi insiemi possono essere rappresentati da un grafico ponderato non indirizzato come questo: Ogni nodo rappresenta un'immagine. Le immagini sovrapposte sono collegate da un bordo. Il peso del bordo rappresenta la dimensione dell'area di sovrapposizione (la fusione di una …
2
La meta-indecidibilità è possibile?
Ci sono problemi che sono decidibili, alcuni sono indecidibili, c'è semidecidibilità, ecc. In questo caso mi chiedo se un problema possa essere meta-indecidibile. Questo significa (almeno nella mia testa) che non possiamo dire se è decidibile o no. Forse è noto che la decidibilità è indecidibile (tutto è meta-indecidibile) e …
2
Ostacoli alla separazione di altre classi di complessità
Do naturale Prove , Relativizzazione e Algebrization influenzano anche la separazione di altre classi di complessità come L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE ecc? Ad esempio, la barriera per prove naturali dovrebbe influire su qualsiasi prova di poiché separerà . Tuttavia, la relazione tra e non sembra avere molto …
1
Chi ha coniato il termine "entropia empirica"?
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, …
1
Quando i
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 …
2
Equazioni diotantine e classi di complessità
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 …
2
Annullamento e determinante
L'algoritmo di Berkowitz fornisce un circuito di dimensione polinomiale con profondità logaritmica per determinare una matrice quadrata usando i poteri della matrice. L'algoritmo utilizza implicitamente la cancellazione. La cancellazione è essenziale per raggiungere un circuito di dimensioni polinomiali con profondità logaritmica o lineare per calcolare il determinante (e qualsiasi possibile …
3
Potrebbe esserci un sottogruppo nascosto estremamente ampio di problemi polinomialmente risolvibili all'interno di problemi NP-Complete?
Supponiamo che P! = NP. Sappiamo che possiamo creare semplici istanze di 3-SAT in qualsiasi momento. Possiamo anche generare quelli che crediamo siano casi difficili (perché i nostri algoritmi non possono risolverli rapidamente). C'è qualcosa che impedisce all'insieme di istanze difficili di essere arbitrariamente piccole, purché per una data dimensione …
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.