Informatica teorica

5

Dove puoi trovare offerte di lavoro per posizioni di docenti nella teoria CS?

Quali sono le migliori risorse per trovare offerte di lavoro per posizioni di docenti nella teoria CS? Esiste un sito Web o una mailing list in particolare che è abbastanza completo? Al momento ho l'impressione che si debba usare una varietà di risorse per ottenere un elenco completo e mondiale …

19 soft-question career

2

Sono noti problemi NP-completi, né NP-hard in senso stretto né con algoritmo pseudopolinomiale?

Nel loro articolo (p. 503) Garey e Johnson osservano: ... potrebbe esistere un problema NP completo che non è né NP completo in senso stretto né risolvibile da un algoritmo temporale pseudo-polinomiale ... Qualcuno conosce alcuni problemi candidati con le proprietà di cui sopra? Penso che la possibile risposta a …

19 ds.algorithms np-hardness np

2

Formule 3-CNF minime insoddisfacenti

Al momento sono interessato a ottenere (o costruire) e studiare formule 3-CNF che sono insoddisfacenti e di dimensioni minime. Cioè, devono consistere nel minor numero possibile di clausole (m = 8 preferibilmente) e nel minor numero possibile di variabili distinte (n = 4 o più), in modo tale che la …

19 cc.complexity-theory sat

1

Esiste un limite inferiore migliore del lineare per il factoring e il log discreto?

Ci sono riferimenti che forniscono dettagli sui limiti inferiori del circuito per specifici problemi difficili che si verificano nella crittografia come factoring intero, problema logaritmo discreto primo / composito e la sua variante rispetto a un gruppo di punti di curve ellittiche (e le loro varietà abeliane di dimensione superiore) …

19 cc.complexity-theory complexity-classes cr.crypto-security circuit-complexity

1

La crittografia ha un costo termodinamico intrinseco?

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). …

19 cr.crypto-security quantum-computing big-picture physics quantum-information

2

Una struttura di dati per richieste minime di prodotti a punti

Considera equipaggiato con il prodotto dot standard e vettori lì: . Vogliamo costruire una struttura di dati che consenta query del seguente formato: dato output . È possibile andare oltre il banale tempo di query O (nm) ? Ad esempio, se n = 2 , è immediato ottenere O (\ …

19 ds.data-structures cg.comp-geom linear-algebra metrics

1

In che modo dimostrare che un linguaggio privo di contesto è ambiguo indecidibile?

Ho letto da qualche parte che una macchina di Turing non può calcolare questo ed è quindi indecidibile, ma perché? Perché è computazionalmente impossibile per una macchina generare l'albero di analisi e prendere una decisione? Forse mi sbaglio e si può fare?

19 computability turing-machines context-free

1

Le conseguenze di UP sono uguali a NP

MODIFICA al 2011/02/08: dopo aver trovato e letto alcuni riferimenti, ho deciso di separare la domanda originale in due distinti. Ecco la parte relativa a UP vs NP, per la parte delle classi sintattiche e semantiche, vedere Vantaggi per le classi sintattiche e semantiche . UPUP\mathsf{UP} (il tempo polinomio non …

19 cc.complexity-theory complexity-classes conditional-results unique-solution

2

Stato della congettura di Cerny?

Un DFA ha una parola di sincronizzazione se esiste una stringa che invia uno stato del DFA a un singolo stato. In "The Cerny Conjecture for Aperiodic Automata" di AN Trahtman (Discrete Mathematics and Theoretical Computer Science vol. 9: 2, 2007, pp.3-10), ha scritto, Cerny ipotizzò nel 1964 che ogni …

19 fl.formal-languages automata-theory open-problem synchronization

2

mantenendo un albero spanning equilibrato di un grafico non indirizzato in crescita

Sto cercando dei modi per mantenere un albero di spanning relativamente bilanciato di un grafico, mentre aggiungo nuovi nodi / spigoli al grafico. Ho un grafico non orientato che inizia come un singolo nodo, la "radice". Ad ogni passaggio, aggiungo al grafico un nuovo nodo e un bordo che lo …

19 graph-theory ds.data-structures graph-algorithms tree online-algorithms

4

Parità e

Parity e sono come gemelli inseparabili. O almeno così è sembrato negli ultimi 30 anni. Alla luce del risultato di Ryan, ci sarà un rinnovato interesse per le piccole classi.A C0UNC0AC^0 Furst Saxe Sipser to Yao to Hastad sono tutte parità e restrizioni casuali. Razborov / Smolensky è un polinomio …

19 cc.complexity-theory complexity-classes lower-bounds circuit-complexity

3

C'è qualche legame tra la norma del diamante e la distanza degli stati associati?

Nella teoria dell'informazione quantistica, la distanza tra due canali quantistici viene spesso misurata usando la norma del diamante. Esistono anche diversi modi per misurare la distanza tra due stati quantistici, come la distanza della traccia, la fedeltà, ecc. L' isomorfismo di Jamiołkowski fornisce una dualità tra canali quantistici e stati …

19 quantum-computing it.information-theory quantum-information

5

Perché i database relazionali funzionano affatto, data la complessità esponenziale teorica della ricerca di risposte (nella dimensione della query)?

Sembra essere noto che per trovare una risposta a una query su un database relazionale D , occorre tempo | D | | Q | e non ci si può liberare dell'esponente | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Dato che può essere molto grande, ci chiediamo perché i database funzionino affatto nella …

19 cc.complexity-theory time-complexity descriptive-complexity db.databases

1

Scegliere un argomento di ricerca usando la teoria dei giochi

Questa recente domanda sulla teoria dei giochi mi ha fatto pensare (questa è una tangente, ovviamente): è possibile ottimizzare in modo efficiente una strategia personale per scegliere le domande di ricerca su cui lavorare usando la teoria dei giochi? Per avanzare verso una formalizzazione della domanda, farò le seguenti ipotesi …

19 soft-question gt.game-theory

4

Qual è la definizione "giusta" dei limiti superiore e inferiore?

Sia f(n)f(n)f(n) il peggior tempo di esecuzione di un problema sull'input di dimensione nnn . Facciamo un po 'strano il problema fissando f(n)=n2f(n)=n2f(n) = n^2 per n=2kn=2kn=2k ma f(n)=nf(n)=nf(n) = n per n=2k+1n=2k+1n=2k+1 . Quindi, qual è il limite inferiore del problema? Il modo in cui l'ho capito è solo …

19 cc.complexity-theory time-complexity