Informatica teorica

6

Strumenti di visualizzazione dell'analisi della rete / rete sociale?

Stavo usando Jung ( http://jung.sourceforge.net/ ) per visualizzare il ranking della pagina e l'ho trovato un po 'lento e difficile ridimensionarlo oltre 100 nodi. Mi chiedevo quali altri strumenti le persone usano per l'analisi e la visualizzazione della rete / social network.

20 graph-theory big-list cg.comp-geom software graph-drawing

1

Prove alternative del teorema di Immerman-Szelepcsenyi

Immerman e Szelepcsenyi dimostrato che indipendentemente . Usando la loro tecnica di conteggio induttivo, Borodin et al hanno dimostrato che S A C i è chiuso sotto integrazione, per i > 0 . Prima del teorema di Reingold ( S L = L ), Nisan e Ta-Shma hanno dimostrato S …

20 cc.complexity-theory space-bounded

2

Problemi tra NC e P: quanti sono stati risolti da questo elenco?

Nel documento "Un compendio di problemi completo per P" di Greenlaw, Hoover e Ruzzo (PS) (PDF) , c'è un elenco di problemi in P che non sono noti per essere in NC e che non sono noti per essere P-complete . (Questo elenco comprende tutti i problemi aperti nell'eccellente sondaggio …

20 cc.complexity-theory open-problem circuit-complexity

4

Gli attributi indecidibili di P rappresentano un ostacolo alla decisione di P rispetto a NP? (risposta: forse)

Vengono poste cinque domande collegate e si auspica un'unica risposta integrata: D1: Esistono lingue riconosciute esclusivamente da quelle macchine di Turing in cui esponenti di runtime sono indecidibili ?LLLPPP D2: Gli esempi di queste macchine di Turing possono essere costruiti in modo fine? Q3: queste macchine di Turing possono essere …

20 cc.complexity-theory

4

Esiste un equivalente alla derandomizzazione per gli algoritmi quantistici?

Con alcuni algoritmi randomizzati è possibile derandomizzare l'algoritmo, rimuovendo (a un possibile costo in tempo di esecuzione) l'uso di bit casuali e massimizzando un limite inferiore sull'obiettivo (di solito calcolato utilizzando il fatto che i teoremi riguardano le prestazioni attese del casuale algoritmo). Esiste un equivalente per algoritmi quantistici? Ci …

20 derandomization quantum-computing

1

Tutte le classi di complessità hanno una caratterizzazione del linguaggio fogliare?

I linguaggi fogliari sono un modo meraviglioso per definire uniformemente molte classi di complessità. La maggior parte delle classi di complessità sono generalmente specificate da un modello di calcolo (ad es. TM deterministica / randomizzata) e da un limite di risorse (tempo di log, spazio poligonale, ecc.). Tuttavia, nella formulazione …

20 cc.complexity-theory complexity-classes

4

Ordine topologico positivo, prendere 3

Supponiamo di avere una matrice n per n. È possibile riordinare le sue righe e colonne in modo da ottenere una matrice triangolare superiore? Questa domanda è motivata da questo problema: ordinamento topologico positivo Il problema decisionale originale è difficile almeno quanto questo, quindi un risultato di completezza NP risolverebbe …

20 ds.algorithms np-hardness open-problem matrices

1

Spiega l'interpretazione di grado tensore di Gurvits del documento di Deolalikar

[Nota: credo che questa domanda non dipenda in alcun modo dalla correttezza o dall'inesattezza del documento di Deolalikar.] Sul blog di Scott Aaronson Shtetl Optimized , nella discussione sul recente tentativo di Deolalikar su P vs NP, Leonid Gurvits ha fatto il seguente commento : Ho cercato di capire / …

20 cc.complexity-theory lower-bounds tensor-rank

2

-norm preservando macchine di Turing

Leggendo alcuni recenti thread sull'informatica quantistica ( qui , qui e qui ), mi fanno ricordare un'interessante domanda sulla potenza di una sorta di macchina per preservare -norm.ℓpℓp\ell_p Per le persone che lavorano nella teoria della complessità andando alla complessità quantistica un ottimo testo introduttivo è l'articolo di Fortnow il …

20 cc.complexity-theory quantum-computing computability turing-machines norms

3

È difficile trovare catene di addizione ottimali?

Una catena di addizione è una sequenza di numeri interi positivi dove e ogni indice , abbiamo per alcuni indici . La lunghezza della catena di addizione è ; il target della catena di addizione è .x 1 = 1 i ≥ 2 x i = x j + x …

20 reference-request np-hardness

2

Rappresentazione circuitale succinta di grafici

La classe di complessità PPAD (ad es. Il calcolo di vari equilibri di Nash) può essere definita come l'insieme dei problemi di ricerca totali in termini di tempo di trasmissione riducibili a FINE LINEA : FINE DELLA LINEA : dati i circuiti S e P con n bit di ingresso …

20 reference-request combinatory-logic graph-theory ppad

2

Stima media nel tempo polinomiale

Lascia che sia una funzione. Vogliamo stimare la media di , ovvero: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x) …

20 ds.algorithms randomized-algorithms black-box

3

Sono possibili forme ricorsive dell'affermazione di Godel?

L'autoreferenzialità del problema P / NP è stata talvolta evidenziata come una barriera alla sua risoluzione, vedi, ad esempio, il documento di Scott Aaronson, P vs. NP è formalmente indipendente ? Una delle molte possibili soluzioni a P / NP sarebbe una dimostrazione che il problema è formalmente indipendente da …

20 cc.complexity-theory lo.logic

3

Test di proprietà in altre metriche?

Esiste una vasta letteratura sul "test delle proprietà": il problema di eseguire un piccolo numero di query in black box su una funzione per distinguere tra due casi:f: { 0 , 1 }n→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff è un membro di una classe di funzioniCC\mathcal{C} fff è -far da ogni …

20 reference-request lg.learning metrics property-testing black-box

3

TM e oracoli limitati dallo spazio

In generale, il nastro di query per un oracolo conta per la complessità dello spazio di una TM. Tuttavia, sembra plausibile consentire un nastro oracolo di sola scrittura (come viene utilizzato nelle riduzioni dello spazio L). Una tale costruzione è utile? Produce risultati particolarmente assurdi?

20 cc.complexity-theory space-bounded oracles