Domande taggate «big-picture»

Il tag di grandi dimensioni è per una "visione generale ampia o prospettiva di un problema o problema".

29
Algoritmi core distribuiti
Per dimostrare l'importanza degli algoritmi (ad esempio per studenti e professori che non fanno la teoria o provengono anche da campi completamente diversi), a volte è utile avere a portata di mano un elenco di esempi in cui gli algoritmi di base sono stati distribuiti in ambito commerciale, governativo, o …
5
Tecniche per invertire l'ordine dei quantificatori
È noto che, in generale, l'ordine dei quantificatori universali ed esistenziali non può essere invertito. In altre parole, per una formula logica generale ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) D'altra parte, sappiamo che il lato destro è più restrittivo del lato sinistro; cioè, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists …
7
Quali teoremi interessanti in TCS si basano sull'assioma della scelta? (O in alternativa, l'assioma della determinazione?)
I matematici a volte si preoccupano dell'Assioma della Scelta (CA) e dell'Assioma della Determinazione (AD). Assioma della scelta : Dato un insieme di insiemi non vuoti, c'è una funzione che, dato un insieme in , restituisce un membro di . f S C SCC{\cal C}fffSSSCC{\cal C}SSS Assioma della determinazione : …
5
Ragioni generali per cui i problemi sono in P o BPP
Di recente, quando ho parlato con un fisico, ho affermato che, nella mia esperienza, quando un problema che sembra ingenuo dovrebbe richiedere tempo esponenziale si rivela non banalmente essere in P o BPP, in genere si può identificare un "motivo generale" per cui la riduzione si verifica --- e quasi …
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.