Domande taggate «reference-request»

La richiesta di riferimento viene utilizzata quando l'autore deve conoscere il lavoro correlato alla domanda.

1
Numero di differenze distinte di interi scelti da
Ho riscontrato il seguente risultato durante la mia ricerca. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 dove e a_1, \ cdots, a_m sono scelti a caso da [n] .a1,⋯,am[n]m=ω(n−−√)m=ω(n)m=\omega(\sqrt n)a1,⋯,ama1,⋯,ama_1,\cdots,a_m[n][n][n] Sto cercando un riferimento / una prova diretta. Crossposted on MO
2
Limiti inferiori del circuito e complessità di kolmogorov
Considera il seguente ragionamento: Consenti a indicare la complessità di Kolmogorov della stringa x . Il teorema di incompletezza di Chaitin lo diceK(x)K(x)K(x)xxx per qualsiasi sistema uniforme e sufficientemente forte formale , esiste una costante T (seconda solo sul sistema formale e lingua) tale che per qualsiasi stringa x , …
3
Somma approssimativa di un elenco ordinato
Di recente, ho lavorato sul problema per calcolare la somma approssimativa di un elenco di numeri non negativi ordinati. Per ogni fisso , uno schema di approssimazione temporale è stato derivato in modo tale da fornire una stima per la somma. L'articolo è pubblicato su http://arxiv.org/abs/1112.0520 , che non è …
1
Dov'è la prova che Coq + Excluded Middle è coerente
Ho visto (e sentito) affermare che è sicuro aggiungere l'assioma classico del mezzo escluso a Coq, ma non riesco a trovare un documento a sostegno di questa affermazione. I documenti che vedo elencati nella wiki di Coq sul centro escluso mostrano incoerenza con Set impredicativo. In effetti, sembra che Coquand …
3
Quanto velocemente possiamo risolvere un programma lineare intero totalmente unimodulare?
(Questo è un seguito a questa domanda e alla sua risposta .) Ho il seguente programma intero lineare unimodulare (TU). Qui sono tutti numeri interi positivi indicati come parte dell'input. Un sottoinsieme specificato delle variabili è impostato su zero e il resto può assumere valori integrali positivi:x i jℓ , …
1
Conseguenze di
Mentre il teorema di Adleman mostra che , non sono a conoscenza di alcuna letteratura che indaga sulla possibile inclusione di . Quali conseguenze teoriche della complessità avrebbe una tale inclusione?B Q P ⊆ P / poliB P P ⊆ P / poliBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / …
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.