Guardare le domande attraverso l' obiettivo algoritmico (cioè da un punto di vista algoritmico o di complessità) è diventato utile in discipline al di fuori del "dominio standard" dell'informatica. In particolare CS ha avuto un impatto sulla biologia attraverso la biologia computazionale, sulla fisica attraverso l'elaborazione di informazioni quantistiche e …
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 …
Definire LOGLOG come la classe di linguaggi che può essere calcolata nello spazio O (loglog n) da una macchina Turing deterministica (con accesso bidirezionale all'input). Allo stesso modo definire NLOGLOG come la classe di linguaggi che può essere calcolata nello spazio O (log log n) da una macchina di Turing …
Ho letto " Semantics with Applications " di Nielson & Nielson e mi piace molto l'argomento. Mi piacerebbe avere un altro libro sulla semantica del linguaggio di programmazione, ma posso davvero ottenerne solo uno. Ho dato un'occhiata al libro Turbak / Gifford , ma è troppo lungo; Pensavo che Winskel …
Non sembra che questo sia noto - ma ci sono limiti inferiori interessanti sulla complessità della moltiplicazione di matrici nel modello di calcolo quantistico? Abbiamo qualche intuizione che possiamo battere la complessità dell'algoritmo Coppersmith-Winograd usando i computer quantistici?
I metodi polinomiali , affermano il Nullstellensatz combinatorio e il teorema di Chevalley – Warning, sono potenti strumenti nella combinatoria additiva. Rappresentando un problema con i polinomi adeguati, possono garantire l'esistenza di una soluzione o il numero di soluzioni ai polinomi. Sono stati usati per risolvere problemi come somme limitate …
Nel suo libro, Boolean Function Complexity, Stasys Jukna menziona (pagina 564) che Kolmogorov credeva che ogni lingua in P avesse circuiti di dimensioni lineari. Nessun riferimento è menzionato e non sono riuscito a trovare nulla online. Qualcuno ne sa di più?
Sono a conoscenza solo di due prove del lemma di Schwartz-Zippel. La prima (più comune) prova è descritta nella voce di Wikipedia . La seconda prova è stata scoperta da Dana Moshkovitz. Ci sono altre prove che usano idee sostanzialmente diverse?
Supponiamo che sia un grafico con il numero di colorazione . Considera il seguente gioco tra Alice e Bob. Ad ogni round, Alice sceglie un vertice e Bob risponde con un colore in per questo vertice. Il gioco termina quando viene scoperto un bordo monocromatico. Lascia che sia la lunghezza …
Lo studio dell'ecologia e dell'evoluzione sta diventando sempre più matematico, ma la maggior parte degli strumenti teorici sembra provenire dalla fisica. Tuttavia, in molti casi i problemi hanno una natura molto discreta (si veda ad esempio SLBS00 ) e potrebbero beneficiare di una prospettiva informatica . Tuttavia, sono a conoscenza …
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 …
Ho appena insegnato l' algoritmo mincut randomizzato di Karger-Stein nella mia classe di algoritmi laureati. Questo è un vero gioiello algoritmico , quindi non posso non insegnare, ma mi lascia sempre frustrato, perché non conosco altre applicazioni della tecnica principale. (Quindi è difficile assegnare i compiti che portano il punto …
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 …
Sono sicuro che tutti conoscono l' esperimento con ago di Buffon nel 18 ° secolo, che è uno dei primi algoritmi probabilistici per calcolare .ππ\pi L'implementazione dell'algoritmo nei computer di solito richiede l'uso di , o una funzione trigonometrica, che, anche se implementati come serie troncate, in qualche modo vanifica …
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.