Mentre ho seguito alcuni corsi di teoria della probabilità, sia al liceo che all'università, ho difficoltà a leggere i documenti TCS quando si tratta di probabilità. Sembra che gli autori degli articoli del TCS conoscano molto bene la probabilità. Funzionano magicamente con le formule di probabilità e dimostrano molto facilmente …
Ci sono tonnellate di problemi NP-completi in giro e fonti che li raccolgono, ad esempio vedere il libro di Garey e Johnson. Sarei interessato a vedere un elenco di problemi completi di NEXP. Ce n'è uno disponibile? Dato che presumo che non ci sia, apro questa domanda (si suppone che …
Richard J. Lipton è stato selezionato come vincitore del Premio Knuth 2014 "per Introduzione di nuove idee e tecniche". Quali sono secondo te le principali nuove idee e tecniche sviluppate da Lipton? Nota. Questa domanda diventerà wiki della comunità, per favore metti una di queste idee, tecniche o risultati per …
Alcuni paradossi matematici e logici potrebbero essere applicati automaticamente ai computer probabilmente, ma ci sono dei paradossi scoperti nell'informatica stessa? Per paradosso intendo contro risultati intuitivi che sembrano una contraddizione.
Di recente, un mio amico (che lavora in TCS) ha menzionato in una conversazione che "voleva vedere / conoscere tutti (o il più possibile) dei meravigliosi risultati in TCS nella sua vita". Questo tipo di mi ha fatto riflettere sui bellissimi risultati in questo settore e quindi sulla motivazione per …
Una delle cose belle di essersi evoluto in un universo con tre dimensioni spaziali è che abbiamo sviluppato capacità di problem solving relative agli oggetti nello spazio. Quindi, ad esempio, possiamo pensare a una tripletta di numeri come a un punto in 3-d e quindi al calcolo delle terzine di …
Modifica: ho scelto la risposta con il punteggio più alto entro il 06 dicembre 2012. Questa è una domanda delicata. Il concetto di algoritmi (deterministici) risale al BC. E gli algoritmi probabilistici? In questa voce wiki , l'algoritmo di Rabin per il problema di coppia più vicino nella geometria computazionale …
Sono interessato ad esempi di problemi in cui un teorema che apparentemente non ha nulla a che fare con la meccanica / informazione quantistica (ad esempio afferma qualcosa sugli oggetti puramente classici) può comunque essere provato usando strumenti quantistici. Un sondaggio Quantum Proofs for Classical Theorems (A. Drucker, R. Wolf) …
Sono uno scienziato informatico che frequenta un corso di topologia (una spolverata di topologia a punti fortemente influenzata dalla teoria del continuum). Mi sono interessato a problemi di decisione testando una descrizione di uno spazio (per mezzo di semplici) per proprietà topologiche; quelli preservati fino all'omeomorfismo. È noto, ad esempio, …
Potresti trovare spesso metodi del piano di taglio, propagazione variabile, branch and bound, apprendimento delle clausole, backtracking intelligente o persino euristica umana tessuta a mano nei solutori di SAT. Eppure per decenni i migliori solutori di SAT si sono affidati fortemente a tecniche di risoluzione della risoluzione e usano una …
Su quali argomenti TCS mancanti su Wikipedia ti piacerebbe di più che ci fosse un articolo? Potrebbero essere evidenti omissioni o solo argomenti che ritieni debbano davvero contenere un articolo. Un argomento per risposta, per favore, in modo che quelli più ricercati possano essere votati. Aggiornamento 5/2/2017 : Shuchi Chawla …
Questa è la mia prima domanda nello stack cstheory, quindi non essere troppo scortese se in qualche modo sto violando l'etichetta) Come sappiamo, in matematica anche famosi matematici, superstar e geni fanno di volta in volta gravi errori. Ad esempio, sia il teorema a 4 colori che il teorema di …
Parteciperò alla mia prima conferenza di informatica e dopo aver letto i consigli su come migliorare le conferenze ho notato che i vari suggerimenti riguardavano gli studenti laureati che frequentavano la loro prima conferenza. Che consiglio hai per uno studente laureato che frequenta la sua prima conferenza e quale dovrebbe …
Certo, alcuni risultati di complessità possono crollare per le lingue unarie, ma mi chiedo se c'è un sondaggio che riassuma i risultati noti in questo caso: una specie di zoo di complessità per le lingue unarie. Sapresti di un tale riferimento?
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 ) …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.