Informatica teorica reference-request

1

C'è qualche lavoro che combina l'apprendimento automatico e le forme più esotiche della teoria della complessità?

Mi sembra che gli esperti di machine learning / data mining abbiano familiarità con P e NP, ma raramente parlano di alcune delle classi di complessità più sottili (ad esempio NC, BPP o IP) e delle loro implicazioni per un'analisi efficace dei dati. C'è qualche indagine sul lavoro che sta …

13 cc.complexity-theory reference-request machine-learning

1

Formula più piccola conosciuta per il determinante

La formula più piccola conosciuta per il determinante ha dimensione secondo il folklore (o secondo Ran Raz nella sua carta Le formule multi-lineari per permanente e determinante sono di dimensione super-polinomiale ).nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} Hai qualche riferimento per questo? In particolare, cos'è questa formula?

13 cc.complexity-theory reference-request algebraic-complexity determinant

4

Documentari Alan Turing

Per festeggiare il centesimo compleanno di Alan Turing, voglio guardare un documentario sulla sua vita. Tuttavia, ci sono diversi documentari tra cui scegliere. Quale documentario su Alan Turing è il tuo preferito? Includi solo un documentario per risposta.

13 reference-request soft-question big-list ho.history-overview

1

Incorporamento grafico che massimizza l'angolo minimo

Dato un grafico planare, si può incorporarlo nel tempo lineare attraversando liberamente in una griglia . Mi interessa sapere se sono noti algoritmi efficienti per la linea retta che incorporano un grafico planare che si attraversa liberamente in una griglia n c × n c , per alcuni piccoli c …

13 reference-request graph-theory graph-drawing

1

La complessità del problema dell'insieme dominante in sottoclassi specifiche di grafici cordali

Sono interessato alla complessità del problema dell'insieme dominante (DSP) in alcune classi di grafici specifici che sono sottoclassi di grafici cordali . Un grafico è un grafico di percorso non orientato se è il grafico di intersezione vertice di una famiglia di percorsi in un albero non orientato. Sia UP …

13 reference-request graph-theory graph-algorithms np-hardness

2

Applicazione dei numeri di Ramsey

La definizione dei numeri di Ramsey è la seguente: Sia un numero positivo tale che ogni grafico dell'ordine almeno contenga una cricca su vertice o un insieme stabile su vertici.R ( a , b )R(un',B)R(a,b)R ( a , b )R(un',B)R(a,b)un'un'aBBb Sto lavorando ad alcune estensioni di Ramsey Numbers. Mentre lo …

13 reference-request co.combinatorics ramsey-theory

4

Modellazione di oggetti (OOP) nella teoria dei tipi dipendenti

Sono interessato alla modellazione di oggetti, dalla programmazione orientata agli oggetti, alla teoria dei tipi dipendenti. Come possibile applicazione, vorrei avere un modello in cui posso descrivere diverse caratteristiche dei linguaggi di programmazione imperativa. Ho trovato un solo documento sulla modellazione di oggetti nella teoria dei tipi dipendenti, ovvero: Programmazione …

13 reference-request pl.programming-languages type-theory coq dependent-type

1

Riducibilità SERF e algoritmi subexponential

Ho una domanda riguardante la riducibilità SERF di Impagliazzo, Paturi e Zane e algoritmi subexponential. La definizione di riducibilità SERF fornisce quanto segue: Se P1P1P_1 è SERF riducibile a P2P2P_2 e esiste l' algoritmo O(2εn)O(2εn)O(2^{\varepsilon n}) per P2P2P_2 per ogni , allora c'èO ( 2 ε n )ε>0ε>0\varepsilon > 0O(2εn)O(2εn)O(2^{\varepsilon …

13 cc.complexity-theory reference-request

1

Limiti elementari sui parametri nella tracciabilità dei parametri fissi?

Nella definizione di tracciabilità a parametri fissi (forte), il limite di tempo è un'espressione della forma dove l'istanza di input è ( x , k ) con il parametro k , p è un polinomio e f è una funzione calcolabile .f( k ) . p ( | x | …

13 cc.complexity-theory reference-request fixed-parameter-tractable

1

Problema NP-completo per la geometria euclidea ma in P per la geometria non euclidea?

Ci sono problemi che sono NP-completi quando si usa la geometria euclidea ma sono ben definiti e risolvibili in tempo polinomiale per una geometria non euclidea?

13 reference-request cg.comp-geom

3

Applicazione riuscita di metodi branch-and-bound per problemi NP-hard

Branch and bound è un'euristica efficace per i problemi di ricerca e Wikipedia elenca una serie di problemi difficili in cui è stato utilizzato branch-and-bound. Tuttavia, non sono stato in grado di trovare riferimenti per suggerire che è più di un "solo metodo" per risolvere questi problemi. Aneddoticamente, ho sentito …

13 ds.algorithms reference-request optimization heuristics

3

Codice implementato per calcolare la larghezza del percorso (= numero di ricerca nodo, numero di separazione vertice, spessore intervallo)

Sto cercando un'implementazione di un algoritmo per calcolare la larghezza del percorso di un grafico. È noto che calcolare la larghezza del percorso equivale a calcolare il numero di ricerca del nodo, il numero di separazione del vertice o lo spessore dell'intervallo del grafico. L'algoritmo non deve essere molto veloce; …

13 ds.algorithms reference-request graph-algorithms implementation

2

Riferimento per l'algoritmo di factoring ottimale di Levin?

Nel " Consiglio a uno studente laureato principiante " di Manuel Blum : LEONID LEVIN crede mentre lo faccio, qualunque sia la risposta a P = NP? problema, non sarà come qualsiasi cosa tu pensi che dovrebbe essere. E ha dato alcuni esempi meravigliosi. Per uno, ha dato un ALGORITMO …

13 ds.algorithms reference-request factoring

1

Richiesta di riferimento: prova priva di teoria dei numeri che i gruppi di stabilizzatori massimi determinano stati unici

Contesto. Sto scrivendo su temi come il teorema di Gottesman-Knill , utilizzando gruppi stabilizzatore Pauli, ma nel caso di d qudits -dimensionale - dove D può avere più di un fattore primario. (Sottolineo questo perché la maggior parte della letteratura sul formalismo stabilizzante in "dimensioni superiori" coinvolge i casi di …

13 reference-request quantum-computing

2

Rilievo di trasformazioni legate all'uso di solutori SAT

Sto iniziando a studiare la possibilità di fare affidamento su un solutore SAT per affrontare un problema di ottimizzazione che mi interessa e attualmente sto cercando un sondaggio che includa esempi di trasformazioni "intelligenti" in varianti di SAT (ovvero trasformazioni che risultano in un problema di dimensioni ragionevoli, dal momento …

13 ds.algorithms reference-request sat optimization

Domande taggate «reference-request»