Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

11
Quali sono i libri di scienza popolari che ispirano TCS?
C'è una reputazione che nell'informatica non abbiamo libri di scienze popolari. Ovviamente non è proprio vero! (Con lo stesso spirito di elenco di Cosa libri dovrebbero tutti di leggere? , Quali documenti devono tutti leggere? , Che video dovrebbero guardare tutti? E ispirato da favorito popolare libro di matematica ) …
24 big-list  books 
13
Analisi complesse in informatica teorica
Esistono molte applicazioni di analisi reale nell'informatica teorica, che coprono i test di proprietà, la complessità della comunicazione, l'apprendimento PAC e molti altri campi di ricerca. Tuttavia, non riesco a pensare a nessun risultato in TCS che si basi su analisi complesse (al di fuori del calcolo quantistico, in cui …
4
Avvio delle carte del solutore SAT
Voglio fare un primo solutore SAT. Conosco la competizione SAT e la conferenza SAT, e ci sono così tanti articoli su questo argomento. Sono un antipasto, un antipasto sopraffatto. Dove dovrei iniziare? Alla fine voglio spingere lo stato dell'arte. Voglio un consiglio di esperti su come iniziare, in modo da …
2
Complessità computazionale dell'ottica quantistica
In "Requisito per il calcolo quantistico" , Bartlett e Sanders riassumono alcuni dei risultati noti per il calcolo quantistico variabile continuo nella seguente tabella: La mia domanda è triplice: Nove anni dopo, è possibile riempire l'ultima cella? Se una colonna viene aggiunta con il titolo "Universale per BQP", come apparirebbe …
5
Qual è il numero massimo di matrimoni stabili per un'istanza del problema del matrimonio stabile?
Problema del matrimonio stabile: http://en.wikipedia.org/wiki/Stable_marriage_problem Sono consapevole che per un'istanza di SMP sono possibili molti altri matrimoni stabili oltre a quello restituito dall'algoritmo Gale-Shapley. Tuttavia, se ci viene dato solo , il numero di uomini / donne, poniamo la seguente domanda: possiamo costruire un elenco di preferenze che dia il …
4
Qual è il modo più veloce per verificare l'inclusione impostata?
Dato nnn sottogruppi S1,…,SnS1,…,SnS_1,\ldots,S_n di {1,…,d}{1,…,d}\{1,\ldots,d\} . Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La banale soluzione a questo problema passa attraverso tutte le coppie di insiemi e verifica l'inclusione di una coppia nel tempo , quindi il tempo di esecuzione complessivo è . Questo problema può essere risolto più velocemente? C'è un nome …
2
Esiste una riduzione diretta / naturale per contare abbinamenti perfetti non bipartiti usando il permanente?
Il conteggio del numero di corrispondenze perfette in un grafico bipartito è immediatamente riducibile al calcolo del permanente. Dato che trovare una corrispondenza perfetta in un grafico non bipartito si trova in NP, esiste una certa riduzione dai grafici non bipartiti al permanente, ma può comportare un brutto scoppio polinomiale …
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.