Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Impostare Copertina con dimensione dell'intersezione limitata
Quindi, il problema della copertura dei set è banale se nessuno dei set candidati si interseca. Tuttavia, se la dimensione dell'intersezione per qualsiasi coppia di set candidati fosse al massimo 1? Questo problema è NP-difficile? Gradirei qualsiasi intuizione. Grazie Garrett
11 set-cover 
2
Quale paradigma di dimostrazione del teorema automatizzato è appropriato per la formalizzazione in stile Principia Mathematica?
Sono in possesso di un libro che, ispirato al Principia Mathematica (PM) di Russell e al positivismo logico, tenta di formalizzare un dominio specifico determinando gli assiomi e deducendone i teoremi. In breve, tenta di fare per il suo dominio ciò che PM ha tentato di fare per la matematica. …
1
Tipi W vs tipi induttivi
La teoria dei tipi di Martin-Löf usa i tipi W per definire strutture induttive come numeri interi, liste, ecc. Tuttavia, il calcolo delle costruzioni induttive non le usa nello stesso modo, i tipi induttivi sembrano essere più simili agli schemi degli assiomi. Questi due approcci sono equivalenti (sembrano essere)? Ci …
3
Cosa comporta la ricerca in informatica teorica?
Sto cercando di capire cosa è coinvolto nella ricerca teorica in informatica. Cosa fanno gli informatici teorici? So che si trascorre un tempo significativo nell'insegnamento, nella supervisione di studenti laureati, nella richiesta di finanziamenti e nei compiti dipartimentali. Metterli da parte come trascorri il tuo tempo di ricerca? Quali sono …
1
Qualche prova che Linial, Shraibman si limiti alla complessità della comunicazione quantistica non è stretto?
Per quanto ne so, il limite inferiore della norma di fattorizzazione dato da Linial e Shraibman è essenzialmente l'unico limite inferiore noto per la complessità della comunicazione quantistica (o almeno sussume tutti gli altri). Ci sono prove che questo vincolo sia stretto? Il limite della norma di fattorizzazione (chiamato anche …
1
Trasformazioni naturali e parametricità
In Teoremi gratis! , Wadler afferma che la caratterizzazione della parametricità può essere re-espressa in termini di trasformazioni naturali rilassate e questo sarà oggetto di un ulteriore documento. A quale documento si riferisce? L'approccio categorico alla parametricità che conosco utilizza trasformazioni dinaturali come nel polimorfismo di Functorial di Bainbridge, Freyd, …
2
Come posso calcolare i nodi?
Esiste un modo documentato per calcolare i nodi? (circonferenze incorporate in uno spazio euclideo tridimensionale). Voglio dire, un tipo di dati per rappresentarli e un algoritmo per determinare se due istanze del tipo di dati rappresentano lo stesso nodo. Se la risposta è positiva, che dire della complessità di quel …
1
Quasi sempre quasi a posto
Sto cercando una classe di complessità che si riferisce ad APX come BPP si riferisce a P. Ho già fatto la stessa domanda qui , ma forse TCS sarebbe un luogo più fruttuoso per le risposte. Il motivo della domanda è che nei problemi pratici è spesso necessario trovare risposte …
1
Modello computazionale in SETH
Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi hanno introdotto l'ipotesi del tempo esponenziale (ETH) e l'ipotesi del tempo fortemente esponenziale (SETH). All'incirca, SETH afferma che non esiste un algoritmo che risolva SAT nel tempo . 1.99n1.99n1.99^n Mi chiedevo cosa avrebbe significato rompere SETH. Abbiamo sicuramente bisogno di trovare un algoritmo che …
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.