Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Intuizione dietro i sistemi di prova
Sto cercando di capire l'articolo su p-Optimal Proof Systems e Logic per PTIME . C'è una nozione chiamata sistemi di prova nel documento e non capisco l'intenzione: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Identifichiamo i problemi con sottoinsiemi di in .QQQΣ*Σ∗\Sigma^* Penso che l'intenzione sia quella …
1
Qual è la lunghezza prevista del percorso hamiltoniano più breve su punti selezionati casualmente da una griglia planare?
punti distinti vengono selezionati casualmente da unagriglia. (Ovviamenteed è un dato numero costante.) Un grafico completo ponderato è costruito da questipunti in modo tale che il peso del bordo tra il verticee il verticeuguale alla distanza di Manhattan di due vertici sulla griglia originale .kkkk ≤ p × q k …
1
Quali sono le possibili implementazioni delle classi di tipi di Haskell e quali sono i loro (dis) vantaggi?
Per quanto ne so, una funzione di Haskell con vincoli di classi di tipi viene compilata internamente in una funzione con argomenti aggiuntivi che ricevono dizionari con le implementazioni necessarie di ogni particolare classe di tipo. Ci sono altre possibilità come compilare le classi di tipi? In tal caso, quali …
1
L'entropia di una distribuzione rumorosa
Supponiamo che abbiamo una funzione tale che ∀ x ∈ Z n 2f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} efè una distribuzione, cioè,Σx∈Z n 2 f(x)=1.∀x∈Zn2f(x)∈{12n,22n,…,2n2n},∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x∈Zn2f(x)=1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} f(x) = 1 L'entropia di Shannon di è definita come segue: H ( f ) = - …
3
Invio del lavoro di altre persone ad arXiv
Questa è una domanda delicata volta a stabilire quale sia la migliore pratica professionale per la presentazione di lavori non originali su arXiv. C'è una bozza di un articolo [1] di Robert Szelepcsényi, nel suo spazio web all'Università di Chicago, apparentemente scritto più di dieci anni fa durante i suoi …
1
Esiste un algoritmo adatto per disegnare un grafico elettorale / di dipendenza misto in un sistema di coordinate?
Sto cercando un algoritmo per disegnare un grafico elettorale misto / dipendenza (per un'applicazione linguistica). Un tale grafico avrebbe due diversi tipi di vertici (token, nodi) e due diversi tipi di bordi (gerarchici, non gerarchici). Sono nuovo della teoria dei grafi e degli algoritmi in generale, e spero che questa …
2
Comprendere una prova di progettazione del meccanismo
Ho lottato con i dettagli tecnici di una prova relativa alla teoria delle aste in questo documento: http://users.eecs.northwestern.edu/~hartline/omd.pdf In particolare, Teorema 2.5: Le condizioni necessarie e sufficienti per un meccanismo veritiero. Ancora più in particolare, la direzione in avanti della prova, data a pagina 6. La definizione di un valore …
1
Una versione semplificata del gioco di carte Winner
Ho chiesto questo problema in MathOverflow , senza alcuna risposta soddisfacente. Considera il seguente gioco a due giocatori, che è una semplificazione del gioco di carte chiamato Vincitore . (La seguente formulazione è stata presa da un commento di Guillaume Brunerie su MathOverflow.) Ci sono due giocatori A e B. …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.