Informatica teorica reference-request

5

Quali sono buoni riferimenti sulla comprensione dell'apprendimento online?

In particolare, sto chiedendo risorse per conoscere i sistemi di apprendimento automatico che possono aggiornare le rispettive reti di credenze (o equivalenti) durante il funzionamento. Ne ho anche incontrati alcuni, anche se non sono riuscito a segnalarli. Come puoi immaginare, è un argomento piuttosto impegnativo da cercare su Internet.

10 reference-request machine-learning lg.learning ai.artificial-intel online-learning

1

La complessità di Kolmogorov delle tabelle di verità del problema dell'arresto è conosciuta asintoticamente?

Sia HALTnHALTnHALT_n la stringa di lunghezza 2n2n2^n corrispondente alla tabella di verità del problema di arresto per input di lunghezza nnn . Se la sequenza delle complessità di Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , allora una delle stringhe di consigli verrebbe utilizzata all'infinito spesso e una TM con quella stringa codificata …

10 cc.complexity-theory reference-request computability lower-bounds

1

Apprendimento PAC corretto di 2-DNF in distribuzione uniforme

Qual è il risultato dello stato dell'arte sulla complessità delle query delle corrette formule 2-DNF di apprendimento PAC con query di esempio e distribuzione uniforme ? O qualche limite non banale su di esso? Poiché non conosco affatto la teoria dell'apprendimento e questa domanda è motivata da un campo diverso, …

10 reference-request lg.learning boolean-functions

1

La fonte del grafico di decomposizione modulare

Quando si introduce la decomposizione modulare dei grafici , la maggior parte degli autori utilizza il grafico a 11 vertici, che copio da Wikipedia. La domanda è: chi è (ne è) il designer originale. (Non sto chiedendo chi ha disegnato questo grafico per Wikipedia, ma la sua fonte originale.) La …

9 reference-request graph-theory

1

Prova del problema del limite superiore della somma delle radici quadrate

In [1], Garey et al. identificare ciò che in seguito sarebbe stato noto come la somma del problema delle radici quadrate nel corso della elaborazione della completezza NP del TSP euclideo. Dati i numeri interi e , determinano seun'1, a2, ... , unna1,a2,…,ana_1, a_2, \ldots, a_nLLLun'1--√+ a2--√+ ⋯ + an--√< …

9 reference-request cg.comp-geom na.numerical-analysis

1

Dimensioni PCP asintotiche più conosciute / 3-SAT

Quali sono i limiti superiori asintotici più noti sulle dimensioni delle prove probabilisticamente verificabili? Idealmente, sto cercando un sondaggio contemporaneo su questa ampia domanda, ma se non ce n'è nessuno, sono particolarmente interessato all'ineguagliabilità del 3-SAT. Sia 7/8 + ε-3-SAT essere 3-SAT con la promessa che se la frazione 7/8 …

9 cc.complexity-theory reference-request np-hardness pcp

2

Decidibilità dell'inferenza del tipo e verifica del tipo in MLTT

In Martin-Löf Un intuizionistica teoria dei tipi: Predicativo parte si è dimostrato che il controllo del tipo è decidibile oggetto di un essere tipizzabile in primo luogo, dimostrando un teorema di normalizzazione per i termini tipizzabile chiusi. D'altra parte, l'ho visto scritto in più punti (Wikipedia, Nördstrom ecc.) Che il …

9 reference-request type-theory type-inference

1

Esistono modelli computazionali basati sulle proteine?

Esiste un framework / formalismo che definisce modelli computazionali basati su proteine diverse dal modello di DNA di Adleman o da questo lavoro di Cherry e Qian ?

9 reference-request machine-models

1

Complessità nel verificare se due parole hanno un interfogliamento in una lingua

Per una lingua fissa sull'alfabeto A , consideriamo il seguente problema, che io chiamo L -INTERLEAVING :LLLUNAALLL Input: due parole u , v ∈ A*u,v∈A∗u, v \in A^* Resa: se esiste un interleaving di e v che è in L .uuuvvvLLL Qui, un interleaving di due parole e v è …

9 cc.complexity-theory reference-request regular-language

1

Corrispondenza di motivi con non importa: più motivi

Il documento SODA di 2 pagine di Kalai fornisce un algoritmo semplice ed efficiente per la corrispondenza dei motivi con non preoccuparsi (caratteri jolly che corrispondono a un carattere). In sostanza, è facile come la convoluzione. Ma cosa succede se stiamo cercando più modelli con non importa? Possiamo ancora in …

9 ds.algorithms reference-request string-matching

1

Linguaggi regolari e complessità della comunicazione costante

Let essere un linguaggio, e definire f L : A * × A * → { 0 , 1 } da F L ( x , y ) = 1 se e solo se x ⋅ y ∈ L . Sto cercando un riferimento per:L ⊆ A*L⊆A∗L \subseteq A^*fL: A*× …

9 reference-request communication-complexity regular-language

1

Complessità dell'omomorfismo digrafo in un ciclo orientato

Dato un grafo orientato fisso (digramma) , la -COLORING problema decisionale chiede se un grafo orientato ingresso ha una homomorphism a . (Un omomorfismo di a è una mappatura di a che preserva gli archi, cioè se è un arco di , allora è un arco di )D G D …

9 reference-request graph-theory np-hardness csp homomorphism

2

Numero di automorfismi di un grafico per isomorfismo grafico

Sia e due grafici collegati -regolari di dimensione . Lasciate l'insieme di permutazioni tale che . Se , allora è l'insieme di automorfismi di .H r n A P P G P - 1 = H G = H A GsolGGHHHrrrnnnUNAAPPPPG P- 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HUNAAsolGG Qual è il limite …

9 reference-request graph-theory co.combinatorics graph-isomorphism gr.group-theory

2

Assegna un nome alla classe del grafico: unione disgiunta di una cricca e un insieme indipendente

Sia un grafico che è l'unione disgiunta di una cricca e un insieme indipendente, cioè solsolGG = Kn1+ Kn2¯¯¯¯¯¯¯¯= Kn1+ In2.sol=Kn1+Kn2¯=Kn1+ion2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La classe di grafici di tutti questi grafici è caratterizzata dai sottografi indotti proibiti impostati ed è quindi l'intersezione di …

9 reference-request graph-theory graph-classes

2

Comprensione del teorema minore del grafico

Questa domanda è duplice ed è principalmente orientata al riferimento: Esiste un luogo in cui vengono fornite le principali intuizioni per dimostrare il teorema minore del grafico, senza entrare troppo nei dettagli? So che la prova è lunga e difficile, ma sicuramente ci devono essere idee chiave che possono essere …

9 reference-request graph-theory graph-minor

Domande taggate «reference-request»