Informatica teorica

1

Qual è il ruolo corretto della verifica nel campionamento quantistico, nella simulazione e nei test ECT (Extended-Church-Turing)?

Poiché non è stata fornita alcuna risposta, è stata impostata una bandiera che richiede che questa domanda venga convertita in un wiki della comunità. I commenti di Aaron Sterling, Sasho Nikolov e Vor sono stati sintetizzati nella seguente risoluzione, che è aperta alla discussione sulla wiki della comunità: Risolto: per …

9 quantum-computing program-verification sample-complexity

1

Letteratura intorno a NP vs EXPTIME

Anche se non è un punto cruciale, non vedo letteratura intorno a questa domanda. Ci sono risultati di relativizzazione? Non sarebbe del tutto semplice dimostrare una rigorosa inclusione adattando il teorema della gerarchia temporale non deterministica esplorando tutti i possibili percorsi della macchina NP?

9 cc.complexity-theory complexity-classes

2

Esistono algebre "grafiche" che possono descrivere la "forma" dei grafici?

Uno dei problemi principali nell'enumerazione dei grafici è la determinazione della "forma" di un grafico, ad esempio la classe di isomorfismo di un particolare grafico. Sono pienamente consapevole che ogni grafico può essere rappresentato come una matrice simmetrica. Tuttavia, per ottenere la sua forma, avresti bisogno di una raccolta di …

9 graph-theory co.combinatorics algebra

5

Come decidi quando hai abbastanza risultati di ricerca per scrivere un articolo e su quale rivista inviare il documento

In alcune aree di ricerca in CS abbiamo ottenuto risultati molto interessanti. Ora stiamo pensando di pubblicarli. Nel gruppo in cui ci troviamo, la filosofia è quella di pubblicare articoli di piccole dimensioni immediatamente in articoli per conferenze, il che va bene ma non è il migliore. Ora sto pensando …

9 soft-question research-practice writing paper-review conferences

2

Esiste una struttura di dati per la manipolazione rapida dell'elenco e le richieste di ordini?

Abbiamo un insieme, , di elenchi di elementi dell'insieme . Ogni elemento da appare in un singolo elenco . Sto cercando una struttura di dati in grado di eseguire i seguenti aggiornamenti:N = { 1 , 2 , 3 , . . . , n } N LLLLN= { 1 …

9 ds.algorithms graph-algorithms ds.data-structures

1

Linguaggi di query del database per query efficienti

Sembra che nei linguaggi di query popolari per i database relazionali sia possibile creare query che richiederanno molte risorse per rispondere. In pratica, gli amministratori del database gestiscono ciò limitando la quantità di memoria per query e verificando eventuali query di lunga durata in caso di rallentamento del database. Sembra …

9 cc.complexity-theory pl.programming-languages db.databases finite-model-theory

1

Euristica per l'ottimizzazione

Dal momento che è venerdì, è tempo di una domanda CW. Sto cercando euristiche che hanno un ampio uso in problemi di ottimizzazione. Per limitare il campo di applicazione a euristiche più "teoriche", ecco le regole (alcune arbitrarie, altre no) Dovrebbe essere un metodo ben definito senza numerosi parametri e …

9 ds.algorithms reference-request optimization heuristics

2

Massimizzazione dei pesi del bordo di somma

Mi chiedo se il seguente problema abbia un nome o qualsiasi risultato ad esso correlato. G=(V,w)G=(V,w)G = (V,w)w(u,v)w(u,v)w(u,v)uuuvvvu,v∈Vu,v∈Vu,v \in Vw(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)\max_{S \subseteq V} \sum_{(u,v) : u \in S\ \textrm{or}\ v\in S} w(u,v) Si noti che sto contando i bordi sia all'interno del sottoinsieme che all'esterno …

9 reference-request graph-theory approximation-algorithms terminology approximation-hardness

1

Decidere se una stringa di caratteri jolly è completamente abbinata a un'altra stringa di caratteri jolly in un set

Ecco un problema che mi ha infastidito per un po '. Supponiamo che una stringa sia una sequenza di 1 e 0 e una stringa di caratteri jolly sia una sequenza di 1, 0 e? S. Tutte le stringhe e le stringhe jolly hanno la stessa lunghezza. Questi sono caratteri …

9 ds.algorithms ds.data-structures approximation-algorithms string-matching string-search

1

Limitare il numero di spigoli tra i grafici a stella in modo tale che il grafico sia planare

Ho un grafico che consiste solo di grafici a stella. Un grafico a stella è costituito da un nodo centrale con bordi ad ogni altro nodo al suo interno. Let H_1, H_2, \ ldots, H_n essere diversi grafici stelle di diverse dimensioni che sono presenti in G . Chiamiamo l'insieme …

9 graph-theory co.combinatorics puzzles

1

Analisi smussata: se un problema ha una complessità pseudopolinomiale, è in Smooth P?

Sono stato affascinato dalla straordinaria esplosione di Smoothed Analysis e sono stato colpito da un'affermazione nel documento Smoothed Analysis of Integer Programming . Ciò ha affermato che la Programmazione lineare integer è in Smoothed P se polinomialmente limitata. Ciò era essenziale in virtù del fatto che la Programmazione Integer è …

9 cc.complexity-theory smoothed-analysis

2

Algoritmi polinomiali per UPB (basi di prodotti non estendibili)

Considera uno spazio di Hilbert . Una base di prodotto inestendibile (UPB) è un insieme di vettori di prodotto tale che:H= H1⊗ ⋯ ⊗ HnH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n| vio⟩ = | v1io⟩ ⊗ ⋯ ⊗ | vnio⟩|vio⟩=|vio1⟩⊗⋯⊗|vion⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert …

9 quantum-computing linear-algebra quantum-information

1

Avversari non uniformi vs. uniformi

Questa domanda è emersa nel contesto della crittografia, ma di seguito la presenterò in termini di teoria della complessità, dal momento che le persone qui conoscono meglio quest'ultima. Questa domanda è correlata a Problemi in NP ma non in Average-P / poly e Bunon Uniformity di Oracle Access . Dichiarazione …

9 cc.complexity-theory cr.crypto-security np advice-and-nonuniformity average-case-complexity

1

Limiti inferiori sulla funzione Soglia

Nella complessità dell'albero decisionale di una funzione booleana, un metodo con limite inferiore ben noto è quello di trovare un polinomio (approssimativo) che rappresenti la funzione. Paturi ha dato una caratterizzazione per funzioni booleane simmetriche (parziali e totali) in termini di una quantità indicata ΓΓ\Gamma : Teorema ( Paturi ): …

9 cc.complexity-theory quantum-computing lower-bounds boolean-functions query-complexity

1

Esistono CFG di dimensioni polinomiali che descrivono questo linguaggio finito?

Esistono permutazioni e dimensioni polinomiali (in | w | = n ) grammatica libera dal contesto che descrive il linguaggio finito { w π 1 ( w ) π 2 ( w ) } sull'alfabeto { 0 , 1 } ?π1, π2π1,π2\pi_1,\pi_2| w | =n|w|=n|w|=n{ w π1( w ) π2( …

9 fl.formal-languages grammars context-free