Informatica teorica big-list

2

Quali sono le congetture TCS che sono state dimostrate per numeri primi e piccoli valori ma che si sono rivelate false?

Ci sono congetture nell'informatica teorica che coinvolgono alcuni parametri n e sono state dimostrate per piccoli valori di n AND per numeri primi ma in seguito si sono rivelate false? Nella teoria dei numeri esistono tali problemi, ad es. come Aaron Meyerowitz indica quello sui coefficienti dei polinomi ciclotomici. Da …

17 big-list primes

7

Puntatori per applicazioni CS di logica

Sono uno studente laureato in matematica con una solida preparazione in logica. Ho seguito un corso di laurea di un anno in logica insieme a corsi di laurea in teoria dei modelli finiti e un altro in materia di forzatura e teoria degli insiemi. La maggior parte dei testi CS …

17 lo.logic soft-question big-list books formal-methods

3

Esempi di derandomizzazione riuscita da BPP a P

Quali sono alcuni esempi importanti di derandomizzazione riuscita o almeno progressi nel mostrare prove concrete verso l' obiettivo (non la connessione della casualità della durezza)?P= B PPP=BPPP=BPP L'unico esempio che mi viene in mente è il test deterministico della primalità temporale polinomiale dell'AKS (anche per questo c'era una metodologia che …

15 cc.complexity-theory big-list randomized-algorithms derandomization pseudorandom-generators

5

Esempi di pedanteria in TCS

Larry Wasserman ha un recente post in cui parla della "polizia di valore p". Fa un punto interessante (tutta la mia enfasi) (la premessa in corsivo che ho aggiunto e la sua risposta sotto di essa): La lamentela più comune è che fisici e giornalisti spiegano erroneamente il significato di …

15 ds.algorithms soft-question big-list

2

Esempi notevoli dell'idea della radice quadrata nell'analisi della complessità

max { k , n / k }max{k,n/k}\max \left\{k, n/k\right\}k = n--√k=nk=\sqrt n algoritmo baby-step a passo gigante per il calcolo del logaritmo discreto in O ( n--√)O(n)O(\sqrt n) , conteggio dell'intervallo ortogonale 2D statico nella memoria O ( n--√)O(n)O(\sqrt n) e nella memoria O ( n )O(n)O(n) , coda …

15 ds.algorithms ds.data-structures big-list teaching

6

variazioni di SAT

Ho cercato su Internet, ma non sono riuscito a trovare alcuna "grande lista" di varianti del problema SAT. A parte il (comune) SAT, k-SAT, MAX-KSAT, Half-SAT, XOR-SAT, NAE-SAT quali altre varianti ci sono? (inoltre sarà molto utile se vengono fornite classi di complessità (ove possibile))

14 cc.complexity-theory sat big-list

5

Articoli che ogni teorico della complessità dovrebbe leggere

Sto iniziando il mio dottorato di ricerca in autunno e sto programmando di lavorare sulla teoria della complessità per la mia tesi. Sto compilando un elenco di documenti importanti che ogni teorico della complessità dovrebbe conoscere. Quali documenti consiglieresti a una persona come me? E per favore spiega brevemente perché …

14 cc.complexity-theory reference-request big-list

3

Limiti inferiori per le strutture dati

Sono noti risultati che escludono l'esistenza di strutture di dati "troppo buone per essere vere"? Ad esempio: si può aggiungere e funzionalità di una struttura dati mantenimento dell'ordine (vedi Dietz e Sleator STOC '87 ) e ancora ottenere operazioni di tempo?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Oppure: è possibile implementare un set ordinato con chiavi …

14 ds.data-structures big-list lower-bounds time-complexity

2

Congetture eccezionali e problemi aperti nella teoria dei giochi (algoritmica)?

Che tipo di congetture e principali problemi aperti sono i più importanti nella teoria dei giochi algoritmica (o teoria dei giochi in generale in relazione alla CS)? Ad esempio, penso che la risoluzione della NASH come completa di PPAD sarebbe stata la più grande fino a quando non è stata …

14 big-list gt.game-theory

1

Quali sono gli articoli classici dell'area teorica della ricorsione della teoria della complessità?

Due articoli che vorrei includere sono: D. Kozen, "Indicizzazione delle classi secondarie" , STOC, 1978. R. Ladner, "On the Structure of Polynomial Time Reducibility" , JACM, 1975.

14 cc.complexity-theory lo.logic computability big-list structural-complexity

9

Risultati controintuitivi per gli studenti universitari

Sto cercando esempi di risultati che vanno contro l'intuizione della gente per un discorso generale del pubblico. Risultati che se richiesti da non esperti "che cosa ti dice il tuo intuito?", Quasi tutti sbagliano. La dichiarazione dei risultati dovrebbe essere facilmente spiegabile agli studenti universitari in cs / matematica. Sono …

14 big-list teaching intuition

4

Risultati interessanti in TCS che sono facilmente spiegabili ai programmatori senza background tecnico

Supponiamo che stai incontrando programmatori che hanno seguito alcuni corsi di programmazione professionale (/ auto-pensiero) ma non hanno studiato matematica a livello universitario. Al fine di mostrare loro la bellezza di TCS, vorrei raccogliere alcuni bei risultati / domande aperte provenienti da TCS che possono essere facilmente spiegate. Un buon …

13 soft-question big-list big-picture teaching

2

Libri di algoritmi online

Ci sono libri recenti sugli algoritmi online? Conosco solo due libri sull'argomento. Calcolo online e analisi della concorrenza di Allan Borodin e Ran El-Yaniv: questo è un libro classico ma vecchio e non contiene molti progressi recenti nel campo. Il design di algoritmi online competitivi tramite un approccio Primal-Dual di …

13 reference-request big-list online-algorithms

4

Documentari Alan Turing

Per festeggiare il centesimo compleanno di Alan Turing, voglio guardare un documentario sulla sua vita. Tuttavia, ci sono diversi documentari tra cui scegliere. Quale documentario su Alan Turing è il tuo preferito? Includi solo un documentario per risposta.

13 reference-request soft-question big-list ho.history-overview

2

Quali sono gli attuali problemi aperti nella teoria dei compilatori?

La teoria del compilatore sembra essere un argomento piuttosto controllato. Quali sono alcuni problemi aperti o ricerche in corso sul campo?

13 soft-question big-list open-problem compilers

Domande taggate «big-list»