Domande taggate «big-list»

Domande le cui risposte sono un grande elenco di elementi (libri, teoremi, software, ...)

5
Tour casuali intorno alle prove
Oggi Ryan Williams ha pubblicato un articolo su arXiv (precedentemente apparso su SIGACT News) contenente una versione meno tecnica della sua recente tecnica con limiti inferiori ACC . La mia domanda non riguarda la tecnica stessa (ovviamente degna di immensi elogi), ma riguarda lo stile della carta. In astratto, scrive: …
8
Rigore che porta all'intuizione
Su MathOverflow, Timothy Gowers ha posto una domanda intitolata " Dimostrare che il rigore è importante ". La maggior parte della discussione riguardava casi che mostravano l'importanza della prova, di cui probabilmente le persone su CSTheory non devono essere convinte. Nella mia esperienza, le prove devono essere più rigorose nell'informatica …
13
Utilizzo dei codici di correzione degli errori in teoria
Quali sono le applicazioni dei codici di correzione degli errori in teoria oltre alla correzione degli errori stessa? Sono a conoscenza di tre applicazioni: teorema di Goldreich-Levin sul bit hard core, la costruzione dell'estrattore di Trevisan e l' amplificazione della durezza della funzione booleana (di Sudan-Trevisan-Vadhan). Quali sono le altre …
1
Prerequisito per l'apprendimento della GCT
Sembra che la teoria della complessità geometrica richieda molta conoscenza della matematica pura come la geometria algebrica, la teoria della rappresentazione. Mentre sono uno studente CS e NON ho lezioni di matematica molto astratta e pura, sono interessato a questo programma. Esiste un elenco di "conoscenze minime" per l'apprendimento di …
2
Problemi di somma delle radici quadrate?
Il problema della somma delle radici quadrate chiede, date due sequenze e b 1 , b 2 , ... , b n di numeri interi positivi, se la somma ∑ i √a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,Bnb_1, b_2, \dots, b_n minore, uguale o maggiore della somma∑i√Σioun'io--√Σioun'io\sum_i \sqrt{a_i} . Lo stato di complessità …
13
Problema di decisione facile, problema di ricerca difficile
Decidere se esiste un equilibrio di Nash è facile (lo fa sempre); tuttavia, trovarne effettivamente uno è ritenuto difficile (è PPAD-Complete). Quali sono alcuni altri esempi di problemi in cui la versione della decisione è semplice ma la versione della ricerca è relativamente difficile (rispetto alla versione della decisione)? Sarei …
4
Prove che espongono una struttura più profonda
La prova standard del limite di Chernoff (dal libro di testo degli algoritmi randomizzati ) usa le disuguaglianze di Markov e le funzioni di generazione del momento, con un po 'di espansione di Taylor inserita. Niente di troppo difficile, ma un po' meccanico. Ma ci sono altre prove rilegate di …
35 big-list  proofs 
14
Incontri quotidiani con problemi NP-completi
Mark Dominus ha raccolto alcuni esempi di riduzioni del tempo polinomiale da vari problemi NP-hard alla corrispondenza delle "espressioni regolari" . Immaginare verifiche del tempo polinomiale non è un salto enorme. Come illustrate la classe NP-completa agli studenti universitari o agli amici in altri campi che volevano capire il recente …
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.