Informatica teorica

2

Spiegazione del funzionario applicativo in termini categorici - funzione monoidale

Mi piacerebbe capire Applicativein termini di teoria delle categorie. La documentazione per Applicativedice che si tratta di un forte funzione lenta monoidale . In primo luogo, la pagina di Wikipedia sui funzioni monoidali afferma che un funzione monoida è lassista o forte . Quindi mi sembra che una delle fonti …

40 lo.logic type-theory functional-programming ct.category-theory

3

Conseguenze di un algoritmo di tempo quasi polinomiale per il problema dell'isomorfismo grafico

Il problema del grafico isomorfismo (IG) è probabilmente il candidato più noto per un problema NP-intermedio . L'algoritmo più noto è l'algoritmo sub-esponenziale con runtime 2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}. È noto che GI non èNPNP\mathsf{NP}completo a meno che lagerarchia polinomiale noncollassi. Quali sarebbero le conseguenze teoriche della complessità di un algoritmo …

40 cc.complexity-theory ds.algorithms graph-theory graph-isomorphism

3

Selezione di articoli da leggere

DICHIARAZIONE DI NON RESPONSABILITÀ: questa è una domanda a risposta aperta e i puritani dello scambio di stack probabilmente proverebbero un impulso straordinario a votarla fino all'oblio. Tuttavia, non riesco a pensare a nessun altro forum più appropriato e promettente per ottenere una risposta a questa domanda. Mentre lavoro su …

40 soft-question advice-request

2

Alfabeto della macchina di Turing a nastro singolo

Ogni funzione calcolabile nel tempo t su una macchina Turing a nastro singolo usando un alfabeto di dimensione essere calcolata nel tempo su una macchina di Turing a nastro singolo che utilizza un alfabeto di dimensione (diciamo, e vuoto)?f: { 0 , 1 }*→ { 0 , 1 }f:{0,1}∗→{0,1}f : …

40 computability turing-machines

5

Gli accoglienti quartieri di "P" e di "NP-hard"

Lascia che XXX sia un compito algoritmico. (Può essere un problema di decisione o un problema di ottimizzazione o qualsiasi altra attività.) Chiamiamo "dal lato polinomiale" se si presume che sia NP-difficile implica che il crineario polinomiale collassa. Chiamiamo "sul lato NP" se si presume che ammetta un algoritmo polinomiale …

40 cc.complexity-theory

6

Complessità nel trovare la composizione elettronica di una matrice

La mia domanda è semplice: Qual è il tempo di esecuzione nel caso peggiore dell'algoritmo più noto per il calcolo di una composizione elettronica di una matrice n × nn×nn \times n ? La composizione elettronica si riduce alla moltiplicazione della matrice o gli algoritmi più noti O ( n3)O(n3)O(n^3) …

40 ds.algorithms time-complexity matrices linear-algebra na.numerical-analysis

3

Quali sono i motivi per cui i ricercatori nella geometria computazionale preferiscono il modello BSS / RAM reale?

sfondo Il calcolo sui numeri reali è più complicato del calcolo sui numeri naturali, poiché i numeri reali sono oggetti infiniti e ci sono innumerevoli numeri reali, quindi i numeri reali non possono essere rappresentati fedelmente da stringhe finite su un alfabeto finito. A differenza della classica calcolabilità su stringhe …

40 cc.complexity-theory cg.comp-geom computing-over-reals computable-analysis

3

Limite inferiore del circuito su serie arbitrarie di porte

Negli anni '80, Razborov mostrò notoriamente che ci sono esplicite funzioni booleane monotone (come la funzione CLIQUE) che richiedono esponenzialmente molte porte AND e OR per il calcolo. Tuttavia, la base {AND, OR} sul dominio booleano {0,1} è solo un esempio di un insieme di gate interessanti che non sono …

40 lower-bounds circuit-complexity circuit-families

3

Una caratterizzazione a profondità fissa di

Questa è una domanda sulla complessità del circuito. (Le definizioni sono in fondo.) Yao e Beigel-Tarui dimostrato che ogni ACC0ACC0ACC^0 famiglia di circuiti di dimensione sss ha una famiglia circuito equivalente formato spoly(logs)spoly(log⁡s)s^{poly(\log s)} di profondità due , dove la porta di uscita è una funzione simmetrica e il secondo …

40 cc.complexity-theory circuit-complexity upper-bounds

1

Esiste Rabin / Yao (almeno in una forma che può essere citata)?

Nel classico articolo di Andrew Chi-Chih Yao del 1979, fa riferimento a "MO Rabin e AC Yao, in preparazione". Questo per il risultato che la complessità della comunicazione con errori limitati della funzione di uguaglianza EQ N (se due numeri interi nell'intervallo da 0 a N - 1 sono uguali) …

40 ho.history-overview communication-complexity

4

Esistono prove dell'indecidibilità del problema di arresto che non dipende dall'autoreferenziazione o dalla diagonalizzazione?

Questa è una domanda relativa a questa . Riponendolo in una forma molto più semplice dopo molte discussioni lì, che sembrava una domanda totalmente diversa. La classica dimostrazione dell'indecidibilità del problema dell'arresto dipende dalla dimostrazione di una contraddizione quando si cerca di applicare un ipotetico decisore HALT a se stesso. …

40 computability lo.logic proofs

3

Prova che la moltiplicazione della matrice non è in

Si ritiene comunemente che per tutto , sia possibile moltiplicare due matrici nel tempo . Qualche discussione è qui .ϵ > 0ϵ>0\epsilon > 0n × nn×nn \times nO ( n2 + ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) Ho chiesto ad alcune persone che hanno più familiarità con la ricerca se pensano che esista …

39 cc.complexity-theory linear-algebra big-picture matrices matrix-product

2

I problemi PRIMES, FACTORING sono noti per essere P-hard?

Lascia che PRIMES (aka test di primalità ) sia il problema: Dato un numero naturale , n è un numero primo?nnnnnn Lascia che FACTORING sia il problema: Dati i numeri naturali , m con 1 ≤ m ≤ n , n ha un fattore d con 1 < d < …

39 cc.complexity-theory lower-bounds factoring primes p-hardness

1

Algoritmo di ordinamento, in modo tale che ogni elemento venga confrontato

Esistono algoritmi di ordinamento comparativo noti che non si riducono alle reti di ordinamento, in modo tale che ogni elemento venga confrontato volte?O ( logn )O(log⁡n)O(\log n) Per quanto ne so, l'unico modo per ordinare con il confronto su ciascun elemento è costruire una rete di ordinamento AKS per input …

39 ds.algorithms sorting sorting-network

5

Quando la randomizzazione accelera gli algoritmi e "non dovrebbe"?

La prova di Adleman che è contenuto in P / p o l y mostra che se esiste un algoritmo randomizzato per un problema che corre nel tempo t ( n ) su input di dimensione n , allora esiste anche un algoritmo deterministico per il problema che scorre nel …

39 randomized-algorithms