Informatica teorica

4

Quali sono i motivi convincenti per credere a

Quali sono i motivi convincenti per credere a ? L è la classe di algoritmi spazio-log con puntatori all'input.L≠PL≠PL\neq P Supponiamo che L = P per il momento. Che aspetto avrebbe un algoritmo spazio log per un problema P-completo nei suoi contorni generali?

23 cc.complexity-theory complexity-classes

5

Problemi completi di EXPSPACE

Attualmente sto cercando di trovare problemi completi di EXPSPACE (principalmente per trovare l'ispirazione per una riduzione), e sono sorpreso dal piccolo numero di risultati che arrivano. Finora li ho trovati e ho difficoltà a espandere l'elenco: universalità (o altre proprietà) delle espressioni regolari con esponenziazione. problemi relativi ai sistemi di …

23 cc.complexity-theory reference-request big-list

1

Perché il CICLO HAMILTONIANO è così diverso dal PERMANENTE?

Un polinomio f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) è una proiezione monotona di un polinomio g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m) se mmm = poli (n)(n)(n) , e c'è un incarico tale che f ( x 1 , … , x n ) =π:{y1,…,ym}→{x1,…,xn,0,1}π:{y1,…,ym}→{x1,…,xn,0,1}\pi:\{y_1,\ldots,y_m\}\to\{x_1,\ldots,x_n, 0,1\} . Cioè, è possibile sostituire ogni variabile y j di g con una variabile x …

23 cc.complexity-theory circuit-complexity lower-bounds arithmetic-circuits

4

Quando (o dovrebbe) il CS teorico si preoccupa delle prove intuitive?

Da quello che ho capito (che è molto poco, quindi per favore correggimi dove sbaglio!), La teoria dei linguaggi di programmazione si occupa spesso di prove "intuizioniste". Secondo la mia interpretazione, l'approccio richiede che prendiamo sul serio le conseguenze del calcolo sulla logica e sulla dimostrabilità. Una prova non può …

23 lo.logic soft-question pl.programming-languages constructive-mathematics

5

Buone disposizioni di posti a sedere per sequenza di pasti e tavoli di dimensioni k per un gruppo di persone

Data una serie di persone, vorrei sederle per una sequenza di pasti a tavoli di dimensioni . (Certo, ci sono abbastanza tavoli per sedere tutti per ogni pasto.) Vorrei organizzare questo in modo tale che nessuno condivida due volte un tavolo con la stessa persona. I valori tipici sono e …

23 graph-theory co.combinatorics

6

Tecniche avanzate per la determinazione di limiti inferiori di complessità

Alcuni di voi potrebbero aver seguito questa domanda , che è stata chiusa a causa del mancato livello di ricerca. Quindi, sto estraendo la parte della domanda che è a livello di ricerca. Al di là delle tecniche "più semplici", come la riduzione all'ordinamento o un problema completo EXPTIME, quali …

23 cc.complexity-theory reference-request fl.formal-languages time-complexity reductions

1

Quanto è grande la varianza della larghezza dell'albero di un grafico casuale in G (n, p)?

Sto cercando di trovare come vicino e E [ t w ( G ) ] sono davvero, quando G ∈ G ( n , p = c / n ) e c > 1 è una costante non è dipendente da n (così E [ t w ( G ) …

23 graph-theory co.combinatorics treewidth random-graphs

2

Sistema di prova della somma dei quadrati

Di recente ho visto diversi articoli su arxiv che si riferiscono a un sistema di prove chiamato somma dei quadrati. Qualcuno può spiegare cos'è una prova di somma dei quadrati e perché tali prove sono importanti / interessanti? In che modo sono collegati ad altri sistemi a prova algebrica? Sono …

23 cc.complexity-theory lo.logic algebraic-complexity proof-complexity sum-of-squares

2

Riduzione da CLIQUE naturale a k-Color

C'è chiaramente una riduzione da CLIQUE a k-Color perché sono entrambi NP-Complete. In effetti, posso costruirne uno componendo una riduzione da CLIQUE a 3-SAT con una riduzione da 3-SAT a k-Color. Quello che mi chiedo è se esiste una ragionevole riduzione diretta tra questi problemi. Diciamo, una riduzione che potrei …

23 cc.complexity-theory graph-theory np-hardness reductions

2

Teorema di approssimazione universale - Reti neurali

L'ho pubblicato prima su MSE, ma è stato suggerito che qui potrebbe essere un posto migliore per chiedere. Il teorema di approssimazione universale afferma che "la rete feed-forward multistrato standard con un singolo strato nascosto, che contiene un numero finito di neuroni nascosti, è un approssimatore universale tra funzioni continue …

23 approximation-algorithms ne.neural-evol na.numerical-analysis

5

Algoritmi di approssimazione per Set massimo indipendente su classi speciali di grafici

Sappiamo che il Maximum Independent Set (MIS) è difficile da approssimare entro un fattore di per qualsiasi meno che P = NP. Quali sono alcune classi speciali di grafici per i quali sono noti algoritmi di approssimazione migliori?n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 Quali sono i grafici per i quali sono noti gli …

23 ds.algorithms graph-theory graph-algorithms approximation-algorithms

2

In che misura un algoritmo può prevedere la complessità temporale di un programma di input arbitrario?

Il problema di Halting afferma che è impossibile scrivere un programma in grado di determinare se un altro programma si arresta, per tutti i possibili programmi di input . Tuttavia, posso sicuramente scrivere un programma in grado di calcolare il tempo di esecuzione di un programma simile a: for(i=0; i<N; …

23 computability time-complexity formal-methods se.software-engineering

5

Set di cancelli universali per SU (3)?

Nell'informatica quantistica siamo spesso interessati ai casi in cui un gruppo di operatori unitari speciali, G, per un sistema d-dimensionale fornisce l'intero gruppo SU (d) esattamente o anche solo un'approssimazione fornita da una copertura densa di SU (d). Un gruppo di ordine finito, come il gruppo Clifford per un sistema …

23 quantum-computing

1

Delta richiesto tra procedimento e versioni del giornale

Recentemente sto ricevendo i miei documenti respinti dalle riviste (cioè, TALG) sulla base del semplice fatto di non avere una differenza significativa tra la versione del diario e quella dei procedimenti (ovvero SODA). I motivi principali per cui mi sottopongo a un diario sono il suo accurato processo di revisione. …

23 soft-question research-practice conferences journals

4

Principali problemi irrisolti nei sistemi distribuiti?

Ispirati da questa domanda , quali sono i principali problemi e le soluzioni esistenti che richiedono miglioramenti nel dominio dei sistemi distribuiti (teorici). Qualcosa come i protocolli di appartenenza, la coerenza dei dati?

23 big-list dc.distributed-comp