Informatica teorica

1

Informazioni sul passaggio da un informatico a un matematico

Qual è la possibilità per un informatico di cambiare il suo campo in un puro matematico? e qual è il modo più semplice per farlo? qualche esempio per le persone che potrebbero farcela?

9 soft-question research-practice career

1

C'è un modo per rilevare i pregiudizi dei motori di ricerca?

I motori di ricerca vengono sempre più spesso considerati come gatekeeper delle informazioni, ma i criteri utilizzati dai motori di ricerca per classificare i risultati sono opachi per gli utenti. In che modo gli utenti possono essere sicuri che i loro risultati non siano distorti o manomessi in qualche modo …

9 ds.algorithms data-mining

4

Larghezza dell'albero e imballaggio

La mia domanda è un po 'vaga. Mi chiedevo se (e come), possiamo applicare la nozione di larghezza degli alberi ai problemi di impaccamento nei grafici. Sarei felice con qualsiasi intuizione o riferimento dei precedenti lavori di ricerca su questo (supponendo che si tratti di una relazione). Grazie.

9 ds.algorithms reference-request graph-theory graph-algorithms approximation-algorithms

2

Applicazioni della teoria dei grafi spettrali nella teoria dell'informazione e della codifica

Volevo scoprire quali sono alcune applicazioni di SGT nell'area dell'informazione e della teoria dei codici e forse delle comunicazioni. Il più correlato che viene in mente è il lavoro sui codici Expander Michael Sipser e Daniel Spielman, "Codici Expander", Transazioni IEEE sulla teoria dell'informazione, Vol 42, n. 6, pagg. 1710-1722. …

9 it.information-theory coding-theory spectral-graph-theory

1

Completezza funzionale della logica a 3 valori

Nel contesto di alcuni lavori recenti , abbiamo definito un linguaggio basato su una logica a tre valori alla Kleene, dove sta per vero, per falso e per errore o non lo so. Per dimostrare che il nostro linguaggio era espressivo, volevamo dimostrare che potevamo costruire un insieme di operatori …

9 reference-request lo.logic

3

Decidibilità dei numeri trascendentali

Ho una domanda, la cui risposta è probabilmente ben nota, ma non riesco a trovare nulla di significativo dopo un po 'di ricerche, quindi apprezzerei un po' di aiuto. La mia domanda è se è noto che decidere se un numero è trascendentale è indecidibile. Forse, uno assume come input, …

9 computability computable-analysis

2

Perché è necessario il non determinismo (Push-down automi)?

Vorrei sapere perché per il riconoscimento delle lingue senza contesto funzionano solo gli automi push-down non deterministici (DPA = NPDA). Perché gli automi push-down deterministici (DPDA) non riconoscono tali lingue?

9 fl.formal-languages automata-theory context-free

2

Soluzioni di punti medi per programmi lineari

Esiste un programma lineare per il quale non voglio semplicemente una soluzione, ma una soluzione il più centrale possibile sulla faccia del politopo che assume il valore minimo. A priori, prevediamo che la faccia minimizzante dovrebbe essere di alta dimensione per vari motivi, incluso il fatto che la funzione obiettivo …

9 ds.algorithms linear-algebra linear-programming

1

In che modo Knuth deriva A?

Quando interpretiamo le chiavi come numeri naturali possiamo usare la seguente formula. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Quello che ho difficoltà a capire è come scegliamo il valore di A dove: 0<A<10<A<1\begin{equation} 0 < A < 1 \end{equation} Secondo Knuth un valore ottimale è: A≈(5–√−1)/2=0.6180339887...A≈(5−1)/2=0.6180339887...\begin{equation} A \thickapprox …

9 hash-function

2

Scopo e determinare quando utilizzare i livelli nascosti

In seguito a questa domanda ... Sto cercando di imparare come utilizzare e creare reti neurali per la mia ricerca, e un punto mi sta in qualche modo sfuggendo. Mi rendo conto che i livelli nascosti sono una parte un po 'necessaria di ciò, tuttavia sono bloccato su due punti …

9 ne.neural-evol

1

Volume di calcolo dei poliedri convessi ad alta dimensione

Sto cercando un software per calcolare / stimare il volume di poliedri convessi ad alta dimensione. Più specificamente, sono interessato a un programma in grado di gestire corpi con vertici nello spazio d- dimensionale con parametri limitati approssimativamente come segue: d ≤ 50 e n ≤ 1000 . Si noti …

9 cg.comp-geom software convex-geometry high-dimensional-geometry

2

I buoni PCP per NP ci danno buoni PCP per l'intera gerarchia polinomiale?

Il teorema del PCP afferma che ogni problema decisionale in NP ha prove verificabili probabilisticamente (o equivalentemente, che esiste un sistema completo e quasi-a prova di suono per i teoremi in NP che utilizza una complessità di query costante e logaritmicamente molti bit casuali). La "saggezza popolare" che circonda il …

9 lo.logic pcp polynomial-hierarchy

2

Riferimenti iniziali per l'ottimizzazione discreta

(Mi scuso se questo è fuori posto o troppo ampio. Sono aperto a suggerimenti su come riformularlo.) Sono interessato a risalire alla storia "antica" degli algoritmi di flusso massimo e degli algoritmi di ottimizzazione discreti in generale. Ford-Fulkerson è il mio uomo di paglia di un punto di partenza. Quali …

9 ds.algorithms graph-algorithms ho.history-overview

2

Un algoritmo di ricerca di un sottoinsieme

Supponiamo di avere un elenco di sottoinsiemi di . Posso eseguire la preelaborazione in questo elenco, se necessario. Dopo questa preelaborazione, mi viene presentato un altro set . Voglio individuare eventuali gruppi con .{ 1 , . . . , N } A ⊆ { 1 , . . . …

9 ds.algorithms ds.data-structures

1

Condizione di uniformità "giusta" per la classe di Nick

DLOGTIME è definito su http://en.wikipedia.org/wiki/DLOGTIME è definito su http://en.wikipedia.org/wiki/L_%28complexity%29 e sono definiti su http://en.wikipedia.org/wiki/NC_%28complexity%29 LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME sembra essere il più piccolo che potrebbe funzionare. Ho letto in diversi luoghi che , anche se ogni posto ho trovato che i risultati cui si afferma una condizione di uniformità usi - …

9 cc.complexity-theory circuit-complexity