Informatica teorica reference-request

3

Esistono implementazioni note per costrutti di calcolo quantistico?

La computazione quantistica è un'area attiva di ricerca che mira a trarre vantaggio dalla fisica quantistica (ad es. Entanglement quantistico) per far avanzare le capacità di efficienza dei computer (non altera la tesi di Church-Turing ). Quali sono gli esperimenti più significativi che sono stati condotti per dimostrare la teoria …

17 reference-request quantum-computing

2

Problema di taglio privo di H.

Supponiamo che ti venga fornito un grafico H. semplice, connesso e non orientato. Il problema del taglio senza H è definito come segue: Dato un grafico semplice e non orientato G, esiste un taglio (divisione dei vertici in due insiemi non vuoti, L, R) tale che i grafici indotti dagli …

17 cc.complexity-theory reference-request graph-theory np-hardness

1

Esiste una relazione tra algebra / calcolo relazionale e teoria delle categorie?

Sono a conoscenza di almeno due diversi approcci teorici per la comprensione dei database relazionali: l'algebra / calcolo relazionale di Codd e la teoria delle categorie. C'è qualche relazione tra questi due approcci? Sono in qualche modo equivalenti? C'è qualche lavoro introduttivo che spiega come entrambi questi quadri spiegano i …

17 reference-request ct.category-theory db.databases relational-structures

2

Status quo della teoria delle categorie e monadi nella ricerca teorica in informatica?

Sfondo . Sono uno studente laureato che è interessato alla ricerca relativa alla teoria delle categorie, monadi e Haskell, e voglio trovare un argomento per la mia tesi di laurea in quella zona. Ho guardato il giornale Eugenio Moggi , " Nozioni di computazioni e monadi ", 1991, e non …

17 reference-request pl.programming-languages big-picture ct.category-theory monad

2

L'intersezione di

È noto che l'intersezione di tre matroidi generali è NP-difficile ( fonte ), che viene effettuata mediante riduzione dal ciclo hamiltoniano. La riduzione utilizza un matroid grafico e due matroidi di connettività. Un caso speciale di un problema su cui sto lavorando può essere risolto dall'intersezione di più matroidi grafici, …

16 reference-request np-hardness reductions

2

Numeri interi di "quasi ordinamento" in tempo lineare

Sono interessato a ordinare una matrice di valori interi positivi L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n in tempo lineare (nel modello RAM con misura del costo uniforme, ovvero, gli interi possono avere dimensioni logaritmiche fino a quando si presume che le operazioni aritmetiche su di essi prendere il tempo unitario). Naturalmente, …

16 reference-request time-complexity sorting

2

Pubblicazioni TCS recenti con aspetti filosofici

Molte pubblicazioni di informatica degli anni '50 e '60 contengono affascinanti speculazioni filosofiche sulla natura della mente e sul significato delle informazioni in relazione al mondo fisico. Esempi famosi sono il "Turing Test", lo "Calcolo dello spazio" di Zuse, il "esso da bit" di Wheeler ecc. Oggi tali temi sono …

16 reference-request soft-question philosophy

1

Riferimento per algoritmo di test di aciclicità di grafi misti?

Un grafico misto è un grafico che può avere bordi sia diretti che non diretti. Il suo grafico non orientato sottostante viene ottenuto dimenticando gli orientamenti dei bordi diretti e nell'altra direzione si ottiene un orientamento di un grafico misto assegnando una direzione a ciascun bordo non orientato. Un insieme …

16 ds.algorithms reference-request graph-theory graph-algorithms directed-acyclic-graph

2

Complessità temporale del conteggio dei triangoli nei grafici planari

Il conteggio dei triangoli nei grafici generali può essere fatto in modo banale in tempo e penso che fare molto più velocemente sia difficile (riferimenti ben accetti). Che dire dei grafici planari? La seguente procedura semplice mostra che può essere fatto in tempo. La mia domanda è duplice:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) Qual è …

16 reference-request graph-algorithms planar-graphs

1

Quali funzioni booleane monotone sono rappresentabili come soglie sulle somme?

Presenterò il mio problema con un esempio. Supponiamo che tu stia progettando un esame, che consiste in una serie di domande indipendenti (che i candidati possono ottenere nel modo giusto o sbagliato). Volete decidere un punteggio da assegnare a ciascuna delle domande, con la regola che i candidati con punteggio …

16 reference-request boolean-functions

1

La complessità del conteggio di percorsi semplici in un grafico diretto

Sia un digrafo (non necessariamente un DAG) e . Qual è la complessità di contare il numero di semplice percorsi in . GGGs,t∈V(G)s,t∈V(G)s,t \in V(G) s−ts−ts-tGGG Mi aspetto che il problema sia # ma non sono stato in grado di individuare un riferimento esatto. PP{\mathsf P} Si noti inoltre che …

16 ds.algorithms reference-request counting-complexity

2

Sullo stato dell'apprendimento all'interno di

Sto cercando di capire la complessità delle funzioni esprimibili tramite gate di soglia e questo mi ha portato a T C 0TC0TC0\mathsf{TC}^0 . In particolare, sono interessato a ciò che è attualmente noto sull'apprendimento all'interno di , dal momento che non sono un esperto della zona.TC0TC0\mathsf{TC}^0 Quello che ho scoperto …

16 cc.complexity-theory reference-request cr.crypto-security lg.learning boolean-functions

2

Un buon riferimento per gli operatori di classe di complessità?

Sono interessato se esistono buoni articoli o sondaggi espositivi a cui posso fare riferimento quando scrivo sugli operatori delle classi di complessità : operatori che trasformano le classi di complessità facendo cose come l'aggiunta di quantificatori. Esempi di operatori Quanto segue può essere interpretato come un elenco minimo di operatori …

16 reference-request complexity-classes

2

Complessità nel conteggio del numero di copertine dei bordi di un grafico

Una copertina di bordo è un sottoinsieme di bordi di un grafico in modo tale che ogni vertice del grafico sia adiacente ad almeno un bordo della copertina. I seguenti due giornali dicono che il conteggio coperture bordo è #P Completa: A Simple FPTAS per il conteggio Copertine bordo e …

16 reference-request graph-algorithms counting-complexity proofs

2

Equazione diofantea lineare in numeri interi non negativi

Ci sono solo pochissime informazioni che posso trovare sul problema NP completo di risolvere l'equazione diofantea lineare in numeri interi non negativi. Cioè, c'è una soluzione in non negativo all'equazione a 1 x 1 + a 2 x 2 + . . . + a n x n = b …

16 cc.complexity-theory reference-request np-hardness counting-complexity

Domande taggate «reference-request»