Esistono molte applicazioni di analisi reale nell'informatica teorica, che coprono i test di proprietà, la complessità della comunicazione, l'apprendimento PAC e molti altri campi di ricerca. Tuttavia, non riesco a pensare a nessun risultato in TCS che si basi su analisi complesse (al di fuori del calcolo quantistico, in cui …
L'entanglement è spesso considerato l'ingrediente chiave che rende gli algoritmi quantistici ben ... quantici, e questo può essere ricondotto agli stati di Bell che distruggono l'idea della fisica quantistica come modello probabilistico a stato nascosto. Nella teoria dell'informazione quantistica (dalla mia comprensione piuttosto debole), l'entanglement può anche essere usato come …
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. …
Ho lavorato per introdurre alcuni risultati della complessità computazionale nella biologia teorica, in particolare evoluzione ed ecologia , con l'obiettivo di essere interessante / utile per i biologi. Una delle maggiori difficoltà che ho incontrato è quella di giustificare l'utilità dell'analisi asintotica del caso peggiore per i limiti inferiori. Esistono …
Per verificare la mia comprensione, vorrei condividere alcuni pensieri sui requisiti energetici del calcolo. Questo è un seguito alla mia domanda precedente e potrebbe essere correlato alla domanda di Vinay sulle leggi di conservazione . Mi è venuto in mente che, da un punto di vista termodinamico, l'esecuzione di un …
Stavo leggendo " Is P Versus NP Formally Independent? ", Ma sono rimasto perplesso. E 'opinione diffusa nella teoria della complessità che . La mia domanda è se ciò non fosse dimostrabile (diciamo in Z F C ). (Supponiamo che scopriamo solo che P ≠ N P è indipendente da …
Ultimamente ho iniziato a cercare algoritmi di approssimazione per problemi NP-difficili e mi chiedevo quali fossero le ragioni teoriche per studiarli. (La domanda non vuole essere infiammatoria, sono solo curiosa). Qualche teoria veramente bella è emersa dallo studio degli algoritmi di approssimazione - la connessione tra il teorema del PCP …
Sono curioso in senso lato di ciò che è noto sulla parallelizzazione degli algoritmi in P. Ho trovato il seguente articolo di Wikipedia sull'argomento: http://en.wikipedia.org/wiki/NC_%28complexity%29 L'articolo contiene la seguente frase: Non è noto se NC = P, ma la maggior parte dei ricercatori sospetta che ciò sia falso, il che …
Discussione : Ultimamente ho trascorso un po 'di tempo personale imparando varie cose nella complessità della comunicazione. Ad esempio, ho acquisito familiarità con il capitolo pertinente di Arora / Barak, ho iniziato a leggere alcuni documenti e ho ordinato il libro di Kushilevitz / Nisan. Intuitivamente, voglio confrontare la complessità …
Nel calcolo distribuito, il problema del consenso sembra essere uno degli argomenti centrali che ha attratto un'intensa ricerca. In particolare, l'articolo "Impossibilità di un consenso distribuito con un processo difettoso" ha ricevuto il PODC Influential Paper Award 2001 . Quindi perché il problema del consenso è così importante? Cosa possiamo …
Il calcolo reversibile è un modello computazionale che consente solo operazioni termodinamicamente reversibili. Secondo il principio di Landauer, che afferma che la cancellazione di un po 'di informazioni rilascia joule di calore, questo esclude le funzioni di transizione che non sono one-to-one (ad esempio, gli operatori booleani AND e OR). …
Nella sezione "Introduzione ai linguaggi di programmazione" di Anthony Aaby sulla semantica , fa la seguente osservazione: Gran parte del lavoro nella semantica dei linguaggi di programmazione è motivato dai problemi incontrati nel tentativo di costruire e comprendere programmi imperativi --- programmi con comandi di assegnazione. Poiché il comando di …
Ho cercato in lungo e in largo per tali applicazioni e per lo più mi sono accorto che era corto. Riesco a trovare molte applicazioni di topologia e strutture simili su insiemi numerabili (o innumerevoli), ma raramente trovo insiemi numerabili come oggetto di studio da parte di scienziati informatici, e …
La teoria della complessità sembra catturare qualcosa di fondamentale sulla struttura dell'universo, in quanto formalizza l'idea intuitiva che alcuni problemi sono più difficili di altri. Scott Aaronson ha predetto : "Il presupposto della durezza NP sarà alla fine visto come analogo alla Seconda Legge della Termodinamica o all'impossibilità della segnalazione …
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.