Informatica teorica

3

Questa domanda è stata posta a Jeannette Wing dopo la sua presentazione PCAST sull'informatica . "Dal punto di vista della fisica, esiste un volume massimo di informazioni che possiamo avere?" (Una bella domanda di sfida per la comunità teorica dell'informatica poiché penso che faccia sorgere la domanda "Che cos'è l'informazione?") …

33 it.information-theory physics

6

Algoritmi randomizzati efficienti e semplici in cui il determinismo è difficile

Ho sentito spesso che per molti problemi conosciamo algoritmi randomizzati molto eleganti, ma nessuna, o solo soluzioni deterministiche più complicate. Tuttavia, conosco solo alcuni esempi per questo. Soprattutto Quicksort randomizzato (e relativi algoritmi geometrici, ad es. Per scafi convessi) Mincut randomizzato Test di identità polinomiale Klee's Measure problem Tra questi, …

33 ds.algorithms randomized-algorithms derandomization

2

Conseguenze di

Come amatore del TCS, sto leggendo materiale molto popolare e molto introduttivo sull'informatica quantistica. Ecco le poche informazioni elementari che ho imparato finora: I computer quantistici non sono noti per risolvere i problemi NP-completi in tempi polinomiali. "La magia quantistica non sarà abbastanza" (Bennett et al. 1997): se buttate via …

33 cc.complexity-theory complexity-classes quantum-computing conditional-results physics

1

vs ?

Il problema centrale della teoria della complessità è probabilmente vs .PPPNPNPNP Tuttavia, poiché la natura è quantistica, sembrerebbe più naturale considerare le classi (ovvero i problemi di decisione risolvibili da un computer quantistico in tempo polinomiale, con una probabilità di errore al massimo di 1/3 per tutte le istanze) e …

33 cc.complexity-theory complexity-classes quantum-computing

2

Status dei mondi di Impagliazzo?

Nel 1995, Russell Impagliazzo ha proposto cinque mondi di complessità: 1- Algorithmica: con tutte le conseguenze sorprendenti.P=NPP=NPP=NP 2- Heuristica: problemi completi sono difficili nel caso peggiore ( P ≠ N P ) ma sono risolvibili in modo efficace nel caso medio.NPNPNPP≠NPP≠NPP \ne NP 3- Pessiland: esistono caso medio problemi -Complete …

33 cc.complexity-theory conditional-results average-case-complexity

2

In che modo TCS è diventato orientato alla conferenza piuttosto che al giornale?

Disclaimer: posso solo garantire i miei campi di ricerca, vale a dire metodi formali, semantica e teoria del linguaggio di programmazione. La situazione è probabilmente diversa in altre parti della disciplina. Sembra che TCS sia diventato piuttosto orientato alla conferenza. I ricercatori mirano a pubblicare nella prossima conferenza. A volte …

32 soft-question conferences

4

Perché mai si dovrebbe usare un Octree su un albero KD?

Ho una certa esperienza nell'informatica scientifica e ho ampiamente utilizzato kd-tree per applicazioni BSP (binary space partitioning). Recentemente ho acquisito maggiore familiarità con gli octrees, una struttura di dati simile per il partizionamento degli spazi euclidei 3D, ma uno che funziona a intervalli regolari fissi, da ciò che raccolgo. Un …

32 ds.data-structures tree

4

Ricerca e sfide aperte nella teoria dei linguaggi di programmazione

Nello spirito di alcune discussioni generali come questa , sto aprendo questa discussione con l'intenzione di raccogliere opinioni su quali siano le sfide aperte e gli argomenti caldi nella ricerca sui linguaggi di programmazione . Spero che la discussione possa anche far emergere opinioni sul futuro della ricerca nei linguaggi …

32 pl.programming-languages open-problem research-practice

8

Problemi con grandi lacune di complessità aperta

Questa domanda riguarda problemi per i quali esiste un grande divario di complessità aperta tra limite inferiore e limite superiore noti, ma non a causa di problemi aperti sulle classi di complessità stesse. Per essere più precisi, supponiamo che un problema abbia classi di gap A,BA,BA,B (con A⊆BA⊆BA\subseteq B , …

32 cc.complexity-theory complexity-classes big-list

3

Un'antologia di ipotesi di complessità

Nel documento The Random Oracle Hypothesis Is False , gli autori (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan e Rohatgi) discutono le implicazioni dell'ipotesi dell'oracolo casuale . Sostengono che sappiamo molto poco delle separazioni tra le classi di complessità e che la maggior parte dei risultati implica l'uso di ipotesi ragionevoli …

32 cc.complexity-theory complexity-classes big-list complexity-assumptions

7

Lente algoritmica nelle scienze sociali

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 …

32 reference-request soft-question big-picture social-sciences algorithmic-lens

5

Linguaggi di programmazione per un calcolo efficiente

È impossibile scrivere un linguaggio di programmazione che consenta a tutte le macchine che si fermano su tutti gli input e nessun altro. Tuttavia, sembra facile definire un tale linguaggio di programmazione per qualsiasi classe di complessità standard. In particolare, possiamo definire un linguaggio in cui possiamo esprimere tutti i …

32 cc.complexity-theory computability pl.programming-languages

14

Prenota sulla probabilità

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 …

32 reference-request big-list pr.probability books

1

LOGLOG = NLOGLOG?

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 …

32 cc.complexity-theory reference-request space-bounded

5

La prova che il PPAD è difficile?

Vi è spesso una giustificazione filosofica citata per credere che P! = NP anche senza prove. Altre classi di complessità hanno la prova che sono distinte, perché in caso contrario, ci sarebbero conseguenze "sorprendenti" (come il crollo della gerarchia polinomiale). La mia domanda è: qual è la base per credere …

32 cc.complexity-theory complexity-classes gt.game-theory conditional-results