La storia dietro gli argomenti: da dove viene il loro nome, chi li ha scoperti, quando sono stati dimostrati per la prima volta, come si sono evoluti negli anni.
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 …
Se è un grafico d- regolare non orientato e S è un sottoinsieme dei vertici della cardinalità ≤ | V | / 2 , chiama l' espansione del bordo di S la quantitàG = ( V, E)G=(V,E)G=(V,E)dddSSS≤ | V| / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = Edge s ( …
I saggi altri redattori di Wikipedia hanno rifiutato la mia richiesta di spostare l'articolo di Wikipedia sull'algoritmo Rabin-Karp in quello che penso dovrebbe essere chiamato, l'algoritmo Karp – Rabin, sulla base del fatto che il nome Rabin-Karp viene usato più spesso ( falso, se uno va dai numeri di Google …
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 …
Di recente ho insegnato agli espansori e introdotto la nozione di grafici Ramanujan. Michael Forbes ha chiesto perché sono chiamati in questo modo, e ho dovuto ammettere che non lo so. Chiunque?
Ho letto che inizialmente Church ha proposto il calcolo come parte dei suoi Postulati di Logicaλλ\lambda (che è una lettura densa). Ma Kleene dimostrò che il suo "sistema" era incoerente, dopodiché Church estrasse cose rilevanti per il suo lavoro sulla "calcolabilità effettiva" e abbandonò il suo precedente lavoro sulla logica. …
L'algoritmo di Karatsuba per la moltiplicazione rapida è stato pubblicato per la prima volta in A. Karatsuba e Yu. Ofman (1962), "Moltiplicazione di molti numeri digitali per computer automatici", Atti della USSR Academy of Sciences 145: 293–294. Secondo Karatsuba (1995, "La complessità dei calcoli", Proc. Steklov Institute of Mathematics 211: …
Ho due domande storiche: Chi ha descritto per primo il calcolo non deterministico? So che Cook ha descritto problemi NP-completi e che Edmonds ha proposto che gli algoritmi P siano algoritmi "efficienti" o "buoni". Ho cercato questo articolo di Wikipedia e ho scremato "Sulla complessità computazionale degli algoritmi", ma non …
Secondo un resoconto storico (non verificato), Kolmogorov pensava che ogni lingua in PP\mathsf{P} avesse una complessità del circuito lineare. (Vedi la domanda precedente congettura di Kolmogorov che PPP ha circuiti lineari a grandezza naturale .) Si noti che implica P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} . La congettura di Kolmogorov, tuttavia, è probabile che …
Di recente stavo discutendo di Turing Machines quando mi è stato chiesto: "La Turing Machine è derivata dagli automi o è il contrario"? Naturalmente non conoscevo la risposta, ma sono curioso di scoprirlo. La Turing Machine è sostanzialmente una versione leggermente più sofisticata di un Push-Down Automata. Da ciò presumo …
Quando si cerca di convincere gli economisti della rilevanza della teoria della complessità nella stampa, c'è un riferimento standard da citare? Conosco il post sul blog di Noam Nisan , l'indagine di Tim Roughgarden e il capitolo 11 del saggio di Scott Aaronson . Questi post sono accessibili agli informatici, …
Oggi ho insegnato limiti inferiori e uno degli studenti ha chiesto il motivo del nome . La spiegazione ufficiale è che la "A" sta per "Alternation".A C0UNC0AC^0A CUNCAC Ricordo vagamente molti anni fa che Nick Pippenger Steve Cook chiamò dopo Nick Pippenger (classe di Nick), e in seguito Nick di …
Ci sono esempi interessanti di algoritmi che sono stati pubblicati con limiti comprovati e dove sono stati successivamente pubblicati limiti strettamente migliori? Algoritmi non migliori con limiti migliori - ovviamente è successo! Ma una migliore analisi porta ad un migliore vincolo su un algoritmo esistente Pensavo che la moltiplicazione delle …
AFAIK, La prima prova dell'uso di funzioni di ordine superiore risale al documento di Schönfinkel del 1924: "Sui mattoni della logica matematica" - dove ha permesso di passare funzioni come argomenti ad altre funzioni. Sembra interessante. Tuttavia, tutto ciò che ho letto del suo lavoro (e di Curry per estensione) …
Sono interessato alla prima storia dei risultati pubblicati sui compromessi spazio-tempo generici. In particolare, voglio sapere chi ha descritto per primo il seguente tipo di algoritmo per valutare un calcolo avente un grafico di flusso di dati arbitrario con in gradi O (1) usando lo spazio proporzionale alla profondità (non …
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.