Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

15
Un semplice problema di cui non si conosce la decidibilità
Mi sto preparando per un discorso rivolto ai laureandi in matematica, e come parte di esso, sto prendendo in considerazione la discussione del concetto di decidibilità. Voglio fare un esempio di un problema che attualmente non sappiamo essere decidibile o indecidibile. Ci sono molti di questi problemi, ma nessuno sembra …
5
Elenco di conferenze e seminari TCS
Vorrei chiedere aiuto per compilare un elenco di quante più conferenze e seminari relativi al TCS possibili. La mia motivazione principale per fare questo è pianificare la possibile copertura del blog di più sedi teoriche - trovare corrispondenti che partecipano a questi eventi che sarebbero disposti a scrivere brevi o …
30
Divertenti documenti relativi al TCS ecc.?
Qual è l'opera pubblicata più divertente relativa a TCS che conosci? Ti preghiamo di includere solo quelli che sono considerati divertenti. Sono preferite opere esplicitamente realizzate per essere intelligentemente umoristiche (piuttosto che, per esempio, una raccolta pubblicata di brevi battute sulla teoria della complessità). Sono ammessi anche titoli con titoli …
7
Come sarebbe un programma quantistico molto semplice?
Alla luce dell'annuncio del primo chip fotonico quantistico programmabile al mondo , mi chiedevo quale sarebbe il software per un computer che utilizza l'entanglement quantistico. Uno dei primi programmi che abbia mai scritto è stato qualcosa di simile for i = 1 to 10 print i next i Qualcuno può …
8
I documenti di ricerca sono difficili da leggere?
Questa domanda potrebbe non essere adatta a qui, ma non sono riuscito a trovare un posto migliore da porre (era chiuso in SO). Trovo che i documenti di ricerca sull'informatica siano difficili da capire. Naturalmente i soggetti sono complicati. Ma dopo aver capito un documento di solito posso dirlo a …
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 …
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.